August 2004 Archives by thread

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

Starting: Sun Aug 1 14:02:00 EDT 2004
Ending: Tue Aug 31 21:53:42 EDT 2004
Messages: 66

• [FOM] E.W. Beth Dissertation Prize Winner   Raffaella Bernardi
• [FOM] BOOLE'S INFLUENCE ON FREGE.   John Corcoran
  • [FOM] BOOLE'S INFLUENCE ON FREGE.   Michael Kremer
• [FOM] The Role of Formalization   henriknordmark at mac.com
  • [FOM] The Role of Formalization   Neil Tennant
• [FOM] BOOLE'S INFLUENCE ON FREGE.   Michael Kremer
• [FOM] recent biography of Frege   Martin Davis
• [FOM] Mathematics and formalizability   Vladimir Sazonov
• [FOM] Re: The Role of Formalization   Timothy Y. Chow
• [FOM] A paper of Smullyan   I. Natochdag
• [FOM] Addition with Primality: Decidability and Heuristics   Dmytro Taranovsky
  • [FOM] Re: Addition with Primality   Dmytro Taranovsky
• [FOM] Re: Addition with Primality: Decidability and Heuristics   Timothy Y. Chow
  • [FOM] Re: Addition with Primality: Decidability and Heuristics   Zahidi Karim
• [FOM] On the Nature of Mathematical Objects   Dmytro Taranovsky
  • [FOM] On the Nature of Mathematical Objects   Vladimir Sazonov
    • [FOM] Re: On the Nature of Mathematical Objects   Dmytro Taranovsky
      • [FOM] Re: On the Nature of Mathematical Objects   Karlis Podnieks
• [FOM] definition of N without quantifying over infinite sets   Thomas Forster
  • [FOM] definition of N without quantifying over infinite sets   friedman at math.ohio-state.edu
• [FOM] Alleged impossibility of "direct" proof of Steiner-Lehmus theorem   Timothy Y. Chow
• [FOM] Re: Addition with Primality: Decidability and Heuristics   Vladik Kreinovich
• [FOM] Re: Addition with Primality   H. Enderton
• [FOM] Re: On the Nature of Mathematical Objects   Timothy Y. Chow
• [FOM] On the Nature of Mathematical Objects   I. Natochdag
• [FOM] I'll be away   Martin Davis
• [FOM] Absoluteness of Clay prize problems   John T. Baldwin
  • [FOM] Absoluteness of Clay prize problems   Harvey Friedman
    • [FOM] Re: Absoluteness of Clay prize problems   Dmytro Taranovsky
      • [FOM] Re: Absoluteness of Clay prize problems   Harvey Friedman
• [FOM] Kreisel's Elements of Mathematical Logic   billy hudson
• [FOM] Re: Absoluteness of Clay prize problems   Timothy Y. Chow
• [FOM] Absoluteness of Clay prize problems   Peter Hinman
• [FOM] Kreisel's Elements of Mathematical Logic   billy hudson
• [FOM] Absoluteness of Clay prize problems   praatika at mappi.helsinki.fi
• [FOM] Reply to Billy Hudson from Bill Tait   martin at eipye.com
• [FOM] Fom: Kriesel and Krivine's "Elements..."   Jeff Hirst
• [FOM] Conference Announcement: FotFS V (Bonn, November 2004)   Foundations of the Formal Sciences
• [FOM] Godel: the proof from The Book??   Peter Smith
  • [FOM] Godel: the proof from The Book??   Neil Tennant
• [FOM] call for papers   Natasha Alechina
• [FOM] Full Professor (C4) for Intelligent Systems   Int. Center for Computational Logic
• [FOM] Re: Godel: the proof from The Book??   Timothy Y. Chow
• [FOM] Proof "from the book" of the incompleteness theorem   Martin Davis
  • [FOM] Proof "from the book" of the incompleteness theorem   Arnon Avron
    • [FOM] Proof "from the book" of the incompleteness theorem   Torkel Franzen
    • [FOM] Re: Proof "from the book" of the incompleteness theorem   Marcin Mostowski
• [FOM] Re: Absoluteness of Clay prize problems   Aatu Koskensilta
• [FOM] Re: Absoluteness of Clay prize problems   Timothy Y. Chow
• [FOM] re: Absoluteness of Clay prize problems   Dave Marker
• [FOM] Re: Absoluteness of Clay prize problems   Timothy Y. Chow
• [FOM] Proof "from the book"   Arnon Avron
  • [FOM] Proof "from the book"   Torkel Franzen
    • [FOM] Problem 18. Limits of intelligence. (Conceptual problem only) is solved by the Model of Hierarchical Complexity   Commons at tiac.net
    • [FOM] Proof "from the book"   Arnon Avron
      • [FOM] Proof "from the book"   Torkel Franzen
• [FOM] Proof "from the book" of the incompleteness theorem   H. Enderton
• [FOM] The rule of generalization in FOL, and pseudo-theorems   Sandy Hodges
• [FOM] Proof "from the book"   Jeffrey Ketland
  • [FOM] Proof "from the book"   charles silver
    • [FOM] Proof "from the book"   Jesse Alama
• [FOM] Proof "from the book"   praatika at mappi.helsinki.fi
• [FOM] The rule of generalization in FOL, and pseudo-theorems   Kai Brünnler
• [FOM] Re: Proof "from the book"   Timothy Y. Chow
• [FOM] The rule of generalization in FOL, and pseudo-theorems   Alessio Guglielmi
• [FOM] On Gödel's Enigmatic Footnote 48a   Jeffrey Ketland

Last message date: Tue Aug 31 21:53:42 EDT 2004
Archived on: Fri Mar 11 12:50:48 EDT 2005

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