sci.logic

• Thread Index

---

• Re: Goldbach Conjecture & the Foundation of First Order Logic.
  • From: Peter_Smith
• 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: Daryl McCullough
• Re: Foundations of Mathematics
  • From: Peter Smith
• Re: Computability and logic
  • From: george
• Re: Computability and logic
  • From: george
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: Goldbach Conjecture & the Foundation of First Order Logic.
  • From: el picsid
• Re: Foundations of Mathematics
  • 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: Computability and logic
  • From: Tom
• Re: Goldbach Conjecture & the Foundation of First Order Logic.
  • From: Nam Nguyen
• Re: Foundations of Mathematics
  • From: abo
• Re: Foundations of Mathematics
  • From: Peter_Smith
• Re: Question on Counterfactual Conditionals
  • From: Herman Jurjus
• Re: Question on Counterfactual Conditionals
  • From: Herman Jurjus
• Re: Foundations of Mathematics
  • From: Peter_Smith
• Re: Foundations of Mathematics
  • From: Charlie-Boo
• Re: Foundations of Mathematics
  • From: Charlie-Boo
• Re: Question on Counterfactual Conditionals
  • From: Dan Christensen
• Re: Foundations of Mathematics
  • From: Charlie-Boo
• Re: Foundations of Mathematics
  • From: Charlie-Boo
• Re: Question on Counterfactual Conditionals
  • From: Stephen Harris
• Re: Foundations of Mathematics
  • From: John Jones
• Re: Foundations of Mathematics
  • From: John Jones
• Re: The Tractatus and Logic today
  • From: Aatu Koskensilta
• Re: My investigations into Godels Incompleteness Theorem
  • From: Aatu Koskensilta
• Re: Foundations of Mathematics
  • From: John Jones
• Re: Foundations of Mathematics
  • From: Jan Burse
• Re: Foundations of Mathematics
  • From: Jan Burse
• Bloody Crime Scene Photos Of DEAD Celebrities
  • From: arexar@xxxxxxxxxx
• Re: Foundations of Mathematics
  • From: jon
• Re: Foundations of Mathematics
  • From: John Jones
• Re: Computability and logic
  • From: MoeBlee
• Re: Computability and logic
  • From: Tom
• Re: Modus Ponens Is Unprovable?
  • From: Jan Burse
• Re: Foundations of Mathematics
  • From: Jan Burse
• Re: My investigations into Godels Incompleteness Theorem
  • From: R. Srinivasan
• Re: My investigations into Godels Incompleteness Theorem
  • From: R. Srinivasan
• Re: My investigations into Godels Incompleteness Theorem
  • From: R. Srinivasan
• Re: Foundations of Mathematics
  • From: Chris Menzel
• Re: Computability and logic
  • From: MoeBlee
• Re: Question on Counterfactual Conditionals
  • From: Dan Christensen
• Re: Foundations of Mathematics
  • From: John Jones
• Re: A New Resolution to Impredicativity
  • From: MoeBlee
• Re: Goldbach Conjecture & the Foundation of First Order Logic.
  • From: MoeBlee
• Re: Goldbach Conjecture & the Foundation of First Order Logic.
  • From: Peter_Smith
• Re: Goldbach Conjecture & the Foundation of First Order Logic.
  • From: MoeBlee
• Re: The Tractatus and Logic today
  • From: George Dance
• Re: Modus Ponens Is Unprovable?
  • From: translogi@xxxxxxxxxxxxxx
• Re: Foundations of Mathematics
  • From: Peter_Smith
• Re: Foundations of Mathematics
  • From: Peter_Smith
• Re: Mathematical strings
  • From: David C . Ullrich
• Re: Computability and logic
  • From: Tom
• Re: Question on Counterfactual Conditionals
  • From: Herman Jurjus
• Foundations of Mathematics
  • From: John Jones
• Re: Mathematical strings
  • From: John Jones
• 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: A New Resolution to Impredicativity
  • From: abo
• Re: My investigations into Godels Incompleteness Theorem
  • From: Charlie-Boo
• Re: A New Resolution to Impredicativity
  • From: lugita15
• Re: Three Turing machines
  • From: Peter_Smith
• Re: A New Resolution to Impredicativity
  • From: MoeBlee
• Re: Three Turing machines
  • From: Patricia Shanahan
• Re: Mathematical strings
  • From: MoeBlee
• Re: Mathematical strings
  • From: John Jones
• Re: Computability and logic
  • From: MoeBlee
• Re: Mathematical strings
  • From: MoeBlee
• Re: A New Resolution to Impredicativity
  • From: abo
• Re: Question on Counterfactual Conditionals
  • From: Dan Christensen
• Re: A New Resolution to Impredicativity
  • From: Peter_Smith
• Re: A New Resolution to Impredicativity
  • From: abo
• Re: Mathematical strings
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: Mathematical strings
  • From: Jack Campin - bogus address
• Re: A New Resolution to Impredicativity
  • From: Peter_Smith
• Re: Question on Counterfactual Conditionals
  • From: Herman Jurjus
• Re: A New Resolution to Impredicativity
  • From: lugita15
• Re: My investigations into Godels Incompleteness Theorem
  • From: Stephen Harris
• Re: A New Resolution to Impredicativity
  • From: Peter_Smith
• Re: Computability and logic
  • From: Tom
• A New Resolution to Impredicativity
  • From: lugita15
• Re: Mathematical strings
  • From: John Jones
• Re: Mathematical strings
  • From: MoeBlee
• Re: Mathematical strings
  • From: John Jones
• Re: Mathematical strings
  • From: John Jones
• Re: Computability and logic
  • From: MoeBlee
• Re: My investigations into Godels Incompleteness Theorem
  • From: Daryl McCullough
• Re: Mathematical strings
  • From: David C . Ullrich
• Re: Three Turing machines
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: David C . Ullrich
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: Question about Frege's Theorem
  • From: lugita15
• Proof, String and Swastika
  • From: John Jones
• Re: Three Turing machines
  • From: Patricia Shanahan
• Re: Goldbach Conjecture & the Foundation of First Order Logic.
  • From: Peter_Smith
• Three Turing machines
  • From: Peter_Smith
• Re: Goldbach Conjecture & the Foundation of First Order Logic.
  • From: Peter_Smith
• Re: Question about Frege's Theorem
  • From: Peter_Smith
• Re: Question about Frege's Theorem
  • From: Aatu Koskensilta
