June 2003 Archives by date

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

Starting: Sun Jun 1 01:28:19 EDT 2003
Ending: Mon Jun 30 22:59:51 EDT 2003
Messages: 256

• [FOM] Query for Martin Davis. was:truth and consistency   Bill Taylor
• [FOM] Davis's honor Roll   A.P. Hazen
• [FOM] truth and consistency   Charles Parsons
• [FOM] truth and consistency   Martin Davis
• [FOM] Query for Martin Davis. was:truth and consistency   Roger Bishop Jones
• [FOM] truth and consistency   Charles Parsons
• [FOM] Davis's honor Roll   William Tait
• [FOM] Non-Arithmetical "Godel" Incompleteness.   Steve Newberry
• [FOM] Devlin on incorrect proofs   JoeShipman at aol.com
• [FOM] Truth and Consistency   Lucas Wiman
• [FOM] Paul Levy 1926   Karlis Podnieks
• [FOM] truth and consistency   Thomas Forster
• [FOM] Maximal Principle in Arithmetic   Harvey Friedman
• [FOM] Devlin on incorrect proofs   Neil Tennant
• [FOM] Truth and Consistency   Neil Tennant
• [FOM] Is ZFC consistent?   Harvey Friedman
• [FOM] translations of quotes from Karlis Podnieks' recentposting   Martin Davis
• [FOM] Is ZFC consistent?   Mark Steiner
• [FOM] Godel numbers, use, and mention   Sandy Hodges
• [FOM] Truth and Consistency   mjmurphy
• [FOM] Query for Martin Davis. was:truth and consistency   Vladimir Sazonov
• [FOM] Godel numbers, use, and mention   Hartley Slater
• [FOM] Did Gödel believe V=L?   A.P. Hazen
• [FOM] Query for Martin Davis. was:truth and consistency   Bill Taylor
• [FOM] Davis's honor Roll   praatika at mappi.helsinki.fi
• [FOM] On the decision problem for fragments of set theory   Franco Parlamento
• [FOM] Devlin on incorrect proofs   Jasper Stein
• [FOM] 174:Directly Honest 2nd Incompleteness   Harvey Friedman
• [FOM] Davis's honor Roll   William Tait
• [FOM] Davis's honor Roll---a correction   William Tait
• [FOM] Godel numbers, use, and mention   Dean Buckner
• [FOM] Semantical entailment between theories (to H. Friedman)   addamo at wp.pl
• [FOM] Query for Martin Davis. was:truth and consistency   Vladimir Sazonov
• [FOM] Godel numbers, use, and mention   mjmurphy
• [FOM] Semantical entailment between theories (to H. Friedman)   Harvey Friedman
• [FOM] Applications of the Riemann hypothesis and the ABC conjecture to independence results   weiermann at math.uu.nl
• [FOM] N vs. FOL   Dana Scott
• [FOM] Godel numbers, use, and mention   Dean Buckner
• [FOM] How to change the email address under which you've subscribed   Martin Davis
• [FOM] N vs. FOL   Vladimir Sazonov
• [FOM] N vs. FOL   Andrew Boucher
• [FOM] Godel numbers, use, and mention   Hartley Slater
• [FOM] Query for Martin Davis. was:truth and consistency   Bill Taylor
• [FOM] Leibniz's Law (Was: Goedel numbers, use, and mention)   Richard Heck
• [FOM] 174:Directly Honest 2nd Incompleteness   Andrej Bauer
• [FOM] N vs. FOL   Vladimir Sazonov
• [FOM] On refusing to join clubs   Dean Buckner
• [FOM] virus in message purporting to come from Harvey   Martin Davis
• [FOM] Godel numbers, use, and mention   Dean Buckner
• [FOM] 174:Directly Honest 2nd Incompleteness   Harvey Friedman
• [FOM] Godel numbers, use, and mention   Richard Heck
• [FOM] Godel numbers, use, and mention   mjmurphy
• [FOM] Godel numbers, use, and mention   Richard Heck
• [FOM] "Leibniz's Law"   Dean Buckner
• [FOM] Godel numbers, use, and mention   Dean Buckner
• [FOM] Godel numbers, use, and mention   mjmurphy
• [FOM] Re: "Leibniz's Law"   Richard Heck
• [FOM] Godel numbers, use, and mention   Richard Heck
• [FOM] "Leibniz's Law"   Jeffrey Ketland
• [FOM] Godel numbers, use, and mention   Hartley Slater
• [FOM] Godel numbers, use, and mention   Michael Zeleny
• [FOM] Re: "Leibniz's Law"   William Tait
• [FOM] Re: "Leibniz's Law"   Dean Buckner
• [FOM] Re: "Leibniz's Law"   Dean Buckner
• [FOM] Godel numbers, use, and mention   mjmurphy
• [FOM] 175:Maximal Principle/Hilbert's Program   Harvey Friedman
• [FOM] Mathematical concepts and intensions   Aatu Koskensilta
• [FOM] Davis's honor Roll   praatika at mappi.helsinki.fi
• [FOM] Query for Martin Davis. was:truth and consistency   Robin Adams
• [FOM] Re: "Leibniz's Law"   Richard Heck
• [FOM] Question about entailment between sentences belonging to different theories   addamo at wp.pl
• [FOM] Query for Martin Davis. was:truth and consistency   Vladimir Sazonov
• [FOM] "not predicatively provable"   steve newberry
• [FOM] "not predicatively provable"   Harvey Friedman
• [FOM] 176:Count Arithmetic   Harvey Friedman
• [FOM] ASL Annual Meeting   Alasdair Urquhart
• [FOM] Question about entailment between sentences belonging to different theories   Richard Heck
• [FOM] ASL Annual Meeting   Stephen G Simpson
• [FOM] 176:Count Arithmetic   Neil Tennant
• [FOM] 177:Strict Reverse Mathematics 1   Harvey Friedman
• [FOM] Question about entailment between sentences belongingto different theories   addamo at wp.pl
• [FOM] 176:Count Arithmetic   Dean Buckner
• [FOM] Query for Martin Davis. was:truth and consistency   Vladimir Sazonov
• [FOM] To Vladimir Sazonov and others doubting the unambiguity of N   Aatu Koskensilta
• [FOM] Re: 176:Count Arithmetic   Harvey Friedman
• [FOM] Re: 177:Strict Reverse Mathematics 1   Harvey Friedman
• [FOM] ASL Annual Meeting   Harvey Friedman
• [FOM] Query for Martin Davis. was:truth and consistency   Robin Adams
• [FOM] Re: "Leibniz's Law"   William Tait
• [FOM] Re: 176:Count Arithmetic   Neil Tennant
• [FOM] Consistency of formal systems   Matt Insall
• [FOM] My FOM reviews   Harvey Friedman
• [FOM] FOM: Zilber's Program   Dave Marker
• [FOM] Consistency of formal systems   William Tait
• [FOM] June 2003 issue of the BSL   Alasdair Urquhart
• [FOM] My FOM reviews   Harvey Friedman
• [FOM] Satisfies   Peter Tenriffe
• [FOM] Count Arithmetic   Bill Taylor
• [FOM] Query for Martin Davis. was:truth and consistency   Bill Taylor
• [FOM] Consistency of formal systems   Torkel Franzen
• [FOM] 176:Count Arithmetic   Dean Buckner
• [FOM] June 2003 issue of the BSL   Todd Wilson
• [FOM] Count Arithmetic   Harvey Friedman
• [FOM] Consistency of formal systems   Richard Zach
• [FOM] 178:Diophantine Shift Sequences   Harvey Friedman
• [FOM] June 2003 issue of the BSL   Andre Scedrov
• [FOM] Mismatch   Alessio Guglielmi
• [FOM] Consistency of formal systems   Torkel Franzen
• [FOM] Query for Martin Davis. was:truth and consistency   Bill Taylor
• [FOM] June 2003 issue of the BSL   David J. Pym
• [FOM] Query for Martin Davis. was:truth and consistency   Vladimir Sazonov
• [FOM] To Vladimir Sazonov and others doubting the unambiguity of N   Vladimir Sazonov
• [FOM] To Vladimir Sazonov and others doubting the unambiguity of N   Lucas Wiman
• [FOM] 179:Polynomial Shift Sequences/Correction   Harvey Friedman
• [FOM] My Review List   Harvey Friedman
• [FOM] Mismatch   Harvey Friedman
• [FOM] Advanced systems programming and the consistency of PA^{2}   Peter Apostoli
• [FOM] Advanced systems programming and the consistency of PA^{2}   Robert Black
• [FOM] Re: FOM: Zilber's Program   Everdell at aol.com
• [FOM] 180:Provable Functions of PA   Harvey Friedman
• [FOM] Count Calculus   Harvey Friedman
• [FOM] To Vladimir Sazonov and others doubting the unambiguity of N   Aatu Koskensilta
• [FOM] To Vladimir Sazonov and others doubting the unambiguity of N   Aatu Koskensilta
• [FOM] To Vladimir Sazonov and others doubting the unambiguity of N   Karlis Podnieks
• [FOM] Query for Martin Davis. was:truth and consistency   Aatu Koskensilta
• [FOM] About linear logic (was Re:Mismatch)   Alessio Guglielmi
• [FOM] Girard's new program   Alasdair Urquhart
• [FOM] Progressions of theories (was: Consistency of formal systems)   Richard Zach
• [FOM] Girard's new program   Andre Scedrov
• [FOM] To Vladimir Sazonov and others doubting the unambiguity of N   Aatu Koskensilta
• [FOM] Re: Progressions of theories (was: Consistency of formal systems)   Torkel Franzen
• [FOM] Girard's new program   Alasdair Urquhart
• [FOM] the essences of (nonclassical) logics (it was: mismatch)   giovanni sambin
• [FOM] Theory of Actual Proofs   Harvey Friedman
• [FOM] Re: Progressions of theories (was: Consistency of formal systems)   Richard Zach
• [FOM] Count Calculus   Dean Buckner
• [FOM] Girard's new program   Alessio Guglielmi
• [FOM] the essences of (nonclassical) logics (it was: mismatch)   Alessio Guglielmi
• [FOM] Re: Progressions of theories (was: Consistency of formal systems)   Torkel Franzen
• [FOM] Re: Progressions of theories (was: Consistency of formal systems)   Richard Zach
• [FOM] Theory of Actual Proofs   Neil Tennant
• [FOM] Theory of Actual Proofs   Harvey Friedman
• [FOM] Girard's new program   aa at post.tau.ac.il
• [FOM] Re: Progressions of theories (was: Consistency of formal systems)   Torkel Franzen
• [FOM] Theory of Actual Proofs   Mark Steiner
• [FOM] RE: FOM Digest, Consistency of Formal Theories   Matt Insall
• [FOM] 181:Strict Reverse Mathematics 2   Harvey Friedman
• [FOM] Mathematical Experiments.   Bill Taylor
• [FOM] Mathematical Experiments.   Dan Goodman
• [FOM] real numbers   Andreas Blass
• [FOM] Mathematical Experiments.   Bill Taylor
• [FOM] real numbers   Kanovei
• [FOM] Mathematical Certainty?   Harvey Friedman
• [FOM] RE: Experimental mathematics   David Corfield
• [FOM] Ludics:   Thomas Forster
• [FOM] real numbers   Andreas Blass
• [FOM] Re: Consistency of Formal Theories   Richard Zach
• [FOM] real numbers   Neil Tennant
• [FOM] Mathematical Certainty?   Miguel A. Lerma
• [FOM] real numbers/flexible set theory   Harvey Friedman
• [FOM] Mathematical Aesthetics   Wei Zhao
• [FOM] Mathematical Certainty?   Dan Goodman
• [FOM] Solution (?) to Mathematical Certainty Problem   Harvey Friedman
• [FOM] Mathematical Certainty?   Roger Bishop Jones
• [FOM] CATEGORICITY and STRONGLY MINIMAL SETS   John T. Baldwin
• [FOM] 180:Provable Functions of PA   William Tait
• [FOM] Solution (?) to Mathematical Certainty Problem   Roger Bishop Jones
• [FOM] Friedman's Simplified Foundations   Sandy Hodges
• [FOM] Solution (?) to Mathematical Certainty Problem   Freek Wiedijk
• [FOM] Solution (?) to Mathematical Certainty Problem   Steve Newberry
• [FOM] retaining "certainty"   Martin Davis
• [FOM] Responses re Certainty, Simplified Foundations   Harvey Friedman
• [FOM] Certainty of formal proofs   Rene Vestergaard
• [FOM] 182:Ideas in Proof Checking 1   Harvey Friedman
• [FOM] 180:Provable Functions of PA   William Tait
• [FOM] Certainty of formal proofs   Harvey Friedman
• [FOM] Solution (?) to Mathematical Certainty Problem   Harvey Friedman
• [FOM] 182:Ideas in Proof Checking 1   Michael Thayer
• [FOM] None   Michael Makkai
• [FOM] 183:Ideas in Proof Checking 2   Harvey Friedman
• [FOM] Re: Michael Makkai's programme   A.P. Hazen
• [FOM] Dan Goodman on proof checkers   A.P. Hazen
• [FOM] Choice sequences and excluded middle   William Tait
• [FOM] Re: Mathematical Experiments   Don Fallis
• [FOM] Minor result. New, or known to Cantor?   BillOrEllen
• [FOM] Mathematical Certainty?   David Corfield
• [FOM] Query for Martin Davis. was:truth and consistency   Vladimir Sazonov
• [FOM] To Vladimir Sazonov and others doubting the unambiguity ofN   Vladimir Sazonov
• [FOM] 184:Ideas in Proof Checking 3   Harvey Friedman
• [FOM] Re:Certainty (Ideas in Proof Checking)   William.Piper at colorado.edu
• [FOM] Wolfram and intermediate degrees   John T. Baldwin
• [FOM] Solution (?) to Mathematical Certainty Problem   Robbie Lindauer
• [FOM] Re:Certainty (Ideas in Proof Checking)   Harvey Friedman
• [FOM] Re: Mathematical Experiments   Bill Taylor
• [FOM] Wolfram and intermediate degrees   Harvey Friedman
• [FOM] Re: A new foundation for abstract mathematics   Bill Taylor
• [FOM] Solution (?) to Mathematical Certainty Problem   Harvey Friedman
• [FOM] Minor result. New, or known to Cantor?   Ignasi Jane
• [FOM] Mathematical Aesthetics   Sean C Stidd
• [FOM] To Vladimir Sazonov and others doubting the unambiguityof N   Vladimir Sazonov
• [FOM] Church's thesis and Bounded Arithmetic   addamo at wp.pl
• [FOM] One Real number   Dean Buckner
• [FOM] Solution (?) to Mathematical Certainty Problem   Robbie Lindauer
• [FOM] 185:Ideas in Proof Checking 4   Harvey Friedman
• [FOM] To Vladimir Sazonov and others doubting the unambiguityof N   Aatu Koskensilta
• [FOM] Wolfram and intermediate degrees   Harvey Friedman
• [FOM] Solution (?) to Mathematical Certainty Problem   Harvey Friedman
• [FOM] None   Harvey Friedman
• [FOM] 180:Provable Functions of PA   Harvey Friedman
• [FOM] Church's thesis and Bounded Arithmetic   Vladimir Sazonov
• [FOM] Choice sequences and excluded middle   Giuseppina Ronzitti
• [FOM] Re: Mathematical Experiments   Don Fallis
• [FOM] the Continuum Hypothesis: where I stand.   Adrian-Richard-David Mathias
• [FOM] formalizing "trivialities"   Martin Davis
• [FOM] finite variable logics   John T. Baldwin
• [FOM] FOL as its own meta-language : Satisfies   Sandy Hodges
• [FOM] Solution (?) to Mathematical Certainty Problem   Robbie Lindauer
• [FOM] 180:Provable Functions of PA   William Tait
• [FOM] New Axioms(?)   Todd Eisworth (Math Fac)
• [FOM] Mathias on the Continuum Hypothesis.   Harvey Friedman
• [FOM] New Axioms(?)   Harvey Friedman
• [FOM] New Axioms(?)   Bill Taylor
• [FOM] Solution (?) to Mathematical Certainty Problem   Harvey Friedman
• [FOM] Re: Mathematical Experiments   Bill Taylor
• [FOM] New Axioms(?)   Karlis Podnieks
• [FOM] New Axioms(?)   Adrian-Richard-David Mathias
• [FOM] RE: FOM New Axioms   Matt Insall
• [FOM] RE: FOM New Axioms   Matt Insall
• [FOM] RE: FOM New Axioms   Matt Insall
• [FOM] RE: FOM New Axioms   Ralph Hartley
• [FOM] ZFC   Martin Davis
• [FOM] ZFC   Harvey Friedman
• [FOM] RE: FOM New Axioms   Matt Insall
• [FOM] Solution (?) to Mathematical Certainty Problem   Robbie Lindauer
• [FOM] Solution (?) to Mathematical Certainty Problem   mjmurphy
• [FOM] Tim Gowers work (was: One Real Number)   Dean Buckner
• [FOM] RE: FOM New Axioms   E. Todd Eisworth
• [FOM] Mathias on the Continuum Hypothesis   E. Todd Eisworth
• [FOM] Insall on GCH   E. Todd Eisworth
• [FOM] RE: FOM New Axioms   Todd Wilson
• [FOM] "x is Mortal" is Satisfied by Socrates   Sandy Hodges
• [FOM] CATEGORICITY and STRONGLY MINIMAL SETS   Harvey Friedman
• [FOM] 182:Ideas in Proof Checking 1   Roger Bishop Jones
• [FOM] Choice sequences and excluded middle   William Tait
• [FOM] Choice sequences and excluded middle   William Tait
• [FOM] CATEGORICITY and STRONGLY MINIMAL SETS   Richard Zach
• [FOM] Choice sequences and excluded middle   Harvey Friedman
• [FOM] CATEGORICITY and STRONGLY MINIMAL SETS   Harvey Friedman
• [FOM] choice sequences   Markus Van Atten
• [FOM] choice sequences (addendum)   Markus Van Atten
• [FOM] RE: New Axioms   Matt Insall
• [FOM] choice sequences (correction)   Markus Van Atten
• [FOM] Re: CATEGORICITY and STRONGLY MINIMAL SETS   Dave Marker
• [FOM] Solution (?) to Mathematical Certainty Problem   Robbie Lindauer
• [FOM] Re: Eisworth on Axiom of Infinity   A.P. Hazen
• [FOM] A ... cute? ... axiomatic system   A.P. Hazen

Last message date: Mon Jun 30 22:59:51 EDT 2003
Archived on: Fri Mar 11 12:50:09 EDT 2005

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