Outer Web | Explore

Explore >> Select a destination

You are here		blog.sigfpe.com A Neighborhood of Infinity: What does topology have to do with computability?
\|	\|	micromath.wordpress.com Donald Knuth: Calculus via O notation \| Mathematics under the Microscope	3.8 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.8 parsecs away Travel
\|	\|	jdh.hamkins.org Alan Turing, On computable numbers \| Joel David Hamkins	2.7 parsecs away Travel
\|	\|	I have been reading Alan Turing's paper, On computable numbers, with an application to the entsheidungsproblem, an amazing classic, written by Turing while he was a student in Cambridge. This...	2.7 parsecs away Travel
\|	\|	math.andrej.com Mathematics and Computation \| Sometimes all functions are continuous	3.2 parsecs away Travel
\|	\|		3.2 parsecs away Travel
\|	\|	billwadge.com The complete story of Gödel incompleteness. [4100 views] \| Bill Wadge's Blog	36.2 parsecs away Travel
\|		The famous mathematician Kurt Gödel proved two "incompleteness" theorems. This is their story. By the 1930s logicians, especially Tarski, had figured out the semantics of predicate logic. Tarski described what exactly was an 'interpretation' and what it meant for a formula to be true in an interpretation. Briefly, an interpretation is a nonempty set (the...	36.2 parsecs away Travel