Outer Web | Explore

Explore >> Select a destination

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.	2.3 parsecs away Travel
\|	\|	njwildberger.com Logical difficulties in modern mathematics \| njwildberger: tangential thoughts	4.4 parsecs away Travel
\|	\|	Modern mathematics is enormously complicated and sophisticated. It takes some courage, and perhaps some foolishness, to dare to suggest that behind the fancy theories lie serious logical gaps, and indeed error. But this is the unfortunate reality. Around the corner, however, is a new and more beautiful mathematics, a more honest mathematics, in which everything...	4.4 parsecs away Travel
\|	\|	rjlipton.com Surely You Are Joking? \| Gödel's Lost Letter and P=NP	4.2 parsecs away Travel
\|	\|	A new way to write mathematics Vladimir Voevodsky won the Fields Medal in 2002 for his work on homotopy theory of algebraic varieties. Using his pioneering methods he proved, among many other things, a deep conjecture of John Milnor, that had been open for decades. Today I want to talk about, no, rant about, a...	4.2 parsecs away Travel
\|	\|	degoes.net A Glossary of Functional Programming - John A De Goes	24.8 parsecs away Travel
\|		Functional programming has a bit of jargon, but that doesn't have to stop you from understanding core concepts	24.8 parsecs away Travel