• Re: Question about Frege's Theorem
  • From: Chris Menzel
• Re: Question about Frege's Theorem
  • From: Chris Menzel
• Re: Goldbach Conjecture & the Foundation of First Order Logic.
  • From: Aatu Koskensilta
• Re: Goldbach Conjecture & the Foundation of First Order Logic.
  • From: Barb Knox
• Goldbach Conjecture & the Foundation of First Order Logic.
  • From: Nam Nguyen
• Re: Question about Frege's Theorem
  • From: Aatu Koskensilta
• Re: Question about Frege's Theorem
  • From: lugita15
• Re: Question about Frege's Theorem
  • From: Aatu Koskensilta
• Re: Question about Frege's Theorem
  • From: Aatu Koskensilta
• Re: Question about Frege's Theorem
  • From: lugita15
• Re: Question about Frege's Theorem
  • From: Aatu Koskensilta
• Re: My investigations into Godels Incompleteness Theorem
  • From: Stephen Harris
• Re: My investigations into Godels Incompleteness Theorem
  • From: Daryl McCullough
• Re: Question about Frege's Theorem
  • From: Chris Menzel
• Re: My investigations into Godels Incompleteness Theorem
  • From: Stephen Harris
• Re: Mathematical strings
  • From: Aatu Koskensilta
• Re: My investigations into Godels Incompleteness Theorem
  • From: MoeBlee
• Re: Mathematical strings
  • From: MoeBlee
• Mathematical strings
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: Question on Counterfactual Conditionals
  • From: Dan Christensen
• Re: Question about Frege's Theorem
  • From: Aatu Koskensilta
• Re: Question about Frege's Theorem
  • From: lugita15
• Re: Computability and logic
  • From: Tom
• Re: Computability and logic
  • From: Tom
• Re: Computability and logic
  • From: Tom
• Re: My investigations into Godels Incompleteness Theorem
  • From: Aatu Koskensilta
• 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: Daryl McCullough
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: Question on Counterfactual Conditionals
  • From: Jan Burse
• 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: MoeBlee
• Re: Question on Counterfactual Conditionals
  • From: Herman Jurjus
• Re: Question about Frege's Theorem
  • From: Chris Menzel
• Re: Computability and logic
  • From: MoeBlee
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: Computability and logic
  • From: Jack Campin - bogus address
• Re: Computability and logic
  • From: Peter_Smith
• 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: John Jones
• Re: Computability and logic
  • From: Tom
• Re: My investigations into Godels Incompleteness Theorem
  • From: Alan Smaill
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: R. Srinivasan
• Re: My investigations into Godels Incompleteness Theorem
  • From: Charlie-Boo
• Re: My investigations into Godels Incompleteness Theorem
  • From: Charlie-Boo
• Re: My investigations into Godels Incompleteness Theorem
  • From: Charlie-Boo
• Re: My investigations into Godels Incompleteness Theorem
  • From: abo
• Re: My investigations into Godels Incompleteness Theorem
  • From: Charlie-Boo
• Re: My investigations into Godels Incompleteness Theorem
  • From: Charlie-Boo
• Re: My investigations into Godels Incompleteness Theorem
  • From: Stephen Harris
• Nameless, Rambus2005@yahoo.com put angle (phi) 89 in the your equation (1.5), then I will clear other doubts.
  • From: physicsajay
• Re: My investigations into Godels Incompleteness Theorem
  • From: Stephen Harris
• Re: Computability and logic
  • From: Peter_Smith
• Re: Question about Frege's Theorem
  • From: Peter_Smith
• Re: The Tractatus and Logic today
  • From: Gc
• Re: Question about Frege's Theorem
  • From: Peter_Smith
• Re: Question about Frege's Theorem
  • From: Peter_Smith
• Re: Computability and logic
  • From: Tom
• Re: Question about Frege's Theorem
  • From: lugita15
• Re: My investigations into Godels Incompleteness Theorem
  • From: Alan Smaill
• Re: Question about Frege's Theorem
  • From: george
• Re: Question about Frege's Theorem
  • From: Peter_Smith
• Re: Question about Frege's Theorem
  • From: Peter_Smith
• Re: Question about Frege's Theorem
  • From: lugita15
• Re: Question about Frege's Theorem
  • From: george
• Re: Question about Frege's Theorem
  • From: Peter_Smith
• Re: Question about Frege's Theorem
  • From: lugita15
• Re: Question about Frege's Theorem
  • From: Peter_Smith
• Re: The Tractatus and Logic today
  • From: Aatu Koskensilta
• Re: Question about Frege's Theorem
  • From: lugita15
• Re: Task
  • From: Peter_Smith
• Re: Question about Frege's Theorem
  • From: Peter_Smith
• Re: Task
  • From: Atreides
• Question about Frege's Theorem
  • From: lugita15
• Re: The Tractatus and Logic today
  • From: George Dance
• Re: Task
  • From: Peter_Smith
• Task
  • From: Atreides
• Re: Sorry, still missing something
  • From: Tim Peters
• Re: Thankyou Tim and Arturo
  • From: Tim Peters
• Re: Computability and logic
  • From: Peter_Smith
• Re: Question on Counterfactual Conditionals
  • From: Jan Burse
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: Thankyou Tim and Arturo
  • From: Arturo Magidin
• Re: Question on Counterfactual Conditionals
  • From: Dan Christensen
• Final Theory Of Everything V4.0
  • From: virtualadepts
• Computability and logic
  • From: Tom
• Re: My investigations into Godels Incompleteness Theorem
  • From: Charlie-Boo
• Re: My investigations into Godels Incompleteness Theorem
  • From: Charlie-Boo
• Re: (Yet another) question on the incompleteness theorem
  • From: contradictions . for . all
• Re: Question on Counterfactual Conditionals
  • From: Jan Burse
• Re: Question on Counterfactual Conditionals
  • From: Jan Burse
• Re: Question on Counterfactual Conditionals
  • From: Peter_Smith
• Re: Question on Counterfactual Conditionals
  • From: Peter_Smith
• Final theory of everything V2.0
  • From: CoreyWhite
• Re: Question on Counterfactual Conditionals
  • From: Jan Burse
• Re: Sorry, still missing something
  • From: Peter Webb
• 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: R. Srinivasan
• Thankyou Tim and Arturo
  • From: Peter Webb
• Re: Question on Counterfactual Conditionals
  • From: Dan Christensen
