sci.logic

• Thread Index

---

• Re: BEING AND EXISTENCE
  • From: Owen
• Re: BEING AND EXISTENCE
  • From: Paul Holbach
• Re: BEING AND EXISTENCE
  • From: Owen
• Re: BEING AND EXISTENCE
  • From: Paul Holbach
• Re: On Ultrafinitism
  • From: Rupert
• Re: The L3 Revolution
  • From: galathaea
• Re: On Ultrafinitism
  • From: galathaea
• The L3 Revolution
  • From: William Elliot
• Re: The L3 Revolution
  • From: Confutus
• Re: how to define Thm in PRA
  • From: Peter_Smith
• Re: how to define Thm in PRA
  • From: Peter_Smith
• Re: Cantor's diagonalization argument
  • From: george
• Re: Need help constructing ADD function from PA
  • From: george
• Re: On Ultrafinitism
  • From: Rupert
• Re: On Ultrafinitism
  • From: Dave L. Renfro
• Re: Is the Halting Problem merely an ill-formed question?
  • From: george
• Re: how to define Thm in PRA
  • From: george
• Re: Need help constructing an add function from PA
  • From: george
• Re: The L3 Revolution
  • From: galathaea
• Re: BEING AND EXISTENCE
  • From: Roberto Vescarelli
• Re: The L3 Revolution
  • From: Confutus
• Re: On Ultrafinitism
  • From: MoeBlee
• Re: On Ultrafinitism
  • From: MoeBlee
• Re: BEING AND EXISTENCE
  • From: Paul Holbach
• Re: The L3 Revolution
  • From: Confutus
• Re: On Ultrafinitism
  • From: Eckard Blumschein
• Re: BEING AND EXISTENCE
  • From: Owen
• Re: Petersen's magical argument
  • From: R. Srinivasan
• Re: Is the Halting Problem merely an ill-formed question?
  • From: R. Srinivasan
• Longest Day of the Year
  • From: William Elliot
• Re: On Ultrafinitism
  • From: Rupert
• Re: how to define Thm in PRA
  • From: Aatu Koskensilta
• Re: The L3 Revolution
  • From: Jan Burse
• Re: how to define Thm in PRA
  • From: george
• BEING AND EXISTENCE
  • From: Roberto Vescarelli
• Re: Cantor's diagonalization argument
  • From: george
• Re: how to define Thm in PRA
  • From: Daryl McCullough
• Re: how to define Thm in PRA
  • From: Daryl McCullough
• Re: how to define Thm in PRA
  • From: Daryl McCullough
• Re: Axiomatization of Ordinal Arithmetic
  • From: lugita15
• Re: how to define Thm in PRA
  • From: Peter_Smith
• Re: Axiomatization of Ordinal Arithmetic
  • From: Peter_Smith
• Re: Axiomatization of Ordinal Arithmetic
  • From: Charlie-Boo
• Re: On Ultrafinitism
  • From: galathaea
• Re: Axiomatization of Ordinal Arithmetic
  • From: Peter_Smith
• Re: The L3 Revolution
  • From: Confutus
• Re: how to define Thm in PRA
  • From: george
• Re: how to define Thm in PRA
  • From: george
• Re: how to define Thm in PRA
  • From: george
• Re: how to define Thm in PRA
  • From: george
• Re: Cantor's diagonalization argument
  • From: george
• Re: Axiomatization of Ordinal Arithmetic
  • From: Charlie-Boo
• Re: The L3 Revolution
  • From: Jan Burse
• Re: The L3 Revolution
  • From: Confutus
• Re: The L3 Revolution
  • From: Jan Burse
• Re: The L3 Revolution
  • From: Jan Burse
• Re: The L3 Revolution
  • From: William Elliot
• Re: The L3 Revolution
  • From: Confutus
• Re: The Modified Halting Problem, Take ??? .
  • From: Stephen Harris
• Re: The Modified Halting Problem, Take ??? .
  • From: R. Srinivasan
• Re: History of the deduction theorem
  • From: Frederick Williams
• Re: The L3 Revolution
  • From: Jan Burse
• Re: The Modified Halting Problem, Take ??? .
  • From: Stephen Harris
• Re: The L3 Revolution
  • From: Jan Burse
• Re: The Modified Halting Problem, Take ??? .
  • From: R. Srinivasan
• Re: The L3 Revolution
  • From: Confutus
• Re: On Ultrafinitism
  • From: MoeBlee
• Re: The L3 Revolution
  • From: Confutus
• History of the deduction theorem
  • From: andreas . stokke
• Re: The Modified Halting Problem, Take ??? .
  • From: Aatu Koskensilta
• Re: Question about Quine's New Foundations
  • From: Aatu Koskensilta
• Re: Question about Quine's New Foundations
  • From: Aatu Koskensilta
• Re: The Modified Halting Problem, Take ??? .
  • From: Aatu Koskensilta
• Re: The Modified Halting Problem, Take ??? .
  • From: Stephen Harris
• Re: Question about Quine's New Foundations
  • From: lugita15
• Re: Question about Quine's New Foundations
  • From: lugita15
• Re: The Modified Halting Problem, Take ??? .
  • From: R. Srinivasan
• Re: The Modified Halting Problem, Take ??? .
  • From: Stephen Harris
• Re: The Modified Halting Problem, Take ??? .
  • From: R. Srinivasan
• Re: Equivalence
  • From: Aatu Koskensilta
• Re: Non-arbitrary mathematics
  • From: Eckard Blumschein
• Re: Non-arbitrary mathematics
  • From: Eckard Blumschein
• Re: Non-arbitrary mathematics
  • From: Eckard Blumschein
• On Ultrafinitism
  • From: Bill Taylor
• Re: Proof of finite axiomatizability
  • From: Aatu Koskensilta
• Re: Proof of finite axiomatizability
  • From: William Elliot
• Re: Question about Quine's New Foundations
  • From: Aatu Koskensilta
• Re: Question about Quine's New Foundations
  • From: lugita15
• Re: how to define Thm in PRA
  • From: Aatu Koskensilta
• Re: how to define Thm in PRA
  • From: george
• Re: Is the Halting Problem merely an ill-formed question?
  • From: george
• Re: The Modified Halting Problem, Take ??? .
  • From: Aatu Koskensilta
• Re: The Modified Halting Problem, Take ??? .
  • From: R. Srinivasan
• Re: Question about Quine's New Foundations
  • From: Aatu Koskensilta
• Re: Question about Quine's New Foundations
  • From: Aatu Koskensilta
• Re: Question about Quine's New Foundations
  • From: Aatu Koskensilta
