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		www.quantamagazine.org Mathematical Thinking Isn't What You Think It Is \| Quanta Magazine
\|	\|	jiggerwit.wordpress.com An Argument for Controlled Natural Languages in Mathematics \| Jigger Wit	9.9 parsecs away Travel
\|	\|	What follows are the opening paragraphs of a pdf document giving an argument for controlled natural languages in mathematics. At the recent Big Proof 2 conference in Edinburgh, I realized that a case must be made for developing a controlled natural language for mathematics. There is little consensus on this issue, and mathematicians and computer...	9.9 parsecs away Travel
\|	\|	micromath.wordpress.com Donald Knuth: Calculus via O notation \| Mathematics under the Microscope	9.2 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...	9.2 parsecs away Travel
\|	\|	zrkrlc.com Junk Heap Homotopy: Verbal mathematics sequence	9.7 parsecs away Travel
\|	\|	- a sequence introducing mathematical thinking to VerbalsThesis: (verbally loaded) mathematics is just philosophy, but where everything is precisely what we mean	9.7 parsecs away Travel
\|	\|	strengthofone.com strengthofone // unsmilely	35.1 parsecs away Travel
\|		Drawing and animating a new set of emoji icons.	35.1 parsecs away Travel