Posts

Image
Posted by

Bye pi?

1 comment
Image
Posted by

The Synthese boycott affair

5 comments
Image
Posted by

Naive set theory

Post a Comment
Posted by

Cut Elimination and Contraction

1 comment
Posted by

"There is a set of Fs" implies only logical truths

Post a Comment
Posted by

"How to write proofs: a quick guide"

3 comments
Image
Posted by

Arithmetic and Epistemology

Post a Comment
Posted by

Yablo's Paradox

9 comments
Image
Posted by

Pinker's talk turned into artwork

1 comment
Image
Posted by

Lobachevsky - Tom Lehrer

Post a Comment
Posted by

Good points (and important speakers)

Post a Comment