sci.logic

• Thread Index

---

• Re: axioms of mathematical logic
  • From: itaj
• Re: texts for minimal logic
  • From: Jan Burse
• Re: Is FLT in the language of PA?
  • From: Rupert
• Re: Is FLT in the language of PA?
  • From: Rupert
• Re: axioms of mathematical logic
  • From: tohentoon
• Re: Practical Application of the "Liar's Paradox"
  • From: jerry kraus
• Re: compactness theorem confusion
  • From: tohentoon
• Re: Practical Application of the "Liar's Paradox"
  • From: LauLuna
• Re: Practical Application of the "Liar's Paradox"
  • From: LauLuna
• Re: texts for minimal logic
  • From: translogi@xxxxxxxxxxxxxx
• Re: Is FLT in the language of PA?
  • From: george
• Re: Is FLT in the language of PA?
  • From: george
• Re: fourier transformation and distributions
  • From: Frederick Williams
• Re: axioms of mathematical logic
  • From: David C . Ullrich
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Daryl McCullough
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: lugita15
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: lugita15
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: R. Srinivasan
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Newberry
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Newberry
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Newberry
• Re: axioms of mathematical logic
  • From: Jan Burse
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: lugita15
• Re: axioms of mathematical logic
  • From: John Jones
• Re: texts for minimal logic
  • From: Jan Burse
• Re: axioms of mathematical logic
  • From: Charlie-Boo
• Re: axioms of mathematical logic
  • From: Charlie-Boo
• Re: Finite/infinite models
  • From: lacrimosalundin
• Re: axioms of mathematical logic
  • From: David C . Ullrich
• Re: texts for minimal logic
  • From: translogi@xxxxxxxxxxxxxx
• Re: texts for minimal logic
  • From: translogi@xxxxxxxxxxxxxx
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: R. Srinivasan
• Re: Q: equality elemination
  • From: William Elliot
• Re: axioms of mathematical logic
  • From: Frederick Williams
• Re: Is FLT in the language of PA?
  • From: Rupert
• Re: Is FLT in the language of PA?
  • From: Rupert
• fourier transformation and distributions
  • From: gilraen
• Q: equality elemination
  • From: Nils
• Re: Finite/infinite models
  • From: Chris Menzel
• Finite/infinite models
  • From: lacrimosalundin
• Re: axioms of mathematical logic
  • From: Jan Burse
• Re: axioms of mathematical logic
  • From: Jan Burse
• Re: Practical Application of the "Liar's Paradox"
  • From: John Jones
• Re: axioms of mathematical logic
  • From: John Jones
• Re: axioms of mathematical logic
  • From: John Jones
• Re: axioms of mathematical logic
  • From: John Jones
• Re: compactness theorem confusion
  • From: David C . Ullrich
• Re: axioms of mathematical logic
  • From: David C . Ullrich
• Re: Proper class.Proper class ?
  • From: Keith Ramsay
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Keith Ramsay
• Re: compactness theorem confusion
  • From: Chris Menzel
• compactness theorem confusion
  • From: Snis Pilbor
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Confutus
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Newberry
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Confutus
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Newberry
• Re: Is FLT in the language of PA?
  • From: george
• Re: Is FLT in the language of PA?
  • From: george
• Re: Is FLT in the language of PA?
  • From: george
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: george
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: george
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Newberry
• Practical Application of the "Liar's Paradox"
  • From: jerry kraus
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: R. Srinivasan
• Re: texts for minimal logic
  • From: Jan Burse
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Confutus
• Re: axioms of mathematical logic
  • From: smn
• Re: Is FLT in the language of PA?
  • From: Rupert
• Re: Contingent Things
  • From: Jesse F. Hughes
• axioms of mathematical logic
  • From: itaj
• Re: texts for minimal logic
  • From: translogi@xxxxxxxxxxxxxx
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: george
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: george
• Is FLT in the language of PA?
  • From: george
• Re: incompleteness and inconsistency
  • From: Rupert
• Re: incompleteness and inconsistency
  • From: Nam Nguyen
• Re: Possibility of the Empty World
  • From: Roberto Vescarelli
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Newberry
• Re: Possibility of the Empty World
  • From: William Elliot
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Newberry
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: lugita15
• Re: Possibility of the Empty World
  • From: Paul Holbach
