sci.logic

• Thread Index

---

• Proof
  • From: Tom
• Re: Reflections on Free Will and Proposed Perfect Knowledge of God
  • From: David
• Re: Reflections on Free Will and Proposed Perfect Knowledge of God
  • From: David
• Re: Reflections on Free Will and Proposed Perfect Knowledge of God
  • From: David
• Re: Reflections on Free Will and Proposed Perfect Knowledge of God
  • From: David
• Re: Constructive math query:- Countable orders
  • From: LauLuna
• Re: Inconceivable
  • From: LauLuna
• Re: Reflections on Free Will and Proposed Perfect Knowledge of God
  • From: LauLuna
• Re: Reflections on Free Will and Proposed Perfect Knowledge of God
  • From: LauLuna
• Re: Reflections on Free Will and Proposed Perfect Knowledge of God
  • From: Daryl McCullough
• Inconceivable
  • From: Swami BV Vishnu Daivata
• Re: Request for clarification of what is a non first-order definable set.
  • From: Daryl McCullough
• Re: Request for clarification of what is a non first-order definable set.
  • From: David C . Ullrich
• Reflections on Free Will and Proposed Perfect Knowledge of God
  • From: David
• Re: Is Validity Just a Hypothetical or Conditional Characteristic?
  • From: herbzet
• Re: Is Validity Just a Hypothetical or Conditional Characteristic?
  • From: herbzet
• Re: Announcement: New release of free online calculator
  • From: zzbunker@xxxxxxxxxxxx
• Re: Request for clarification of what is a non first-order definable set.
  • From: MoeBlee
• Re: Request for clarification of what is a non first-order definable set.
  • From: G . Frege
• Re: Request for clarification of what is a non first-order definable set.
  • From: Scott
• Re: Is Validity Just a Hypothetical or Conditional Characteristic?
  • From: Jan Burse
• Re: Goedel's proof
  • From: R. Srinivasan
• Re: Is Validity Just a Hypothetical or Conditional Characteristic?
  • From: Alan Smaill
• Re: Is Validity Just a Hypothetical or Conditional Characteristic?
  • From: herbzet
• Re: Is Validity Just a Hypothetical or Conditional Characteristic?
  • From: herbzet
• Re: Is Validity Just a Hypothetical or Conditional Characteristic?
  • From: herbzet
• Re: Is Validity Just a Hypothetical or Conditional Characteristic?
  • From: galathaea
• Re: Goedel's proof
  • From: Newberry
• Re: Is Validity Just a Hypothetical or Conditional Characteristic?
  • From: herbzet
• Re: Request for clarification of what is a non first-order definable set.
  • From: MoeBlee
• Re: Request for clarification of what is a non first-order definable set.
  • From: george
• Re: Goedel's proof
  • From: george
• Re: Is Validity Just a Hypothetical or Conditional Characteristic?
  • From: Jan Burse
• Re: I want to cook and eat American women!!!
  • From: Frederick Williams
• Re: An analysis of the Proof by Contradiction
  • From: Frederick Williams
• Re: An analysis of the Proof by Contradiction
  • From: G . Frege
• Re: An analysis of the Proof by Contradiction
  • From: G . Frege
• Re: Is Validity Just a Hypothetical or Conditional Characteristic?
  • From: herbzet
• Re: Is Validity Just a Hypothetical or Conditional Characteristic?
  • From: herbzet
• Re: Is Validity Just a Hypothetical or Conditional Characteristic?
  • From: herbzet
• Re: Is Validity Just a Hypothetical or Conditional Characteristic?
  • From: herbzet
• Re: Five things morons believe
  • From: pinhead
• I want to cook and eat American women!!!
  • From: Arturo Magidin
• Re: Definition of AI.
  • From: Stephen Harris
• CAPITAL LETTERS MOOTED IN EINSTEIN CURIO
  • From: John Jones
• Re: An analysis of the Proof by Contradiction
  • From: Jan Burse
• Re: Is Validity Just a Hypothetical or Conditional Characteristic?
  • From: Jan Burse
• Re: Is Validity Just a Hypothetical or Conditional Characteristic?
  • From: Jan Burse
• Re: Request for clarification of what is a non first-order definable set.
  • From: David C . Ullrich
• Re: Request for clarification of what is a non first-order definable set.
  • From: David C . Ullrich
• Re: Request for clarification of what is a non first-order definable set.
  • From: David C . Ullrich
• Re: An analysis of the Proof by Contradiction
  • From: Peter_Smith
• Re: Need help with simple FOL proof -- without using existential quantifiers
  • From: G . Frege
• An analysis of the Proof by Contradiction
  • From: John Jones
• israel
  • From: andromeda
• Re: Goedel's proof
  • From: Peter_Smith
• the universe
  • From: andromeda
• Re: Definition of AI.
  • From: The Ghost In The Machine
• Re: Is Validity Just a Hypothetical or Conditional Characteristic?
  • From: herbzet
• Re: Definition of AI.
  • From: Nam D. Nguyen
