|
Home / Science / Math / Logic and Foundations
|
| Categories |
|
|
|
|
|
|
|
|
Web Sites
|
- Abstract Service - An archive of abstracts of logic articles at the Institute for Logic, University of Vienna.
www.logic.univie.ac.at/abstract
- Classical Logic - Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
plato.stanford.edu/entries/logic-classical
- Encounters with Infinity by Michael VanLaanen - Uses a storybook approach to explain the author's concept of infinity.
www.geocities.com/michaelvanlaanen
- Logic and Games - Survey of game-theoretical approaches to logic; by Wilfrid Hodges.
plato.stanford.edu/entries/logic-games
- Math Front: LO Logic - Front end for the logic section of the mathematics e-print arXiv.
front.math.ucdavis.edu/math.LO
- Mathematical Logic and Foundations - From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.
www.math.niu.edu/~rusin/known-math/index/03-XX.html
- Mind Versus Goedel by Damjan Bojadziev - Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.
nl.ijs.si/~damjan/g-m-c.html
|
