October 2003 Archives by thread

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

Starting: Wed Oct 1 02:21:43 EDT 2003
Ending: Fri Oct 31 12:28:38 EDT 2003
Messages: 254

• [FOM] Re: Contrasting Methodologies   Harvey Friedman
• [FOM] Tangential to Holmes/Slater exchange   A.P. Hazen
• [FOM] John Baez on David Corfield's book   David Corfield
  • [FOM] John Baez on David Corfield's book   Stephen G Simpson
  • [FOM] John Baez on David Corfield's book   Richard Zach
• [FOM] Slater and numbers   Randall Holmes
• [FOM] John Baez on David Corfield's book   Alexander M Lemberg
  • [FOM] John Baez on David Corfield's book   Stephen G Simpson
• [FOM] Platonism and Formalism   Haim Gaifman
• [FOM] higher order logic, Slater   Hartley Slater
• [FOM] Re: Sharp mathematical distinction between potential and actual infinity? + Re: John Baez on David Corfield's book   Aatu Koskensilta
• [FOM] Re: Sharp mathematical distinction between potential and actual infinity?   Timothy Y. Chow
• [FOM] Re: Contrasting methodologies   Timothy Y. Chow
• [FOM] Re: higher order logic, Slater   Randall Holmes
• [FOM] clarification   Randall Holmes
• [FOM] Platonism and Formalism   Vladimir Sazonov
  • [FOM] Platonism and Formalism   Torkel Franzen
• [FOM] On Platonism and Formalism   Vladimir Sazonov
• [FOM] Simpson on Tymoczkoism   Sandy Hodges
• [FOM] Slater and numbers   Hartley Slater
• [FOM] Corfield's book   Martin Krieger
• [FOM] Re: Contrasting methodologies   tom holden
  • [FOM] Re: Contrasting methodologies   Harvey Friedman
• [FOM] Tangential to Holmes/Slater exchange   Hartley Slater
• [FOM] Post on Creativity vs. Hadamard on Invention   William.Piper at colorado.edu
• [FOM] John Baez on David Corfield's book   David Corfield
  • [FOM] John Baez on David Corfield's book   Stephen G Simpson
• [FOM] John Baez on David Corfield's book   Stephen G Simpson
• [FOM] Slater and numbers   Randall Holmes
• [FOM] Logical Foundations of Dynamical System Theory...Are there any texts?   Steve Stevenson
• [FOM] On Existence of Mathematical Objects   Dmytro Taranovsky
  • [FOM] On Existence of Mathematical Objects   Vladimir Sazonov
    • [FOM] On Existence of Mathematical Objects   Harvey Friedman
      • [FOM] On Existence of Mathematical Objects   Karlis Podnieks
      • [FOM] On Existence of Mathematical Objects   Harvey Friedman
      • [FOM] On Existence of Mathematical Objects   Vladimir Sazonov
      • [FOM] Formalism/Platonism   Harvey Friedman
      • [FOM] Formalism/Platonism   Harvey Friedman
      • [FOM] Formalism/Platonism   Vladimir Sazonov
• FW: [FOM] Re: Contrasting methodologies   tom holden
• [FOM] 23.99 Carat Gold; foundationalism vs. coherentism   Stephen G Simpson
  • [FOM] 23.99 Carat Gold; foundationalism vs. coherentism   mjmurphy
• [FOM] On Existence of Mathematical Objects: reply to Taranovsky   JoeShipman at aol.com
• [FOM] Foundations/Philosophy   Robbie Lindauer
• [FOM] Simpson on Tymoczkoism   Stephen G Simpson
  • [FOM] Simpson on Tymoczkoism   John Steel
• [FOM] John Baez on David Corfield's book   Alexander M Lemberg
  • [FOM] John Baez on David Corfield's book   Stephen G Simpson
• [FOM] Permanent Value?   Harvey Friedman
• [FOM] Corfield-book-reply   W.Taylor at math.canterbury.ac.nz
  • [FOM] John Baez on David Corfield's book   Stephen G Simpson
