/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

 fbeedle.com
Discrete Mathematics and Functional Programming
| | 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...
| | degoes.net
A Glossary of Functional Programming - John A De Goes
3.4 parsecs away

Travel
| | Functional programming has a bit of jargon, but that doesn't have to stop you from understanding core concepts
| | www.yodaiken.com
Mathematics errors in computer science - keeping simple
3.1 parsecs away

Travel
| |
| | blog.sigfpe.com
A Neighborhood of Infinity: What stops us defining Truth?
26.7 parsecs away

Travel
| [AI summary] The article explains why defining a truth predicate for set theory (ZF) is impossible despite the success of similar definitions in propositional calculus and Peano arithmetic, based on Tarski's theorem and the limitations of transfinite recursion when applied to infinite collections of children.