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, ...
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, ...
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
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
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
www.dcs.qmul.ac.uk/~pt/Practical_Foundations
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
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
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
Abstract Service for Mathematical Logic at the Institute for Logic at the University of Vienna ...
www.logic.univie.ac.at/abstract
Sketch of trends in the philiosophy of the foundations of mathematics and modern physics ...
home.mira.net/~andy/works/maths.htm
A number theory based upon perfect symmetry modelled throughout arithmetic, algebra, analytic geometry, analytic trigonometry and calculus.