Excerpts/quotes explaining Gödel's Incompleteness Theorem: any logical system contains a true statement that cannot be proven using that system's rules.

This cornucopia of math and logic problems is provided at no charge courtesy of the folks at BarCodes Inc. Designed to serve as a type of one-stop destination for those who love such activities, the site serves as a...

About 90 "informal notes" by Kevin Brown on set theory and foundations: what is fuzzy logic, fractal logic, Cantor's diagonal proof, are all triangles isosceles, on Gauss's mountains, problems with the luminiferous...

Located at the University of Illinois at Urbana-Champaign, The Office for Mathematics, Science, and Technology Education is primarily interested in creating resources for educators working on these topics. First-time...