January 2000 Archives by thread
Starting: Sun Jan 2 00:51:00 EDT 2000
Ending: Mon Jan 31 22:25:46 EDT 2000
Messages: 176
- FOM: Millenium Conference
Mark Steiner
- FOM: Millenium Conference
Harvey Friedman
- FOM: Millenium Conference
Mark Steiner
- FOM: Millenium Conference
Vaughan Pratt
- FOM: Kazhdan, Macpherson, f.o.m., 2050, 2100
Harvey Friedman
- FOM: Kazhdan, Macpherson, f.o.m., 2050, 2100
Mark Steiner
- FOM: Kazhdan, f.o.m.
Harvey Friedman
- FOM: Kazhdan, f.o.m.
Mark Steiner
- FOM: Kazhdan, f.o.m.
Harvey Friedman
- FOM: Kazhdan, f.o.m.
Mark Steiner
- FOM: arithemtic, geometry, projectibility, Frege
Robert Black
- FOM: arithemtic, geometry, projectibility, Frege
Mark Steiner
- FOM: arithmetic, geometry, projectibility, Frege
Robert Black
- FOM: arithmetic, geometry, projectibility, Frege
Mark Steiner
- FOM: answer to question about proof theory vs f.o.m.
Stephen G Simpson
- FOM: Kazhdan, Macpherson, f.o.m., 2050, 2100
Mark Steiner
- FOM: Millenium Conference
Ara R. Aslyan
- FOM: Millenium Conference
Mark Steiner
- FOM: Millenium Conference
Mark Steiner
- FOM: Millenium Conference
Stephen G Simpson
- FOM: defining "mathematics"
Matt Insall
- FOM: Hilbert's Foundations of Geometry
Samuel S. Kutler
- FOM: Length of formalizations
Piotr Rudnicki
- FOM: Definition of mathematics
charles silver
- FOM: An interesting poll
Harvey Friedman
- FOM: 77:Missing axiom/atonement
Harvey Friedman
- FOM: A Foundation of Elementary Arithmetic
Andrew Boucher
- FOM: 78:Quadratic Axioms/Literature Conjectures
Harvey Friedman
- FOM: Definition of mathematics (continued)
Jan Mycielski
- FOM: defining ``mathematics''
Vladimir Sazonov
- FOM: defining ``mathematics''
Matt Insall
- FOM: defining ``mathematics''
Matt Insall
- FOM: defining ``mathematics''
Matt Insall
- FOM: Man of the Century
Matt Insall
- FOM: An interesting poll
Samuel S. Kutler
- FOM: 79:Axioms for geometry
Harvey Friedman
- FOM: a modest defense of philosophy
Russell Marcus
- FOM: A comment on an old question asked by Professor Pratt
Matt Insall
- FOM: Importance of Real Analysis for F.O.M.
Joe Shipman
- FOM: Criteria for new axioms of set theory
Harvey Friedman
- FOM: What is mathematics?
Harvey Friedman
- FOM: Length of formalizations
Andrej.Bauer at cs.cmu.edu
- FOM: Einstein, Godel, physics/math culture
Harvey Friedman
- FOM: Re: Einstein, Godel, Turing, Hardy
charles silver
- FOM: general intellectual interest of mathematics
John Baldwin
- FOM: What is "Core Mathematics"?
Joe Shipman
- FOM: Logical stucture of mathematical practice
Joe Shipman
- FOM: Godel, f.o.m.
Samuel S. Kutler
- FOM: Length of formalizations
Piotr Rudnicki
- FOM: Inductive reasoning
Joe Shipman
- FOM: Boolean-valued models
Joe Shipman
- FOM: The Mathematical Nature of Einstein's Contributions to Twentieth Century Science
Matt Insall
- No subject
Jan Mycielski
- FOM: Nature of mathematics
Vaughan Pratt
- FOM: defining ``mathematics''
Matt Insall
- FOM: Philosophy and platonism
Mark Steiner
- FOM: Godel's philosophical acuity vs. logical puritanism
Robert Tragesser
- FOM: Philosophy and platonism
Michael Zeleny
- FOM: Godel, f.o.m.
Steve Stevenson
- FOM: Kazhdan's abstract
Harvey Friedman
- FOM: Philosophy and platonism
Michael Zeleny
- FOM: Two questions
Mark Steiner
- FOM: generic absoluteness
John Steel
- FOM: generic absoluteness
John Steel
- FOM: Re: fom-digest V1 #261
Juliet Floyd
- FOM: Re: Godel, f.o.m.
charles silver
- FOM: generic absoluteness addendum
John Steel
- FOM: Complex vs. Real, and stability
Yoav
- FOM: Re: Godel, f.o.m.
charles silver
- FOM: attitudes of core mathematicians and applied model theorists toward f.o.m.
Samuel S. Kutler
- FOM: Re: Re: Godel, f.o.m.
charles silver
- FOM: Cardinality Operators
Harvey Friedman
- FOM: Re: Re: Re: Godel, f.o.m.
charles silver
- FOM: Re: Re: Re: Godel, f.o.m.
charles silver
- FOM: attitudes of core mathematicians and applied model theoriststoward f.o.m. (fwd)
Graham Solomon
- FOM: attitudes of core mathematicians and applied modeltheoriststoward f.o.m.
charles silver
- FOM: attitudes of core mathematicians and applied modeltheoriststoward f.o.m.
Steve Stevenson
- FOM: attitudes of core mathematicians and applied model theoriststoward f.o.m.
Stephen Fenner
- FOM: Re: Berkeley and nonstandard analysis
charles silver
- FOM: Connections between mathematics, physics and FOM
Jeffrey John Ketland
- FOM: Wolfram talk
Stephen G Simpson
- FOM: Philosophy and platonism
Michael Zeleny
- FOM: Berkeley and nonstandard analysis....Teaching Calculus and Analysis using infintesimals
Matt Insall
- FOM: NBG and ZFC
Joseph Shoenfield
- FOM: Reply to Davis
Joseph Shoenfield
- FOM: Reply to Davis
Kanovei
- FOM: Re: class theory
Thomas Forster
- FOM: Re: Berkeley and nonstandard analysis
Robert Tragesser
- FOM: Class theory and Universal Algebra
Matt Insall
- FOM: Connections between mathematics, physics and FOM
Jeffrey John Ketland
- FOM: Wittgenstein and Goedel; Wittgenstein and Turing
Mark Steiner
- FOM: What are the FOM issues in this?
Steve Stevenson
- FOM: validation of simulations
Joe Shipman
- FOM: conservative extensions of nominalistic theories
hartry field
Last message date:
Mon Jan 31 22:25:46 EDT 2000
Archived on: Fri Mar 11 12:48:46 EDT 2005
This archive was generated by
Pipermail 0.09 (Mailman edition).