science.mathematics.fom (thread)

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