• Possibility of the Empty World
  • From: Paul Holbach
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: R. Srinivasan
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Newberry
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: R. Srinivasan
• Re: Shoenfield 5.2e
  • From: mmweiss
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: R. Srinivasan
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Newberry
• How to enumerate this subset of the assignment functions for a formula?
  • From: malsburg
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: R. Srinivasan
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Newberry
• Re: Shoenfield 5.2e
  • From: george
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: george
• Re: Do reals really have to be genuine numbers?
  • From: R. Srinivasan
• Re: incompleteness and inconsistency
  • From: Rupert
• Re: incompleteness and inconsistency
  • From: Rupert
• Re: incompleteness and inconsistency
  • From: Nam Nguyen
• Re: incompleteness and inconsistency
  • From: Nam Nguyen
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Newberry
• Re: The Gordian knot
  • From: The Ghost In The Machine
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: george
• A less than familiar mathematics?
  • From: John Jones
• Re: The Gordian knot
  • From: John Jones
• Re: Neural Networks and Formal Systems
  • From: abo
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Confutus
• Neural Networks and Formal Systems
  • From: LauLuna
• Re: incompleteness and inconsistency
  • From: Rupert
• Re: incompleteness and inconsistency
  • From: Rupert
• Re: The Gordian knot
  • From: The Ghost In The Machine
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Newberry
• Re: Shoenfield 5.2e
  • From: James Dolan
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Newberry
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: george
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: george
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Confutus
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Confutus
• Shoenfield 5.2e
  • From: mmweiss
• Re: incompleteness and inconsistency
  • From: Nam Nguyen
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Newberry
• Re: incompleteness and inconsistency
  • From: Nam Nguyen
• Re: incompleteness and inconsistency
  • From: Rupert
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Newberry
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Confutus
• Re: incompleteness and inconsistency
  • From: Nam Nguyen
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Newberry
• Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?
  • From: Aatu Koskensilta
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: R. Srinivasan
• SIPTA Newsletter Announcement - New issue
  • From: Alessandro Antonucci
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Frederick Williams
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Confutus
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Newberry
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Newberry
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: george
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: george
• Re: The Gordian knot
  • From: John Jones
• Existence : A Chinese Perspective
  • From: jerry kraus
• Re: The L3 Revolution
  • From: Confutus
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Confutus
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Newberry
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Newberry
• Re: The Gordian knot
  • From: Henrik
• Re: The Gordian knot
  • From: John Jones
• Re: The Gordian knot
  • From: Henrik
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Daryl McCullough
• Re: The Gordian knot
  • From: John Jones
• Re: The Gordian knot
  • From: John Jones
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Jack Campin - bogus address
• Re: The Gordian knot
  • From: Henrik
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Newberry
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Newberry
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Confutus
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: george
• Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?
  • From: LauLuna
• Our Heavenly Father on 11-22-05 at 12:47 P.M.
  • From: cattheon
• Re: The Gordian knot
  • From: The Ghost In The Machine
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Newberry
• Re: The Gordian knot
  • From: John Jones
• Re: The Gordian knot
  • From: John Jones
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: R. Srinivasan
• Re: The L3 Revolution
  • From: galathaea
• Re: incompleteness and inconsistency
  • From: Rupert
• Re: incompleteness and inconsistency
  • From: Rupert
• Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Peter_Smith
• Re: The Gordian knot
  • From: The Ghost In The Machine
• Re: incompleteness and inconsistency
  • From: Nam Nguyen
• If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable
  • From: Newberry
• Property of recursive set
  • From: Atreides
• Re: The L3 Revolution
  • From: Confutus
• Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?
  • From: Aatu Koskensilta
• Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?
  • From: LauLuna
• Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?
  • From: abo
• Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?
  • From: Aatu Koskensilta
• Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?
  • From: abo
• Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?
  • From: Aatu Koskensilta
• Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?
  • From: Aatu Koskensilta
• Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?
  • From: Aatu Koskensilta
• Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?
  • From: abo
• Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?
  • From: Aatu Koskensilta
• Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?
  • From: abo
• Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?
  • From: Aatu Koskensilta
• Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?
  • From: Aatu Koskensilta
• Re: incompleteness and inconsistency
  • From: lugita15
• Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?
  • From: Peter_Smith
• Re: The Gordian knot
  • From: Henrik
• Re: The Gordian knot
  • From: Rupert
• Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?
  • From: abo
• Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?
  • From: Peter_Smith
• Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?
  • From: aatu . koskensilta
• Re: incompleteness and inconsistency
  • From: MoeBlee
• Re: incompleteness and inconsistency
  • From: aatu . koskensilta
• Re: Goedel's formula made simple
  • From: lugita15
• Re: Question about Quine's New Foundations
  • From: aatu . koskensilta
• Re: Queue
  • From: mixi . mo
• Re: Goedel's formula made simple
  • From: zzbunker@xxxxxxxxxxxx
• Re: Goedel's formula made simple
  • From: lugita15
• Re: Goedel's formula made simple
  • From: zzbunker@xxxxxxxxxxxx
• Re: Goedel's formula made simple
  • From: lugita15
• Re: Goedel's formula made simple
  • From: lugita15
• Re: Request for Reference/Link to example of defining a theory/logic.
  • From: Peter_Smith
• Re: A few questions about formal systems
  • From: lugita15
• Re: Request for Reference/Link to example of defining a theory/logic.
  • From: Scott
• Re: Request for Reference/Link to example of defining a theory/logic.
  • From: Scott
• Re: A few questions about formal systems
  • From: MoeBlee
• Re: A few questions about formal systems
  • From: abo
• Re: A few questions about formal systems
  • From: Newberry
• IS THERE AN INEXHAUSTIBILITY PHENOMENON?
  • From: LauLuna
• Re: Goedel's formula made simple
  • From: zzbunker@xxxxxxxxxxxx
• Re: A few questions about formal systems
  • From: abo
• Re: A few questions about formal systems
  • From: lugita15
• Re: Goedel's formula made simple
  • From: lugita15
• Re: Goedel's formula made simple
  • From: zzbunker@xxxxxxxxxxxx
• Re: A few questions about formal systems
  • From: Peter_Smith
• Re: A few questions about formal systems
  • From: abo
• Re: A few questions about formal systems
  • From: Newberry
• Re: A few questions about formal systems
  • From: Newberry
• Re: Goedel's formula made simple
  • From: Newberry
• Re: SING UP everyone! ~ 'Oold man ribber, dat oold man ribber ~ he jus' keep a-rollin' aloonngg!'
  • From: The Ghost In The Machine
