January 2000 Archives by date
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: 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: 79:Axioms for geometry -- A question and a program
Vaughan Pratt
- FOM: a modest defense of philosophy
Russell Marcus
- FOM: A comment on an old question asked by Professor Pratt
Matt Insall
- FOM: defining ``mathematics''
Vladimir Sazonov
- FOM: A comment on an old question asked by Professor Pratt
Vaughan Pratt
- FOM: Importance of Real Analysis for F.O.M.
Joe Shipman
- FOM: Importance of Real Analysis for F.O.M.
Vaughan Pratt
- FOM: Criteria for new axioms of set theory
Harvey Friedman
- FOM: What is mathematics?
Harvey Friedman
- FOM: Millenium Conference
Harvey Friedman
- FOM: Length of formalizations
Harvey Friedman
- FOM: Length of formalizations
Andrej.Bauer at cs.cmu.edu
- FOM: Time Mag, Einstein, Godel, Foundational Studies
Harvey Friedman
- FOM: Length of formalizations
Andrej.Bauer at cs.cmu.edu
- FOM: Millenium Conference
Mark Steiner
- FOM: Millenium Conference
Mark Steiner
- FOM: Length of formalizations
Randy Pollack
- FOM: Einstein
Robert Black
- FOM: Einstein, Godel, physics/math culture
Harvey Friedman
- FOM: Time Mag, Einstein, Godel, Foundational Studies
Vaughan Pratt
- FOM: Einstein
Vaughan Pratt
- FOM: Millenium Conference
Vaughan Pratt
- FOM: Kazhdan, Macpherson, f.o.m., 2050, 2100
Harvey Friedman
- FOM: Einstein, Godel, physics/math culture
Mark Steiner
- FOM: Kazhdan, Macpherson, f.o.m., 2050, 2100
Mark Steiner
- FOM: Kazhdan, Macpherson, f.o.m., 2050, 2100
Mark Steiner
- FOM: Einstein, Godel, Turing, Hardy
Harvey Friedman
- FOM: Einstein, Godel, Turing, Hardy
Martin Davis
- FOM: Einstein, Godel, Turing, modes of research
Harvey Friedman
- FOM: Re: Einstein, Godel, Turing, Hardy
charles silver
- FOM: Re: Einstein, Godel, Turing, Hardy
Mark Steiner
- FOM: general intellectual interest of mathematics
John Baldwin
- FOM: Kazhdan, f.o.m.
Harvey Friedman
- FOM: RE: Time Mag, Einstein, Godel, Foundational Studies
Matt Insall
- FOM: Kazhdan, f.o.m.
Mark Steiner
- FOM: What is "Core Mathematics"?
Joe Shipman
- FOM: Kazhdan, f.o.m.
Harvey Friedman
- FOM: Kazhdan, f.o.m.
Mark Steiner
- FOM: Logical stucture of mathematical practice
Joe Shipman
- FOM: Godel, f.o.m.
Harvey Friedman
- FOM: Godel, f.o.m.
Mark Steiner
- FOM: Godel, f.o.m.
Samuel S. Kutler
- FOM: Millenium Conference
Ara R. Aslyan
- FOM: arithemtic, geometry, projectibility, Frege
Robert Black
- FOM: Length of formalizations
Piotr Rudnicki
- FOM: Millenium Conference
Mark Steiner
- FOM: arithemtic, geometry, projectibility, Frege
Mark Steiner
- FOM: arithmetic, geometry, projectibility, Frege
Robert Black
- FOM: arithmetic, geometry, projectibility, Frege
Mark Steiner
- FOM: Inductive reasoning
Joe Shipman
- FOM: Boolean valued models
Carsten BUTZ
- FOM: Inductive reasoning
Stephen G Simpson
- FOM: Boolean-valued models
Joe Shipman
- FOM: Inductive reasoning
Mark Steiner
- FOM: Godel, f.o.m.
Matt Insall
- FOM: The Mathematical Nature of Einstein's Contributions to Twentieth Century Science
Matt Insall
- FOM: Godel, f.o.m.
Steve Stevenson
- FOM: Godel, f.o.m.
Vladimir Sazonov
- FOM: Defining mathematics
Vladimir Sazonov
- FOM: Godel, f.o.m.
Vaughan Pratt
- FOM: Godel, f.o.m.
Martin Davis
- 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
Martin Davis
- FOM: Godel, f.o.m.
Stephen Fenner
- FOM: Philosophy and platonism
Michael Zeleny
- FOM: Godel's philosophical acuity vs. logical puritanism
Neil Tennant
- FOM: Godel, f.o.m.
David Pym
- FOM: Godel, f.o.m.
Steve Stevenson
- FOM: Philosophy and platonism
Stephen G Simpson
- FOM: Philosophy and platonism
Mark Steiner
- FOM: Philosophy and platonism (Frege references)
Stephen Ferguson
- FOM: Kazhdan's abstract
Harvey Friedman
- FOM: Philosophy and platonism
Robert Black
- FOM: Millenium Conference
Stephen G Simpson
- FOM: Philosophy and platonism
Michael Zeleny
- FOM: Philosophy and platonism
Martin Davis
- 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: Philosophy and platonism
Mark Steiner
- FOM: Re: Godel, f.o.m.
Steve Stevenson
- FOM: generic absoluteness
Mark Steiner
- FOM: Complex vs. Real, and stability
Yoav
- FOM: Re: Godel, f.o.m.
charles silver
- FOM: answer to question about proof theory vs f.o.m.
Stephen G Simpson
- FOM: Complex vs. Real, and stability
John Baldwin
- FOM: attitudes of core mathematicians and applied model theorists toward f.o.m.
Stephen G Simpson
- FOM: attitudes of core mathematicians and applied model theorists toward f.o.m.
Samuel S. Kutler
- FOM: Re: Godel, f.o.m.
Steve Stevenson
- FOM: attitudes of core mathematicians and applied model theorists toward f.o.m.
Mark Steiner
- FOM: Two questions
Charles Parsons
- FOM: Re: Re: Godel, f.o.m.
charles silver
- FOM: Two questions
Mark Steiner
- FOM: Length of formalizations
Andrzej Trybulec
- FOM: attitudes of core mathematicians and applied model theorists toward f.o.m.
Steve Stevenson
- FOM: Re: Re: Godel, f.o.m.
Steve Stevenson
- FOM: Cardinality Operators
Harvey Friedman
- FOM: attitudes of core mathematicians and applied model theorists towardf.o.m.
Matt Insall
- FOM: attitudes of core mathematicians and applied model theoriststoward f.o.m.
Mark Steiner
- FOM: attitudes of core mathematicians and applied model theoriststoward f.o.m.
Steve Stevenson
- FOM: Re: Re: Re: Godel, f.o.m.
charles silver
- FOM: Re: Re: Re: Godel, f.o.m.
charles silver
- FOM: Hempel
Robert Black
- FOM: Cardinality Operators
Martin Davis
- FOM: Re: Re: Re: Godel, f.o.m.
Vaughan Pratt
- FOM: Re: Re: Re: Godel, f.o.m.
Steve Stevenson
- FOM: Program verification
Andrzej Trybulec
- 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: Hempel
Steve Stevenson
- FOM: attitudes of core mathematicians and applied model theorists toward f.o.m.
Stephen Fenner
- FOM: attitudes of core mathematicians and applied model theorists towardf.o.m.
Mark Steiner
- FOM: attitudes of core mathematicians and applied modeltheoriststoward f.o.m.
Mark Steiner
- FOM: attitudes of core mathematicians and applied modeltheoriststoward f.o.m.
Mark Steiner
- 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: Berkeley and nonstandard analysis
Martin Davis
- FOM: Re: Re: Re: Godel, f.o.m.
Andrej Bauer
- FOM: Program verification
Andrej Bauer
- FOM: attitudes of core mathematicians and applied modeltheoriststoward f.o.m.
Mark Steiner
- FOM: RE: Re: Re: Godel, f.o.m.
Matt Insall
- FOM: Re: Berkeley and nonstandard analysis
charles silver
- FOM: Connections between mathematics, physics and FOM
Jeffrey John Ketland
- FOM: Re: Berkeley and nonstandard analysis
Martin Davis
- FOM: Re: Berkeley and nonstandard analysis
Martin Davis
- FOM: RE: Re: Re: Godel, f.o.m.
Steve Stevenson
- FOM: attitudes of core mathematicians and applied modeltheoriststoward f.o.m.
Steve Stevenson
- FOM: Wolfram talk
Stephen G Simpson
- FOM: RE: Re: Re: Godel, f.o.m.
Martin Davis
- FOM: Philosophy and platonism
Michael Zeleny
- FOM: Program verification
Matt Insall
- FOM: RE: Connections between mathematics, physics and FOM
Matt Insall
- FOM: Berkeley and nonstandard analysis....Teaching Calculus and Analysis using infintesimals
Matt Insall
- FOM: NBG and ZFC
Joseph Shoenfield
- FOM: Re: class theory
Harvey Friedman
- FOM: Connections between mathematics, physics and FOM
Mark Steiner
- FOM: NBG and ZFC
Martin Davis
- FOM: Reply to Davis
Joseph Shoenfield
- FOM: Re: class theory
Harvey Friedman
- 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
John Baldwin
- 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: Connections between mathematics, physics and FOM
Mark Steiner
- FOM: validation of simulations
Joe Shipman
- FOM: What are the FOM issues in this?
Martin Davis
- FOM: conservative extensions of nominalistic theories
hartry field
- FOM: RE: Re: Berkeley and nonstandard analysis
Matt Insall
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).