• Re: The Modified Halting Problem, Take ??? .
  • From: R. Srinivasan
• Re: The Modified Halting Problem, Take ??? .
  • From: R. Srinivasan
• Re: Is the Halting Problem merely an ill-formed question?
  • From: zzbunker@xxxxxxxxxxxx
• Re: Question about Quine's New Foundations
  • From: Rupert
• Re: The Modified Halting Problem, Take ??? .
  • From: Aatu Koskensilta
• Re: The Modified Halting Problem, Take ??? .
  • From: R. Srinivasan
• Re: Question about Quine's New Foundations
  • From: lugita15
• Re: The Modified Halting Problem, Take ??? .
  • From: Stephen Harris
• Re: Non-arbitrary mathematics
  • From: Frederick Williams
• Re: Non-arbitrary mathematics
  • From: Frederick Williams
• Re: Proof of finite axiomatizability
  • From: Atreides
• Re: how to define Thm in PRA
  • From: aatu . koskensilta
• Re: Question about Quine's New Foundations
  • From: Rupert
• Re: The Modified Halting Problem, Take ??? .
  • From: R. Srinivasan
• Re: Proof of finite axiomatizability
  • From: David C . Ullrich
• Re: The Modified Halting Problem, Take ??? .
  • From: R. Srinivasan
• Re: The Modified Halting Problem, Take ??? .
  • From: The Ghost In The Machine
• Re: Proof of finite axiomatizability
  • From: William Elliot
• Proof of finite axiomatizability
  • From: Atreides
• Re: The Modified Halting Problem, Take ??? .
  • From: Stephen Harris
• Re: Is the Halting Problem merely an ill-formed question?
  • From: george
• Question about Quine's New Foundations
  • From: lugita15
• Re: how to define Thm in PRA
  • From: george
• Re: The L3 Revolution
  • From: Confutus
• Re: The L3 Revolution
  • From: Frederick Williams
• Re: Applying logic to how search engine work.
  • From: David C . Ullrich
• Re: Non-arbitrary mathematics
  • From: Eckard Blumschein
• Re: Non-arbitrary mathematics
  • From: Eckard Blumschein
• A Simple Example on Model Theory and Descriptive Set Theory
  • From: Payam Razavi
• Re: how to define Thm in PRA
  • From: george
• Re: Halting Problem for Humans
  • From: george
• Re: The L3 Revolution
  • From: William Elliot
• The L3 Revolution
  • From: Confutus
• Re: The Modified Halting Problem, Take ??? .
  • From: Stephen Harris
• Re: Is the Halting Problem merely an ill-formed question?
  • From: george
• Re: Logic of uncertainty, fully functional
  • From: Confutus
• Applying logic to how search engine work.
  • From: neo
• Re: The Modified Halting Problem, Take ??? .
  • From: R. Srinivasan
• Re: Non-arbitrary mathematics
  • From: Frederick Williams
• Re: Non-arbitrary mathematics
  • From: Frederick Williams
• Re: The Modified Halting Problem, Take ??? .
  • From: Stephen Harris
• Re: Halting Problem for Humans
  • From: LauLuna
• Re: The Modified Halting Problem, Take ??? .
  • From: Stephen Harris
• Re: Logic of uncertainty, fully functional
  • From: herbzet
• Re: Non-arbitrary mathematics
  • From: Eckard Blumschein
• Re: A Possible "solution" to the Halting Problem
  • From: Stephen Harris
• Re: Halting Problem for Humans
  • From: Daryl McCullough
• The Modified Halting Problem, Take ??? .
  • From: The Ghost In The Machine
• Re: how to define Thm in PRA
  • From: george
• Re: Halting Problem for Humans
  • From: george
• Re: Halting Problem for Humans
  • From: Daryl McCullough
• Re: Halting Problem for Humans
  • From: LauLuna
• Re: Is the Halting Problem merely an ill-formed question?
  • From: R. Srinivasan
• Re: Is the Halting Problem merely an ill-formed question?
  • From: Peter Olcott
• Re: Halting Problem for Humans
  • From: Peter Olcott
• Re: Halting Problem for Humans
  • From: abo
• Re: Is the Halting Problem merely an ill-formed question?
  • From: R. Srinivasan
• Re: Halting Problem for Humans
  • From: Daryl McCullough
• Re: Non-arbitrary mathematics
  • From: Eckard Blumschein
• Re: Is the Halting Problem merely an ill-formed question?
  • From: Peter Olcott
• Re: Halting Problem for Humans
  • From: Daryl McCullough
• Re: Non-arbitrary mathematics
  • From: Herman Jurjus
• Re: A Possible "solution" to the Halting Problem
  • From: R. Srinivasan
• Re: A Possible "solution" to the Halting Problem
  • From: R. Srinivasan
• Re: Need help constructing an add function from PA
  • From: aatu . koskensilta
• Re: Non-arbitrary mathematics
  • From: Eckard Blumschein
• Re: Non-arbitrary mathematics
  • From: Eckard Blumschein
• Re: Is the Halting Problem merely an ill-formed question?
  • From: R. Srinivasan
• Re: Halting Problem for Humans
  • From: abo
• Re: Is the Halting Problem merely an ill-formed question?
  • From: Nam Nguyen
• Re: Equivalence
  • From: herbzet
• Exit Plato's Cave - for real, instructions given
  • From: Douglas Eagleson
• Re: Halting Problem for Humans
  • From: Peter Olcott
• Re: Halting Problem for Humans
  • From: Daryl McCullough
• Re: Halting Problem for Humans
  • From: Daryl McCullough
• Re: Is the Halting Problem merely an ill-formed question?
  • From: george
• Re: Is the Halting Problem merely an ill-formed question?
  • From: Peter Olcott
• Re: Where's the logic in Earth having that moon ???
  • From: Brad Guth
• Re: Is the Halting Problem merely an ill-formed question?
  • From: george
• Re: Halting Problem for Humans
  • From: Daryl McCullough
• Re: Axiomatization of Ordinal Arithmetic
  • From: Jack Campin - bogus address
• Re: Halting Problem for Humans
  • From: Peter Olcott
• Re: Halting Problem for Humans
  • From: LauLuna
• Re: Petersen's magical argument
  • From: abo
• Re: A implies I
  • From: Owen
• Petersen's magical argument
  • From: LauLuna
• Re: Halting Problem for Humans
  • From: abo
• Re: Halting Problem for Humans
  • From: Daryl McCullough
• Re: A Possible "solution" to the Halting Problem
  • From: R. Srinivasan
• Re: Logic of uncertainty, early explorations.
  • From: Confutus
