/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.quantamagazine.org
Why Mathematical Proof Is a Social Compact | Quanta Magazine
| | intellectualmathematics.com
"Repugnant to the nature of a straight line": Non-Euclidean geometry - Intellectual Mathematics
2.2 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
| | catb.org
The Utility of Mathematics
4.7 parsecs away

Travel
| | discusses the best current understanding of the relationship between mathematical and empirical knowledge
| | www.elephantlearning.com
Georg Cantor's Controversial Career | Aug 27, 2024
4.6 parsecs away

Travel
| | Read on to find out how backlash from the mathematics community forced one German mathematician to pivot and study Shakespeare.
| | jeremykun.wordpress.com
Turing Machines - A Primer - Math Programming
34.4 parsecs away

Travel
| We assume the reader is familiar with the concepts of determinism and finite automata, or has read the corresponding primer on this blog. The Mother of All Computers Last time we saw some models for computation, and saw in turn how limited they were. Now, we open Pandrora's hard drive: Definition: A Turing machineis a...