Posts

Showing posts from July, 2011
Show All
Posted by

Roy's Fortnightly Puzzle: Volume 7

Post a Comment
Posted by

Mathematical reasoning and external symbolic systems

1 comment
Posted by

Eulogy for Horacio Arló-Costa

1 comment
Posted by

Tree Proof Generator

22 comments
Posted by

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

Post a Comment
Posted by

Adding an Interpretation to a Collection of Structures

3 comments
Image
Posted by

Interpreting a Structure

4 comments
Posted by

On the Model-Theoretic Conception of Scientific Theories

6 comments
Posted by

In Memory of Horacio Arló-Costa

1 comment
Posted by

Workshop: Formal Semantic Evidence

Post a Comment
Posted by

Roy's Fortnightly Puzzle: Volume 6

18 comments
Posted by

The maths of the cube

2 comments
Posted by

What is it like to be a blind mathematician?

11 comments
Posted by

Visiting Scholarships for NIP in Aberdeen

1 comment
Posted by

Change in perspective

1 comment