• Re: Question on Counterfactual Conditionals
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: Daryl McCullough
• Re: Question on Counterfactual Conditionals
  • From: Jan Burse
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: MoeBlee
• Re: Question on Counterfactual Conditionals
  • From: Jan Burse
• 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: Charlie-Boo
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: Charlie-Boo
• Re: My investigations into Godels Incompleteness Theorem
  • From: Charlie-Boo
• Re: My investigations into Godels Incompleteness Theorem
  • From: Chris Menzel
• Re: Question on Counterfactual Conditionals
  • From: semiopen
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: Charlie-Boo
• Re: My investigations into Godels Incompleteness Theorem
  • From: David C . Ullrich
• Question on Counterfactual Conditionals
  • From: Dan Christensen
• Re: My investigations into Godels Incompleteness Theorem
  • From: Daryl McCullough
• 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: Peter_Smith
• Re: Set Equation Solving
  • From: William Elliot
• Re: A Thought Experiment
  • From: herbzet
• Re: Sorry, still missing something
  • From: Tim Peters
• Re: A Thought Experiment
  • From: Newberry
• Re: A Thought Experiment
  • From: herbzet
• Re: My investigations into Godels Incompleteness Theorem
  • From: herbzet
• Re: My investigations into Godels Incompleteness Theorem
  • From: herbzet
• Re: My investigations into Godels Incompleteness Theorem
  • From: herbzet
• Re: Sorry, still missing something
  • From: Tim Peters
• Set Equation Solving
  • From: Conbra
• Sorry, still missing something
  • From: Peter Webb
• Re: My investigations into Godels Incompleteness Theorem
  • From: Chris Menzel
• Re: Modus Ponens Is Unprovable?
  • From: translogi@xxxxxxxxxxxxxx
• Re: My investigations into Godels Incompleteness Theorem
  • From: Fuckwit
• SW that will draw a switching circuit?
  • From: Newberry
• Re: My investigations into Godels Incompleteness Theorem
  • From: Aatu Koskensilta
• Two questions ...
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: abo
• Re: My investigations into Godels Incompleteness Theorem
  • From: Aatu Koskensilta
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: Zorn's lemma - I'm missing something
  • From: Peter Webb
• Re: Zorn's lemma - I'm missing something
  • From: Arturo Magidin
• Re: Zorn's lemma - I'm missing something
  • From: Peter Webb
• Re: My investigations into Godels Incompleteness Theorem
  • From: R. Srinivasan
• Re: Zorn's lemma - I'm missing something
  • From: Arturo Magidin
• Zorn's lemma - I'm missing something
  • From: Peter Webb
• Make money easy no problem
  • From: notunderstood18
• Re: My investigations into Godels Incompleteness Theorem
  • From: Daryl McCullough
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: R. Srinivasan
• Re: My investigations into Godels Incompleteness Theorem
  • From: Charlie-Boo
• Re: A Thought Experiment
  • From: Newberry
• Re: A question on prime numbers.
  • From: Nam Nguyen
• Re: My investigations into Godels Incompleteness Theorem
  • From: herbzet
• Re: differences between N and omega
  • From: Peter Webb
• Re: My investigations into Godels Incompleteness Theorem
  • From: Charlie-Boo
• Re: (Yet another) question on the 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: My investigations into Godels Incompleteness Theorem
  • From: Barb Knox
• Re: My investigations into Godels Incompleteness Theorem
  • From: MoeBlee
• Re: My investigations into Godels Incompleteness Theorem
  • From: Fuckwit
• Re: My investigations into Godels Incompleteness Theorem
  • From: Daryl McCullough
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: (Yet another) question on the incompleteness theorem
  • From: george
• Re: My investigations into Godels Incompleteness Theorem
  • From: abo
• Re: (Yet another) question on the incompleteness theorem
  • From: george
• Re: My investigations into Godels Incompleteness Theorem
  • From: george
• Re: Interesting subtheories of PA that can prove their own consistency
  • From: abo
• Re: A question on prime numbers.
  • From: Tim Peters
• Re: A question on prime numbers.
  • From: Tim Peters
• Re: My investigations into Godels Incompleteness Theorem
  • From: Chris Menzel
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: A question on prime numbers.
  • From: Arturo Magidin
• A question on prime numbers.
  • From: Nam Nguyen
• Re: (Yet another) question on the incompleteness theorem
  • From: Aatu Koskensilta
• Re: differences between N and omega
  • From: Arturo Magidin
• differences between N and omega
  • From: bargiax
• Re: My investigations into Godels Incompleteness Theorem
  • From: Charlie-Boo
• Re: My investigations into Godels Incompleteness Theorem
  • From: R. Srinivasan
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: Charlie-Boo
• Re: My investigations into Godels Incompleteness Theorem
  • From: Daryl McCullough
• Re: My investigations into Godels Incompleteness Theorem
  • From: R. Srinivasan
• Re: My investigations into Godels Incompleteness Theorem
  • From: R. Srinivasan
• 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: R. Srinivasan
• 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: R. Srinivasan
• Re: My investigations into Godels Incompleteness Theorem
  • From: R. Srinivasan
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: Interesting subtheories of PA that can prove their own consistency
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: Rank (exercise in Kunen)
  • From: Norman Megill
• Re: My investigations into Godels Incompleteness Theorem
  • From: Daryl McCullough
• Re: recursive formula.....
  • From: Mark Nicholls
• Re: recursive formula.....
  • From: Mark Nicholls
• Re: My investigations into Godels Incompleteness Theorem
  • From: R. Srinivasan
• Re: My investigations into Godels Incompleteness Theorem
  • From: R. Srinivasan
• Re: My investigations into Godels Incompleteness Theorem
  • From: David C . Ullrich
• Re: recursive formula.....
  • From: Achim Blumensath
• Re: recursive formula.....
  • From: William Elliot
• Re: My investigations into Godels Incompleteness Theorem
  • From: Daryl McCullough
• Re: My investigations into Godels Incompleteness Theorem
  • From: Daryl McCullough
• Re: My investigations into Godels Incompleteness Theorem
  • From: R. Srinivasan
• Re: recursive formula.....
  • From: Mark Nicholls
• Re: (Yet another) question on the incompleteness theorem
  • From: contradictions . for . all
• Interesting subtheories of PA that can prove their own consistency
  • From: el picsid
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: herbzet
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: herbzet
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: abo
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: herbzet
• Re: Diagonal Intersection what is it?
  • From: Bill Taylor
• Re: My investigations into Godels Incompleteness Theorem
  • From: abo