• Re: entropy of set
  • From: William Elliot
• Re: Definition of AI.
  • From: The Ghost In The Machine
• Re: Goedel's proof
  • From: Newberry
• Re: Definition of AI.
  • From: Nam D. Nguyen
• Re: Definition of AI.
  • From: David
• Re: Definition of AI.
  • From: David
• Re: Request for clarification of what is a non first-order definable set.
  • From: G . Frege
• Re: Request for clarification of what is a non first-order definable set.
  • From: Scott
• Re: Request for clarification of what is a non first-order definable set.
  • From: Scott
• Re: Goedel's proof
  • From: aatu . koskensilta
• Re: Goedel's proof
  • From: Peter_Smith
• Re: Need help with simple FOL proof -- without using existential quantifiers
  • From: Dan Christensen
• Re: Request for clarification of what is a non first-order definable set.
  • From: Scott
• Re: Request for clarification of what is a non first-order definable set.
  • From: Scott
• Re: Request for clarification of what is a non first-order definable set.
  • From: Scott
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: R. Srinivasan
• Re: Need help with simple FOL proof -- without using existential quantifiers
  • From: G . Frege
• Re: Need help with simple FOL proof -- without using existential quantifiers
  • From: Dan Christensen
• Re: entropy of set
  • From: Mike
• Re: Simple examples of transfinite induction
  • From: abo
• Re: Need help with simple FOL proof -- without using existential quantifiers
  • From: G . Frege
• Re: Need help with simple FOL proof -- without using existential quantifiers
  • From: Dan Christensen
• Re: entropy of set
  • From: William Elliot
• Re: Need help with simple FOL proof -- without using existential quantifiers
  • From: Dan Christensen
• Goedel's proof
  • From: Newberry
• entropy of set
  • From: Mike
• Re: Need help with simple FOL proof -- without using existential quantifiers
  • From: G . Frege
• spam conference
  • From: John Jones
• third world debt
  • From: John Jones
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: LauLuna
• Make Money
  • From: lsanchez
• Re: Canonical form with NOR or NAND?
  • From: Mitch
• Re: Request for clarification of what is a non first-order definable set.
  • From: G . Frege
• Re: Canonical form with NOR or NAND?
  • From: part
• Re: Need help with simple FOL proof -- without using existential quantifiers
  • From: G . Frege
• Re: Need help with simple FOL proof -- without using existential quantifiers
  • From: G . Frege
• Re: Gentzen on Wikipedia
  • From: Paul Holbach
• Re: Need help with simple FOL proof -- without using existential quantifiers
  • From: G . Frege
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: R. Srinivasan
• Re: Gentzen on Wikipedia
  • From: G . Frege
• Re: Need help with simple FOL proof -- without using existential quantifiers
  • From: G . Frege
• Re: Need help with simple FOL proof -- without using existential quantifiers
  • From: G . Frege
• Re: Need help with simple FOL proof -- without using existential quantifiers
  • From: G . Frege
• Re: Need help with simple FOL proof -- without using existential quantifiers
  • From: G . Frege
• Re: Need help with simple FOL proof -- without using existential quantifiers
  • From: Dan Christensen
• Re: Need help with simple FOL proof -- without using existential quantifiers
  • From: Bill Hale
• Re: Need help with simple FOL proof -- without using existential quantifiers
  • From: William Elliot
• Re: Non-deterministic vs. deterministic TM
  • From: Patrick Ashley Meuser\"-Bianca\"
• Re: Halting problem totally unsolvable?
  • From: george
• Re: Gentzen on Wikipedia
  • From: Paul Holbach
• Re: Request for clarification of what is a non first-order definable set.
  • From: MoeBlee
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: LauLuna
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: LauLuna
• Re: Request for clarification of what is a non first-order definable set.
  • From: george
• Re: Request for clarification of what is a non first-order definable set.
  • From: george
• Re: Request for clarification of what is a non first-order definable set.
  • From: David C . Ullrich
• Re: Need help with simple FOL proof -- without using existential quantifiers
  • From: Peter_Smith
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: George Dance
• EINSTEIN WHIMSEY IMPLICATED IN CROSSPOSTING
  • From: John Jones
• Need help with simple FOL proof -- without using existential quantifiers
  • From: Dan Christensen
• Re: Gentzen on Wikipedia
  • From: Peter_Smith
• Re: Gentzen on Wikipedia
  • From: Paul Holbach
• Re: Gentzen on Wikipedia
  • From: Paul Holbach
• for abbey: awe-inspiring tunes - ilco eb - (1/1)
  • From: addy
• Re: Simple examples of transfinite induction
  • From: galathaea
• Re: Request for clarification of what is a non first-order definable set.
  • From: MoeBlee
• Re: Request for clarification of what is a non first-order definable set.
  • From: galathaea
• Re: Request for clarification of what is a non first-order definable set.
  • From: Scott
• Re: Request for clarification of what is a non first-order definable set.
  • From: MoeBlee
