/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

 www.themathdoctors.org
Why Does Geometry Start With Unproved Assumptions? - The Math Doctors
| | intellectualmathematics.com
"Repugnant to the nature of a straight line": Non-Euclidean geometry - Intellectual Mathematics
3.9 parsecs away

Travel
| | The discovery of non-Euclidean geometry in the 19th century radically undermined traditional conceptions of the relation between mathematics and the world. Instead of assuming that physical space was the subject matter of geometry, mathematicians elaborated numerous alternative geometries abstractly
| | thatsmaths.com
Contents - ThatsMaths
8.6 parsecs away

Travel
| | [AI summary] A blog archive listing titled 'ThatsMaths' containing over 600 posts from 2002 to 2025 covering mathematical history, problems, applications, and scientific concepts.
| | catb.org
The Utility of Mathematics
8.9 parsecs away

Travel
| | discusses the best current understanding of the relationship between mathematical and empirical knowledge
| | thehousecarpenter.wordpress.com
Notes on proving the completeness theorem for propositional logic | The House Carpenter
36.2 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...