Outer Web | Explore

Explore >> Select a destination

You are here		rjlipton.com Proving A Proof Is A Proof \| Gödel's Lost Letter and P=NP
\|	\|	www.quantamagazine.org Why Mathematical Proof Is a Social Compact \| Quanta Magazine	3.1 parsecs away Travel
\|	\|	Number theorist Andrew Granville on what mathematics really is - and why objectivity is never quite within reach.	3.1 parsecs away Travel
\|	\|	math.andrej.com Mathematics and Computation \| Proof of negation and proof by contradiction	2.1 parsecs away Travel
\|	\|	[AI summary] A technical discussion distinguishing between proof by contradiction and proof of negation within the context of classical and intuitionistic logic.	2.1 parsecs away Travel
\|	\|	micromath.wordpress.com Donald Knuth: Calculus via O notation \| Mathematics under the Microscope	3.1 parsecs away Travel
\|	\|	Continuing the theme of alternative approaches to teaching calculus, I take the liberty of posting a letter sent by Donald Knuth to to the Notices of the American Mathematical Society in March, 1998 (TeX file). Professor Anthony W. Knapp P O Box 333 East Setauket, NY 11733 Dear editor, I am pleased to see so...	3.1 parsecs away Travel
\|	\|	jdh.hamkins.org Comment Board \| Joel David Hamkins	17.3 parsecs away Travel
\|		Please feel free to post comments or questions here about the ideas on this site.	17.3 parsecs away Travel