"The web's most extensive mathematics resource"
"A gateway to modern mathematics"
Biografies of famous mathematicians.
LATEX Cheat Sheet
Covers various output formats.
A Tutorial Introduction to the Lambda Calculus
Shows how to express basic arithmetic and propositional logic in Lambda Calculus.
Kiseido Go Server
Go equipment, information and the popular Kiseido Go Server.
The algebraic solution of an equation is no better than devising a symbol for the root of the equation and then saying that the equation has a root equal to the symbol. —Carl Friedrich Gauss in his 1801 thesis
What can be said at all can be said clearly, and what we cannot talk about we must pass over in silence. —Ludwig Wittgenstein, Introduction to Tractatus Logico-Philosophicus, 1922.
A serious and good philosophical work could be written consisting entirely of jokes. —Ludwig Wittgenstein, as quoted by Henry Dribble.
It is not enough to be busy. So are the ants. The question is: What are we busy about? —Henry David Thoreau, Thoreau's letter to his friend, H.G.O. Blake, on 16 November 1857. The original has ``industrious'' instead of ``busy''.