• [FOM] Slater and numbers   Hartley Slater
• [FOM] philosophically interesting mathematics (was Re: John Baez on David Corfield's book)   Alexander M Lemberg
• [FOM] Tangential to Slater and Numbers   A.P. Hazen
• [FOM] Corfield : Simpson :: front end : back end ?   Timothy Y. Chow
• [FOM] Re: John Steel on David Corfield's book   Colin McLarty
• [FOM] Slater - Hazen - Holmes exchange   Dean Buckner
• [FOM] Permanent Value?   Dean Buckner
• [FOM] PHINEWS   Martin Davis
• [FOM] 190:Diagrammatic BRT   Harvey Friedman
• [FOM] FOM currents   Harvey Friedman
• [FOM] Tangential to Slater and Numbers   Hartley Slater
• [FOM] Platonism and Formalism   Karlis Podnieks
  • [FOM] A reply to Podnieks on Platonism and Formalism   Dmytro Taranovsky
• [FOM] CombLog'04 in Lisbon   Martin Davis
• [FOM] 191:Boolean Roots   Harvey Friedman
• [FOM] What numbers can happily be (a reply to Slater)   Arnon Avron
• [FOM] Slater's latest claim...   Randall Holmes
• [FOM] Tangential to Slater and Numbers   Peter Smith
  • [FOM] Tangential to Slater and Numbers   Neil Tennant
• [FOM] Goedel Volumes 4 and 5   Alasdair Urquhart
• [FOM] Ham sandwiches and expanders   Timothy Y. Chow
• [FOM] John Baez on David Corfield's book   Alexander M Lemberg
• [FOM] Goedel teaser   Alasdair Urquhart
• [FOM] Tangential to Slater and Numbers   Hartley Slater
  • [FOM] Tangential to Slater and Numbers   Arnon Avron
  • [FOM] Tangential to Slater and Numbers   Harvey Friedman
• [FOM] Parallel to Slater on Numbers   Hartley Slater
  • [FOM] Parallel to Slater on Numbers   Arnon Avron
• [FOM] Re: {FOM] Platonism and Formalism   Karlis Podnieks
• [FOM] Simpson on Tymoczkoism   P.T.M.Rood at ph.vu.nl
• [FOM] FOM currents   Dean Buckner
  • [FOM] FOM currents   Harvey Friedman
• [FOM] Tangential to Slater and Numbers   Dean Buckner
• [FOM] Parallel to Slater on Numbers   Hartley Slater
  • [FOM] Re: Parallel to Slater on Numbers   Arnon Avron
• [FOM] Platonism and Formalism - Message from Joe Shipman   Karlis Podnieks
• [FOM] FOM currents   Dean Buckner
  • [FOM] FOM currents   Harvey Friedman
    • [FOM] Re: FOM currents   Dean Buckner
      • [FOM] Re: FOM currents   Neil Tennant
      • [FOM] Re: FOM currents   Harvey Friedman
    • [FOM] FOM currents [A.Robinson, Platonism and Formalism]   Vladimir Sazonov
      • [FOM] A.Robinson, Isms   Harvey Friedman
• [FOM] Did f.o.m. begin in the 19th century & other amazing questions   Martin Davis
• [FOM] Foundations and Frege   William Tait
• [FOM] Three Types of Foundational Inquiry   Sean C Stidd
  • [FOM] Three Types of Foundational Inquiry   Harvey Friedman
• [FOM] Projective Determinacy   Dmytro Taranovsky
• [FOM] Parallel to Slater on Numbers   Hartley Slater
  • [FOM] An absolutely final reply to Slater   Arnon Avron
• [FOM] Your moderator will be in Mexico for a week   Martin Davis
• [FOM] Profound Flexibility   Harvey Friedman
  • [FOM] Profound Flexibility   Arnon Avron
• [FOM] Corfield's book   Alasdair Urquhart
  • [FOM] Comments on comments on Corfield's book   Harvey Friedman
  • [FOM] John Baez on David Corfield's book   Stephen G Simpson
• [FOM] Foundations and Frege   Charles A Stewart
  • [FOM] Foundations and Frege   Michael Kremer
  • [FOM] Re: Foundations and Frege   William Tait
    • [FOM] Re: Foundations and Frege   William Ewald
• [FOM] Foundations and Frege   Alasdair Urquhart
  • [FOM] Foundations and Frege   Roger Bishop Jones
• [FOM] Unschooled grammatical intuition v. theoretical identities   Neil Tennant
• [FOM] Query on real functions   JoeShipman at aol.com
  • [FOM] Query on real functions   Toby Ord
  • [FOM] Query on real functions   William Tait
• [FOM] independence problem   John Bell
• [FOM] profound flexibility   Hartley Slater
• [FOM] Sentences that "speak about themselves"   Haim Gaifman
• [FOM] Clarification   Haim Gaifman
• [FOM] vacancy   Wim Veldman
• [FOM] Origins of type theory   Alasdair Urquhart
  • [FOM] Origins of type theory   giovanni sambin
• [FOM] Frege and logic   Alasdair Urquhart
  • [FOM] Frege and logic   Jay Halcomb
  • [FOM] Frege and logic   Dean Buckner
• [FOM] Friedman on Urquhart on Corfield   Alasdair Urquhart
  • [FOM] Friedman on Urquhart on Corfield   Harvey Friedman
• [FOM] Unschooled grammatical intuition v. theoretical identities   Hartley Slater
  • [FOM] Re: Unschooled grammatical intuition v. theoretical identities   Neil Tennant
  • [FOM] Why Bother?   Harvey Friedman
• [FOM] Frege and logic   Alasdair Urquhart
• [FOM] Profound flexibility   Hartley Slater
• [FOM] sentences which talk about themselves   Randall Holmes
• [FOM] Comments on comments on Corfield's book   David Corfield
  • [FOM] Re: pom/fom. directions   Harvey Friedman
• [FOM] sentences talking about themselves   Randall Holmes
• [FOM] can't resist   Randall Holmes
• [FOM] Re: Unschooled grammatical intuition v. theoretical identities   Neil Tennant
• [FOM] Frege, Russell and type theory   Alasdair Urquhart
  • [FOM] Frege, Russell and type theory   William Tait
• [FOM] Do the British not accept such principles as "p is true iff p"?   Dean Buckner
  • [FOM] Do the British not accept such principles as "p is true iff p"?   Neil Tennant
• [FOM] Some Clarifications on Platonism and Formalism   Dmytro Taranovsky
  • [FOM] Some Clarifications on Platonism and Formalism   Vladimir Sazonov
    • [FOM] More Clarifications on Platonism and Formalism   Dmytro Taranovsky
• [FOM] Frege and logic   Steve Awodey
• [FOM] Bressoud vs Corfield   Peter Smith
• [FOM] Unschooled grammatical intuition v. theoretical identities   Hartley Slater
• [FOM] Query: Gödel 1931 translations   Richard Zach
• [FOM] Re: Origins of type theory   A.P. Hazen
• [FOM] Urquhart on Friedman on Urquhart on Corfield   David Corfield
  • [FOM] Re: pom/fom directions   Harvey Friedman
• [FOM] Query on real functions   JoeShipman at aol.com
• [FOM] The CH and countably additive measures   Peter John Apostoli
• [FOM] Russell's influence   Alasdair Urquhart
  • [FOM] Russell's influence   Richard Zach
• [FOM] Frank's elegant solution   JoeShipman at aol.com
  • [FOM] Frank's elegant solution   Toby Ord
• [FOM] Russell's influence   praatika at mappi.helsinki.fi
• [FOM] Friedman on Urquhart on Corfield   David Corfield
  • [FOM] Friedman on Urquhart on Corfield   John Baldwin
  • [FOM] counting arguments?   Stephen G Simpson
  • [FOM] Friedman on Urquhart on Corfield   Stephen G Simpson
• [FOM] Re: Origins of type theory   Alasdair Urquhart
• [FOM] Reply to Friedman on foundations etc.   Alasdair Urquhart
• [FOM] Goedel 1931 translations   H. Enderton
  • [FOM] Goedel 1931 translations   Charles Parsons
• [FOM] Re: pom/fom. directions   Jon Williamson
  • [FOM] Re: pom/fom. directions   Harvey Friedman
• [FOM] Founders of set theory and natural language   Dean Buckner
  • [FOM] Founders of set theory and natural language   Roger Bishop Jones
  • [FOM] Founders of set theory and natural language   Aatu Koskensilta
• [FOM] Frege and philosophy of language   Alasdair Urquhart
• [FOM] On Platonism and Formalism   Harvey Friedman
  • [FOM] Projective Determinacy and other topics: A reply to Harvey Friedman   Dmytro Taranovsky
    • [FOM] bug fix/Re: Projective Determinacy and other topics: A reply to Harvey Friedman   Harvey Friedman
      • [FOM] Re: Projective Determinacy and other topics   Dmytro Taranovsky
• [FOM] Why Bother?   Hartley Slater
• [FOM] Re: Three Types of Foundational Inquiry   sean.stidd at juno.com
  • [FOM] Re: Three Types of Foundational Inquiry   Harvey Friedman
• [FOM] Founders of set theory and natural language   Dean Buckner
  • [FOM] Founders of set theory and natural language   John T. Baldwin
• [FOM] Points of View in Philosophy of Mathematics   Dmytro Taranovsky
• [FOM] Platonism 1   William Tait
• [FOM] recent article by Jeremy Avigood   Martin Davis
• [FOM] correction   Martin Davis
• [FOM] third time is a charm   Martin Davis
• [FOM] Re: Platonism 1 (Tait)   A.P. Hazen
• [FOM] Sazonov's vocabulary   A.P. Hazen
• [FOM] Re: counting arguments?   Timothy Y. Chow
  • [FOM] Re: counting arguments?   Stephen G Simpson
• [FOM] What is a proof?   John T. Baldwin
  • [FOM] What is a proof?   Stephen G Simpson
    • [FOM] What is a proof?   John T. Baldwin
      • [FOM] What is a proof?   Stephen G Simpson
      • [FOM] What is a proof?   John Baldwin
      • [FOM] What is a proof?   John T. Baldwin
      • [FOM] What is a proof?   Stephen G Simpson
      • [FOM] What is a proof?   John T. Baldwin
    • [FOM] What is a proof?   Michael Thayer
  • [FOM] What is a proof? Not a Hilbert-type proof!   Arnon Avron
    • [FOM] What is a proof? Not a Hilbert-type proof!   Michael Thayer
• [FOM] Example of beef: nonrigorous heuristics   Timothy Y. Chow
  • [FOM] Example of beef: nonrigorous heuristics   Stephen G Simpson
• [FOM] 192:Order Invariant Statement   Harvey Friedman
• [FOM] Corfield's book   Alasdair Urquhart
• [FOM] Erdos type probabilistic arguments   David Corfield
• [FOM] Re: pom/fom. directions   Jon Williamson
• [FOM] Zero-one law for finite random graphs   Timothy Y. Chow
• [FOM] Re: pom/fom. directions   Harvey Friedman
• [FOM] Am I a Platonist?   Martin Davis
  • [FOM] Am I a Platonist?   Harvey Friedman
• [FoM] What is a proof?   A.P. Hazen
  • [FoM] What is a proof?   John T. Baldwin
    • [FOM] shocked?   Harvey Friedman
    • [FoM] What is a proof?   William Tait
      • [FoM] What is a proof?   John T. Baldwin
• [FOM] What is a proof?   williamtait at mac.com
• [FOM] Re: counting arguments?   Timothy Y. Chow
• [FOM] re: Am I a Platonist: clarification   Harvey Friedman
• [FOM] Sets and Proper Classes   Dmytro Taranovsky
  • [FOM] Sets and Proper Classes   Aatu Koskensilta
• [FOM] news?!   Harvey Friedman
• [FOM] news?! yet again   Harvey Friedman
• [FOM] Re. What is a proof?   Michael Detlefsen
• [FOM] Am I a Platonist?   Martin Davis
  • [FOM] Am I a Platonist?   Harvey Friedman
    • [FOM] Am I a Platonist?   Ayan Mahalanobis
  • [FOM] Am I a Platonist?   praatika at mappi.helsinki.fi
• [FOM] Counting arguments   Alasdair Urquhart
• [FOM] less and more news?!   Harvey Friedman
• [FOM] Platonism, Realism, Formalism   JoeShipman at aol.com
  • [FOM] Realism and Platonism   Robert Black
  • [FOM] Platonism, Realism, Formalism   Peter Apostoli
• [FOM] shocked?   Rob Arthan
• [FOM] Re: pom/fom directions   David Corfield
• [FOM] model theory and nonstandard analysis   Jose Iovino
• [FOM] Counting arguments   Lengyel, Florian
• [FOM] Davis on Torricelli   Dean Buckner
  • [FOM] Davis on Torricelli   William Tait
• [FOM] Re: Query: Gödel 1931 translations   Richard Zach
  • [FOM] Re: Query: GЖdel 1931 translations   Vladimir Sazonov
• [FOM] Re: counting arguments   Timothy Y. Chow
• [FOM] Re: Example of beef: nonrigorous heuristics   Timothy Y. Chow
• [FOM] Historical Question: Heine-Borel Theorem   Steve Stevenson
• [FOM] P vs NP undecidability/independence update   V.Z. Nuri
• [FOM] P vs NP undecidability   Alasdair Urquhart
  • [FOM] P vs NP undecidability   Vladimir Sazonov
• [FOM] Historical Question: Heine-Borel Theorem   Alexander M Lemberg
• [FOM] What is a proof?   JoeShipman at aol.com
• [FOM] Re: Ham sandwiches and expanders   Timothy Y. Chow
• [FOM] intuitionistic and modal logics: a valuable researcher   Vladik Kreinovich

Last message date: Fri Oct 31 12:28:38 EDT 2003
Archived on: Fri Mar 11 12:50:24 EDT 2005

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