• Re: Halting Problem for Humans
  • From: abo
• Re: Logic of uncertainty, fully functional
  • From: William Elliot
• Re: Logic of uncertainty, early explorations.
  • From: William Elliot
• Re: Axiomatization of Ordinal Arithmetic
  • From: lugita15
• Axiomatization of Ordinal Arithmetic
  • From: lugita15
• Re: Logic of uncertainty, early explorations.
  • From: Confutus
• Logic of uncertainty, fully functional
  • From: Confutus
• Re: Logic of uncertainty, early explorations.
  • From: Confutus
• Halting Problem for Humans
  • From: Daryl McCullough
• Re: A implies I
  • From: George Dance
• Re: Need help constructing an add function from PA
  • From: george
• Re: A Possible "solution" to the Halting Problem
  • From: Peter Olcott
• Re: Is Einstein's E=mc2, CONCEPTUALLY applicable for energy emitted Chemical Reactions.
  • From: Peter Webb
• Re: Logic of uncertainty, early explorations.
  • From: William Elliot
• Re: A Possible "solution" to the Halting Problem
  • From: R. Srinivasan
• Re: Logic of uncertainty, early explorations.
  • From: Confutus
• A kind of fun question.
  • From: Nam Nguyen
• Re: Logic of uncertainty, modal logic
  • From: Confutus
• Re: Need help constructing an add function from PA
  • From: Aatu Koskensilta
• Re: A Possible "solution" to the Halting Problem
  • From: george
• Re: Logic of uncertainty, early explorations.
  • From: Confutus
• Re: Logic of uncertainty, early explorations.
  • From: Confutus
• Re: Logic of uncertainty, early explorations.
  • From: Confutus
• Re: Logic of uncertainty, early explorations.
  • From: Confutus
• Re: Logic of uncertainty, early explorations.
  • From: Confutus
• Re: Logic of uncertainty, early explorations.
  • From: Confutus
• Re: Logic of uncertainty, early explorations.
  • From: Confutus
• Re: Logic of uncertainty, early explorations.
  • From: William Elliot
• Re: Logic of uncertainty, early explorations.
  • From: Frederick Williams
• Re: A implies I
  • From: George Dance
• Re: Need help constructing an add function from PA
  • From: george
• Re: A implies I
  • From: Owen
• Re: Are Heytings axioms for intuitionistic logic sufficient?
  • From: Jan Burse
• Re: A implies I
  • From: George Dance
• Re: A implies I
  • From: Owen
• Re: A implies I
  • From: Owen
• Re: Are Heytings axioms for intuitionistic logic sufficient?
  • From: Alan Smaill
• Re: A Possible "solution" to the Halting Problem
  • From: george
• Re: A implies I
  • From: George Dance
• Re: how to define Thm in PRA
  • From: george
• Logic of uncertainty, early explorations.
  • From: Confutus
• Re: Non-arbitrary mathematics
  • From: LauLuna
• Re: Are Heytings axioms for intuitionistic logic sufficient?
  • From: Jack Campin - bogus address
• Where's the logic in Earth having that moon ???
  • From: Brad Guth
• Re: Are Heytings axioms for intuitionistic logic sufficient?
  • From: Alan Smaill
• Re: Non-arbitrary mathematics
  • From: Herman Jurjus
• Re: What is the difference?
  • From: Aatu Koskensilta
• Re: What is the difference?
  • From: Peter_Smith
• What is the difference?
  • From: bluelabel
• Re: how to define Thm in PRA
  • From: Daryl McCullough
• Re: how to define Thm in PRA
  • From: george
• Re: Non-arbitrary mathematics
  • From: Peter Niessen
• Re: Foundations of Mathematics
  • From: Charlie-Boo
• Re: Non-arbitrary mathematics
  • From: Eckard Blumschein
• Re: Non-arbitrary mathematics
  • From: Frederick Williams
• Non-arbitrary mathematics
  • From: Eckard Blumschein
• Re: New sub intuitionistic logic ? not sub minimal
  • From: translogi@xxxxxxxxxxxxxx
• Re: how to define Thm in PRA
  • From: Daryl McCullough
• Re: how to define Thm in PRA
  • From: abo
• Re: A implies I
  • From: Chris Menzel
• Re: Need help constructing an add function from PA
  • From: george
• Re: A implies I
  • From: William of Ockham
• Re: how to define Thm in PRA
  • From: george
• Re: Are Heytings axioms for intuitionistic logic sufficient?
  • From: MoeBlee
• Re: A Possible "solution" to the Halting Problem
  • From: george
• Re: A implies I
  • From: Yuri
• Re: Are Heytings axioms for intuitionistic logic sufficient?
  • From: Frederick Williams
• Re: Are Heytings axioms for intuitionistic logic sufficient?
  • From: translogi@xxxxxxxxxxxxxx
• Re: New sub minimal or sub intuitionistic logic ? intference rules
  • From: translogi@xxxxxxxxxxxxxx
• Re: how to define Thm in PRA
  • From: Daryl McCullough
• Re: A Possible "solution" to the Halting Problem
  • From: Peter Olcott
• Re: A implies I
  • From: Chris Menzel
• Re: A implies I
  • From: George Dance
• Re: how to define Thm in PRA
  • From: Peter_Smith
• hi
  • From: mysun_1
• Re: how to define Thm in PRA
  • From: george
• Re: how to define Thm in PRA
  • From: george
• Re: A Possible "solution" to the Halting Problem
  • From: george
• Re: Are Heytings axioms for intuitionistic logic sufficient?
  • From: Keith Ramsay
• Re: A implies I
  • From: Chris Menzel
• Re: A implies I
  • From: George Dance
• MAKE MONEY with PAYPAL
  • From: jacksmacko99
• Re: A implies I
  • From: George Dance
• Re: A implies I
  • From: George Dance
• Re: A implies I
  • From: George Dance
• Re: A implies I
  • From: Chris Menzel
• Re: A implies I
  • From: William of Ockham
• Re: A implies I
  • From: William of Ockham
• Re: A implies I
  • From: Chris Menzel
• Re: A implies I
  • From: Arturo Magidin
• Re: A implies I
  • From: William of Ockham
• Re: how to define Thm in PRA
  • From: Aatu Koskensilta
• Re: A implies I
  • From: Chris Menzel
• Re: Equivalence
  • From: herbzet
• Re: how to define Thm in PRA
  • From: Daryl McCullough
• Logic of uncertainty.
  • From: Confutus
• Re: how to define Thm in PRA
  • From: Peter_Smith
• Re: how to define Thm in PRA
  • From: Daryl McCullough
• Re: A implies I
  • From: Confutus