• Re: Request for clarification of what is a non first-order definable set.
  • From: MoeBlee
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: Alan Smaill
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: R. Srinivasan
• Request for clarification of what is a non first-order definable set.
  • From: Scott
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: Chris Menzel
• Re: G. Frege plase: A is subset of B
  • From: Arturo Magidin
• EINSTEIN WHIMSEY IMPLICATED IN CROSSPOSTING
  • From: John Jones
• Re: Kant and the A Priori
  • From: John Jones
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: R. Srinivasan
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: Aatu Koskensilta
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: R. Srinivasan
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: Aatu Koskensilta
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: Alan Smaill
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: Alan Smaill
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: Alan Smaill
• Re: Simple examples of transfinite induction
  • From: Peter_Smith
• Re: MetaLanguage in Mathematics
  • From: Aatu Koskensilta
• Re: Simple examples of transfinite induction
  • From: R. Srinivasan
• Re: MetaLanguage in Mathematics
  • From: Aatu Koskensilta
• Re: Simple examples of transfinite induction
  • From: Aatu Koskensilta
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: R. Srinivasan
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: R. Srinivasan
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: R. Srinivasan
• Re: G. Frege plase: A is subset of B
  • From: Virgil
• Re: G. Frege plase: A is subset of B
  • From: Alessandro Duarte
• Re: Halting problem totally unsolvable?
  • From: george
• Re: Halting problem totally unsolvable?
  • From: george
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: Chris Menzel
• Re: Canonical form with NOR or NAND?
  • From: translogi
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: Peter_Smith
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: Alan Smaill
• Re: Canonical form with NOR or NAND?
  • From: G . Frege
• Re: Canonical form with NOR or NAND?
  • From: G . Frege
• Canonical form with NOR or NAND?
  • From: Jack W.
• Re: OT: Special pleading
  • From: Frederick Williams
• Re: OT: Special pleading
  • From: David C . Ullrich
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: LauLuna
• OT: Special pleading
  • From: Frederick Williams
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: Peter_Smith
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: herbzet
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: R. Srinivasan
• Re: Undecidability in Physics
  • From: Stephen Harris
• Quantifier non-elimination in Presburger arithmetic
  • From: Anton
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: LauLuna
• Re: MetaLanguage in Mathematics
  • From: MoeBlee
• Re: MetaLanguage in Mathematics
  • From: MoeBlee
• Re: Undecidability in Physics
  • From: LauLuna
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: Peter_Smith
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: LauLuna
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: LauLuna
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: Chris Menzel
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: Chris Menzel
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: LauLuna
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: LauLuna
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: LauLuna
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: R. Srinivasan
• Re: Non-deterministic vs. deterministic TM
  • From: H. J. Sander Bruggink
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: Chris Menzel
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: Peter_Smith
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: Chris Menzel
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: LauLuna
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: R. Srinivasan
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: R. Srinivasan
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: LauLuna
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: Chris Menzel
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: LauLuna
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: LauLuna
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: LauLuna
• Re: G. Frege plase: A is subset of B
  • From: Arturo Magidin
• Re: G. Frege plase: A is subset of B
  • From: Arturo Magidin
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: LauLuna
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: George Dance
• Re: Non-deterministic vs. deterministic TM
  • From: un student
• Re: Non-deterministic vs. deterministic TM
  • From: H. J. Sander Bruggink
• Non-deterministic vs. deterministic TM
  • From: un student
• compare
  • From: andromeda
• near fusion
  • From: andromeda
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: herbzet
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: aatu . koskensilta
• Re: G. Frege plase: A is subset of B
  • From: Alessandro Duarte
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: Chris Menzel
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: Peter_Smith
• Re: MetaLanguage in Mathematics
  • From: Chris Menzel
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: LauLuna
• Re: G. Frege plase: A is subset of B
  • From: George Dance
• Re: Undecidability in Physics
  • From: Stephen Harris
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: George Dance
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: George Dance
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: Peter_Smith
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: LauLuna
• Re: MetaLanguage in Mathematics
  • From: Peter_Smith
• Re: Methatheory of Propositional Calculus: A Doubt
  • From: aatu . koskensilta
• Methatheory of Propositional Calculus: A Doubt
  • From: LauLuna
• Re: MetaLanguage in Mathematics
  • From: Chris Menzel
• Re: MetaLanguage in Mathematics
  • From: Chris Menzel
• Re: Undecidability in Physics
  • From: LauLuna
• Re: MetaLanguage in Mathematics
  • From: William Elliot
• Re: MetaLanguage in Mathematics
  • From: gaya . patel
• Re: MetaLanguage in Mathematics
  • From: William Elliot
• Re: Undecidability in Physics
  • From: Stephen Harris
• Re: Logical fallacies
  • From: herbzet
• law of the excluded middle deriving law of non contradiction and vice versa
  • From: jameshanley39@xxxxxxxxxxx
• Re: Logical fallacies
  • From: herbzet
• Re: Logical fallacies
  • From: herbzet