• Re: CBL (The system your professor doesn't want you to see.)
  • From: george
• Re: A few questions about formal systems
  • From: Peter_Smith
• Re: A few questions about formal systems
  • From: lugita15
• Re: A few questions about formal systems
  • From: lugita15
• Re: A few questions about formal systems
  • From: MoeBlee
• Re: A few questions about formal systems
  • From: Charlie-Boo
• Re: SING UP everyone! ~ 'Oold man ribber, dat oold man ribber ~ he jus' keep a-rollin' aloonngg!'
  • From: John Jones
• Re: Request for Reference/Link to example of defining a theory/logic.
  • From: Charlie-Boo
• Re: A few questions about formal systems
  • From: lugita15
• Re: A few questions about formal systems
  • From: lugita15
• Re: A few questions about formal systems
  • From: lugita15
• Re: Question about Quine's New Foundations
  • From: lugita15
• Re: A few questions about formal systems
  • From: Peter_Smith
• Re: SING UP everyone! ~ 'Oold man ribber, dat oold man ribber ~ he jus' keep a-rollin' aloonngg!'
  • From: John Jones
• Re: SING UP everyone! ~ 'Oold man ribber, dat oold man ribber ~ he jus' keep a-rollin' aloonngg!'
  • From: John Jones
• Re: SING UP everyone! ~ 'Oold man ribber, dat oold man ribber ~ he jus' keep a-rollin' aloonngg!'
  • From: John Jones
• Re: SING UP everyone! ~ 'Oold man ribber, dat oold man ribber ~ he jus' keep a-rollin' aloonngg!'
  • From: John Jones
• SING UP everyone! ~ 'Oold man ribber, dat oold man ribber ~ he jus' keep a-rollin' aloonngg!'
  • From: John Jones
• Re: Request for Reference/Link to example of defining a theory/logic.
  • From: Peter_Smith
• Re: Request for Reference/Link to example of defining a theory/logic.
  • From: Scott
• Re: Request for Reference/Link to example of defining a theory/logic.
  • From: Scott
• Re: Request for Reference/Link to example of defining a theory/logic.
  • From: Scott
• Re: incompleteness and inconsistency
  • From: MoeBlee
• Re: A few questions about formal systems
  • From: abo
• Re: A few questions about formal systems
  • From: lugita15
• Re: Goedel's formula made simple
  • From: lugita15
• Re: The Gordian knot
  • From: John Jones
• Re: Question about Quine's New Foundations
  • From: Aatu Koskensilta
• Re: The Gordian knot
  • From: Rupert
• Re: Question about Quine's New Foundations
  • From: lugita15
• Re: Is the Halting Problem merely an ill-formed question?
  • From: george
• Re: Is the Halting Problem merely an ill-formed question?
  • From: Aatu Koskensilta
• Queue
  • From: John Jones
• Re: Question about Quine's New Foundations
  • From: Aatu Koskensilta
• Re: A few questions about formal systems
  • From: Newberry
• Re: A few questions about formal systems
  • From: Newberry
• Re: Goedel's formula made simple
  • From: Newberry
• Re: Question about Quine's New Foundations
  • From: lugita15
• Re: Question about Quine's New Foundations
  • From: Aatu Koskensilta
• Re: Goedel's formula made simple
  • From: lugita15
• Re: Goedel's formula made simple
  • From: lugita15
• Re: A few questions about formal systems
  • From: lugita15
• Re: A few questions about formal systems
  • From: lugita15
• Re: Question about Quine's New Foundations
  • From: lugita15
• Re: The Gordian knot
  • From: John Jones
• Re: Question about Quine's New Foundations
  • From: Aatu Koskensilta
• Re: The Gordian knot
  • From: Rupert
• Re: The Gordian knot
  • From: John Jones
• Re: The Gordian knot
  • From: Rupert
• Re: A few questions about formal systems
  • From: Rupert
• Re: A few questions about formal systems
  • From: Newberry
• Re: A few questions about formal systems
  • From: Newberry
• Re: A few questions about formal systems
  • From: lugita15
• Re: A few questions about formal systems
  • From: lugita15
• Re: A few questions about formal systems
  • From: Newberry
• Re: A few questions about formal systems
  • From: lugita15
• Re: A few questions about formal systems
  • From: Newberry
• Goedel's formula made simple
  • From: Newberry
• Re: context free grammars and ambiguity
  • From: William Elliot
• Re: Is the Halting Problem merely an ill-formed question?
  • From: Peter Olcott
• Re: Is the Halting Problem merely an ill-formed question?
  • From: Peter Olcott
• Re: Is the Halting Problem merely an ill-formed question?
  • From: Edward Green
• Re: The Gordian knot
  • From: John Jones
• Re: A few questions about formal systems
  • From: Peter_Smith
• Re: A few questions about formal systems
  • From: Rupert
• MOMENTARIAN "New" Google Beta Group
  • From: Nick
• Re: Is the Halting Problem merely an ill-formed question?
  • From: george
• A few questions about formal systems
  • From: Newberry
• context free grammars and ambiguity
  • From: Per Freem
• Re: Question about Quine's New Foundations
  • From: lugita15
• Re: Question about Quine's New Foundations
  • From: Aatu Koskensilta
• Re: Axiomatization of Ordinal Arithmetic
  • From: Charlie-Boo
• Re: Request for Reference/Link to example of defining a theory/logic.
  • From: Charlie-Boo
• Re: The Gordian knot
  • From: Rupert
• Re: Request for Reference/Link to example of defining a theory/logic.
  • From: Peter_Smith
• Re: Request for Reference/Link to example of defining a theory/logic.
  • From: Peter_Smith
• Re: Request for Reference/Link to example of defining a theory/logic.
  • From: Scott
• Re: The Gordian knot
  • From: John Jones
• Re: Prove that function is not primitive recursive.
  • From: Atreides
• Re: Axiomatization of Ordinal Arithmetic
  • From: Peter_Smith
• Re: Infinity Again
  • From: Jesse F. Hughes
• Re: Bias against unintelligent people
  • From: Jesse F. Hughes
• Re: Infinity Again
  • From: Charlie-Boo
• Re: Axiomatization of Ordinal Arithmetic
  • From: Charlie-Boo
• Re: Axiomatization of Ordinal Arithmetic
  • From: Peter_Smith
• Re: Axiomatization of Ordinal Arithmetic
  • From: Charlie-Boo
• Re: Axiomatization of Ordinal Arithmetic
  • From: Charlie-Boo
• Re: problems-solutions
  • From: Charlie-Boo
• Re: Request for Reference/Link to example of defining a theory/logic.
  • From: Charlie-Boo
• Re: Real mathematics vs FOL
  • From: Mark Tarver
• Re: Proper class.Proper class ?
  • From: george
• Request for Reference/Link to example of defining a theory/logic.
  • From: Scott
• Prove that function is not primitive recursive.
  • From: Atreides
• Prove that function is not primitive recursive.
  • From: Atreides
• Re: texts for minimal logic
  • From: Jan Burse
• Re: Infinity Again
  • From: Virgil
• Re: texts for minimal logic
  • From: mordov
• Re: texts for minimal logic
  • From: translogi@xxxxxxxxxxxxxx
• Re: Intuitionistic troubles...
  • From: translogi@xxxxxxxxxxxxxx
• Re: Intuitionistic troubles...
  • From: translogi@xxxxxxxxxxxxxx
• Re: Real mathematics vs FOL
  • From: biubo
• Re: Question about Quine's New Foundations
  • From: lugita15
• Re: Real mathematics vs FOL
  • From: Nam Nguyen
• Re: Infinity Again
  • From: Tonico
• Re: Real mathematics vs FOL
  • From: biubo
• Re: Real mathematics vs FOL
  • From: Nam Nguyen
• Re: incompleteness and inconsistency
  • From: Nam Nguyen
• Re: Problem Solving Textbook
  • From: Peter_Smith
• Re: incompleteness and inconsistency
  • From: Peter_Smith
• Re: incompleteness and inconsistency
  • From: Aatu Koskensilta
• Re: incompleteness and inconsistency
  • From: george
• Re: incompleteness and inconsistency
  • From: george
• Re: Question about Quine's New Foundations
  • From: Aatu Koskensilta
• Re: Problem Solving Textbook
  • From: Ken Pledger
• Problem Solving Textbook
  • From: cjkogan111
• problems-solutions
  • From: S.L.
• Re: incompleteness and inconsistency
  • From: MoeBlee
• Real mathematics vs FOL
  • From: biubo
• Re: Question about Quine's New Foundations
  • From: lugita15
• Re: incompleteness and inconsistency
  • From: abo
• Re: incompleteness and inconsistency
  • From: Peter_Smith
• Re: Absolutely undecidable statements
  • From: Aatu Koskensilta
• Re: incompleteness and inconsistency
  • From: Nam Nguyen
• Re: incompleteness and inconsistency
  • From: abo
• Re: incompleteness and inconsistency
  • From: Aatu Koskensilta
• Re: Question about Quine's New Foundations
  • From: Aatu Koskensilta
• Re: Question about Quine's New Foundations
  • From: lugita15
• Generalized PMI proof
  • From: HGL
• Re: Absolutely undecidable statements
  • From: Pierre Asselin
• Re: incompleteness and inconsistency
  • From: MoeBlee
• Re: incompleteness and inconsistency
  • From: MoeBlee
• Re: incompleteness and inconsistency
  • From: Aatu Koskensilta
• Re: The Gordian knot
  • From: Rupert
• johnreed take 1A - Modified October 18, 2006
  • From: johnlawrencereedjr
• Re: incompleteness and inconsistency
  • From: Aatu Koskensilta
• Re: incompleteness and inconsistency
  • From: abo
• Re: Question about Quine's New Foundations
  • From: Aatu Koskensilta
• Re: incompleteness and inconsistency
  • From: MoeBlee
• Re: Question about Quine's New Foundations
  • From: lugita15
• Re: incompleteness and inconsistency
  • From: Aatu Koskensilta
• Re: incompleteness and inconsistency
  • From: Aatu Koskensilta
• Re: incompleteness and inconsistency
  • From: MoeBlee
• Re: incompleteness and inconsistency
  • From: MoeBlee
• Re: Henkin models
  • From: Aatu Koskensilta
• Re: Question about Quine's New Foundations
  • From: Aatu Koskensilta
• Re: incompleteness and inconsistency
  • From: Aatu Koskensilta
• Re: incompleteness and inconsistency
  • From: Aatu Koskensilta
• Re: incompleteness and inconsistency
  • From: Aatu Koskensilta
• Re: incompleteness and inconsistency
  • From: Aatu Koskensilta
• Re: Axiomatization of Ordinal Arithmetic
  • From: lugita15
• Re: incompleteness and inconsistency
  • From: MoeBlee
• Re: Axioms & quantification
  • From: MoeBlee
• Re: The Gordian knot
  • From: John Jones
• Re: incompleteness and inconsistency
  • From: Peter_Smith
• Re: incompleteness and inconsistency
  • From: aatu . koskensilta
• Re: Axiomatization of Ordinal Arithmetic
  • From: Peter_Smith
• Re: incompleteness and inconsistency
  • From: Charlie-Boo
• Re: Axiomatization of Ordinal Arithmetic
  • From: Charlie-Boo
• Re: Axiomatization of Ordinal Arithmetic
  • From: Charlie-Boo
• Re: incompleteness and inconsistency
  • From: Rupert
• Re: incompleteness and inconsistency
  • From: Rupert
• Re: incompleteness and inconsistency
  • From: Nam Nguyen
• Re: Axioms & quantification
  • From: Chris Menzel
• Re: incompleteness and inconsistency
  • From: Newberry
• Re: fallacy of (denying hypothesis)/(affirming conclusion)
  • From: George Dance
• Re: Axioms & quantification
  • From: MoeBlee
• Re: Axioms & quantification
  • From: MoeBlee
• Re: incompleteness and inconsistency
  • From: MoeBlee
• Re: incompleteness and inconsistency
  • From: Rupert
• Re: incompleteness and inconsistency
  • From: Rupert
• Re: incompleteness and inconsistency
  • From: Nam Nguyen
• Re: The Gordian knot
  • From: Rupert
• Re: incompleteness and inconsistency
  • From: Rupert
• Re: Absolutely undecidable statements
  • From: aatu . koskensilta
• Re: incompleteness and inconsistency
  • From: abo
• Re: incompleteness and inconsistency
  • From: aatu . koskensilta
• Re: incompleteness and inconsistency
  • From: abo
• Re: incompleteness and inconsistency
  • From: Newberry
• Re: texts for minimal logic
  • From: Peter_Smith
• Re: incompleteness and inconsistency
  • From: Peter_Smith
• Re: texts for minimal logic
  • From: Jan Burse
• Re: texts for minimal logic
  • From: Jan Burse
• Re: incompleteness and inconsistency
  • From: abo
• Re: The Gordian knot
  • From: John Jones
• Re: texts for minimal logic
  • From: Peter_Smith
• Re: incompleteness and inconsistency
  • From: Peter_Smith
• Re: incompleteness and inconsistency
  • From: abo
• Re: incompleteness and inconsistency
  • From: abo
• Re: incompleteness and inconsistency
  • From: Nam Nguyen
• Re: incompleteness and inconsistency
  • From: Nam Nguyen
• Re: Absolutely undecidable statements
  • From: Robert E. Beaudoin
• Re: Absolutely undecidable statements
  • From: Pierre Asselin
• Re: incompleteness and inconsistency
  • From: Rupert
• Re: incompleteness and inconsistency
  • From: Peter_Smith
• Re: incompleteness and inconsistency
  • From: Per Freem
• Re: incompleteness and inconsistency
  • From: Per Freem
• Re: Intuitionistic troubles...
  • From: galathaea
• Re: Intuitionistic troubles...
  • From: galathaea
• Re: texts for minimal logic
  • From: galathaea
• Re: Absolutely undecidable statements
  • From: Rupert
• Re: incompleteness and inconsistency
  • From: george
• Re: Axioms & quantification
  • From: Chris Menzel
• Re: incompleteness and inconsistency
  • From: abo
• Re: incompleteness and inconsistency
  • From: Peter_Smith
• Re: incompleteness and inconsistency
  • From: george
• Re: incompleteness and inconsistency
  • From: abo
• Re: incompleteness and inconsistency
  • From: abo
• Re: incompleteness and inconsistency
  • From: Peter_Smith
• Re: Axioms & quantification
  • From: Frederick Williams
• Re: incompleteness and inconsistency
  • From: abo
• Re: incompleteness and inconsistency
  • From: Peter_Smith
• Re: Absolutely undecidable statements
  • From: Pierre Asselin
• Re: incompleteness and inconsistency
  • From: Peter_Smith
• Re: incompleteness and inconsistency
  • From: abo
• Re: Intuitionistic troubles...
  • From: Jan Burse
• Re: texts for minimal logic
  • From: Mark Tarver
• Re: Intuitionistic troubles...
  • From: Mark Tarver
• Re: incompleteness and inconsistency
  • From: Peter_Smith
• Re: Henkin models
  • From: aatu . koskensilta
• texts for minimal logic
  • From: translogi@xxxxxxxxxxxxxx
• Intuitionistic troubles...
  • From: translogi@xxxxxxxxxxxxxx
• Re: The Gordian knot
  • From: Rupert
• Re: fallacy of (denying hypothesis)/(affirming conclusion)
  • From: translogi@xxxxxxxxxxxxxx
• Re: Henkin models
  • From: Rupert
• Absolutely undecidable statements
  • From: Rupert
• Re: Question about Quine's New Foundations
  • From: lugita15
• Re: incompleteness and inconsistency
  • From: MoeBlee
• Re: incompleteness and inconsistency
  • From: MoeBlee
• Re: Axioms & quantification
  • From: MoeBlee
• Re: Axioms & quantification
  • From: Frederick Williams
• Re: Question about Quine's New Foundations
  • From: Aatu Koskensilta
• Re: Nameless critics on the Internet and critical analysis of Einstein’s E=mc2
  • From: physicsajay
• Re: The Gordian knot
  • From: John Jones
• Re: Question about Quine's New Foundations
  • From: lugita15
• Re: Henkin models
  • From: Aatu Koskensilta
• Re: Question about Quine's New Foundations
  • From: Aatu Koskensilta
• Re: incompleteness and inconsistency
  • From: Rupert
• Henkin models
  • From: Rupert
• Re: The Gordian knot
  • From: Rupert
• Re: incompleteness and inconsistency
  • From: Aatu Koskensilta
• The Gordian knot
  • From: John Jones
• Re: incompleteness and inconsistency
  • From: Peter_Smith
• Re: incompleteness and inconsistency
  • From: Peter_Smith
• fallacy of (denying hypothesis)/(affirming conclusion)
  • From: gaya . patel
• Re: incompleteness and inconsistency
  • From: Nam Nguyen
• Re: incompleteness and inconsistency
  • From: Nam Nguyen
• Re: incompleteness and inconsistency
  • From: Rupert
• Re: incompleteness and inconsistency
  • From: lugita15
• Re: Axioms & quantification
  • From: MoeBlee
• Re: Axioms & quantification
  • From: bluelabel
• Re: On Ultrafinitism
  • From: MoeBlee
• Re: Axioms & quantification
  • From: MoeBlee
• Re: Axioms & quantification
  • From: bluelabel
• Re: On Ultrafinitism
  • From: Rupert
• Re: incompleteness and inconsistency
  • From: Rupert
• Re: We, as Scientists must show tolerance to opposite views
  • From: Phil Carmody
• Re: Axioms & quantification
  • From: MoeBlee
• Re: On Ultrafinitism
  • From: MoeBlee
• Re: incompleteness and inconsistency
  • From: Chris Menzel
• Re: incompleteness and inconsistency
  • From: lugita15
• Re: incompleteness and inconsistency
  • From: Peter_Smith
• Re: incompleteness and inconsistency
  • From: lugita15
• call anywhere free and talk usefull topiks
  • From: singh . xx . pawan
• Re: Simple Question regarding Simply Typed Lambda Calculus
  • From: Jan Burse
• Re: incompleteness and inconsistency
  • From: Peter_Smith
• Re: incompleteness and inconsistency
  • From: lugita15
• to Record Human Dreams
  • From: jaggusid
• Re: incompleteness and inconsistency
  • From: Peter_Smith
• Re: incompleteness and inconsistency
  • From: Rupert
• Re: Simple Question regarding Simply Typed Lambda Calculus
  • From: William Elliot
• Simple Question regarding Simply Typed Lambda Calculus
  • From: Debajit Adhikary
• Re: incompleteness and inconsistency
  • From: Nam Nguyen
• Re: incompleteness and inconsistency
  • From: Peter_Smith
• Re: every formula is a logical consequence of its univeral closure.
  • From: herbzet
• Re: incompleteness and inconsistency
  • From: lugita15
• Re: incompleteness and inconsistency
  • From: Peter_Smith
• Re: incompleteness and inconsistency
  • From: MoeBlee
• Re: incompleteness and inconsistency
  • From: MoeBlee
• Re: incompleteness and inconsistency
  • From: lugita15
• every formula is a logical consequence of its univeral closure.
  • From: speechweb
• Re: Question about Quine's New Foundations
  • From: lugita15
• incompleteness and inconsistency
  • From: Per Freem
• Re: how to define Thm in PRA
  • From: Daryl McCullough
• Re: how to define Thm in PRA
  • From: Aatu Koskensilta
• Re: BEING AND EXISTENCE
  • From: Jesse F. Hughes
• Re: Question about Quine's New Foundations
  • From: Aatu Koskensilta
• Re: BEING AND EXISTENCE
  • From: Jesse F. Hughes
• Re: Smallest relation satisfying the following...
  • From: Frederick Williams
• Re: Axioms & quantification
  • From: bluelabel
• Re: BEING AND EXISTENCE
  • From: Aatu Koskensilta
• Re: BEING AND EXISTENCE
  • From: Paul Holbach
• Nameless critics on the Internet and critical analysis of Einstein’s E=mc2
  • From: physicsajay
• Re: Smallest relation satisfying the following...
  • From: David C . Ullrich
• Re: how to define Thm in PRA
  • From: Aatu Koskensilta
• Re: On Ultrafinitism
  • From: Eckard Blumschein
• Re: The L3 Revolution
  • From: William Elliot
• Re: Smallest relation satisfying the following...
  • From: Aatu Koskensilta
• Re: The L3 Revolution
  • From: Confutus
• Re: The L3 Revolution
  • From: Confutus
• Flavor of linear logic corresponding to symmetric monoidal categories with duals?
  • From: metaweta
• Re: BEING AND EXISTENCE
  • From: Nam Nguyen
• Re: Axioms & quantification
  • From: Frederick Williams
• Re: BEING AND EXISTENCE
  • From: Paul Holbach
• [FAQ, 99/07/28] Mathematical logic on the web
  • From: Boris 'pi' Piwinger
• Re: On Ultrafinitism
  • From: Rupert
• Axioms & quantification
  • From: bluelabel
• Re: The L3 Revolution
  • From: William Elliot
• Smallest relation satisfying the following...
  • From: frob
• Re: how to define Thm in PRA
  • From: Peter_Smith
• Re: BEING AND EXISTENCE
  • From: Jesse F. Hughes
• Re: The L3 Revolution
  • From: Confutus
• Gödel's modal proof that there is something
  • From: Dunk
• Re: On Ultrafinitism
  • From: MoeBlee
• Re: how to define Thm in PRA
  • From: george
• Re: BEING AND EXISTENCE
  • From: Paul Holbach
• Re: BEING AND EXISTENCE
  • From: Paul Holbach
• Re: BEING AND EXISTENCE
  • From: Jesse F. Hughes
• Re: BEING AND EXISTENCE
  • From: Paul Holbach
• Re: BEING AND EXISTENCE
  • From: Paul Holbach
• Re: BEING AND EXISTENCE
  • From: Nam Nguyen
• Re: BEING AND EXISTENCE
  • From: Paul Holbach
• Re: BEING AND EXISTENCE
  • From: Paul Holbach
• Re: BEING AND EXISTENCE
  • From: Paul Holbach
• 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: glennlieding
• Re: BEING AND EXISTENCE
  • From: Roberto Vescarelli
• Re: BEING AND EXISTENCE
  • From: Owen

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