Explore >> Select a destination
|
You are here 
|
gowers.wordpress.com | ||
| | | | |
existentialtype.wordpress.com
|
|
| | | | | It is well-known that constructivists renounce "proof by contradiction", and that classicists scoff at the critique. "Those constructivists," the criticismgoes, "want to rule out proofs by contradiction. How absurd! Look, Pythagoras showed that the square root of two is irrational by deriving a contradiction from the assumption that it is rational. There is nothing wrong... | |
| | | | |
ianwrightsite.wordpress.com
|
|
| | | | | Are Cantor's higher infinities really real? | |
| | | | |
relatedwork.blogspot.com
|
|
| | | | | WARNING: the following contains a whole lot of pedantry about proving theorems at a level of detail such that you could likely convince a co... | |
| | | | |
lawrencecpaulson.github.io
|
|
| | | |||
