Outer Web | Explore

/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		jdh.hamkins.org Comment Board \| Joel David Hamkins
\|	\|	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
\|	\|	math.andrej.com Mathematics and Computation \| Proof of negation and proof by contradiction	2.8 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.8 parsecs away Travel
\|	\|	mycqstate.wordpress.com What it is that we do \| MyCQstate	3.2 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...	3.2 parsecs away Travel
\|	\|	blog.computationalcomplexity.org Computational Complexity: QIP = PSPACE	20.8 parsecs away Travel
\|		A great new result in quantum complexity, Rahul Jain, Zhengfeng Ji, Sarvagya Upadhyay and John Watrous have shown that QIP is contained in P...	20.8 parsecs away Travel