• Re: A Thought Experiment
  • From: herbzet
• Re: A Thought Experiment
  • From: herbzet
• Re: My investigations into Godels Incompleteness Theorem
  • From: david petry
• Re: Modus Ponens and Trivial Truth
  • From: herbzet
• Re: My investigations into Godels Incompleteness Theorem
  • From: herbzet
• Re: recursive formula.....
  • From: William Elliot
• Re: My investigations into Godels Incompleteness Theorem
  • From: Daryl McCullough
• Re: My investigations into Godels Incompleteness Theorem
  • From: george
• Re: My investigations into Godels Incompleteness Theorem
  • From: george
• Re: (Yet another) question on the incompleteness theorem
  • From: george
• Re: (Yet another) question on the incompleteness theorem
  • From: John Jones
• 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: Chris Menzel
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: Modus Ponens and Trivial Truth
  • From: Rhys B. Cartwright-Jones
• Re: (Yet another) question on the incompleteness theorem
  • From: John Jones
• 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: Charlie-Boo
• Re: My investigations into Godels Incompleteness Theorem
  • From: Charlie-Boo
• Representable relation
  • From: bargiax
• 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: Chris Menzel
• Re: (Yet another) question on the incompleteness theorem
  • From: Charlie-Boo
• Re: My investigations into Godels Incompleteness Theorem
  • From: Charlie-Boo
• Re: recursive formula.....
  • From: Mark Nicholls
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: Charlie-Boo
• Re: theorem's proof:
  • From: William Elliot
• Re: recursive formula.....
  • From: William Elliot
• Re: Rank (exercise in Kunen)
  • From: David C . Ullrich
• Re: recursive formula.....
  • From: Mark Nicholls
• Re: My investigations into Godels Incompleteness Theorem
  • From: Alan Smaill
• Re: (Yet another) question on the incompleteness theorem
  • From: John Jones
• Re: recursive formula.....
  • From: William Elliot
• Re: My investigations into Godels Incompleteness Theorem
  • From: R. Srinivasan
• 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: Charlie-Boo
• Re: My investigations into Godels Incompleteness Theorem
  • From: Charlie-Boo
• Re: My investigations into Godels Incompleteness Theorem
  • From: Charlie-Boo
• Re: A Thought Experiment
  • From: Newberry
• Re: My investigations into Godels Incompleteness Theorem
  • From: Charlie-Boo
• Re: Modus Ponens Is Unprovable?
  • From: herbzet
• Re: (Yet another) question on the incompleteness theorem
  • From: Charlie-Boo
• Re: Could there be such a FOL theory?
  • From: Nam Nguyen
• Re: (Yet another) question on the incompleteness theorem
  • From: contradictions . for . all
• Re: (Yet another) question on the incompleteness theorem
  • From: John Jones
• Re: theorem's proof:
  • From: Alessandro Duarte
• Re: Rank (exercise in Kunen)
  • From: Norman Megill
• Re: theorem's proof:
  • From: Jack Campin - bogus address
• theorem's proof:
  • From: Alessandro Duarte
• Donkey, Rambus@yahoo.com showed folly in Ajay Sharma’s paper extending Einstein’s E=mc2;
  • From: physicsajay
• recursive formula.....
  • From: Mark Nicholls
• Re: A Thought Experiment
  • From: herbzet
• Re: Modus Ponens and Trivial Truth
  • From: Rhys B. Cartwright-Jones
• Re: Rank (exercise in Kunen)
  • From: William Elliot
• Re: Rank (exercise in Kunen)
  • From: David C . Ullrich
• Re: Rank (exercise in Kunen)
  • From: David C . Ullrich
• Re: (Yet another) question on the incompleteness theorem
  • From: contradictions . for . all
• Re: A Thought Experiment
  • From: herbzet
• Re: Modus Ponens and Trivial Truth
  • From: Charlie-Boo
• Re: A Thought Experiment
  • From: herbzet
• Re: Modus Ponens and Trivial Truth
  • From: Peter Webb
• Re: Modus Ponens and Trivial Truth
  • From: herbzet
• Re: Rank (exercise in Kunen)
  • From: William Elliot
• Re: Rank (exercise in Kunen)
  • From: William Elliot
• Re: A Thought Experiment
  • From: Newberry
• 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: Modus Ponens and Trivial Truth
  • From: Fuckwit
• Re: Modus Ponens and Trivial Truth
  • From: rhys44503
• Re: Modus Ponens and Trivial Truth
  • From: Fuckwit
• Modus Ponens and Trivial Truth
  • From: rhys44503
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: Categorical model of N?
  • From: george
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: Rank (exercise in Kunen)
  • From: David C . Ullrich
• Re: Rank (exercise in Kunen)
  • From: Norman Megill
• Re: Rank (exercise in Kunen)
  • From: Norman Megill
• Re: My investigations into Godels Incompleteness Theorem
  • From: Aatu Koskensilta
• Re: My investigations into Godels Incompleteness Theorem
  • From: Daryl McCullough
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: A Thought Experiment
  • From: Peter_Smith
• Re: Modus Ponens Is Unprovable?
  • From: Jan Burse
• Re: My investigations into Godels Incompleteness Theorem
  • From: Daryl McCullough
• Re: Modus Ponens Is Unprovable?
  • From: herbzet
• Re: My investigations into Godels Incompleteness Theorem
  • From: Aatu Koskensilta
• Re: Diagonal Intersection what is it?
  • From: Keith Ramsay
• Re: My investigations into Godels Incompleteness Theorem
  • From: Daryl McCullough
• Re: A Thought Experiment
  • From: Newberry
• Re: Could there be such a FOL theory?
  • From: Aatu Koskensilta
• Re: Could there be such a FOL theory?
  • From: Nam Nguyen
• Re: Modus Ponens Is Unprovable?
  • From: herb z
• Re: Could there be such a FOL theory?
  • From: Aatu Koskensilta
• Re: My investigations into Godels Incompleteness Theorem
  • From: Aatu Koskensilta
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: (Yet another) question on the incompleteness theorem
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: (Yet another) question on the incompleteness theorem
  • From: Aatu Koskensilta
• Re: Categorical model of N?
  • From: Peter_Smith
• Re: (Yet another) question on the incompleteness theorem
  • From: Peter_Smith
• Re: Categorical model of N?
  • From: george
• Re: (Yet another) question on the incompleteness theorem
  • From: John Jones
