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