• Re: A Possible "solution" to the Halting Problem
  • From: Peter Olcott
• Re: A implies I
  • From: William of Ockham
• Re: how to define Thm in PRA
  • From: george
• Re: how to define Thm in PRA
  • From: george
• Re: A Possible "solution" to the Halting Problem
  • From: george
• Re: A Possible "solution" to the Halting Problem
  • From: george
• Re: how to define Thm in PRA
  • From: george
• Re: New sub minimal or sub intuitionistic logic ? interference rules
  • From: Jan Burse
• Re: New sub minimal or sub intuitionistic logic ? interference rules
  • From: Jan Burse
• Re: New sub minimal or sub intuitionistic logic ? interference rules
  • From: Jan Burse
• Re: Equivalence
  • From: MoeBlee
• Re: basic logic help
  • From: MoeBlee
• Re: basic logic help
  • From: MoeBlee
• Re: Are Heytings axioms for intuitionistic logic sufficient?
  • From: MoeBlee
• Are Heytings axioms for intuitionistic logic sufficient?
  • From: translogi@xxxxxxxxxxxxxx
• New sub minimal or sub intuitionistic logic ? interference rules
  • From: translogi@xxxxxxxxxxxxxx
• Re: A implies I
  • From: Owen
• Re: New sub minimal or sub intuitionistic logic ?
  • From: translogi@xxxxxxxxxxxxxx
• Re: A implies I
  • From: David C . Ullrich
• Re: A implies I
  • From: David C . Ullrich
• Re: Equivalence
  • From: Aatu Koskensilta
• Re: Equivalence
  • From: herbzet
• Re: Equivalence
  • From: herbzet
• Re: Equivalence
  • From: herbzet
• Re: Goldbach Conjecture & the Foundation of First Order Logic.
  • From: Nam Nguyen
• Re: Goldbach Conjecture & the Foundation of First Order Logic.
  • From: Nam Nguyen
• Re: how to define Thm in PRA
  • From: Daryl McCullough
• Re: Question about second-order logic
  • From: lugita15
• Re: A implies I
  • From: Yuri
• Re: A implies I
  • From: Yuri
• Re: A implies I
  • From: William of Ockham
• Re: A implies I
  • From: William of Ockham
• Re: A implies I
  • From: William of Ockham
• Re: A implies I
  • From: William of Ockham
• Re: A implies I
  • From: William of Ockham
• Re: A implies I
  • From: George Dance
• Re: how to define Thm in PRA
  • From: george
• Re: how to define Thm in PRA
  • From: george
• Re: how to define Thm in PRA
  • From: george
• Re: A implies I
  • From: Frederick Williams
• Re: A implies I
  • From: George Dance
• Re: A implies I
  • From: David C . Ullrich
• Re: A implies I
  • From: Chris Menzel
• Re: A implies I
  • From: Chris Menzel
• Re: A implies I
  • From: William of Ockham
• Re: A implies I
  • From: William of Ockham
• Re: Trademark expressions in symbolic logic
  • From: Nam Nguyen
• Re: Trademark expressions in symbolic logic
  • From: Nam Nguyen
• Re: how to define Thm in PRA
  • From: Rupert
• Re: Trademark expressions in symbolic logic
  • From: Frederick Williams
• Re: basic logic help
  • From: A Aitken
• Re: A implies I
  • From: Confutus
• Re: basic logic help
  • From: A Aitken
• Re: Beliefs; Necessary But Not Sufficient For Truth?
  • From: Yuri
• Re: A implies I
  • From: Yuri
• A implies I
  • From: William of Ockham
• Re: Trademark expressions in symbolic logic
  • From: Owen
• Re: Equivalence
  • From: George Dance
• Re: Trademark expressions in symbolic logic
  • From: Frederick Williams
• Re: basic logic help
  • From: Frederick Williams
• Re: Equivalence
  • From: aatu . koskensilta
• Re: New sub minimal or sub intuitionistic logic ?
  • From: Jan Burse
• New sub minimal or sub intuitionistic logic ?
  • From: translogi@xxxxxxxxxxxxxx
• Re: how to define Thm in PRA
  • From: Peter_Smith
• how to define Thm in PRA
  • From: koboldpupil@xxxxxxxxxxx
• Re: Equivalence
  • From: herbzet
• Re: Equivalence
  • From: herbzet
• Re: Equivalence
  • From: herbzet
• Re: Equivalence
  • From: herbzet
• Re: basic logic help
  • From: MoeBlee
• basic logic help
  • From: A Aitken
• Re: Question about second-order logic
  • From: george
• Re: Equivalence
  • From: Gc
• Re: Equivalence
  • From: Peter_Smith
• Re: Equivalence
  • From: aatu . koskensilta
• Re: Equivalence
  • From: aatu . koskensilta
• Re: It is provable that it is provable that ...
  • From: Frederick Williams
• Re: Equivalence
  • From: george
• Re: Equivalence
  • From: george
• Re: Equivalence
  • From: Gc
• Re: Equivalence
  • From: george
• Re: Help with models
  • From: aatu . koskensilta
• Re: It is provable that it is provable that ...
  • From: aatu . koskensilta
• Re: Equivalence
  • From: aatu . koskensilta
• Re: Equivalence
  • From: aatu . koskensilta
• It is provable that it is provable that ...
  • From: Frederick Williams
• Re: Does anyone recognize this propositional calculus?
  • From: Frederick Williams
• Re: Equivalence
  • From: herbzet
• Re: Equivalence
  • From: herbzet
• Re: Does anyone recognize this propositional calculus?
  • From: Jan Burse
• Re: Does anyone recognize this propositional calculus?
  • From: Jan Burse
• Re: 2nd-Order Predicate: mammal ?
  • From: Paul Holbach
• Re: Does anyone recognize this propositional calculus?
  • From: Frederick Williams
• Re: 2nd-Order Predicate: mammal ?
  • From: Nam Nguyen
• Re: 2nd-Order Predicate: mammal ?
  • From: Paul Holbach
• Re: 2nd-Order Predicate: mammal ?
  • From: Paul Holbach
• Re: Equivalence
  • From: Peter_Smith
• Re: 2nd-Order Predicate: mammal ?
  • From: Nam Nguyen
• Re: 2nd-Order Predicate: mammal ?
  • From: Nam Nguyen
• Re: 2nd-Order Predicate: mammal ?
  • From: Paul Holbach
• Re: Equivalence
  • From: Aatu Koskensilta
• Equivalence
  • From: herbzet
• Re: 2nd-Order Predicate: mammal ?
  • From: Karmata
