Explains the logical theory of "many-valued logic," a modern alternative to classic logic. Sections address its history, notation and proofs, and applications to linguistics, mathematics, philosophy, and artificial intelligence. For the...

Great biographical entry on Godel with illuminating quotes from his brother. Includes pictures and links to related sites.