Mizar Home Page
The Mizar Home Page Current Mizar Version: 6.1.11 MML Version: 3.33.722 Contents: The Mizar Project, The Mizar Language, Mizar People, The Mizar System, Mizar Mathematical Library, Journal of Formalized Mathematics, Association of Mizar Users, What's New Mizar mirror sites at: University of Bialystok, Bialystok, Poland, SunSite ICM, Warsaw, Poland, University of Alberta, Edmonton, Canada, ...
www.mizar.org/   reviews

The QED Project - Home Page
The QED Project Summary The aim of the QED project is to build a single, distributed, computerized repository that rigorously represents all important, established mathematical knowledge. The construction of this system will be a scientific undertaking of significant proportions, requiring the cooperation of many mathematicians, computer scientists, research groups, research agencies, ...
www-unix.mcs.anl.gov/qed/   reviews

FOM
FOM Home Page FOM is a closed, moderated, e-mail list for discussing foundations of mathematics. The moderator is Stephen G. Simpson. Information About FOM The FOM Editorial Board List of FOM Subscribers: regular fom List of FOM Subscribers: fom-digest Individual FOM Postings: this month Individual FOM Postings: last month Individual FOM Postings: 1997-2002 Monthly FOM Archive Files FOM ...
www.math.psu.edu/simpson/fom/   reviews

LO Logic
Fri 14 Jun 2002 Search Submit Retrieve Subscribe Journals Categories Preferences iFAQ LO Logic Calendar Search Authors: All AB CDE FGH IJK LMN OPQR ST U-Z New articles (last 12) 3 Jun math.LO/0205331 Continuous Ramsey theory on Polish spaces and covering the plane by functions. Stefan Geschke (FU Berlin), Martin Goldstern (TU Wien), Menachem Kojman (Ben Gurion University, Israel). 29 pages. LO.
front.math.ucdavis.edu/math.LO   reviews

03: Mathematical logic and foundations
ABOUT: POINTERS: 03: Mathematical logic and foundations Introduction Mathematical Logic is the study of the processes used in mathematical deduction. The subject has origins in philosophy, and indeed it is only by nonmathematical argument that one can show the usual rules for inference and deduction (law of excluded middle; cut rule; etc.) are valid. It is also a legacy from philosophy that we ...
www.math.niu.edu/~rusin/known-math/index/03-XX.html   reviews

Practical Foundations of Mathematics
www.dcs.qmul.ac.uk/~pt/Practical_Foundations/   reviews

Damjan Bojadziev: Mind Versus G del
Damjan Bojadziev Mind Versus G del in M. Gams, M. Paprzycki and X. Wu (eds.), Mind Versus Computer, IOS Press 1997, pp. 202-210 Expanded HTML version, with added links, derived from G del's theorems for minds and computers, published in the special issue of Informatica, vol. 19, no. 4, Nov. 1995, pp. 627-34, MIND not equal COMPUTER Formal self-reference in G del's theorems has various features ...
nl.ijs.si/~damjan/g-m-c.html   reviews

Godel's The modern development of the foundations of mathematics in the light of philosophy
Essay on the philosophical implications of problems in the foundations of mathematics, by the author of the famous Godel's theorem ...
www.marxists.org/reference/subject/philosophy/works/at/godel.htm   reviews

A Century of Controversy over the Foundations of Mathematics
A Century of Controversy over the Foundations of Mathematics G. J. Chaitin, chaitin@watson.ibm.com in C. Calude and G. Paun, Finite versus Infinite, Springer-Verlag London, 2000, pp. 75-100 Lecture given Friday 30 April 1999 at UMass-Lowell. The lecture was videotaped; this is an edited transcript. Prof. Ray Gumb We're happy to have Gregory Chaitin from IBM's Thomas J. Watson Research Lab to ...
www.umcs.maine.edu/~chaitin/lowell.html   reviews

Abstract Service for Mathematical Logic at the Institute for Logic at the University of Vienna
Abstract Service for Mathematical Logic at the Institute for Logic at the University of Vienna ...
www.logic.univie.ac.at/abstract/   reviews

Foundations of Mathematics
Sketch of trends in the philiosophy of the foundations of mathematics and modern physics ...
home.mira.net/~andy/works/maths.htm   reviews

Perfect Symmetry Number Theory
A number theory based upon perfect symmetry modelled throughout arithmetic, algebra, analytic geometry, analytic trigonometry and calculus.
www.symmetryperfect.com/   reviews