• Re: 2nd-Order Predicate: mammal ?
  • From: Karmata
• Re: 2nd-Order Predicate: mammal ?
  • From: Karmata
• Re: Does anyone recognize this propositional calculus?
  • From: Jan Burse
• Does anyone recognize this propositional calculus?
  • From: Frederick Williams
• Re: The/a Logic of Impossibility
  • From: Confutus
• Re: Question about second-order logic
  • From: lugita15
• Re: Question about second-order logic
  • From: lugita15
• Re: Question about second-order logic
  • From: george
• Re: Question about second-order logic
  • From: george
• Re: 2nd-Order Predicate: mammal ?
  • From: george
• Re: Artificial Mind - Part One - Basic Architecture and Cognitive Structure 1st Edition is now available (free download for Evaluation Edition)
  • From: Frederick Williams
• The/a Logic of Impossibility
  • From: Frederick Williams
• Re: Help with models
  • From: bluelabel
• Re: 2nd-Order Predicate: mammal ?
  • From: Thufir
• Re: Non-isomorphic free ultrafilters?
  • From: fred . galvin
• Re: Non-isomorphic free ultrafilters?
  • From: fred . galvin
• Non-isomorphic free ultrafilters?
  • From: Bill Taylor
• Re: Question about second-order logic
  • From: lugita15
• Re: Question about second-order logic
  • From: LauLuna
• Re: Help with models
  • From: Aatu Koskensilta
• Re: 2nd-Order Predicate: mammal ?
  • From: george
• Re: Explicit choice functions on subsets of R
  • From: Alan Smaill
• Re: Explicit choice functions on subsets of R
  • From: Aatu Koskensilta
• Re: Help with models
  • From: Nam Nguyen
• Re: Question about first-order arithmetic
  • From: Aatu Koskensilta
• Re: Question about first-order arithmetic
  • From: george
• Re: Help with models
  • From: Nam Nguyen
• Re: Explicit choice functions on subsets of R
  • From: Aatu Koskensilta
• Re: Explicit choice functions on subsets of R
  • From: Alan Smaill
• Re: Explicit choice functions on subsets of R
  • From: Aatu Koskensilta
• Re: Question about first-order arithmetic
  • From: Aatu Koskensilta
• Re: Trademark expressions in symbolic logic
  • From: Frederick Williams
• Maximal logic
  • From: Glaukon
• Re: 2nd-Order Predicate: mammal ?
  • From: Paul Holbach
• Re: Craig's theorem
  • From: T.B.
• Re: "is a" & "has a" relations re: 2nd-Order Logic
  • From: george
• Re: "is a" & "has a" relations re: 2nd-Order Logic
  • From: george
• Re: "is a" & "has a" relations re: 2nd-Order Logic
  • From: george
• Re: 2nd-Order Predicate: mammal ?
  • From: george
• Re: Question about first-order arithmetic
  • From: george
• Re: Question about second-order logic
  • From: Rupert
• Re: Modal Logic
  • From: Confutus
• Re: Modal Logic
  • From: Chris Menzel
• Re: Question about first-order arithmetic
  • From: aatu . koskensilta
• Re: Help with models
  • From: bluelabel
• Re: Question about second-order logic
  • From: lugita15
• Re: Question about second-order logic
  • From: abo
• Re: "is a" & "has a" relations re: 2nd-Order Logic
  • From: Paul Holbach
• Re: "is a" & "has a" relations re: 2nd-Order Logic
  • From: Paul Holbach
• Re: "is a" & "has a" relations re: 2nd-Order Logic
  • From: Paul Holbach
• Re: "is a" & "has a" relations re: 2nd-Order Logic
  • From: Paul Holbach
• Re: "is a" & "has a" relations re: 2nd-Order Logic
  • From: Paul Holbach
• Re: Question about second-order logic
  • From: abo
• Re: Modal Logic
  • From: Owen
• Re: Modal Logic
  • From: Owen
• Re: Modal Logic
  • From: Owen
• Re: Modal Logic
  • From: Frederick Williams
• Re: Is Einstein’s E=mc2, CONCEPTUALLY applicable for energy emitted Chemical Reactions.
  • From: physicsajay
• Re: Question about second-order logic
  • From: LauLuna
• Re: Trademark expressions in symbolic logic
  • From: William Elliot
• Re: Trademark expressions in symbolic logic
  • From: William Elliot
• Re: 2nd-Order Predicate: mammal ?
  • From: Karmata
• Re: Help with models
  • From: Nam Nguyen
• Re: Question about second-order logic
  • From: Chris Menzel
• Re: Question about second-order logic
  • From: Rupert
• Re: "is a" & "has a" relations re: 2nd-Order Logic
  • From: galathaea
• Re: Question about second-order logic
  • From: lugita15
• 2nd-Order Predicate: mammal ?
  • From: Karmata
• Re: "is a" & "has a" relations re: 2nd-Order Logic
  • From: Karmata
• Re: Trademark expressions in symbolic logic
  • From: Chris Menzel
• Re: "is a" & "has a" relations re: 2nd-Order Logic
  • From: Karmata
• Trademark expressions in symbolic logic
  • From: michel . cotourier
• Re: "is a" & "has a" relations re: 2nd-Order Logic
  • From: george
• Re: Craig's theorem
  • From: Glaukon
• Re: Question about second-order logic
  • From: Chris Menzel
• Re: Modal Logic
  • From: Chris Menzel
• Re: Modus Ponens and Trivial Truth
  • From: Confutus
• Re: Modus Ponens and Trivial Truth
  • From: Charlie-Boo
• Re: Question about second-order logic
  • From: lugita15
• Re: Question about second-order logic
  • From: Paul Holbach
• Re: "is a" & "has a" relations re: 2nd-Order Logic
  • From: Paul Holbach
• Re: "is a" & "has a" relations re: 2nd-Order Logic
  • From: Paul Holbach
• Re: "is a" & "has a" relations re: 2nd-Order Logic
  • From: Paul Holbach
• Re: 2nd-Order Predication over 1st-Order Objects
  • From: Paul Holbach
• Re: 2nd-Order Predication over 1st-Order Objects
  • From: Paul Holbach
• Re: Modal Logic
  • From: Frederick Williams
• Re: Modal Logic
  • From: Owen
• Re: "is a" & "has a" relations re: 2nd-Order Logic
  • From: galathaea
• Re: 2nd-Order Predication over 1st-Order Objects
  • From: Ross A. Finlayson
• Re: 2nd-Order Predication over 1st-Order Objects
  • From: Karmata
• Re: 2nd-Order Predication over 1st-Order Objects
  • From: Karmata