• Could there be such a FOL theory?
  • From: Nam Nguyen
• 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: Aatu Koskensilta
• Re: My investigations into Godels Incompleteness Theorem
  • From: Newberry
• Re: (Yet another) question on the incompleteness theorem
  • From: Aatu Koskensilta
• (Yet another) question on the incompleteness theorem
  • From: contradictions . for . all
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: Aatu Koskensilta
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: Question about the omega rule
  • From: Aatu Koskensilta
• Re: Categorical model of N?
  • From: Aatu Koskensilta
• Re: Question about the omega rule
  • From: lugita15
• Re: Categorical model of N?
  • From: Aatu Koskensilta
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: Rank (exercise in Kunen)
  • From: William Elliot
• Re: Rank (exercise in Kunen)
  • From: William Elliot
• Re: Rank (exercise in Kunen)
  • From: David C . Ullrich
• Re: Rank (exercise in Kunen)
  • From: William Elliot
• Re: Question about the omega rule
  • From: Peter_Smith
• Re: Question about the omega rule
  • From: Peter_Smith
• Re: Question about the omega rule
  • From: Peter_Smith
• Re: A Thought Experiment
  • From: Peter_Smith
• Re: Rank (exercise in Kunen)
  • From: William Elliot
• A Thought Experiment
  • From: Newberry
• Re: Question about the omega rule
  • From: mordov
• Re: My investigations into Godels Incompleteness Theorem
  • From: Rupert
• Question about the omega rule
  • From: lugita15
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: Modus Ponens Is Unprovable?
  • From: Jan Burse
• Re: Modus Ponens Is Unprovable?
  • From: Jan Burse
• Re: My investigations into Godels Incompleteness Theorem
  • From: Chris Menzel
• Re: Rank (exercise in Kunen)
  • From: Achim Blumensath
• Re: what are the axioms of intuitionistic logic?
  • From: H. J. Sander Bruggink
• Re: My investigations into Godels Incompleteness Theorem
  • From: Chris Menzel
• Rank (exercise in Kunen)
  • From: Norman Megill
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: what kind of paradox is this?
  • From: makc . the . great
• Re: what kind of paradox is this?
  • From: makc . the . great
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: Modus Ponens Is Unprovable?
  • From: herb z
• Re: Diagonal Intersection what is it?
  • From: Bill Taylor
• Re: The foundation of logic thinking
  • From: William Elliot
• Re: Modus Ponens Is Unprovable?
  • From: Frederick Williams
• Re: Modus Ponens Is Unprovable?
  • From: Barb Knox
• The foundation of logic thinking
  • From: Conbra
• Re: what are the axioms of intuitionistic logic?
  • From: Frederick Williams
• Re: what are the axioms of intuitionistic logic?
  • From: Frederick Williams
• Re: Categorical model of N?
  • From: Peter_Smith
• Re: Categorical model of N?
  • From: george
• Re: My investigations into Godels Incompleteness Theorem
  • From: Rupert
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: what are the axioms of intuitionistic logic?
  • From: mordov
• Re: what are the axioms of intuitionistic logic?
  • From: mordov
• Re: what are the axioms of intuitionistic logic?
  • From: Paul Holbach
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: Charlie-Boo
• Re: what are the axioms of intuitionistic logic?
  • From: translogi@xxxxxxxxxxxxxx
• Re: what are the axioms of intuitionistic logic?
  • From: translogi@xxxxxxxxxxxxxx
• Re: Axiom of Pairing
  • From: Alan Smaill
• Re: Modus Ponens Is Unprovable?
  • From: Frederick Williams
• Re: what are the axioms of intuitionistic logic?
  • From: Frederick Williams
• Re: Modus Ponens Is Unprovable?
  • From: translogi@xxxxxxxxxxxxxx
• Re: what are the axioms of intuitionistic logic?
  • From: Daryl McCullough
• Re: what are the axioms of intuitionistic logic?
  • From: translogi@xxxxxxxxxxxxxx
• Re: what are the axioms of intuitionistic logic?
  • From: translogi@xxxxxxxxxxxxxx
• Re: what are the axioms of intuitionistic logic?
  • From: Peter_Smith
• Re: what are the axioms of intuitionistic logic?
  • From: translogi@xxxxxxxxxxxxxx
• Re: Need help with some proofs
  • From: William Elliot
• Re: My investigations into Godels Incompleteness Theorem
  • From: Rupert
• Re: what are the axioms of intuitionistic logic?
  • From: Peter_Smith
• Re: what are the axioms of intuitionistic logic?
  • From: mordov
• Re: Diagonal Intersection what is it?
  • From: Keith Ramsay
• Diagonal Intersection what is it?
  • From: Bill Taylor
• Re: what are the axioms of intuitionistic logic?
  • From: Barb Knox
• Need help with some proofs
  • From: beauty2514
• Re: New* Paradox
  • From: Raving
• Re: Modus Ponens Is Unprovable?
  • From: translogi@xxxxxxxxxxxxxx
• Re: what are the axioms of intuitionistic logic?
  • From: translogi@xxxxxxxxxxxxxx
• Re: Modus Ponens Is Unprovable?
  • From: herb z
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: Categorical model of N?
  • From: Peter_Smith
• Re: Categorical model of N?
  • From: Peter_Smith
• Re: Categorical model of N?
  • From: george
• Re: Categorical model of N?
  • From: george
• Re: Categorical model of N?
  • From: george
• Re: Categorical model of N?
  • From: george
• Re: Categorical model of N?
  • From: george
• Re: Need help constructing ADD function from PA
  • From: george
• Re: what kind of paradox is this?
  • From: Charlie-Boo
• Re: Categorical model of N?
  • From: Peter_Smith
• Re: Categorical model of N?
  • From: lugita15
• Re: how these numbers are called
  • From: laura
• Re: what kind of paradox is this?
  • From: makc . the . great
• Re: what kind of paradox is this?
  • From: Charlie-Boo
• Re: what kind of paradox is this?
  • From: Charlie-Boo
• Re: what kind of paradox is this?
  • From: Charlie-Boo
• Re: what kind of paradox is this?
  • From: Charlie-Boo
• Re: My investigations into Godels Incompleteness Theorem
  • From: Charlie-Boo
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: Categorical model of N?
  • From: Peter_Smith
• Re: Help! ... Maybe you are clueless, too.
  • From: Raving
• Re: Modus Ponens Is Unprovable?
  • From: Jan Burse
• Re: Categorical model of N?
  • From: Peter_Smith
