Showing posts from July, 2011

Roy's Fortnightly Puzzle: Volume 7

Mathematical reasoning and external symbolic systems

Eulogy for Horacio Arló-Costa

Tree Proof Generator

What's Hot in Mathematical Philosophy? #2 (The Reasoner)

Adding an Interpretation to a Collection of Structures

Interpreting a Structure

On the Model-Theoretic Conception of Scientific Theories

In Memory of Horacio Arló-Costa

Workshop: Formal Semantic Evidence

Roy's Fortnightly Puzzle: Volume 6

The maths of the cube

What is it like to be a blind mathematician?

Visiting Scholarships for NIP in Aberdeen

Change in perspective