• Re: Modus Ponens and Trivial Truth
  • From: herbzet
• Re: 2nd-Order Predication over 1st-Order Objects
  • From: george
• Re: 2nd-Order Predication over 1st-Order Objects
  • From: george
• Re: Question about second-order logic
  • From: Rupert
• Re: 2nd-Order Predication over 1st-Order Objects
  • From: lugita15
• "is a" & "has a" relations re: 2nd-Order Logic
  • From: Karmata
• Re: Craig's theorem
  • From: Peter_Smith
• Re: Modal Logic
  • From: Confutus
• Re: 2nd-Order Predication over 1st-Order Objects
  • From: Karmata
• Re: Craig's theorem
  • From: Glaukon
• Re: 2nd-Order Predication over 1st-Order Objects
  • From: Karmata
• Re: Modal Logic
  • From: Owen
• Re: Question about first-order arithmetic
  • From: george
• Re: Question about first-order arithmetic
  • From: george
• Re: Modal Logic
  • From: Owen
• Re: Computability and logic
  • From: Tom
• Re: Craig's theorem
  • From: T.B.
• Craig's theorem
  • From: Glaukon
• Re: Modal Logic
  • From: Confutus
• Re: Help with models
  • From: MoeBlee
• Re: Modus Ponens and Trivial Truth
  • From: Confutus
• Re: Modal Logic
  • From: Confutus
• Re: Modal Logic
  • From: Frederick Williams
• Re: 2nd-Order Predication over 1st-Order Objects
  • From: Paul Holbach
• Re: Modal Logic
  • From: Owen
• Re: Help with models
  • From: bluelabel
• Re: 2nd-Order Predication over 1st-Order Objects
  • From: Peter_Smith
• Re: Modus Ponens and Trivial Truth
  • From: herbzet
• Re: Modus Ponens Is Unprovable?
  • From: herbzet
• Is Einstein’s E=mc2, CONCEPTUALLY applicable for energy emitted Chemical Reactions.
  • From: physicsajay
• 2nd-Order Predication over 1st-Order Objects
  • From: Karmata
• Re: Thankyou and goodbye.
  • From: george
• Re: Modal Logic
  • From: Confutus
• Re: Explicit choice functions on subsets of R
  • From: Alan Smaill
• Re: Explicit choice functions on subsets of R
  • From: Rupert
• Re: Modal Logic
  • From: Jan Burse
• Re: Help with models
  • From: Barb Knox
• Re: Modal Logic
  • From: Confutus
• Re: Modal Logic
  • From: Confutus
• Re: Modal Logic
  • From: Confutus
• Re: Computability and logic
  • From: MoeBlee
• Help with models
  • From: bluelabel
• Re: Modal Logic
  • From: Dmitry Sustretov <dmitry.sustretov@xxxxxxxxx>
• Re: Computability and logic
  • From: Tom
• Re: Modal Logic
  • From: Jan Burse
• Re: Computability and logic
  • From: MoeBlee
• Re: Explicit choice functions on subsets of R
  • From: aatu . koskensilta
• Re: Explicit choice functions on subsets of R
  • From: Ross A. Finlayson
• Re: Question about first-order arithmetic
  • From: aatu . koskensilta
• Re: Explicit choice functions on subsets of R
  • From: aatu . koskensilta
• Re: Question about first-order arithmetic
  • From: aatu . koskensilta
• Re: Question about first-order arithmetic
  • From: aatu . koskensilta
• Re: Modal Logic
  • From: Frederick Williams
• Re: Modal Logic
  • From: Frederick Williams
• Re: Modal Logic
  • From: Confutus
• Re: Computability and logic
  • From: Tom
• Re: Modal Logic
  • From: Confutus
• Re: Question about second-order logic
  • From: lugita15
• Re: Question about second-order logic
  • From: Rupert
• Re: Explicit choice functions on subsets of R
  • From: Rupert
• Re: how to prove ~ ( P & Q) => ~P v ~Q
  • From: Frederick Williams
• Re: Modal Logic
  • From: Frederick Williams
• Re: Modal Logic
  • From: Frederick Williams
• Re: Modal Logic
  • From: Frederick Williams
• Re: Turing vs. Godel (Newbie Question)
  • From: Charlie-Boo
• Re: Turing vs. Godel (Newbie Question)
  • From: Jack Campin - bogus address
• Re: Turing vs. Godel (Newbie Question)
  • From: Charlie-Boo
• Re: Modus Ponens Is Unprovable?
  • From: Confutus
• Re: Turing vs. Godel (Newbie Question)
  • From: Stephen Harris
• Re: Modus Ponens Is Unprovable?
  • From: mordov
• Re: Modal Logic
  • From: Confutus
• Re: Modus Ponens Is Unprovable?
  • From: Confutus
• Re: Computability and logic
  • From: MoeBlee
• Re: Modus Ponens Is Unprovable?
  • From: Confutus
• Re: Computability and logic
  • From: MoeBlee
• Re: Computability and logic
  • From: george
• Re: Computability and logic
  • From: MoeBlee
• Re: Explicit choice functions on subsets of R
  • From: lugita15
• Re: Computability and logic
  • From: george
• Re: Computability and logic
  • From: Tom
• Re: Question about second-order logic
  • From: yumingfeng25928@xxxxxxxxx
• Re: Modus Ponens Is Unprovable?
  • From: mordov
• Re: Modus Ponens Is Unprovable?
  • From: Jan Burse
• Re: Modal Logic
  • From: Jan Burse
• Re: Question about first-order arithmetic
  • From: Peter_Smith
• Re: Thankyou and goodbye.
  • From: David C . Ullrich
• Re: My investigations into Godels Incompleteness Theorem
  • From: David C . Ullrich
• Explicit choice functions on subsets of R
  • From: Peter Webb
• Re: Modus Ponens Is Unprovable?
  • From: Confutus
• Re: Goldbach Conjecture & the Foundation of First Order Logic.
  • From: Nam Nguyen
• Re: Question about first-order arithmetic
  • From: JEFFREY KETLAND
• Re: Modus Ponens and Trivial Truth
  • From: MoeBlee
• Re: Goldbach Conjecture & the Foundation of First Order Logic.
  • From: Nam Nguyen
• Re: Modus Ponens and Trivial Truth
  • From: Confutus
• Re: Modal Logic
  • From: Confutus
• Re: Sheer lies, cheating by Dr Alexander Inpain , who introduced as Scientist and Administrator at CERN ( European Organization for Nuclear Research ) in various post . But it proved all fraud. He was disusing about my work Einstein Sep 1905 paper and my book
  • From: physicsajay
