January 2004 Archives by thread

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

Starting: Fri Jan 2 00:11:31 EDT 2004
Ending: Sat Jan 31 22:13:22 EDT 2004
Messages: 112

• [FOM] Equational Reduction of Predicate Calculus   Harvey Friedman
  • [FOM] Equational Reduction of Predicate Calculus/Correction   Harvey Friedman
• [FOM] Equational reduction of predicate calculus   Alasdair Urquhart
  • [FOM] Equational reduction of predicate calculus   praatika at mappi.helsinki.fi
• [FOM] Planned Essay   Harvey Friedman
  • [FOM] Planned Essay   Karlis.Podnieks at mii.lu.lv
• [FOM] about an objection to Quine's indispensability arguments   mlika hamdi
• [FOM] Bourbaki qua philosopher   Robert Black
• [FOM] reducing higher to second order?   Marcus Rossberg
  • [FOM] reducing higher to second order?   Roger Bishop Jones
• [FOM] Bourbaki qua philosopher   Alasdair Urquhart
• [FOM] Re: Comment on Church's Thesis (Harvey Friedman)   addamo
  • [FOM] Re: Comment on Church's Thesis (Harvey Friedman)   Dennis E. Hamilton
  • [FOM] Re: Comment on Church's Thesis (Harvey Friedman)   Aatu Koskensilta
  • [FOM] Re: Comment on Church's Thesis   Robert Black
    • [FOM] Re: Comment on Church's Thesis   Robin Adams
    • [FOM] Comment on Church's Thesis   Walter Carnielli
  • [FOM] Re: Comment on Church's Thesis (Harvey Friedman)   Vladimir Sazonov
    • [FOM] Re: Comment on Church's Thesis (Harvey Friedman)   Alexander Zenkin
      • [FOM] Which Part of Cantor Needs Infinity?   Andrew Boucher
      • [FOM] Re: Comment on Church's Thesis (Harvey Friedman)   Vladimir Sazonov
  • [FOM] Re: Comment on Church's Thesis (Harvey Friedman)   Vladimir Sazonov
    • [FOM] Re: Comment on Church's Thesis (Harvey Friedman)   Karlis Podnieks
• [FOM] I'll be away   Martin Davis
• [FOM] Workshop: Syntax, Semantics and Pragmatics of Questions   Martin Davis
• [FOM] Church thesis   José Félix Costa
  • [FOM] Church thesis   Apostolos Syropoulos
• [FOM] Re: Bourbaki qua philosopher   Bernd Buldt
• [FOM] FFF   Andreas Weiermann
• [FOM] Conference on Logic, Computability, and Randomness   Carl G. Jockusch
• [FOM] Logic and Fibonacci   John T. Baldwin
  • [FOM] Logic and Fibonacci   Richard Zach
  • [FOM] Logic and Fibonacci   William Tait
  • [FOM] Logic and Fibonacci   Zahidi Karim
• [FOM] Logic and Fibonacci   H. Enderton
• [FOM] Comment on Church's Thesis (Harvey Friedman)   Hartley Slater
• [FOM] Re: Comment on Church's Thesis (Harvey Friedman)   Timothy Y. Chow
• [FOM] Another comment on Church Thesis   Arnon Avron
• [FOM] 201:Algebraic Treatment of First Order Notions   Harvey Friedman
• [FOM] Summer School in Logic, Language, and Information: Student papers invited   Martin Davis
• [FOM] Workshop on Logical Foundations of an Adaptive Security Infrastructure   Martin Davis
• [FOM] Re: Which Part of Cantor Needs Infinity?   Andrew Boucher
• [FOM] Re: Comment on Church's Thesis (Harvey Friedman)   Alexander M Lemberg
  • [FOM] Re: Comment on Church's Thesis (Harvey Friedman)   Timothy Y. Chow
• [FOM] CT   José Félix Costa
• [FOM] 202:Proof(?) of Church's Thesis   Harvey Friedman
• [FOM] "Computing more than the Turing machine"   Martin Davis
• [FOM] Re: Comment on Church's Thesis (Harvey Friedman)   Dennis E. Hamilton
• [FOM] 203:Proof(?) of Church's Thesis - Restatement   Harvey Friedman
• [FOM] Re: Comment on Church's Thesis   Timothy Y. Chow
• [FOM] Tarski and progress in decidability   William.Piper at colorado.edu
  • [FOM] Tarski and progress in decidability   Timothy Bays
