February 2004 Archives by date
Starting: Sun Feb 1 13:42:23 EDT 2004
Ending: Sun Feb 29 13:49:48 EDT 2004
Messages: 113
- [FOM] Preliminary Announcement ESSLLI 2004
Martin Davis
- [FOM] 210:Coding in Reverse Mathematics 1
Harvey Friedman
- [FOM] CombLog04 - NEW DEADLINE: March 01, 2004.
Walter Carnielli
- [FOM]CT
Hajnal Andreka
- [FOM] Is Chess ripe for foundational exposition/research?
Harvey Friedman
- [FOM] Re: Physical Church Thesis
Istvan Nemeti
- [FOM] Re: Is Chess ripe for foundational exposition/research?
Timothy Y. Chow
- [FOM] Re: Is Chess ripe for foundational exposition/research?
Harvey Friedman
- [FOM] Re: physical Church Thesis, correction of Internet address
Istvan Nemeti
- [FOM] Non-Turing computations
José Félix Costa
- [FOM] 211:Coding in Reverse Mathematics 2
Harvey Friedman
- [FOM] Characterization of Linear Continua
Harvey Friedman
- [FOM] Characterization of Linear Continua
Jacques Carette
- [FOM] Finite Axiomatization of Class Theory
Harvey Friedman
- [FOM] Kolmogorov Lecture announcement
Vladik Kreinovich
- [FOM] Re: Is Chess ripe for foundational exposition/research?
Timothy Y. Chow
- [FOM] On foundations of special relativity
Istvan Nemeti
- [FOM] Is Chess ripe of foundational exposition/research
Alasdair Urquhart
- [FOM] Chess as science?
Harvey Friedman
- [FOM] On foundations of special relativity
José Félix Costa
- [FOM] Symposia in Tel-Aviv University
Arnon Avron
- [FOM] Re: On foundations of special relativity (Twin Paradox)
Istvan Nemeti
- [FOM] Re: Chess as science?
Timothy Y. Chow
- [FOM] Continua/Finite Axiomatization
Harvey Friedman
- [FOM] CfP Workshop of guarded logics ESSLLI'04
Martin Davis
- [FOM] ESSLLI 2004: Preliminary Announcement
Martin Davis
- [FOM] LCMAS@ESSLLI Final CFP
Martin Davis
- [FOM] 212:On foundations of special relativistic kinematics 4
Harvey Friedman
- [FOM] Re: On foundation of Special Relativistic Kinematics 4
Istvan Nemeti
- [FOM] On Physical Church-Turing Thesis
Dmytro Taranovsky
- [FOM] Re: On Physical Church-Turing Thesis
Martin Davis
- [FOM] S. Barry Cooper's book "Computability Theory"
Timothy Y. Chow
- [FOM] 213:On foundations of special relativistic kinematics 5
Harvey Friedman
- [FOM] On Physical Church-Turing Thesis
Harvey Friedman
- [FOM] S. Barry Cooper's book "Computability Theory"
Peter Smith
- [FOM] On Physical Church-Turing Thesis
José Félix Costa
- [FOM] Re: FOM Digest, Vol 14, Issue 10
Adam Epstein
- [FOM] The Myth of Hypercomputation
Timothy Y. Chow
- [FOM] About ln |x|
Harvey Friedman
- [FOM] Re: The Myth of Hypercomputation
Timothy Y. Chow
- [FOM] The Myth of Hypercomputation
Apostolos Syropoulos
- [FOM] telling whether a program terminates
Martin Davis
- [FOM] Re: The Myth of Hypercomputation
JoeShipman at aol.com
- [FOM] Re: The Myth of Hypercomputation
Timothy Y. Chow
- [FOM] On Physical Church-Turing Thesis
Toby Ord
- [FOM] Re: The Myth of Hypercomputation
Toby Ord
- [FOM] Tien Kieu and the Quantum Adiabatic Theorem
Martin Davis
- [FOM] Tien Kieu and the Quantum Adiabatic Theorem
Toby Ord
- [FOM] Combining classical and intuitionistic features in one logic
mail at sakharov.net
- [FOM] Re: The Myth of Hypercomputation
Timothy Y. Chow
- [FOM] Re: On Physical Church-Turing Thesis
Dmytro Taranovsky
- [FOM] 5th Annual Graduate Student Conference in Logic
Wesley Calvert
- [FOM] A Newtonian computing design
Harvey Friedman
- [FOM] Combining classical and intuitionistic features in one logic
Aarati Parmar
- [FOM] Experimentation, Incompleteness, and Undecidability
Dmytro Taranovsky
- [FOM] On Physical Church-Turing Thesis
José Félix Costa
- [FOM] On Physical Church-Turing Thesis
José Félix Costa
- [FOM] Re: Combining classical and intuitionistic features in one logic
Joao Marcos
- [FOM] Re: On Physical Church-Turing Thesis
Toby Ord
- [FOM] Re: The Myth of Hypercomputation
Toby Ord
- [FOM] Combining classical and intuitionistic features in one logic
Vladik Kreinovich
- [FOM] Ants, Elephants, and Special Principle of Relativity
Istvan Nemeti
- [FOM] Re: A Newtonian computing design
Timothy Y. Chow
- [FOM] apology and warning
Martin Davis
- [FOM] Re: A Newtonian computing design
Harvey Friedman
- [FOM] Re: Combining classical and intuitionistic features in one logic
Joao Marcos
- [FOM] ESSLLI 04: Registration Open
Carlos Areces
- [FOM] Re: A Newtonian computing design
Toby Ord
- [FOM] recursive vs. computable (Toby Ord)
Martin Davis
- [FOM] Re: The Myth of Hypercomputation
Piyush P Kurur
- [FOM] 214:On foundations of special relativistic kinematics 6
Harvey Friedman
- [FOM] On a natural definition of relativistic distance of events in SRK . (Ants, elephants, and Minkowski-distance.)
Istvan Nemeti
- [FOM] CFP
Elana Geller
- [FOM] Deadline extension : ESSLLI'04 Student Session
Paul Egré
- [FOM] Re: On physical Church-Turing Thesis
Eric Baum
- [FOM] Re: Combining classical and intuitionistic features in one logic
mail at sakharov.net
- [FOM] Re: Combining classical and intuitionistic features in one logic
Matthew Frank
- [FOM] Workshop-Semantic Approaches to Binding Theories
Philippe Schlenker
- [FOM] Empirically relevant undecidability
Neil Tennant
- [FOM] Re: The Myth of Hypercomputation
Aatu Koskensilta
- [FOM] Re: A Newtonian computing design
Timothy Y. Chow
- [FOM] Re: The Myth of Hypercomputation
Timothy Y. Chow
- [FOM] Time in relativity.
Istvan Nemeti
- [FOM] Universal but not acceptable programming systems
Brian Postow
- [FOM] Neil Tennant's Questions
F.A. Muller
- [FOM] Universal but not acceptable programming systems
Brian Postow
- [FOM] Re: The Myth of Hypercomputation
Timothy Y. Chow
- [FOM] Re: Empirically relevant undecidability
Timothy Y. Chow
- [FOM] Crystal Ball Theory
Harvey Friedman
- [FOM] CFP Workshop on questions
Ileana Comorovski
- [FOM] Sets and Proper Classes
Robert Lindauer
- [FOM] Crystal Ball Theory
Steve Newberry
- [FOM] A Newtonian computing design
Robert M. Solovay
- [FOM] Turing machines: quadruples vs quintuples
Martin Davis
- [FOM] Historical notation question
Brian Postow
- [FOM] Historical notation question
Jeff Hirst
- [FOM] Historical notation question
giovanni sambin
- [FOM] 215:Special Relativity Corrections
Harvey Friedman
- [FOM] Historical notation question
praatika at mappi.helsinki.fi
- [FOM] cofinite quantifier (fwd)
Thomas Forster
- [FOM] Re: Crystal Ball Theory
Timothy Y. Chow
- [FOM] Historical notation question
Neil Tennant
- [FOM] Historical notation question
H. Enderton
- [FOM] French mathematician
Santo Scuderi
- [FOM] Reverse mathematics, search problems, and bounded arithmetic
Timothy Y. Chow
- [FOM] Quadruples instead of quintuples in TM's
Walter Carnielli
- [FOM] Re: Crystal Ball Theory
Harvey Friedman
- [FOM] Ineffective proofs and weak systems
Timothy Y. Chow
- [FOM] Ineffective proofs and weak systems
Harvey Friedman
- [FOM] nieve continuum metaphysics
Stephen Lavelle
- [FOM] Historical notation question
praatika at mappi.helsinki.fi
- [FOM] cofinite quantifier
praatika at mappi.helsinki.fi
- [FOM] Re: FOM Digest, Vol 14, Issue 29
Robert Owen
Last message date:
Sun Feb 29 13:49:48 EDT 2004
Archived on: Fri Mar 11 12:50:35 EDT 2005
This archive was generated by
Pipermail 0.09 (Mailman edition).