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		jiggerwit.wordpress.com An Argument for Controlled Natural Languages in Mathematics \| Jigger Wit
\|	\|	micromath.wordpress.com Donald Knuth: Calculus via O notation \| Mathematics under the Microscope	2.9 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...	2.9 parsecs away Travel
\|	\|	mathscholar.org Computation, AI and the future of mathematics « Math Scholar	3.3 parsecs away Travel
\|	\|	[AI summary] An article discusses the evolution of mathematics from a discipline that resisted computational tools to one that increasingly relies on computer-assisted proofs, data mining, and artificial intelligence, featuring perspectives from mathematician Terence Tao on the future of the field.	3.3 parsecs away Travel
\|	\|	www.quantamagazine.org Why Mathematical Proof Is a Social Compact \| Quanta Magazine	2.9 parsecs away Travel
\|	\|	Number theorist Andrew Granville on what mathematics really is - and why objectivity is never quite within reach.	2.9 parsecs away Travel
\|	\|	algassert.com Logical Ingredients of a Quantum Computer	21.3 parsecs away Travel
\|		Craig Gidney's computer science blog	21.3 parsecs away Travel