Explore >> Select a destination
|
You are here 
|
math.andrej.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... | |
| | | | |
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
|
|
| | | | | ||
| | | | |
neilmadden.blog
|
|
| | | I saw another article on Gödel's incompleteness theorems linked from Reddit today. It's a topic I've wanted to write about for some time. Although many articles do a decent job in giving an idea of what the big deal is (and this one is pretty good), they can sometimes give a misleading impression of what... | ||