• Re: Why Has None of Computer Science been Formalized?
  • From: Bill Hale
• Re: My investigations into Godels Incompleteness Theorem
  • From: Daryl McCullough
• Thankyou and goodbye.
  • From: John Jones
• Re: Why Has None of Computer Science been Formalized?
  • From: Charlie-Boo
• Re: Question about first-order arithmetic
  • From: george
• Re: Question about first-order arithmetic
  • From: george
• Re: My investigations into Godels Incompleteness Theorem
  • From: MoeBlee
• Re: My investigations into Godels Incompleteness Theorem
  • From: MoeBlee
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: MoeBlee
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: Computability and logic
  • From: MoeBlee
• Re: My investigations into Godels Incompleteness Theorem
  • From: MoeBlee
• Re: Foundations of Mathematics
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: Why Has None of Computer Science been Formalized?
  • From: Bill Hale
• Re: Why Has None of Computer Science been Formalized?
  • From: Charlie-Boo
• Re: Computability and logic
  • From: Tom
• Re: Why Has None of Computer Science been Formalized?
  • From: hale
• Re: Goldbach Conjecture & the Foundation of First Order Logic.
  • From: Nam Nguyen
• Re: Goldbach Conjecture & the Foundation of First Order Logic.
  • From: Peter_Smith
• Re: Goldbach Conjecture & the Foundation of First Order Logic.
  • From: Nam Nguyen
• Re: My investigations into Godels Incompleteness Theorem
  • From: David C . Ullrich
• Re: My investigations into Godels Incompleteness Theorem
  • From: David C . Ullrich
• Re: My investigations into Godels Incompleteness Theorem
  • From: David C . Ullrich
• Re: My investigations into Godels Incompleteness Theorem
  • From: Alan Smaill
• Re: Goldbach Conjecture & the Foundation of First Order Logic.
  • From: Peter_Smith
• Re: Goldbach Conjecture & the Foundation of First Order Logic.
  • From: Nam Nguyen
• Re: Goldbach Conjecture & the Foundation of First Order Logic.
  • From: Nam Nguyen
• Re: My investigations into Godels Incompleteness Theorem
  • From: abo
• Re: Goldbach Conjecture & the Foundation of First Order Logic.
  • From: Nam Nguyen
• Re: My investigations into Godels Incompleteness Theorem
  • From: abo
• Re: Arturo and Tim Peters" - Zorn's Lemma
  • From: Peter Webb
• Re: Introduction to Tarski's works
  • From: Stephen Harris
• Question about second-order logic
  • From: lugita15
• Re: Question about first-order arithmetic
  • From: Aatu Koskensilta
• Re: Question about first-order arithmetic
  • From: Aatu Koskensilta
• Re: Question about first-order arithmetic
  • From: lugita15
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: Stephen Harris
• Re: Computability and logic
  • From: MoeBlee
• Re: Question about first-order arithmetic
  • From: Aatu Koskensilta
• Re: Question about first-order arithmetic
  • From: lugita15
• Re: Question about first-order arithmetic
  • From: Peter_Smith
• Re: recursively axiomatizable
  • From: Peter_Smith
• Re: Zen and...Math??
  • From: NYC XYZ
• Re: Arturo and Tim Peters" - Zorn's Lemma
  • From: Tim Peters
• Re: Question about first-order arithmetic
  • From: Aatu Koskensilta
• Re: Question about first-order arithmetic
  • From: george
• Re: Question about first-order arithmetic
  • From: george
• Re: Question about first-order arithmetic
  • From: george
• Re: Question about first-order arithmetic
  • From: Aatu Koskensilta
• Re: Question about first-order arithmetic
  • From: george
• Re: Question about first-order arithmetic
  • From: Aatu Koskensilta
• Re: Question about first-order arithmetic
  • From: lugita15
• recursively axiomatizable
  • From: bluelabel
• Re: Question about first-order arithmetic
  • From: george
• Re: Foundations of Mathematics
  • From: Charlie-Boo
• Re: Zen and...Math??
  • From: Fuckwit
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: Daryl McCullough
• Re: My investigations into Godels Incompleteness Theorem
  • From: Alan Smaill
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: Alan Smaill
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: Foundations of Mathematics
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: Chris Menzel
• Re: Arturo and Tim Peters" - Zorn's Lemma
  • From: Arturo Magidin
• Re: Arturo and Tim Peters" - Zorn's Lemma
  • From: Arturo Magidin
• Re: My investigations into Godels Incompleteness Theorem
  • From: Bhupinder Singh Anand
• Re: Goldbach Conjecture & the Foundation of First Order Logic.
  • From: Aatu Koskensilta
• Re: Goldbach Conjecture & the Foundation of First Order Logic.
  • From: Aatu Koskensilta
• Re: Question about first-order arithmetic
  • From: lugita15
• Re: Arturo and Tim Peters" - Zorn's Lemma
  • From: Arturo Magidin
• Re: how to prove ~ ( P & Q) => ~P v ~Q
  • From: Jack Campin - bogus address
• Re: Foundations of Mathematics
  • From: Charlie-Boo
• Re: My investigations into Godels Incompleteness Theorem
  • From: Charlie-Boo
• Re: how to prove ~ ( P & Q) => ~P v ~Q
  • From: translogi@xxxxxxxxxxxxxx
• Re: Foundations of Mathematics
  • From: Daryl McCullough
• Re: My investigations into Godels Incompleteness Theorem
  • From: Daryl McCullough
• Re: [FAQ, 99/07/28] Mathematical logic on the web
  • From: translogi@xxxxxxxxxxxxxx
• Re: My investigations into Godels Incompleteness Theorem
  • From: David C . Ullrich
• Re: Foundations of Mathematics
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: Bhupinder Singh Anand
• Re: Introduction to Tarski's works
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: Daryl McCullough
• Re: Introduction to Tarski's works
  • From: Fuckwit
• Introduction to Tarski's works
  • From: mctodd333
• Re: My investigations into Godels Incompleteness Theorem
  • From: Bhupinder Singh Anand
• Re: Foundations of Mathematics
  • From: Stephen Harris
• Re: Arturo and Tim Peters" - Zorn's Lemma
  • From: Peter Webb
• Re: Foundations of Mathematics
  • From: Stephen Harris
• Re: My investigations into Godels Incompleteness Theorem
  • From: Charlie-Boo
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: MoeBlee
• Re: My investigations into Godels Incompleteness Theorem
  • From: Chris Menzel
• Re: Arturo and Tim Peters" - Zorn's Lemma
  • From: Tim Peters
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: Sudoku Creator and Step by Step Solver
  • From: Jan Burse