• Re: Categorical model of N?
  • From: george
• Re: Categorical model of N?
  • From: george
• Re: Categorical model of N?
  • From: lugita15
• Re: what are the axioms of intuitionistic logic?
  • From: Jan Burse
• Re: what are the axioms of intuitionistic logic?
  • From: Jan Burse
• Re: what are the axioms of intuitionistic logic?
  • From: MoeBlee
• Re: My investigations into Godels Incompleteness Theorem
  • From: David C . Ullrich
• The Logic Bomb
  • From: Raving
• Re: Categorical model of N?
  • From: lugita15
• Re: My investigations into Godels Incompleteness Theorem
  • From: Alan Smaill
• Re: what are the axioms of intuitionistic logic?
  • From: Frederick Williams
• Re: Help! ... I don't know what I am talking about.
  • From: Raving
• Re: Categorical model of N?
  • From: Aatu Koskensilta
• Re: "Godel got it all wrong"
  • From: Peter_Smith
• Re: "Godel got it all wrong"
  • From: Peter_Smith
• Re: "Godel got it all wrong"
  • From: Peter_Smith
• Re: Categorical model of N?
  • From: Peter_Smith
• Re: what are the axioms of intuitionistic logic?
  • From: William Elliot
• Categorical model of N?
  • From: Barb Knox
• Material Logic
  • From: lebel
• Re: Deviation of Einstein E=mc2 and ethics of members: Ajay Sharma
  • From: fpri
• Re: My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: My investigations into Godels Incompleteness Theorem
  • From: Aatu Koskensilta
• Re: "Godel got it all wrong"
  • From: Aatu Koskensilta
• Re: My investigations into Godels Incompleteness Theorem
  • From: Peter_Smith
• Re: My investigations into Godels Incompleteness Theorem
  • From: semiopen
• Re: My investigations into Godels Incompleteness Theorem
  • From: Aatu Koskensilta
• Re: "Godel got it all wrong"
  • From: Aatu Koskensilta
• Re: how these numbers are called
  • From: semiopen
• Re: "Godel got it all wrong"
  • From: Herman Jurjus
• Re: "Godel got it all wrong"
  • From: abo
• Re: My investigations into Godels Incompleteness Theorem
  • From: semiopen
• Re: "Godel got it all wrong"
  • From: Herman Jurjus
• Re: Axiom of Pairing
  • From: Alan Smaill
• My investigations into Godels Incompleteness Theorem
  • From: John Jones
• Re: The Tractatus and Logic today
  • From: John Jones
• Re: what are the axioms of intuitionistic logic?
  • From: mordov
• Re: "Godel got it all wrong"
  • From: Aatu Koskensilta
• Re: "Godel got it all wrong"
  • From: Aatu Koskensilta
• Re: "Godel got it all wrong"
  • From: Jesse F. Hughes
• Re: "Godel got it all wrong"
  • From: Aatu Koskensilta
• Re: what are the axioms of intuitionistic logic?
  • From: MoeBlee
• Re: "Godel got it all wrong"
  • From: Aatu Koskensilta
• Re: "Godel got it all wrong"
  • From: Aatu Koskensilta
• Re: "Godel got it all wrong"
  • From: Aatu Koskensilta
• Re: "Godel got it all wrong"
  • From: Aatu Koskensilta
• Re: "Godel got it all wrong"
  • From: Aatu Koskensilta
• Re: "Godel got it all wrong"
  • From: Aatu Koskensilta
• Re: The Tractatus and Logic today
  • From: semiopen
• how these numbers are called
  • From: laura
• Re: Axiom of Pairing
  • From: John Jones
• Re: Axiom of Pairing
  • From: David C . Ullrich
• Re: The Tractatus and Logic today
  • From: John Jones
• Sorry, woked it out
  • From: Peter Webb
• Very basic question about PA and PA arithmetic
  • From: Peter Webb
• PhD Student Position/Algorithms+Complexity Theory
  • From: petej
• Re: The Tractatus and Logic today
  • From: Aatu Koskensilta
• Re: Axiom of Pairing
  • From: John Jones
• Re: Axiom of Pairing
  • From: Raving
• Re: Axiom of Pairing
  • From: John Jones
• The Tractatus and Logic today
  • From: John Jones
• Re: Axiom of Pairing
  • From: Raving
• Re: Axiom of Pairing
  • From: John Jones
• Re: what kind of paradox is this?
  • From: makc . the . great
• Re: Modus Ponens Is Unprovable?
  • From: mordov
• Re: "Godel got it all wrong"
  • From: Paul Holbach
• Re: "Godel got it all wrong"
  • From: Paul Holbach
• Re: Axiom of Pairing
  • From: Raving
• Re: Basic Law V vs. 2nd-order identity
  • From: george
• Re: "Godel got it all wrong"
  • From: Newberry
• Re: "Godel got it all wrong"
  • From: Peter_Smith
• Re: "Godel got it all wrong"
  • From: Peter_Smith
• Re: "Godel got it all wrong"
  • From: Aatu Koskensilta
• Re: "Godel got it all wrong"
  • From: Newberry
• Re: "Godel got it all wrong"
  • From: Newberry
• Re: "Godel got it all wrong"
  • From: Newberry
• Re: Axiom of Pairing
  • From: Chris Menzel
• Re: "Godel got it all wrong"
  • From: Pierre Asselin
• Re: Axiom of Pairing
  • From: John Jones
• Re: "Godel got it all wrong"
  • From: Peter_Smith
• Re: "Godel got it all wrong"
  • From: Daryl McCullough
• Re: "Godel got it all wrong"
  • From: Aatu Koskensilta
• Re: "Godel got it all wrong"
  • From: Newberry
• Re: "Godel got it all wrong"
  • From: Jesse F. Hughes
• Re: Axiom of Pairing
  • From: David C . Ullrich
• Re: "Godel got it all wrong"
  • From: Daryl McCullough
• Re: How to represent computer algorithms using FOL?
  • From: Barb Knox
• Deviation of Einstein E=mc2 and ethics of members: Ajay Sharma
  • From: physicsajay
• Re: "Godel got it all wrong"
  • From: Peter_Smith
• Re: "Godel got it all wrong"
  • From: Newberry
• Re: "Godel got it all wrong"
  • From: Newberry
• Re: "Godel got it all wrong"
  • From: Jesse F. Hughes
• Re: Axiom of Pairing
  • From: Jesse F. Hughes