• Re: Undecidability in Physics
  • From: Stephen Harris
• Re: Is math an abstract of seeing
  • From: Jan Burse
• Re: Is math an abstract of seeing
  • From: Jan Burse
• Is math an abstract of seeing
  • From: Jan Burse
• Re: Undecidability in Physics
  • From: Stephen Harris
• Re: MetaLanguage in Mathematics
  • From: gaya . patel
• johnreed Catch 22 - January 10, 2007
  • From: johnlawrencereedjr
• Re: Undecidability in Physics
  • From: Stephen Harris
• Re: Undecidability in Physics
  • From: Nam Nguyen
• Re: Undecidability in Physics
  • From: John Jones
• Re: Undecidability in Physics
  • From: LauLuna
• Re: Undecidability in Physics
  • From: Stephen Harris
• Re: MetaLanguage in Mathematics
  • From: William Elliot
• Shoenfield 6e7c
  • From: mmweiss
• Re: Undecidability in Physics
  • From: Stephen Harris
• Re: "if and only if" in normal mathematics
  • From: Jan Burse
• Re: "if and only if" in normal mathematics
  • From: smn
• Defining the "Unexpected" in third order logic
  • From: John Jones
• Re: Undecidability in Physics
  • From: abo
• Re: Logical fallacies
  • From: George Dance
• Undecidability in Physics
  • From: LauLuna
• Re: Logical fallacies
  • From: George Dance
• Re: Logical fallacies
  • From: George Dance
• Re: Mathematics, Geometry and Pictography
  • From: Peter_Smith
• Re: MetaLanguage in Mathematics
  • From: gaya . patel
• Re: MetaLanguage in Mathematics
  • From: H. J. Sander Bruggink
• Mathematics, Geometry and Pictography
  • From: John Jones
• Re: MetaLanguage in Mathematics
  • From: Peter_Smith
• Re: Logical fallacies
  • From: Peter_Smith
• Re: Logical fallacies
  • From: herbzet
• Re: MetaLanguage in Mathematics
  • From: William Elliot
• Re: Mathematical vulgarities of sets
  • From: Bill Taylor
• MetaLanguage in Mathematics
  • From: gaya . patel
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: "if and only if" in normal mathematics
  • From: gaya . patel
• Re: "if and only if" in normal mathematics
  • From: smn
• Re: "if and only if" in normal mathematics
  • From: smn
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Philosophy Of Solving Problems
  • From: symphony
• "if and only if" in normal mathematics
  • From: gaya . patel
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: The Difference between a Set and an Element
  • From: Chris Menzel
• Re: The Difference between a Set and an Element
  • From: Paul Holbach
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: The Difference between a Set and an Element
  • From: Paul Holbach
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: diagonalization and Axiom of Choice
  • From: abo
• Re: The Difference between a Set and an Element
  • From: Paul Holbach
• Re: The Difference between a Set and an Element
  • From: Paul Holbach
• Re: The Difference between a Set and an Element
  • From: Paul Holbach
• Re: The Difference between a Set and an Element
  • From: Paul Holbach
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: Mathematical vulgarities of sets
  • From: Chris Menzel
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: "treq"
  • From: Selva
• Re: The Difference between a Set and an Element
  • From: Paul Holbach
• Re: Mathematical vulgarities of sets
  • From: John Jones
• Re: The Difference between a Set and an Element
  • From: Paul Holbach
• Re: diagonalization and Axiom of Choice
  • From: Arturo Magidin
• Re: The Difference between a Set and an Element
  • From: Peter_Smith
• Re: The Difference between a Set and an Element
  • From: Paul Holbach
• Re: The Difference between a Set and an Element
  • From: Paul Holbach
• Re: The Difference between a Set and an Element
  • From: Paul Holbach
• Re: The Difference between a Set and an Element
  • From: Paul Holbach
• Re: Mathematical vulgarities of sets
  • From: Peter_Smith
• Re: The Difference between a Set and an Element
  • From: Paul Holbach
• Re: Mathematical vulgarities of sets
  • From: John Jones
• Re: diagonalization and Axiom of Choice
  • From: Herman Jurjus
• Re: diagonalization and Axiom of Choice
  • From: Herman Jurjus
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: diagonalization and Axiom of Choice
  • From: lugita15
• Re: Mathematical vulgarities of sets
  • From: Peter_Smith
• Re: "treq"
  • From: Peter_Smith
• Re: Logical fallacies
  • From: Peter_Smith
• Re: Mathematical vulgarities of sets
  • From: Aatu Koskensilta
• Re: "treq"
  • From: Aatu Koskensilta
• Re: Mathematical vulgarities of sets
  • From: Aatu Koskensilta
• Re: "treq"
  • From: Fuckwit
• "treq"
  • From: Selva
• Re: Mathematical vulgarities of sets
  • From: Chris Menzel
• Re: Logical fallacies
  • From: herbzet
• Re: Mathematical vulgarities of sets
  • From: Aatu Koskensilta
