November 2000 Archives by thread

Messages sorted by: [ subject ] [ author ] [ date ]
More info on this list...

Starting: Wed Nov 1 02:07:48 EDT 2000
Ending: Mon Nov 27 11:06:49 EDT 2000
Messages: 105

FOM: Goedel: truth and misinterpretations Torkel Franzen
- FOM: Goedel: truth and misinterpretations Matt Insall
FOM: true but not provable Torkel Franzen
FOM: Goedel: truth and misinterpretations V. Sazonov
FOM: The meaning of truth Joe Shipman
- FOM: The meaning of truth V. Sazonov
FOM: Goedel: truth and misinterpretations Kanovei
- FOM: Goedel: truth and misinterpretations Torkel Franzen
- FOM: Goedel: truth and misinterpretations Vladimir Sazonov
  - FOM: Goedel: truth and misinterpretations Torkel Franzen
    - FOM: True = provable? Was: Goedel: truth and misinterpretations V. Sazonov
    - FOM: True = provable? Was: Goedel: truth and misinterpretations Torkel Franzen
    - FOM: Goedel: truth and misinterpretations V. Sazonov
    - FOM: Goedel: truth and misinterpretations Torkel Franzen
    - FOM: Goedel: truth and misinterpretations V. Sazonov
    - FOM: Goedel: truth and misinterpretations Torkel Franzen
    - FOM: Goedel: truth and misinterpretations V. Sazonov
    - FOM: true => provable [Ignore previous posting with true = provable] V. Sazonov
FOM: ultrafinitism Robert Black
- FOM: ultrafinitism and mathematical rigor Vladimir Sazonov
FOM: The meaning of truth Kanovei
- FOM: The meaning of truth Joe Shipman
FOM: ultrafinitism Kanovei
FOM: Goedel: truth and misinterpretations Kanovei
- FOM: Goedel: truth and misinterpretations Matt Insall
  - FOM: Goedel: truth and misinterpretations V. Sazonov
- FOM: Goedel: truth and misinterpretations Torkel Franzen
FOM: Goedel: truth and misinterpretations Kanovei
- FOM: Goedel: truth and misinterpretations Matt Insall
FOM: The meaning of truth charles silver
- FOM: The meaning of truth V. Sazonov
FOM: The meaning of truth Joe Shipman
FOM: The meaning of truth Kanovei
- FOM: Computer-verified theorems [was Re: The meaning of truth] Andrej Bauer
  - FOM: RE: Computer-verified theorems...III Matt Insall
  - FOM: RE: Computer-verified theorems...IV Matt Insall
FOM: The meaning of truth Kanovei
FOM: infinity of the universe and other points holmes at catseye.idbsu.edu
FOM: The meaning of truth Kanovei
- FOM: The meaning of truth Joe Shipman
FOM: infinity of the universe... Allen Hazen
- FOM: infinity of the universe...Hazen's Moral Matt Insall
FOM: Tarski and Truth = correspondence to the facts Jeffrey Ketland
FOM: The meaning of truth Kanovei
FOM: infinity of the universe... Jeffrey Ketland
FOM: Computer-verified theorems [was Re: The meaning of truth] JoeShipman at aol.com
FOM: Truth in mathematics Alasdair Urquhart
FOM: The meaning of truth JoeShipman at aol.com
FOM: The meaning of truth Kanovei
FOM: The meaning of truth charles silver
- FOM: The meaning of truth Matt Insall
FOM: Midwest Model Theory Meeting, November 11-12 Stephen G Simpson
FOM: infinity of the universe holmes at catseye.idbsu.edu
- FOM: Re: infinity of the universe Amit Agarwal
- FOM: Re: infinity of the universe Ara R. Aslyan
FOM: The meaning of truth Kanovei
FOM: truth and provability holmes at catseye.idbsu.edu
- FOM: truth and provability Torkel Franzen
FOM: redundancy holmes at catseye.idbsu.edu
FOM: infinity of the universe Kanovei
FOM: the standard model of PA holmes at catseye.idbsu.edu
FOM: infinity of the universe holmes at catseye.idbsu.edu
FOM: True = provable? Was: Goedel: truth and misinterpretations V. Sazonov
FOM: Existence of Axioms and Existence of Collections of Axioms Matt Insall
FOM: Truth of G Raatikainen Panu A K
- FOM: Truth of G Stephen Fenner
FOM: The meaning of truth charles silver
FOM: Existence of Axioms and Existence of Collections of Axioms Matt Insall
- FOM: Existence of Axioms and Existence of Collections ofAxioms V. Sazonov
FOM: The meaning of truth Jeffrey Ketland
FOM: truth and provability Martin Davis
- FOM: truth and provability William Tait
FOM: ultrafinitism again Robert Black
- FOM: Re: ultrafinitism again and true =? provable V. Sazonov
  - FOM: real numbers and the real world Robert Black
    - FOM: real numbers and the real world Neil Tennant
FOM: Truth of G Raatikainen Panu A K
- FOM: Truth of G Arnon Avron
  - FOM: Truth of G Raatikainen Panu A K
    - FOM: Truth of G Arnon Avron
    - FOM: Truth of G Raatikainen Panu A K
  - Godel ad infinitum (was FOM: Truth of G) Torkel Franzen
FOM: truth and provability Kanovei
- FOM: truth and provability Martin Davis
FOM: a message from the Moderator Stephen G Simpson
FOM: Reply to Sazonov, Kanovei, and Black: Truth and Ultrafinitism JoeShipman at aol.com
FOM: Apology William Tait
FOM: ultrafinitism again Kanovei
- FOM: ultrafinitism again Harvey Friedman
FOM: Re: Gödel ad infinitum Allen Hazen
FOM: Announcement Kanovei
FOM: chess challenge to experts Kanovei
FOM: Re: chess challenge to experts Harvey Friedman
FOM: provability and truth Walter Felscher
FOM: Re: chess challenge to experts Kanovei
FOM: definitions Thomas Forster
FOM: real numbers and the real world Allen Hazen
FOM: real numbers and the real world Matthew Frank
FOM: Russell quotation Thomas Forster
FOM: Russell quotation Vladik Kreinovich
FOM: Russell quotation Alasdair Urquhart
FOM: Russell Thomas Forster
FOM: Russell quotation Thomas Forster
FOM: Logic Thomas Forster
FOM: Workshop on Neo-Fregean Philosophy of Mathematics Stephen G Simpson

Last message date: Mon Nov 27 11:06:49 EDT 2000
Archived on: Fri Mar 11 12:49:09 EDT 2005

Messages sorted by: [ subject ] [ author ] [ date ]
More info on this list...

This archive was generated by Pipermail 0.09 (Mailman edition).