• Re: "Godel got it all wrong"
  • From: Bhupinder Singh Anand
• Re: "Godel got it all wrong"
  • From: Bhupinder Singh Anand
• Re: Basic Law V vs. 2nd-order identity
  • From: Peter_Smith
• Re: Basic Law V vs. 2nd-order identity
  • From: lugita15
• Re: Basic Law V vs. 2nd-order identity
  • From: lugita15
• Re: Question about Basic Law V
  • From: lugita15
• Re: "Godel got it all wrong"
  • From: Daryl McCullough
• Re: "Godel got it all wrong"
  • From: Newberry
• Re: "Godel got it all wrong"
  • From: Peter_Smith
• Re: "Godel got it all wrong"
  • From: Charlie-Boo
• New* Paradox
  • From: Raving
• Re: Axiom of Pairing
  • From: John Jones
• Re: "Godel got it all wrong"
  • From: Peter_Smith
• Re: "Godel got it all wrong"
  • From: Peter_Smith
• Re: "Godel got it all wrong"
  • From: Daryl McCullough
• Re: "Godel got it all wrong"
  • From: Bhupinder Singh Anand
• Re: "Godel got it all wrong"
  • From: Newberry
• Re: Basic Law V vs. 2nd-order identity
  • From: Peter_Smith
• Re: Basic Law V vs. 2nd-order identity
  • From: george
• Re: Modus Ponens Is Unprovable?
  • From: herb z
• Re: Question about Basic Law V
  • From: george
• Re: Question about Basic Law V
  • From: george
• Re: "Godel got it all wrong"
  • From: Peter_Smith
• Re: "Godel got it all wrong"
  • From: Peter_Smith
• Re: "Godel got it all wrong"
  • From: Peter_Smith
• Re: "Godel got it all wrong"
  • From: Peter_Smith
• Re: "Godel got it all wrong"
  • From: Herman Jurjus
• Re: "Godel got it all wrong"
  • From: Herman Jurjus
• Re: Modus Ponens Is Unprovable?
  • From: Jan Burse
• Re: what are the axioms of intuitionistic logic?
  • From: Jan Burse
• Re: what are the axioms of intuitionistic logic?
  • From: Jan Burse
• Re: what are the axioms of intuitionistic logic?
  • From: William Elliot
• Re: what are the axioms of intuitionistic logic?
  • From: Jan Burse
• Re: Three Independent Clauses Calculating On Concept Algebra
  • From: William Elliot
• Three Independent Clauses Calculating On Concept Algebra
  • From: Conbra
• Re: Modus Ponens Is Unprovable?
  • From: herb z
• Re: "Godel got it all wrong"
  • From: Daryl McCullough
• Re: "Godel got it all wrong"
  • From: Newberry
• Re: what kind of paradox is this?
  • From: Raving
• Re: One Proposition Calculating
  • From: herb z
• Re: what kind of paradox is this?
  • From: George Dance
• Re: Axiom of Pairing
  • From: Jesse F. Hughes
• Re: "Nonstandard" Turing-Machines?
  • From: Pierre Asselin
• Re: what are the axioms of intuitionistic logic?
  • From: MoeBlee
• Re: what are the axioms of intuitionistic logic?
  • From: Conbra
• Re: what are the axioms of intuitionistic logic?
  • From: MoeBlee
• Re: Non-empty language and TM
  • From: Rupert
• Re: Question about Basic Law V
  • From: Rupert
• what are the axioms of intuitionistic logic?
  • From: translogi
• Re: facial expression survey request
  • From: semiopen
• Re: Basic Law V vs. 2nd-order identity
  • From: lugita15
• Re: facial expression survey request
  • From: sorcimatt
• Re: facial expression survey request
  • From: semiopen
• Re: Question about Basic Law V
  • From: lugita15
• Re: facial expression survey request
  • From: sorcimatt
• Re: Question about Basic Law V
  • From: lugita15
• Re: facial expression survey request
  • From: semiopen
• facial expression survey request
  • From: sorcimatt
• Re: Axiom of Pairing
  • From: MoeBlee
• Re: Axiom of Pairing
  • From: John Jones
• Re: "Godel got it all wrong"
  • From: MoeBlee
• Re: "Godel got it all wrong"
  • From: Newberry
• Re: "Godel got it all wrong"
  • From: R. Srinivasan
• Re: How to represent computer algorithms using FOL?
  • From: george
• Re: Question on formalism
  • From: MoeBlee
• Re: Basic Law V vs. 2nd-order identity
  • From: george
• Re: Godel up the junction
  • From: MoeBlee
• Re: Godel up the junction
  • From: John Jones
• Re: Godel up the junction
  • From: MoeBlee
• Re: Question on formalism
  • From: John Jones
• Re: Question about Basic Law V
  • From: george
• Re: Godel up the junction
  • From: John Jones
• Re: Godel up the junction
  • From: John Jones
• Re: Question on formalism
  • From: MoeBlee
• Re: "Godel got it all wrong"
  • From: semiopen
• Re: Question on formalism
  • From: galathaea
• Re: Axiom of Pairing
  • From: MoeBlee
• Re: Axiom of Pairing
  • From: John Jones
• Re: Question on formalism
  • From: John Jones
• Help! ... I don't know what I am talking about ( The pun is intended to imply that I am being sincere about it. I am not stupid. I am not a philosopher. I do have a moderate undergraduate knowledge of applied mathematics. )
  • From: Raving
• Re: "Godel got it all wrong"
  • From: Raving
• Re: Question about Basic Law V
  • From: LauLuna
• Re: Axiom of Pairing
  • From: MoeBlee
• Re: "Godel got it all wrong"
  • From: MoeBlee
• Re: Question on formalism
  • From: MoeBlee
• Re: "Godel got it all wrong"
  • From: Raving
• Re: "Godel got it all wrong"
  • From: MoeBlee
• Re: "Godel got it all wrong"
  • From: LauLuna
• Re: "Godel got it all wrong"
  • From: MoeBlee
• Re: "Godel got it all wrong"
  • From: Daryl McCullough
• Re: what kind of paradox is this?
  • From: Calvin
• Re: "Godel got it all wrong"
  • From: Daryl McCullough
• Re: "Godel got it all wrong"
  • From: Ross A. Finlayson
• Re: "Godel got it all wrong"
  • From: Peter_Smith
• Basic Law V vs. 2nd-order identity
  • From: george
• Re: "Godel got it all wrong"
  • From: Newberry