• Re: Mathematical vulgarities of sets
  • From: Aatu Koskensilta
• Re: 1, 2, 3, 5, 7... PRIME Numbers
  • From: William Elliot
• Re: Mathematical vulgarities of sets
  • From: Stephen Harris
• Re: The Difference between a Set and an Element
  • From: Paul Holbach
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: The Difference between a Set and an Element
  • From: Chris Menzel
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: The Difference between a Set and an Element
  • From: Paul Holbach
• Re: diagonalization and Axiom of Choice
  • From: Arturo Magidin
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: The Difference between a Set and an Element
  • From: Paul Holbach
• Re: diagonalization and Axiom of Choice
  • From: Mark-T
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: Mathematical vulgarities of sets
  • From: John Jones
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: Embeddings and negation
  • From: Michael De
• Embeddings and negation
  • From: Michael De
• Re: Mathematical vulgarities of sets
  • From: Chris Menzel
• Re: Mathematical vulgarities of sets
  • From: Chris Menzel
• Re: The Difference between a Set and an Element
  • From: Chris Menzel
• Re: The Difference between a Set and an Element
  • From: Paul Holbach
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: Mathematical vulgarities of sets
  • From: John Jones
• Re: Mathematical vulgarities of sets
  • From: Peter_Smith
• Re: Logical fallacies
  • From: Peter_Smith
• Re: diagonalization and Axiom of Choice
  • From: Herman Jurjus
• Re: The Difference between a Set and an Element
  • From: Paul Holbach
• Re: Mathematical vulgarities of sets
  • From: James Dolan
• Re: Stuck on an Enderton problem
  • From: David C . Ullrich
• Re: Stuck on an Enderton problem
  • From: Chris Menzel
• Re: Logical fallacies
  • From: herbzet
• Re: Logical fallacies
  • From: herbzet
• Re: Stuck on an Enderton problem
  • From: Rupert
• Re: Stuck on an Enderton problem
  • From: William Elliot
• Re: Stuck on an Enderton problem
  • From: stonemcstone
• Re: Stuck on an Enderton problem
  • From: Rupert
• The Number '1'
  • From: newstips6706
• Stuck on an Enderton problem
  • From: stonemcstone
• Re: Mathematical vulgarities of sets
  • From: Chris Menzel
• Re: G. Frege plase: A is subset of B
  • From: Arturo Magidin
• Re: G. Frege plase: A is subset of B
  • From: gaya . patel
• Re: G. Frege plase: A is subset of B
  • From: Arturo Magidin
• G. Frege plase: A is subset of B
  • From: gaya . patel
• G. Frege please
  • From: gaya . patel
• Re: Mathematical vulgarities of sets
  • From: MoeBlee
• Re: Logical fallacies
  • From: George Dance
• Re: The Difference between a Set and an Element
  • From: Paul Holbach
• Re: Model Theory question.
  • From: David C . Ullrich
• Re: The Difference between a Set and an Element
  • From: Chris Menzel
• Re: The Difference between a Set and an Element
  • From: Paul Holbach
• Re: Logical fallacies
  • From: Peter_Smith
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: Logical fallacies
  • From: herbzet
• Re: Can ZFC prove Addition is Associative?
  • From: herbzet
• Re: The Difference between a Set and an Element
  • From: Nam D. Nguyen
• Re: Mathematical vulgarities of sets
  • From: Charlie-Boo
• Re: The Difference between a Set and an Element
  • From: Chris Menzel
• Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)
  • From: Charlie-Boo
• Re: Model Theory question.
  • From: fred . galvin
• Re: Model Theory question.
  • From: David C . Ullrich
• Re: diagonalization and Axiom of Choice
  • From: LauLuna
• Re: The Difference between a Set and an Element
  • From: Paul Holbach
• Re: Model Theory question.
  • From: Jan Burse
• Re: Model Theory question.
  • From: Robert Sheskey
• Re: Logical fallacies
  • From: George Dance
• Re: diagonalization and Axiom of Choice
  • From: Frederick Williams
• Re: diagonalization and Axiom of Choice
  • From: David C . Ullrich
• Re: Logical fallacies
  • From: Fuckwit
• Logical fallacies
  • From: translogi
• Re: diagonalization and Axiom of Choice
  • From: Aatu Koskensilta
• diagonalization and Axiom of Choice
  • From: Mark-T
• Re: Can ZFC prove Addition is Associative?
  • From: R. Srinivasan
• Re: Ttranscendental Goldbach Conjecture
  • From: Nam Nguyen
• Ttranscendental Goldbach Conjecture
  • From: Nam Nguyen
• Mathematical vulgarities of sets
  • From: John Jones
• Re: silver
  • From: Jack Campin - bogus address
• Re: Silly question-Please answer quickly
  • From: fred . galvin
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: The Certainties of Counting
  • From: Aluminium Holocene Holodeck Zirconium
• Re: Explanation of Chaos
  • From: Aluminium Holocene Holodeck Zirconium