• [FOM] ontology   Thomas Forster
  • [FOM] ontology   Dennis E. Hamilton
  • [FOM] ontology   Freek Wiedijk
  • [FOM] ontology   Harvey Friedman
• [FOM] Bays' review of my book   David Corfield
• [FOM] Ontology   Alasdair Urquhart
  • [FOM] Ontology   Thomas Forster
    • [FOM] Ontology   Dennis E. Hamilton
      • [FOM] Ontology   Thomas Forster
• [FOM] ontology   Carlos Gonçalves
  • [FOM] ontology   Thomas Forster
• [FOM] Strict identity relation and possible worlds   Carlos Gonçalves
• [FOM] 204:Finite Extrapolation   Harvey Friedman
  • [FOM] 204:Finite Extrapolation   Jacques Carette
    • [FOM] 204:Finite Extrapolation   Harvey Friedman
      • [FOM] 204:Finite Extrapolation   Jacques Carette
      • [FOM] 204:Finite Extrapolation   Harvey Friedman
  • [FOM] 204:Finite Extrapolation -- two suggestions   Matthew Frank
  • [FOM] 204:Finite Extrapolation   Vladimir Sazonov
• [FOM] Harvey on finite extrapolation   Martin Davis
• [FOM] ontology   Carlos Gonçalves
• [FOM] 205:First Order Extremal Clauses   Harvey Friedman
• [FOM] LICS 2004   Martin Davis
• [FOM] On Foundational Thinking 1   Harvey Friedman
• [FOM] Re: 204:Finite Extrapolation   Timothy Y. Chow
• [FOM] "First order minimality" and circumscription   Martin Davis
• [FOM] foundational thinking outside of mathematics   Richard Singer
• [FOM] more on circumscription and Harvey's first order minimality   Martin Davis
• [FOM] 206:On foundations of special relativistic kinematics 1   Harvey Friedman
  • [FOM] 206:On foundations of special relativistic kinematics 1   Laura Elena Morales Gro.
• [FOM] circumscription and Peano Arithmetic   Martin Davis
  • [FOM] circumscription and Peano Arithmetic   Harvey Friedman
• [FOM] On foundations of special relativistic kinematics 1   José Félix Costa
  • [FOM] On foundations of special relativistic kinematics 1   Laura Elena Morales Gro.
• [FOM] From Hilbert   Harvey Friedman
• [FOM] Hilbert's 6th Problem:Axioms for Physics   Martin Davis
  • [FOM] T(max) and Hilbert on physics   Harvey Friedman
  • [FOM] Hilbert's 6th Problem:Axioms for Physics   Laura Elena Morales Gro.
• [FOM] Knowledge - quantity/quality   Harvey Friedman
• [FOM] Re: 206:On foundations of special relativistic kinematics 1   Timothy Y. Chow
• [FOM] more on Hilbert's 6th problem   Martin Davis
  • [FOM] more on Hilbert's 6th problem   Harvey Friedman
• [FOM] Re: 206:On foundations of special relativistic kinematics 1   Vladik Kreinovich
  • [FOM] Re: 206:On foundations of special relativistic kinematics 1   Timothy Y. Chow
• [FOM] still more on Hilbert's #6   Martin Davis
  • [FOM] still more on Hilbert's #6   Harvey Friedman
• [FOM] Logical foundations of special relativity   Alasdair Urquhart
  • [FOM] Logical foundations of special relativity   Jesse Alama
• [FOM] 207:On foundations of special relativistic kinematics 2   Harvey Friedman
• [FOM] 208:On foundations of special relativistic kinematics 3   Harvey Friedman
• [FOM] c should be 1/c   Harvey Friedman
• [FOM] 207:On foundations of special relativistic kinematics 2   Jeffrey Ketland
• [FOM] paper announcement   Jeremy Avigad
• [FOM] Basri and Vadarajon   Richard Singer
• [FOM] Re: Foundations of physics   Vladik Kreinovich
• [FOM] RE: FOM Digest, Vol 13, Issue 33   Matt Insall
• [FOM] RE: foundations of physics   Vladik Kreinovich
• [FOM] Varadarajan and Basri references   Richard Singer
• [FOM] On foundations of special relativistic kinematics   Istvan Nemeti
• [FOM] 209:Faithful Representation in Set Theory with Atoms   Harvey Friedman

Last message date: Sat Jan 31 22:13:22 EDT 2004
Archived on: Fri Mar 11 12:50:33 EDT 2005

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