• Re: My investigations into Godels Incompleteness Theorem
  • From: Stephen Harris
• Re: Modus Ponens Is Unprovable?
  • From: George Dance
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: Sudoku Creator and Step by Step Solver
  • From: Peter_Smith
• Re: Sudoku Creator and Step by Step Solver
  • From: George Dance
• Re: My investigations into Godels Incompleteness Theorem
  • From: Chris Menzel
• Re: Arturo and Tim Peters" - Zorn's Lemma
  • From: Arturo Magidin
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: Question about first-order arithmetic
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: Daryl McCullough
• Re: Computability and logic
  • From: Tom
• Re: My investigations into Godels Incompleteness Theorem
  • From: R. Srinivasan
• Re: Question about first-order arithmetic
  • From: lugita15
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: Question about first-order arithmetic
  • From: Peter_Smith
• Re: Question about first-order arithmetic
  • From: lugita15
• Re: My investigations into Godels Incompleteness Theorem
  • From: Daryl McCullough
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: Daryl McCullough
• Re: My investigations into Godels Incompleteness Theorem
  • From: Daryl McCullough
• Re: Question about first-order arithmetic
  • From: Peter_Smith
• Re: Foundations of Mathematics
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: Question about first-order arithmetic
  • From: lugita15
• Arturo and Tim Peters" - Zorn's Lemma
  • From: Peter Webb
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: Foundations of Mathematics
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: Daryl McCullough
• Re: Foundations of Mathematics
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: Foundations of Mathematics
  • From: Stephen Harris
• Re: My investigations into Godels Incompleteness Theorem
  • From: R. Srinivasan
• Re: Foundations of Mathematics
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• .
  • From: John Jones
• Re: Goldbach Conjecture & the Foundation of First Order Logic.
  • From: Alexandre BELDI
• Re: A New Resolution to Impredicativity
  • From: Keith Ramsay
• Re: Question about first-order arithmetic
  • From: Peter_Smith
• Re: Foundations of Mathematics
  • From: Charlie-Boo
• Re: Foundations of Mathematics
  • From: Charlie-Boo
• Re: My investigations into Godels Incompleteness Theorem
  • From: Bhupinder Singh Anand
• Re: Foundations of Mathematics
  • From: Jack Campin - bogus address
• Question about first-order arithmetic
  • From: lugita15
• [FAQ, 99/07/28] Mathematical logic on the web
  • From: Boris 'pi' Piwinger
• Re: Foundations of Mathematics
  • From: Stephen Harris
• Re: how to prove ~ ( P & Q) => ~P v ~Q
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: Daryl McCullough
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: how to prove ~ ( P & Q) => ~P v ~Q
  • From: William Elliot
• Re: Foundations of Mathematics
  • From: John Jones
• Re: Foundations of Mathematics
  • From: John Jones
• Re: Foundations of Mathematics
  • From: Stephen Harris
• Re: Foundations of Mathematics
  • From: Stephen Harris
• Re: Foundations of Mathematics
  • From: John Jones
• Re: Foundations of Mathematics
  • From: Charlie-Boo
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: Foundations of Mathematics
  • From: Stephen Harris
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: how to prove ~ ( P & Q) => ~P v ~Q
  • From: George Dance
• Re: how to prove ~ ( P & Q) => ~P v ~Q
  • From: George Dance
• Re: how to prove ~ ( P & Q) => ~P v ~Q
  • From: Roberto Vescarelli
• Re: Foundations of Mathematics
  • From: John Jones
• Re: Classical Modal Logic, Semantics
  • From: George Dance
• Re: Foundations of Mathematics
  • From: Peter_Smith
• Re: Foundations of Mathematics
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: Foundations of Mathematics
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: Bhupinder Singh Anand
• Re: how to prove ~ ( P & Q) => ~P v ~Q
  • From: The Ghost In The Machine
• Re: Foundations of Mathematics
  • From: Charlie-Boo
• Re: Foundations of Mathematics
  • From: Charlie-Boo
• Re: how to prove ~ ( P & Q) => ~P v ~Q
  • From: Peter_Smith
• Re: how to prove ~ ( P & Q) => ~P v ~Q
  • From: Enzo Tagliazucchi
• Re: Computability and logic
  • From: george
• how to prove ~ ( P & Q) => ~P v ~Q
  • From: translogi@xxxxxxxxxxxxxx
• Re: The Tractatus and Logic today
  • From: George Dance
• Re: Classical Modal Logic, Semantics
  • From: Owen
• Re: Computability and logic
  • From: Tom
• Re: Computability and logic
  • From: Tom
• Re: Modal Logic
  • From: Khodaeifar
• Re: Modal Logic
  • From: Rhys B. Cartwright-Jones
• Modal Logic
  • From: Khodaeifar
• Re: My investigations into Godels Incompleteness Theorem
  • From: MoeBlee
• Re: My investigations into Godels Incompleteness Theorem
  • From: Daryl McCullough
• Re: My investigations into Godels Incompleteness Theorem
  • From: Daryl McCullough
• Quine The Afterlife
  • From: CoreyWhite
• Re: My investigations into Godels Incompleteness Theorem
  • From: MoeBlee
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: Daryl McCullough
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: Computability and logic
  • From: MoeBlee
• Re: My investigations into Godels Incompleteness Theorem
  • From: Bhupinder Singh Anand
• Help With A Psuedo-Proof Please
  • From: CoreyWhite
• Re: Computability and logic
  • From: Tom
• Re: phrase search
  • From: Ross A. Finlayson
• Re: My investigations into Godels Incompleteness Theorem
  • From: Charlie-Boo
• phrase search
  • From: nicolas_laurent545
• Re: My investigations into Godels Incompleteness Theorem
  • From: Daryl McCullough
• Re: Classical Modal Logic, Semantics
  • From: Khodaeifar
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: Sudoku Creator and Step by Step Solver
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: Foundations of Mathematics
  • From: Peter_Smith
• Re: Classical Modal Logic, Semantics
  • From: mordov
• Re: Modus Ponens Is Unprovable?
  • From: herbzet
• Sudoku Creator and Step by Step Solver
  • From: Sri
• Re: Modus Ponens Is Unprovable?
  • From: herbzet
• Classical Modal Logic, Semantics
  • From: Khodaeifar
• Re: Foundations of Mathematics
  • From: Charlie-Boo
• Re: Foundations of Mathematics
  • From: Charlie-Boo
• Re: Foundations of Mathematics
  • From: Charlie-Boo

We are proud to have Web Hosting and Rack Housing from 9 Net Avenue Deutschland.
(10)