• Re: Explanation of Chaos
  • From: Aluminium Holocene Holodeck Zirconium
• Re: Model Theory question.
  • From: fred . galvin
• Re: Explanation of Chaos
  • From: John Jones
• Silly question-Please answer quickly
  • From: babu
• Re: Explanation of Chaos
  • From: J P
• The Certainties of Counting
  • From: John Jones
• Re: Explanation of Chaos
  • From: John Jones
• Re: Explanation of Chaos
  • From: John Jones
• silver
  • From: andromeda
• silver
  • From: the51intruder
• Re: Model Theory question.
  • From: fred . galvin
• Re: Deep Thoughts # 27: Some Fundamental Answers
  • From: Charlie-Boo
• Re: Deep Thoughts # 27: Some Fundamental Answers
  • From: Charlie-Boo
• Re: A potential new axiom to ZF, or even ZFC?
  • From: Nam Nguyen
• Model Theory question.
  • From: David C . Ullrich
• Re: A potential new axiom to ZF, or even ZFC?
  • From: Peter_Smith
• Re: A potential new axiom to ZF, or even ZFC?
  • From: Nam D. Nguyen
• Re: The Difference between a Set and an Element
  • From: Nam D. Nguyen
• Re: A potential new axiom to ZF, or even ZFC?
  • From: Nam D. Nguyen
• Re: A potential new axiom to ZF, or even ZFC?
  • From: Peter_Smith
• No need for a new axiom
  • From: Peter_Smith
• Re: A potential new axiom to ZF, or even ZFC?
  • From: Nam D. Nguyen
• Re: A potential new axiom to ZF, or even ZFC?
  • From: Peter_Smith
• Re: The Difference between a Set and an Element
  • From: Peter_Smith
• Re: The Difference between a Set and an Element
  • From: Peter_Smith
• Re: The Difference between a Set and an Element
  • From: Chris Menzel
• Re: A is subst of B
  • From: George Dance
• Re: A potential new axiom to ZF, or even ZFC?
  • From: Nam D. Nguyen
• Re: A potential new axiom to ZF, or even ZFC?
  • From: Nam D. Nguyen
• A potential new axiom to ZF, or even ZFC?
  • From: Nam D. Nguyen
• Re: Explanation of Chaos
  • From: Nam D. Nguyen
• Re: Explanation of Chaos
  • From: Nam D. Nguyen
• Re: The Difference between a Set and an Element
  • From: Nam D. Nguyen
• Re: Explanation of Chaos
  • From: J P
• Re: Explanation of Chaos
  • From: John Jones
• Re: The Difference between a Set and an Element
  • From: JohnCreighton_
• Re: The Difference between a Set and an Element
  • From: Nam D. Nguyen
• Re: The Difference between a Set and an Element
  • From: Nam D. Nguyen
• Re: Proofs
  • From: polas
• Re: The Difference between a Set and an Element
  • From: MoeBlee
• Re: Proofs
  • From: Jan Burse
• Re: Proofs
  • From: Jan Burse
• Re: Proofs
  • From: polas
• Re: Explanation of Chaos
  • From: J P
• Re: Proofs
  • From: William Elliot
• Re: Explanation of Chaos
  • From: William Elliot
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)
  • From: george
• Re: Differences between sets and elements
  • From: george
• Re: The Difference between a Set and an Element
  • From: Albrecht
• Re: Deep Thoughts # 27: Some Fundamental Answers
  • From: R. Srinivasan
• Re: The Difference between a Set and an Element
  • From: Chris Menzel
• Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)
  • From: Bill Hale
• Re: The Difference between a Set and an Element
  • From: Peter_Smith
• Re: The Difference between a Set and an Element
  • From: Peter_Smith
• Re: The Difference between a Set and an Element
  • From: MoeBlee
• Re: Deep Thoughts # 27: Some Fundamental Answers
  • From: Charlie-Boo
• Re: The Difference between a Set and an Element
  • From: Chris Menzel
• Re: Proofs
  • From: polas
• Re: Deep Thoughts # 27: Some Fundamental Answers
  • From: R. Srinivasan
• Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)
  • From: Charlie-Boo
• Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)
  • From: Charlie-Boo
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Explanation of Chaos
  • From: John Jones
• Re: Proofs
  • From: polas
• Re: Deep Thoughts # 27: Some Fundamental Answers
  • From: R. Srinivasan
• Re: Proofs
  • From: William Elliot
• Re: Proofs
  • From: polas
• Re: Proofs
  • From: William Elliot
• Re: Proofs
  • From: polas
• Re: Proofs
  • From: William Elliot
• Re: Proofs
  • From: polas
• Re: New Axiom is own Counter Example.
  • From: R. Srinivasan
• Re: Differences between sets and elements
  • From: JohnCreighton_
• Re: The Difference between a Set and an Element
  • From: Chris Menzel
• Differences between sets and elements
  • From: William Elliot
• Re: Proofs
  • From: William Elliot
• Re: The Difference between a Set and an Element
  • From: JohnCreighton_
