Explore >> Select a destination

You are here

 gowers.wordpress.com
When is proof by contradiction necessary? | Gowers's Weblog
| | math.andrej.com
Mathematics and Computation | Am I a constructive mathematician?
13.7 parsecs away

Travel
| |
| | math.andrej.com
Mathematics and Computation | Proof of negation and proof by contradiction
6.1 parsecs away

Travel
| |
| | blog.computationalcomplexity.org
Computational Complexity: Why did 1+1=2 take Russell and Whitehead 300 pages?
15.0 parsecs away

Travel
| | In my post about the myth that Logicians are crazy I mentioned in passing that Whitehead and Russell spend 300 pages proving 1+1=2 (but we...
| | dvt.name
Gödel's First Incompleteness Theorem for Programmers - Adventures
96.1 parsecs away

Travel
| Gödel's incompleteness theorems have been hailed as "the greatest mathematical discoveries of the 20th century" - indeed, the theorems apply not only to mathematics, but all formal systems and have deep implications for science, logic, computer science, philosophy, and so on. In this post, I'll give a simple but rigorous sketch of Gödel's First Incompleteness ...