• Re: "Godel got it all wrong"
  • From: Ross A. Finlayson
• Re: Question about Basic Law V
  • From: george
• Re: Question about Basic Law V
  • From: george
• Re: Axiom of Pairing
  • From: george
• Re: Axiom of Pairing
  • From: semiopen
• Re: "Godel got it all wrong"
  • From: Peter_Smith
• Re: Help on Proofs of Validity
  • From: George Dance
• Re: Axiom of Pairing
  • From: David C . Ullrich
• Re: Help on Proofs of Validity
  • From: George Dance
• Re: Help on Proofs of Validity
  • From: George Dance
• Re: Help on Proofs of Validity
  • From: George Dance
• Re: "Godel got it all wrong"
  • From: R. Srinivasan
• Non-empty language and TM
  • From: un student
• Re: Axiom of Pairing
  • From: John Jones
• Re: "Godel got it all wrong"
  • From: John Jones
• Re: "Nonstandard" Turing-Machines?
  • From: David McCann
• Re: Question on formalism
  • From: John Jones
• Re: "Godel got it all wrong"
  • From: Peter_Smith
• Re: "Godel got it all wrong"
  • From: Peter_Smith
• Re: Question on formalism
  • From: prettypeople babygirls
• Re: "Godel got it all wrong"
  • From: R. Srinivasan
• Re: "Godel got it all wrong"
  • From: Newberry
• Re: Axiom of Pairing
  • From: Chris Menzel
• Re: Question about Basic Law V
  • From: Rupert
• Re: "Godel got it all wrong"
  • From: Jesse F. Hughes
• Re: "Nonstandard" Turing-Machines?
  • From: Pierre Asselin
• Re: "Godel got it all wrong"
  • From: MoeBlee
• Re: "Godel got it all wrong"
  • From: MoeBlee
• Re: Question on formalism
  • From: MoeBlee
• Re: Question about Basic Law V
  • From: lugita15
• Re: "Godel got it all wrong"
  • From: Peter_Smith
• Re: "Godel got it all wrong"
  • From: Peter_Smith
• Re: Question on formalism
  • From: MoeBlee
• Re: Question on formalism
  • From: Chris Menzel
• Re: Axiom of Pairing
  • From: Chris Menzel
• Re: "Godel got it all wrong"
  • From: Raving
• Re: Question on formalism
  • From: John Jones
• Re: Question on formalism
  • From: MoeBlee
• Re: Axiom of Pairing
  • From: John Jones
• Re: Question on formalism
  • From: MoeBlee
• Re: Question on formalism
  • From: John Jones
• Re: Question on formalism
  • From: John Jones
• Re: "Godel got it all wrong"
  • From: MoeBlee
• Re: "Godel got it all wrong"
  • From: MoeBlee
• Re: Question about Basic Law V
  • From: george
• Re: "Godel got it all wrong"
  • From: Peter_Smith
• Re: "Godel got it all wrong"
  • From: Peter_Smith
• Re: "Godel got it all wrong"
  • From: abo
• Re: "Godel got it all wrong"
  • From: MoeBlee
• One Proposition Calculating
  • From: Conbra
• Re: "Godel got it all wrong"
  • From: Peter_Smith
• Re: Question on formalism
  • From: MoeBlee
• Re: "Godel got it all wrong"
  • From: Newberry
• Re: Question about Basic Law V
  • From: george
• Re: Axiom of Pairing
  • From: Jack Campin - bogus address
• Re: Question on formalism
  • From: John Jones
• Re: Question on formalism
  • From: galathaea
• "Nonstandard" Turing-Machines?
  • From: David McCann
• Chief Architect at the GSA selected by Bush: change and progress or waste ?
  • From: practical1
• Re: Question on formalism
  • From: MoeBlee
• Re: "Godel got it all wrong"
  • From: Peter_Smith
• Re: "Godel got it all wrong"
  • From: Peter_Smith
• Velbon MAX-i 343E
  • From: thejackal51
• Re: "Godel got it all wrong"
  • From: Peter_Smith
• Re: Axiom of Pairing
  • From: Chris Menzel
• Re: Axiom of Pairing
  • From: Chris Menzel
• Re: "Godel got it all wrong"
  • From: Chris Menzel
• Re: Axiom of Pairing
  • From: Chris Menzel
• Re: "Godel got it all wrong"
  • From: Newberry
• Re: "Godel got it all wrong"
  • From: Jesse F. Hughes
• Re: Question about Basic Law V
  • From: george
• Re: Question about Basic Law V
  • From: george
• Re: Question about Basic Law V
  • From: george
• Re: Question about Basic Law V
  • From: george
• Re: Question about Basic Law V
  • From: george
• Re: Question about Basic Law V
  • From: george
• Re: Question about Basic Law V
  • From: george
• Re: Question about Basic Law V
  • From: george
• Re: Question about Basic Law V
  • From: george
• Re: Help on Proofs of Validity
  • From: Frederick Williams
• Re: Help on Proofs of Validity
  • From: Frederick Williams
• Re: "Godel got it all wrong"
  • From: Frederick Williams
• "Godel got it all wrong"
  • From: Peter_Smith
• Re: Question about Basic Law V
  • From: Rupert
• Re: Question about Basic Law V
  • From: lugita15
• Re: what kind of paradox is this?
  • From: Rupert
• Re: Help on Proofs of Validity
  • From: Protoman
• Re: what kind of paradox is this?
  • From: makc . the . great
• Re: Modal Logic: An Introduction
  • From: khodaeifar@xxxxxxxxx
• Re: Modus Ponens Is Unprovable?
  • From: Bill Taylor
• Re: Help on Proofs of Validity
  • From: William Elliot
• Re: Question on formalism
  • From: Frederick Williams
• Re: How to represent computer algorithms using FOL?
  • From: Frederick Williams
• Re: Ross A. Finlayson, Question and Answer Period
  • From: Ross A. Finlayson
• Re: what kind of paradox is this?
  • From: Rupert
• Re: Ross A. Finlayson, Question and Answer Period
  • From: Ross A. Finlayson
• Re: Axiom of Pairing
  • From: Aatu Koskensilta
• Re: Modal Logic: An Introduction
  • From: Jack Campin - bogus address
• Re: Axiom of Pairing
  • From: Jesse F. Hughes
• Re: Ross A. Finlayson, Question and Answer Period
  • From: Aatu Koskensilta
• Re: Question on formalism
  • From: John Jones