• Re: The Difference between a Set and an Element
  • From: Daryl McCullough
• Re: The Difference between a Set and an Element
  • From: Chris Menzel
• Re: The Difference between a Set and an Element
  • From: Frederick Williams
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: The Difference between a Set and an Element
  • From: Nam D. Nguyen
• Proofs
  • From: n . e . brown
• Re: The Difference between a Set and an Element
  • From: Chris Menzel
• Re: The Difference between a Set and an Element
  • From: Nam Nguyen
• Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)
  • From: george
• Re: The Difference between a Set and an Element
  • From: Chris Menzel
• Re: The Difference between a Set and an Element
  • From: Nam Nguyen
• Re: The Difference between a Set and an Element
  • From: Paul Holbach
• Re: The Difference between a Set and an Element
  • From: Frederick Williams
• Re: The Difference between a Set and an Element
  • From: Owen
• Re: The Difference between a Set and an Element
  • From: george
• Re: The Difference between a Set and an Element
  • From: george
• Re: The Difference between a Set and an Element
  • From: george
• Re: The Difference between a Set and an Element
  • From: george
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: The Difference between a Set and an Element
  • From: Chris Menzel
• Re: The Difference between a Set and an Element
  • From: Frederick Williams
• Re: The Difference between a Set and an Element
  • From: JohnCreighton_
• Re: The Difference between a Set and an Element
  • From: JohnCreighton_
• Re: A is subst of B
  • From: herbzet
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: The Difference between a Set and an Element
  • From: Peter_Smith
• #moderncalcs a new IRC Channel
  • From: RadSurfer
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: The Difference between a Set and an Element
  • From: george
• Re: The Difference between a Set and an Element
  • From: george
• Re: The Difference between a Set and an Element
  • From: george
• Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)
  • From: george
• Re: A is subst of B
  • From: G . Frege
• Re: The Difference between a Set and an Element
  • From: Frederick Williams
• Re: The Difference between a Set and an Element
  • From: JohnCreighton_
• Re: The Difference between a Set and an Element
  • From: JohnCreighton_
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: The Difference between a Set and an Element
  • From: Chris Menzel
• Re: A is subst of B
  • From: Peter_Smith
• Re: The Difference between a Set and an Element
  • From: Peter_Smith
• Re: The Difference between a Set and an Element
  • From: Peter_Smith
• Re: The Difference between a Set and an Element
  • From: JohnCreighton_
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: The Difference between a Set and an Element
  • From: G . Frege
• Re: A is subst of B
  • From: Chris Menzel
• Re: The Difference between a Set and an Element
  • From: Chris Menzel
• Re: A is subst of B
  • From: Frederick Williams
• Re: A is subst of B
  • From: G . Frege
• Re: The Difference between a Set and an Element
  • From: Newberry
• Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)
  • From: Nam Nguyen
• Re: - pronunciation
  • From: Peter_Smith
• Re: A is subst of B
  • From: gaya . patel
• Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)
  • From: Bill Hale
• [OT] - pronunciation
  • From: Person
• Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)
  • From: Nam Nguyen
• Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)
  • From: Bill Hale
• Re: A is subst of B
  • From: Frederick Williams
• Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)
  • From: Nam Nguyen
• Re: Skolem Prenex form
  • From: translogi
• Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)
  • From: Charlie-Boo
• Re: Skolem Prenex form
  • From: William Elliot
• Re: Skolem Prenex form
  • From: William Elliot
• Chapter Three of Logic Algebra was released today
  • From: Conbra
• Re: A is subst of B
  • From: Nam D. Nguyen
• Re: A is subst of B
  • From: Conbra
• Re: A is subst of B
  • From: Nam D. Nguyen
• Re: A is subst of B
  • From: Nam Nguyen
• A question of time.
  • From: GOP 'n' 2008
• Re: Skolem Prenex form
  • From: herbzet
• Re: A is subst of B
  • From: MoeBlee
• Re: A is subst of B
  • From: gaya . patel
• Re: A is subst of B
  • From: bluelabel
• Re: A is subst of B
  • From: Arturo Magidin
• Re: Skolem Prenex form
  • From: William Elliot
• Re: A is subst of B
  • From: MoeBlee
• Re: A is subst of B
  • From: MoeBlee
• Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)
  • From: Nam Nguyen
• Re: The Difference between a Set and an Element
  • From: JohnCreighton_
• Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)
  • From: Charlie-Boo
• Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)
  • From: Charlie-Boo
• Re: A is subst of B
  • From: Nam Nguyen
• Re: A is subst of B
  • From: Arturo Magidin
• Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)
  • From: Charlie-Boo
• Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)
  • From: Charlie-Boo
• Re: A is subst of B
  • From: MoeBlee
• Re: A is subst of B
  • From: Nam Nguyen
• Re: A is subst of B
  • From: MoeBlee
• Re: The Difference between a Set and an Element
  • From: Frederick Williams
• Re: A is subst of B
  • From: Frederick Williams
