/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 intellectualmathematics.com
"Repugnant to the nature of a straight line": Non-Euclidean geometry - Intellectual Mathematics
| | www.quantamagazine.org
Why Mathematical Proof Is a Social Compact | Quanta Magazine
2.3 parsecs away

Travel
| | Number theorist Andrew Granville on what mathematics really is - and why objectivity is never quite within reach.
| | www.themathdoctors.org
Why Does Geometry Start With Unproved Assumptions? - The Math Doctors
3.9 parsecs away

Travel
| |
| | mycqstate.wordpress.com
What it is that we do | MyCQstate
2.7 parsecs away

Travel
| | This post is a follow-up on some somewhat off-hand comments that I made earlier regarding the notion of truth in a "proof-based" discipline such as pure mathematics or theoretical computer science. Since the former is easier to circumscribe and also has a larger literature available on it, for the purposes of the post I will...
| | thehousecarpenter.wordpress.com
Notes on proving the completeness theorem for propositional logic | The House Carpenter
19.4 parsecs away

Travel
| NB: I've opted to just get straight to the point with this post rather than attempting to introduce the subject first, so it may be of little interest to readers who aren't already interested in proving the completeness theorem for propositional logic. A PDF version of this document is available here. The key thing I...