science.mathematics.fom (date)

science.mathematics.fom (date)

August 31, 2004

Re: The rule of generalization in FOL, and pseudo-theorems, Kai Brünnler
Re: Proof "from the book", Torkel Franzen
Re: Proof "from the book", praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Re: Proof "from the book", Arnon Avron
Re: Proof "from the book", Jeffrey Ketland
Problem 18. Limits of intelligence. (Conceptual problem only) is solved by the Model of Hierarchical Complexity, Commons-tvPFV2Spxpc

August 30, 2004

Re: Proof "from the book", Torkel Franzen
Re: Proof "from the book" of the incompleteness theorem, H. Enderton
The rule of generalization in FOL, and pseudo-theorems, Sandy Hodges
Re: Proof "from the book", Arnon Avron
Re: Proof "from the book" of the incompleteness theorem, Marcin Mostowski

August 29, 2004

Re: Proof "from the book" of the incompleteness theorem, Torkel Franzen
call for papers, Natasha Alechina
Re: Proof "from the book" of the incompleteness theorem, Arnon Avron

August 28, 2004

Re: Absoluteness of Clay prize problems, Timothy Y. Chow

August 25, 2004

re: Absoluteness of Clay prize problems, Dave Marker
Re: Absoluteness of Clay prize problems, Timothy Y. Chow
Re: Absoluteness of Clay prize problems, Aatu Koskensilta

August 24, 2004

Proof "from the book" of the incompleteness theorem, Martin Davis
Re: Absoluteness of Clay prize problems, Harvey Friedman
Re: Godel: the proof from The Book??, Timothy Y. Chow
Full Professor (C4) for Intelligent Systems, Int. Center for Computational Logic
Re: Godel: the proof from The Book??, Neil Tennant

August 23, 2004

Godel: the proof from The Book??, Peter Smith
Re: Absoluteness of Clay prize problems, Dmytro Taranovsky

August 20, 2004

Conference Announcement: FotFS V (Bonn, November 2004), Foundations of the Formal Sciences
Fom: Kriesel and Krivine's "Elements...", Jeff Hirst

August 19, 2004

Re: Absoluteness of Clay prize problems, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Reply to Billy Hudson from Bill Tait, martin-Q1ZVUissX3MAvxtiuMwx3w
Re: Absoluteness of Clay prize problems, Harvey Friedman

August 18, 2004

Absoluteness of Clay prize problems, Peter Hinman
Re: Absoluteness of Clay prize problems, Timothy Y. Chow

August 17, 2004

RE: Kreisel's Elements of Mathematical Logic, billy hudson
Kreisel's Elements of Mathematical Logic, billy hudson
Absoluteness of Clay prize problems, John T. Baldwin

August 16, 2004

Re: On the Nature of Mathematical Objects, Karlis Podnieks

August 14, 2004

Re: On the Nature of Mathematical Objects, Dmytro Taranovsky

August 12, 2004

I'll be away, Martin Davis
Re: On the Nature of Mathematical Objects, I. Natochdag

August 11, 2004

Re: On the Nature of Mathematical Objects, Vladimir Sazonov
Re: Addition with Primality, Dmytro Taranovsky

August 10, 2004

Re: definition of N without quantifying over infinite sets, friedman-hyEunQjjh3V1yXs8afm8B5Vzexx5G7lz

August 09, 2004

Alleged impossibility of "direct" proof of Steiner-Lehmus theorem, Timothy Y. Chow
Re: Re: Addition with Primality, H. Enderton
Re: Re: Addition with Primality: Decidability and Heuristics, Vladik Kreinovich
Re: On the Nature of Mathematical Objects, Timothy Y. Chow
definition of N without quantifying over infinite sets, Thomas Forster
Re: Re: Addition with Primality: Decidability and Heuristics, Zahidi Karim

August 08, 2004

On the Nature of Mathematical Objects, Dmytro Taranovsky

August 05, 2004

Re: Addition with Primality: Decidability and Heuristics, Timothy Y. Chow
Addition with Primality: Decidability and Heuristics, Dmytro Taranovsky

August 04, 2004

A paper of Smullyan, I. Natochdag

August 03, 2004

Re: The Role of Formalization, Timothy Y. Chow
Re: Mathematics and formalizability, Vladimir Sazonov
Re: The Role of Formalization, Neil Tennant

August 02, 2004

recent biography of Frege, Martin Davis
E.W. Beth Dissertation Prize Winner, Raffaella Bernardi
Re: BOOLE'S INFLUENCE ON FREGE., Michael Kremer
Re: BOOLE'S INFLUENCE ON FREGE., Michael Kremer
The Role of Formalization, henriknordmark-ee4meeAH724
BOOLE'S INFLUENCE ON FREGE., John Corcoran

News | FAQ | advertise