• Re: A is subst of B
  • From: Fuckwit
• A is subst of B
  • From: gaya . patel
• Re: Skolem Prenex form
  • From: Alan Smaill
• Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)
  • From: H. J. Sander Bruggink
• Re: The Difference between a Set and an Element
  • From: JohnCreighton_
• Re: The Difference between a Set and an Element
  • From: JohnCreighton_
• Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)
  • From: Jan Burse
• Re: The Difference between a Set and an Element
  • From: george
• Re: The Difference between a Set and an Element
  • From: george
• Re: Eureka! Russell's set exists!!
  • From: george
• Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)
  • From: george
• Re: Gentzen's consistency proof
  • From: Peter_Smith
• Re: And, logically, best for 2007 ...
  • From: translogi
• Re: Skolem Prenex form
  • From: William Elliot
• Re: How long are the arms of Formalisms?
  • From: Nam Nguyen
• Re: Gentzen's consistency proof
  • From: abo
• Re: Skolem Prenex form
  • From: herbzet
• Re: The Difference between a Set and an Element
  • From: JohnCreighton_
• Re: The Difference between a Set and an Element
  • From: JohnCreighton_
• Re: Gentzen's consistency proof
  • From: Aatu Koskensilta
• Re: Eureka! Russell's set exists!!
  • From: Newberry
• Re: Skolem Prenex form
  • From: herbzet
• Re: How long are the arms of Formalisms?
  • From: aatu . koskensilta
• Re: Gentzen's consistency proof
  • From: Rupert
• Gentzen's consistency proof
  • From: Peter_Smith
• Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)
  • From: sanderbruggink
• Re: How long are the arms of Formalisms?
  • From: John Jones
• Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)
  • From: george
• Re: Eureka! Russell's set exists!!
  • From: george
• Re: Eureka! Russell's set exists!!
  • From: george
• Re: Skolem Prenex form
  • From: aatu . koskensilta
• Re: How long are the arms of Formalisms?
  • From: aatu . koskensilta
• Re: Skolem Prenex form
  • From: Alan Smaill
• Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)
  • From: Jan Burse
• Re: Skolem Prenex form
  • From: aatu . koskensilta
• Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)
  • From: george
• Re: Skolem Prenex form
  • From: aatu . koskensilta
• Re: The Difference between a Set and an Element
  • From: george
• Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)
  • From: george
• Re: How long are the arms of Formalisms?
  • From: aatu . koskensilta
• Skolem Prenex form
  • From: translogi
• Re: How long are the arms of Formalisms?
  • From: Nam Nguyen
• Re: How long are the arms of Formalisms?
  • From: John Jones
• Re: Eureka! Russell's set exists!!
  • From: Chris Menzel
• Re: And, logically, best for 2007 ...
  • From: herbzet
• Re: Eureka! Russell's set exists!!
  • From: Newberry
• Re: And, logically, best for 2007 ...
  • From: John
• Re: How long are the arms of Formalisms?
  • From: Nam D. Nguyen
• Re: The Difference between a Set and an Element
  • From: MoeBlee
• Re: The Difference between a Set and an Element
  • From: ernobe
• The practical logic for young civilizations
  • From: Boris
• Re: How long are the arms of Formalisms?
  • From: Nam Nguyen
• Re: How long are the arms of Formalisms?
  • From: John Jones
• Re: How long are the arms of Formalisms?
  • From: John Jones
• Re: How long are the arms of Formalisms?
  • From: aatu . koskensilta
• Re: How long are the arms of Formalisms?
  • From: Peter_Smith
• How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)
  • From: Charlie-Boo
• Re: How long are the arms of Formalisms?
  • From: John Jones
• Re: The Difference between a Set and an Element
  • From: Peter_Smith
• Re: The Difference between a Set and an Element
  • From: William Elliot
• Re: The Difference between a Set and an Element
  • From: Peter_Smith
• The Difference between a Set and an Element
  • From: JohnCreighton_
• The Difference between a Set and an Element
  • From: JohnCreighton_
• Re: When to Use Implication?
  • From: JohnCreighton_
• Re: When to Use Implication?
  • From: JohnCreighton_
• Re: When to Use Implication?
  • From: JohnCreighton_
• Re: How long are the arms of Formalisms?
  • From: David
• Re: And, logically, best for 2007 ...
  • From: aatu . koskensilta
• Re: How long are the arms of Formalisms?
  • From: John Jones
• Re: When to Use Implication?
  • From: Bill Hale
• Re: How long are the arms of Formalisms?
  • From: David
• weeeeeeeeeeeeeee
  • From: John Jones
• Re: When to Use Implication?
  • From: G . Frege
• And, logically, best for 2007 ...
  • From: Peter_Smith
• aaaaaaaaaaaaaa
  • From: bramha
• When to Use Implication?
  • From: JohnCreighton_
• [FAQ, 06/11/05] Mathematical logic on the web
  • From: Boris 'pi' Piwinger
• Re: How long are the arms of Formalisms?
  • From: John Jones

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