sci.logic
By Thread

3811 messages sorted by: [ date ]

---

Starting: 07/31/04
Ending: 08/31/04

• Logic text suggestions David Auerbach (08/31/04)
• Volleyball topological equivalent to basketball; FusionBarrier Principle the inverse of Heisenberg Uncertainty Principle Archimedes Plutonium (08/30/04)
  • Pauli Excl Principle inverse of 2nd Law Thermodynamics Re: Volleyball topological equivalent to basketball; FusionBarrier Principle the inverse of Heisenberg Uncertainty Principle Archimedes Plutonium (08/30/04)
    • Re: Pauli Excl Principle inverse of 2nd Law Thermodynamics Re: Volleyball topological equivalent to basketball; FusionBarrier Principle the inverse of Heisenberg Uncertainty Principle Archimedes Plutonium (08/30/04)
  • Re: Volleyball topological equivalent to basketball; FusionBarrier Principle the inverse of Heisenberg Uncertainty Principle Archimedes Plutonium (08/30/04)
  • Re: Volleyball topological equivalent to basketball; FusionBarrier Principle the inverse of Heisenberg Uncertainty Principle Ian Stirling (08/30/04)
  • Re: Volleyball topological equivalent to basketball; FusionBarrier Principle the inverse of Heisenberg Uncertainty Principle eBayer (08/31/04)
• Which of These Politicians Lies? Immortalist (08/30/04)
  • Re: Which of These Politicians Lies? (08/30/04)
  • Re: Which of These Politicians Lies? Tim (08/30/04)
  • Re: Which of These Politicians Lies? addiss (08/30/04)
  • Re: Which of These Politicians Lies? Dan Clore (08/30/04)
  • Re: Which of These Politicians Lies? Dare (08/30/04)
  • Re: Which of These Politicians Lies? chris h fleming (08/30/04)
  • Re: Which of These Politicians Lies? chris h fleming (08/30/04)
  • Re: Which of These Politicians Lies? Stranger (08/31/04)
• Re: [OT] Finns and education Aatu Koskensilta (08/29/04)
• Existence as predicate Terry Firma (08/29/04)
  • Re: Existence as predicate Immortalist (08/29/04)
    • Re: Existence as predicate Paul Holbach (08/30/04)
      • Re: Existence as predicate Immortalist (08/30/04)
      • Re: Existence as predicate Paul Holbach (08/31/04)
      • Re: Existence as predicate Barb Knox (08/31/04)
  • Re: Existence as predicate The Sophist (08/29/04)
    • Re: Existence as predicate Keynes (08/29/04)
      • Re: Existence as predicate ZZBunker (08/30/04)
      • Re: Existence as predicate The Sophist (08/30/04)
      • Re: Existence as predicate Keynes (08/30/04)
      • Re: Existence as predicate block (08/30/04)
      • Re: Existence as predicate The Sophist (08/30/04)
  • Re: Existence as predicate Craig Franck (08/30/04)
  • Re: Existence as predicate Robert Trypuz (08/30/04)
    • Re: Existence as predicate Witt (08/30/04)
  • Re: Existence as predicate rbb (08/30/04)
• Newsgroup Proposal Daryl McCullough (08/29/04)
  • Re: Newsgroup Proposal Robert Low (08/29/04)
    • Re: Newsgroup Proposal Mike Oliver (08/29/04)
      • Re: Newsgroup Proposal peter_douglass (08/29/04)
      • Re: Newsgroup Proposal Mike Oliver (08/29/04)
      • Re: Newsgroup Proposal peter_douglass (08/29/04)
      • Re: Newsgroup Proposal Mike Oliver (08/29/04)
      • Re: Newsgroup Proposal The Ghost In The Machine (08/30/04)
      • Re: Newsgroup Proposal Mike Oliver (08/30/04)
      • Re: Newsgroup Proposal peter_douglass (08/30/04)
      • Re: Newsgroup Proposal David C. Ullrich (08/30/04)
  • Re: Newsgroup Proposal >parr\(*> (08/30/04)
• Time, the need for the lack of it. Enory Nolan (08/29/04)
• The Cumulative Hierarchy RL Gerl (08/28/04)
  • Re: The Cumulative Hierarchy Mike Oliver (08/28/04)
    • Re: The Cumulative Hierarchy Bill Taylor (08/29/04)
  • Re: The Cumulative Hierarchy Rupert (08/29/04)
    • Re: The Cumulative Hierarchy UFO (08/30/04)
  • Re: The Cumulative Hierarchy ZZBunker (08/29/04)
• Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/27/04)
  • Re: Can a regular Turing Machine provide Protected Memory? David C. Ullrich (08/27/04)
    • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/27/04)
      • Re: Can a regular Turing Machine provide Protected Memory? David C. Ullrich (08/27/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Chris Menzel (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? George Greene (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Chris Menzel (08/30/04)
      • Re: Can a regular Turing Machine provide Protected Memory? David C. Ullrich (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? G. Frege (08/27/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Will Twentyman (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? George Greene (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Mr. X (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? The Ghost In The Machine (08/29/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Mitch Harris (08/29/04)
      • [PO] Re: Can a regular Turing Machine provide Protected Memory? Simon G Best (08/29/04)
      • Re: [PO] Can a regular Turing Machine provide Protected Memory? Jym (08/30/04)
    • Re: Can a regular Turing Machine provide Protected Memory? ZZBunker (08/31/04)
    • Re: Can a regular Turing Machine provide Protected Memory? ZZBunker (08/31/04)
  • Re: Can a regular Turing Machine provide Protected Memory? Robert Low (08/27/04)
    • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/27/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Robert Low (08/27/04)
      • Re: Can a regular Turing Machine provide Protected Memory? David C. Ullrich (08/27/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Robert Low (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? David C. Ullrich (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Robert Low (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Chris Menzel (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Robert Low (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Will Twentyman (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? George Greene (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? George Greene (08/28/04)
  • Re: Can a regular Turing Machine provide Protected Memory? Will Twentyman (08/27/04)
    • Re: Can a regular Turing Machine provide Protected Memory? Arthur J. O'Dwyer (08/27/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/27/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Will Twentyman (08/27/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Will Twentyman (08/27/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Chris Menzel (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Will Twentyman (08/28/04)
    • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/27/04)
      • Re: Can a regular Turing Machine provide Protected Memory? G. Frege (08/27/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Will Twentyman (08/28/04)
      • Re: [PO] Can a regular Turing Machine provide Protected Memory? Jym (08/30/04)
  • Re: Can a regular Turing Machine provide Protected Memory? newstome_at_comcast.net (08/27/04)
    • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/27/04)
      • Re: Can a regular Turing Machine provide Protected Memory? newstome_at_comcast.net (08/27/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? newstome_at_comcast.net (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Simon G Best (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Will Twentyman (08/28/04)
      • [PO] Re: Can a regular Turing Machine provide Protected Memory? Simon G Best (08/28/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/28/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Simon G Best (08/28/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/28/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Simon G Best (08/29/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/29/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Simon G Best (08/29/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/30/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Simon G Best (08/30/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/30/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Simon G Best (08/30/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/30/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Jym (08/30/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Owen Jacobson (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Chris Menzel (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Nick Smallbone (08/29/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/29/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Nick Smallbone (08/30/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Keith Frayne (08/30/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/30/04)
      • Re: Can a regular Turing Machine provide Protected Memory? The Ghost In The Machine (08/29/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Nick Smallbone (08/29/04)
      • Re: Can a regular Turing Machine provide Protected Memory? newstome_at_comcast.net (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Will Twentyman (08/28/04)
      • [PO] Hooray! Olcott's Given Up and Decided to Throw Rubbish at The Halting Problem! (Was: Re: Can a regular Turing Machine provide Protected Memory?) Simon G Best (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? newstome_at_comcast.net (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/29/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Greg (08/29/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Mitch Harris (08/29/04)
      • Re: Can a regular Turing Machine provide Protected Memory? The Ghost In The Machine (08/29/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Simon G Best (08/29/04)
      • Re: Can a regular Turing Machine provide Protected Memory? newstome_at_comcast.net (08/29/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/29/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Robert Low (08/29/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/29/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Robert Low (08/29/04)
      • Re: [PO] halting problem: existence proofs Mitch Harris (08/30/04)
      • Re: [PO] halting problem: existence proofs Robert Low (08/30/04)
      • Re: [PO] halting problem: existence proofs Mitch Harris (08/30/04)
      • Re: [PO] halting problem: existence proofs Peter Olcott (08/30/04)
      • Re: [PO] halting problem: existence proofs Mitch Harris (08/30/04)
      • Re: [PO] halting problem: existence proofs Peter Olcott (08/30/04)
      • Re: Can a regular Turing Machine provide Protected Memory? The Ghost In The Machine (08/30/04)
      • Re:[PO]hatling problem: quantifiers again Mitch Harris (08/30/04)
      • Re: [PO] Can a regular Turing Machine provide Protected Memory? Jym (08/30/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/29/04)
      • Re: [PO] Can a regular Turing Machine provide Protected Memory? Mitch Harris (08/29/04)
      • Re: [PO] Can a regular Turing Machine provide Protected Memory? Robert Low (08/29/04)
      • Re: [PO] Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/29/04)
      • Re: [PO] Can a regular Turing Machine provide Protected Memory? Robert Low (08/29/04)
      • Re: [PO] Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/30/04)
      • Re: [PO] Can a regular Turing Machine provide Protected Memory? Mitch Harris (08/29/04)
      • Re: [PO] Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/30/04)
      • Re: [PO] Can a regular Turing Machine provide Protected Memory? David C. Ullrich (08/30/04)
      • Re: [PO] Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/30/04)
      • Re: [PO] Can a regular Turing Machine provide Protected Memory? David C. Ullrich (08/30/04)
      • Re: [PO] Can a regular Turing Machine provide Protected Memory? Jym (08/30/04)
      • Re: Can a regular Turing Machine provide Protected Memory? newstome_at_comcast.net (08/29/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/29/04)
      • Re: [PO] Can a regular Turing Machine provide Protected Memory? Tim Peters (08/29/04)
      • Re: [PO] Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/30/04)
      • Re: [PO] Can a regular Turing Machine provide Protected Memory? Jym (08/30/04)
      • Re: [PO] Can a regular Turing Machine provide Protected Memory? Jym (08/30/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Will Twentyman (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? David C. Ullrich (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Will Twentyman (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Owen Jacobson (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Simon G Best (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Owen Jacobson (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Will Twentyman (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? The Ghost In The Machine (08/29/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Will Twentyman (08/30/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Simon G Best (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Simon G Best (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/28/04)
      • [PO] Re: Can a regular Turing Machine provide Protected Memory? Simon G Best (08/29/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/29/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Owen Jacobson (08/30/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/30/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Simon G Best (08/30/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/30/04)
      • Re: [PO] halting problem reading comprehension Mitch Harris (08/29/04)
      • Re: [PO] halting problem reading comprehension Simon G Best (08/30/04)
      • Re: [PO] halting problem reading comprehension Peter Olcott (08/30/04)
      • Re: [PO] halting problem reading comprehension Chris Menzel (08/30/04)
      • Re: [PO] halting problem reading comprehension Peter Olcott (08/30/04)
      • Re: [PO] halting problem reading comprehension Peter Olcott (08/30/04)
      • Re: [PO] halting problem reading comprehension Mitch Harris (08/30/04)
      • Re: [PO] halting problem reading comprehension Peter Olcott (08/30/04)
      • Re: [PO] halting problem reading comprehension Simon G Best (08/30/04)
      • Re: [PO] halting problem reading comprehension Peter Olcott (08/30/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Owen Jacobson (08/30/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/29/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Simon G Best (08/29/04)
      • Re: Can a regular Turing Machine provide Protected Memory? stephen_at_nomail.com (08/30/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/30/04)
      • Re: Can a regular Turing Machine provide Protected Memory? stephen_at_nomail.com (08/31/04)
      • Re: Can a regular Turing Machine provide Protected Memory? George Greene (08/28/04)
      • Re: [PO] Can a regular Turing Machine provide Protected Memory? Jym (08/30/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? Mitch Harris (08/27/04)
    • Re: [PO] Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/27/04)
      • Re: [PO] Can a regular Turing Machine provide Protected Memory? David C. Ullrich (08/27/04)
      • Re: [PO] Can a regular Turing Machine provide Protected Memory? Will Twentyman (08/28/04)
      • Re: [PO] Can a regular Turing Machine provide Protected Memory? Mitch Harris (08/30/04)
    • Re: [PO] Can a regular Turing Machine provide Protected Memory? Jym (08/30/04)
  • Re: Can a regular Turing Machine provide Protected Memory? Bryan Olson (08/27/04)
    • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/27/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Will Twentyman (08/27/04)
      • Re: Can a regular Turing Machine provide Protected Memory? George Greene (08/28/04)
  • [PO] Re: Can a regular Turing Machine provide Protected Memory? Simon G Best (08/27/04)
    • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/27/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Simon G Best (08/28/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/28/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Simon G Best (08/28/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/28/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Simon G Best (08/28/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/28/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Will Twentyman (08/28/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Robert Low (08/28/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/28/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Bernard (08/28/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Abdulaziz Ghuloum (08/29/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Simon G Best (08/29/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Jym (08/30/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Jym (08/30/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? >parr\(*> (08/30/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Jym (08/30/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Simon G Best (08/29/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/29/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Simon G Best (08/29/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/30/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Jym (08/30/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Robert Low (08/30/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Jym (08/30/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? >parr\(*> (08/30/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Jym (08/30/04)
      • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? Will Twentyman (08/28/04)
  • Re: Can a regular Turing Machine provide Protected Memory? Peter Webb (08/28/04)
    • Re: Can a regular Turing Machine provide Protected Memory? Peter Olcott (08/28/04)
      • Re: Can a regular Turing Machine provide Protected Memory? Peter Webb (08/28/04)
• Reconstructive Memory and Kerry's Military Experiences Immortalist (08/27/04)
• Brandnew website, includes data about Touretzky Barbara Schwarz (08/26/04)
  • Re: Brandnew website, includes data about Touretzky Klaus (08/26/04)
    • Brandnew website, includes data about Touretzky Garry Scarff is a notorious liar, a cyber stalker, a forger, an identity steale (08/26/04)
• I'm new. Robert Trypuz (08/26/04)
  • Re: I'm new. Aatu Koskensilta (08/26/04)
    • Re: I'm new. Robert Trypuz (08/26/04)
      • Re: I'm new. David Bandel (08/27/04)
      • Re: I'm new. Tron Furu (08/27/04)
      • Re: I'm new. Acid Pooh (08/29/04)
      • Re: I'm new. Tron Furu (08/29/04)
      • Re: I'm new. Tron Furu (08/29/04)
      • Re: I'm new. Tron Furu (08/29/04)
      • Re: I'm new. Acme Diagnostics (08/29/04)
      • Re: I'm new. Aatu Koskensilta (08/29/04)
  • Re: I'm new. Ken Pledger (08/30/04)
• Adverbial logic Saikat Guha (08/26/04)
• main connective in SL FiSH (08/26/04)
  • Re: main connective in SL Sander Bruggink (08/26/04)
  • Re: main connective in SL H. Enderton (08/26/04)
    • Re: main connective in SL G. Frege (08/26/04)
      • Re: main connective in SL G. Frege (08/26/04)
  • Re: main connective in SL FiSH (08/28/04)
    • Re: main connective in SL G. Frege (08/28/04)
• of all prove systems, natural deduction produces least lines of most proves? recoba (08/25/04)
• Atheists dying Gactimus (08/25/04)
  • Re: Atheists dying Mario Petrinovich (08/25/04)
  • Re: Atheists dying Daedalus (08/25/04)
  • Re: Atheists dying JPG (08/25/04)
  • Re: Atheists dying Roger L. Bagula (08/25/04)
  • Re: Atheists dying Robert Low (08/25/04)
  • Re: Atheists dying John Popelish (08/25/04)
    • Re: Atheists dying bob young (08/26/04)
    • Re: Atheists dying Red Dragon (08/26/04)
      • Re: Atheists dying -Hector- (08/26/04)
      • Re: Atheists dying Christopher A. Lee (08/26/04)
      • Re: Atheists dying -Hector- (08/26/04)
      • Re: Atheists dying Kermit (08/26/04)
      • Re: Atheists dying Clayton The Kaafir Ilzaad With A Lizard Gizard (08/27/04)
    • Re: Atheists dying Kermit (08/26/04)
      • Re: Atheists dying Mario Petrinovich (08/27/04)
      • Re: Atheists dying Kermit (08/30/04)
  • Re: Atheists dying John Ings (08/25/04)
  • Re: Atheists dying Singleterry (08/25/04)
    • Re: Atheists dying Christopher A. Lee (08/25/04)
      • Re: Atheists dying Gactimus (08/25/04)
      • Re: Atheists dying raven1 (08/25/04)
      • Re: Atheists dying Christopher A. Lee (08/25/04)
      • Re: Atheists dying Gactimus (08/25/04)
      • Re: Atheists dying raven1 (08/25/04)
      • Re: Atheists dying Ross Macfarlane (08/26/04)
      • Re: Atheists dying Dr. Flonkenstein (08/26/04)
      • Re: Atheists dying Peter J Ross (08/26/04)
      • Re: Atheists dying Ross Macfarlane (08/27/04)
      • Re: Atheists dying Gactimus (08/27/04)
      • Re: Atheists dying Peter J Ross (08/28/04)
      • Re: Atheists dying bob young (08/26/04)
      • Re: Atheists dying thomas p (08/26/04)
      • Re: Atheists dying Gactimus (08/26/04)
      • Re: Atheists dying John Baker (08/26/04)
      • Re: Atheists dying Gactimus (08/26/04)
      • Re: Atheists dying thomas p (08/26/04)
      • Re: Atheists dying bob young (08/27/04)
      • Re: Atheists dying Christopher A. Lee (08/26/04)
      • Re: Atheists dying John Baker (08/27/04)
      • Re: Atheists dying Holden (08/26/04)
      • Re: Atheists dying thomas p (08/26/04)
      • Re: Atheists dying Don Kresch (08/26/04)
      • Re: Atheists dying Virgil (08/26/04)
      • Re: Atheists dying John M Price PhD (08/27/04)
      • Re: Atheists dying bob young (08/27/04)
      • Re: Atheists dying Karl Johanson (08/27/04)
      • Re: Atheists dying Gactimus (08/27/04)
      • Re: Atheists dying thomas p (08/27/04)
      • Re: Atheists dying Gactimus (08/27/04)
      • Re: Atheists dying thomas p (08/27/04)
      • Re: Atheists dying Gactimus (08/28/04)
      • Re: Atheists dying Mario Petrinovich (08/28/04)
      • Re: Atheists dying Mario Petrinovich (08/28/04)
      • Re: Atheists dying Karl Johanson (08/29/04)
      • Re: Atheists dying J Moore (08/30/04)
      • Re: Atheists dying Holden (08/30/04)
      • Re: Atheists dying Holden (08/30/04)
      • Re: Atheists dying Dmitri Vikawtsky (08/27/04)
      • Re: Atheists dying Christopher A. Lee (08/27/04)
      • Re: Atheists dying Dmitri Vikawtsky (08/27/04)
      • Re: Atheists dying Christopher A. Lee (08/27/04)
      • Re: Atheists dying Dmitri Vikawtsky (08/27/04)
      • Re: Atheists dying Christopher A. Lee (08/27/04)
      • Re: Atheists dying Cindy (08/28/04)
      • Re: Atheists dying Dmitri Vikawtsky (08/28/04)
      • Re: Atheists dying Christopher A. Lee (08/28/04)
      • Re: Atheists dying Dmitri Vikawtsky (08/28/04)
      • Re: Atheists dying Christopher A. Lee (08/28/04)
      • Re: Atheists dying Elroy Willis (08/28/04)
      • Re: Atheists dying wbarwell (08/28/04)
      • Re: Atheists dying Kermit (08/30/04)
      • Re: Atheists dying stone (08/29/04)
      • Re: Atheists dying Phÿltêr (08/29/04)
      • Re: Atheists dying Steve O (08/30/04)
      • Re: Atheists dying Phÿltêr (08/30/04)
      • Re: Atheists dying Cindy (08/29/04)
      • Re: Atheists dying Aratzio (08/29/04)
      • Re: Atheists dying Cindy (08/29/04)
      • Re: Atheists dying Aratzio (08/29/04)
      • Re: Atheists dying Christopher A. Lee (08/29/04)
      • Re: Atheists dying thomas p (08/29/04)
      • Re: Atheists dying Robibnikoff (08/29/04)
      • Re: Atheists dying John M Price PhD (08/29/04)
      • Re: Atheists dying Jez (08/29/04)
      • Re: Atheists dying Robibnikoff (08/29/04)
      • Re: Atheists dying George (08/29/04)
      • Re: Atheists dying Karl Johanson (08/30/04)
      • Re: Atheists dying Kermit (08/30/04)
      • Re: Atheists dying Holden (08/30/04)
      • Re: Atheists dying Christopher A. Lee (08/30/04)
      • Re: Atheists dying Cary Kittrell (08/27/04)
      • Re: Atheists dying Holden (08/30/04)
      • Re: Atheists dying thomas p (08/27/04)
      • Re: Atheists dying thomas p (08/27/04)
      • Re: Atheists dying Dmitri Vikawtsky (08/27/04)
      • Re: Atheists dying Christopher A. Lee (08/27/04)
      • Re: Atheists dying John Popelish (08/27/04)
      • Re: Atheists dying Kenneth Doyle (08/28/04)
      • Re: Atheists dying Karl Johanson (08/29/04)
      • Re: Atheists dying Christopher A. Lee (08/30/04)
      • Re: Atheists dying Karl Johanson (08/31/04)
      • Re: Atheists dying Holden (08/30/04)
      • Re: Atheists dying Mario Petrinovich (08/27/04)
      • Re: Atheists dying George (08/30/04)
      • Re: Atheists dying Pastor Dave (08/30/04)
      • Re: Atheists dying raven1 (08/30/04)
      • Re: Atheists dying George (08/31/04)
      • Re: Atheists dying Bryan Olson (08/27/04)
    • Re: Atheists dying Jez (08/25/04)
    • Re: Atheists dying Robibnikoff (08/25/04)
      • Re: Atheists dying Gactimus (08/26/04)
      • Re: Atheists dying Jez (08/26/04)
      • Re: Atheists dying Llanzlan Klazmon (08/26/04)
      • Re: Atheists dying Robibnikoff (08/27/04)
      • Re: Atheists dying Karl Johanson (08/30/04)
    • Re: Atheists dying bob young (08/26/04)
    • Re: Atheists dying Kermit (08/26/04)
    • Re: Atheists dying Karl Johanson (08/27/04)
  • Re: Atheists dying Mark K. Bilbo (08/25/04)
    • Re: Atheists dying bob young (08/26/04)
  • Re: Atheists dying EjP (08/25/04)
    • Re: Atheists dying bob young (08/26/04)
  • Re: Atheists dying John Norris (08/25/04)
    • Re: Atheists dying Mike Oliver (08/25/04)
      • Re: Atheists dying Holden (08/25/04)
      • Re: Atheists dying Mike Oliver (08/25/04)
      • Re: Atheists dying Lee Rudolph (08/25/04)
      • Re: Atheists dying Holden (08/25/04)
      • Re: Atheists dying Mike Oliver (08/25/04)
      • Re: Atheists dying Holden (08/26/04)
      • Re: Atheists dying Acid Pooh (08/25/04)
    • Re: Atheists dying raven1 (08/25/04)
    • Re: Atheists dying bob young (08/26/04)
  • Re: Atheists dying Jez (08/25/04)
  • Re: Atheists dying SneakyPete (08/25/04)
    • Re: Atheists dying torch (08/25/04)
    • Re: Atheists dying Peter J Ross (08/25/04)
      • Re: Atheists dying Dr. Flonkenstein (08/26/04)
    • Re: Atheists dying bob young (08/26/04)
  • Re: Atheists dying raven1 (08/25/04)
  • Re: Atheists dying geezerguy (08/25/04)
  • Re: Atheists dying Don Kresch (08/25/04)
  • Re: Atheists dying Jacques Guy (08/26/04)
  • Re: Atheists dying Daniel Kolle (08/25/04)
    • Re: Atheists dying Gactimus (08/25/04)
      • Re: Atheists dying bob young (08/26/04)
      • Re: Atheists dying Jez (08/26/04)
      • Re: Atheists dying Kermit (08/26/04)
      • Re: Atheists dying George (08/27/04)
      • Re: Atheists dying Llanzlan Klazmon (08/26/04)
    • Re: Atheists dying Peter J Ross (08/26/04)
    • Re: Atheists dying Denis Loubet (08/26/04)
      • Re: Atheists dying John Baker (08/26/04)
      • Re: Atheists dying Daniel Kolle (08/26/04)
    • Re: Atheists dying George (08/26/04)
  • Re: Atheists dying a.a.#2066 (08/26/04)
  • Re: Atheists dying Llanzlan Klazmon (08/26/04)
  • Re: Atheists dying bob young (08/26/04)
  • Re: Atheists dying mildmanneredenglishman (08/26/04)
  • Re: Atheists dying Steve Hayes (08/26/04)
  • Re: Atheists dying Xerxes (08/26/04)
  • Re: Atheists dying Robert Low (08/26/04)
  • Re: Atheists dying Rob (08/26/04)
  • Re: Atheists dying Az_ (08/26/04)
  • Re: Atheists dying Tukla Ratte (08/26/04)
  • Re: Atheists dying Iain (08/26/04)
    • Re: Atheists dying raven1 (08/29/04)
  • Re: Atheists dying The Sanity Inspector (08/27/04)
  • Re: Atheists dying Bryan Olson (08/27/04)
    • Re: Atheists dying Peter Webb (08/27/04)
  • Re: Atheists dying Andrew Lias (08/27/04)
  • Re: Atheists dying Carla Krachun (08/27/04)
  • Re: Atheists dying Cindy (08/28/04)
    • Re: Atheists dying Gactimus (08/28/04)
• SMITHSONIAN Even Lies to Congressmen... Ed Conrad (08/25/04)
  • Re: SMITHSONIAN Even Lies to Congressmen... Jeff (08/26/04)
• Refutation of the Halting Problem's Proof (Clarifications Wanted) Peter Olcott (08/25/04)
  • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) David C. Ullrich (08/25/04)
    • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) David C. Ullrich (08/25/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Peter Olcott (08/25/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) G. Frege (08/25/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Peter Olcott (08/26/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Will Twentyman (08/26/04)
    • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) George Greene (08/25/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Peter Olcott (08/26/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) George Greene (08/26/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) The Ghost In The Machine (08/26/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) George Greene (08/28/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) peter_douglass (08/28/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Acme Diagnostics (08/28/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) peter_douglass (08/29/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) The Ghost In The Machine (08/29/04)
      • Re: "Augmented" UTMs? Mitch Harris (08/26/04)
      • Re: "Augmented" UTMs? Simon G Best (08/26/04)
    • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Peter Olcott (08/25/04)
      • Re: [PO] "you had ONES ?!?!" Mitch Harris (08/26/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) George Greene (08/26/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) G. Frege (08/26/04)
  • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) newstome_at_comcast.net (08/25/04)
    • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Peter Olcott (08/25/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) newstome_at_comcast.net (08/26/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Peter Olcott (08/26/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Peter Webb (08/26/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Martin Shobe (08/26/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Robert Low (08/26/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) newstome_at_comcast.net (08/26/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) >parr\(*> (08/27/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) newstome_at_comcast.net (08/27/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) G. Frege (08/27/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Peter Olcott (08/27/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) David C. Ullrich (08/27/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) G. Frege (08/27/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) The Ghost In The Machine (08/28/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Peter Olcott (08/28/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) David C. Ullrich (08/28/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) The Ghost In The Machine (08/29/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) The Ghost In The Machine (08/29/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Peter Olcott (08/29/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) The Ghost In The Machine (08/29/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) >parr\(*> (08/30/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Will Twentyman (08/26/04)
      • Re: {PO} computability texts Mitch Harris (08/26/04)
      • Re: {PO} computability texts Rick Decker (08/26/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Robert Low (08/26/04)
  • [PO] Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Simon G Best (08/25/04)
    • Re: [PO] Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Peter Olcott (08/26/04)
      • Re: [PO] Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) George Greene (08/26/04)
      • Re: [PO] Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Simon G Best (08/26/04)
      • Re: [PO] Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) David C. Ullrich (08/26/04)
      • Re: [PO] Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Mitch Harris (08/26/04)
      • Re: [PO] Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Marc Goodman (08/26/04)
      • Re: [PO] Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) G. Frege (08/26/04)
      • Re: [PO] Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Marc Goodman (08/26/04)
      • Re: [PO] Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) G. Frege (08/26/04)
      • Re: [PO] Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Marc Goodman (08/26/04)
      • Re: [PO] Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) G. Frege (08/26/04)
      • Re: [PO] Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) >parr\(*> (08/27/04)
      • Re: [PO] Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) The Ghost In The Machine (08/28/04)
      • Re: [PO] Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) David C. Ullrich (08/27/04)
      • Re: [PO] Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Marc Goodman (08/27/04)
      • Re: [PO] Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) David C. Ullrich (08/27/04)
      • Re: [PO] Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Will Twentyman (08/28/04)
      • Re: [PO] Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) George Greene (08/28/04)
      • Re: [PO] Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) peter_douglass (08/28/04)
      • Re: [PO] Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) >parr\(*> (08/27/04)
  • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Will Twentyman (08/25/04)
    • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Peter Olcott (08/25/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Will Twentyman (08/26/04)
  • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) >parr\(*> (08/25/04)
    • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Scott Dorsey (08/26/04)
    • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Evil Horseman (08/26/04)
  • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) George Greene (08/25/04)
  • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Jim McD (08/27/04)
  • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Aatu Koskensilta (08/28/04)
    • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Peter Olcott (08/28/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) David C. Ullrich (08/28/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Robert Low (08/28/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Chris Menzel (08/28/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Peter Olcott (08/28/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) Will Twentyman (08/28/04)
      • Re: Refutation of the Halting Problem's Proof (Clarifications Wanted) >parr\(*> (08/30/04)
• Is it a new Arithmetic? namducnguyen (08/25/04)
  • Re: Is it a new Arithmetic? William Elliot (08/26/04)
    • Re: Is it a new Arithmetic? namducnguyen (08/26/04)
      • Re: Is it a new Arithmetic? William Elliot (08/26/04)
      • Re: Is it a new Arithmetic? namducnguyen (08/27/04)
      • Re: Is it a new Arithmetic? William Elliot (08/27/04)
• Papillion NE genius NOMINATED for NOBRAIN Prize!!!! [was: What is the Result from Invoking this Halt Function?] >parr\(*> (08/24/04)
  • Re: Papillion NE genius NOMINATED for NOBRAIN Prize!!!! [was: What is the Result from Invoking this Halt Function?] Guy King (08/24/04)
  • Re: Papillion NE genius NOMINATED for NOBRAIN Prize!!!! [was: What is the Result from Invoking this Halt Function?] Malc (08/24/04)
• Re: An example of a complete but undecidable theory Stephan Lehmke (08/24/04)
  • Re: An example of a complete but undecidable theory H. Enderton (08/24/04)
    • Re: An example of a complete but undecidable theory Mike Oliver (08/25/04)
      • Re: An example of a complete but undecidable theory H. Enderton (08/26/04)
      • Re: An example of a complete but undecidable theory Mike Oliver (08/26/04)
  • Re: An example of a complete but undecidable theory Robert Israel (08/24/04)
• L & R Bill Taylor (08/24/04)
  • Re: L & R Mike Oliver (08/24/04)
    • Re: L & R tchow_at_lsa.umich.edu (08/26/04)
      • Re: L & R Mike Oliver (08/26/04)
      • Re: L & R H. Enderton (08/26/04)
• Re: SB16's FM Synth Logic Abdulaziz Ghuloum (08/24/04)
• Plato's Logic: Charmides Davidius (08/23/04)
  • Re: Plato's Logic: Charmides William Elliot (08/23/04)
• [PO] The problem of proving a negative is mostly in the prover Kent Paul Dolan (08/22/04)
• Giving up Baijayant Kenoyer (08/22/04)
  • Re: Giving up George Greene (08/26/04)
• Troll announces retirement [imisthreaded from: What is the Result from Invoking this Halt Function?] >parr\(*> (08/22/04)
• [PO] serendipity Kent Paul Dolan (08/22/04)
  • Re: [PO] serendipity your weight on the moon (08/24/04)
    • Re: [PO] serendipity Martin Shobe (08/24/04)
    • Re: [PO] serendipity steven (08/28/04)
      • Re: [PO] serendipity your weight in hell (08/28/04)
      • Re: [PO] serendipity edens rand mair fheal greykitten tomys des anges (08/28/04)
      • Re: [PO] serendipity Acid Pooh (08/29/04)
      • Re: [PO] serendipity Greg (08/29/04)
      • Re: [PO] serendipity The Ghost In The Machine (08/29/04)
• Refutation of the Halting Problem (Special Request) Peter Olcott (08/22/04)
  • Re: Refutation of the Halting Problem (Special Request) Kent Paul Dolan (08/22/04)
    • Re: Refutation of the Halting Problem (Special Request) Peter Olcott (08/23/04)
  • Re: Refutation of the Halting Problem (Special Request) Simon G Best (08/23/04)
  • Re: Refutation of the Halting Problem (Special Request) George Greene (08/26/04)
• LaTeX for Logicians Peter Smith (08/22/04)
  • Re: LaTeX for Logicians Alan Amin (08/23/04)
• Intro to Godel's Theorems Peter Smith (08/22/04)
• Troll-dunce admits confusion [Was: What is the Result from Invoking this Halt Function?] >parr\(*> (08/21/04)
• Nothing exists, is contradictory. Witt (08/21/04)
  • Re: Nothing exists, is contradictory. G. Frege (08/21/04)
    • Re: Nothing exists, is contradictory. Witt (08/21/04)
      • Re: Nothing exists, is contradictory. G. Frege (08/22/04)
      • Re: Nothing exists, is contradictory. G. Frege (08/26/04)
      • Re: Nothing exists, is contradictory. Witt (08/27/04)
      • Re: Nothing exists, is contradictory. G. Frege (08/27/04)
      • Re: Nothing exists, is contradictory. Witt (08/27/04)
      • Re: Nothing exists, is contradictory. G. Frege (08/27/04)
      • Re: Nothing exists, is contradictory. Witt (08/29/04)
      • Re: Nothing exists, is contradictory. G. Frege (08/29/04)
• IEEE ICM'2004 Extended Call For Papers Kholdoun TORKI (08/21/04)
• Proof Ryan Keeling (08/21/04)
  • Re: Proof Andrew J Bacon (08/21/04)
  • Re: Proof X. (08/21/04)
  • Re: Proof H. Enderton (08/23/04)
• Godel's Incompleteness and Nonmonotonic Logic Student (08/20/04)
  • Re: Godel's Incompleteness and Nonmonotonic Logic Herman Jurjus (08/21/04)
  • Re: Godel's Incompleteness and Nonmonotonic Logic Stephan Lehmke (08/23/04)
    • Re: Godel's Incompleteness and Nonmonotonic Logic Student (08/23/04)
      • Re: Godel's Incompleteness and Nonmonotonic Logic Herman Jurjus (08/24/04)
      • Re: Godel's Incompleteness and Nonmonotonic Logic Herman Jurjus (08/24/04)
      • Re: Godel's Incompleteness and Nonmonotonic Logic Student (08/24/04)
      • Re: Godel's Incompleteness and Nonmonotonic Logic Stephan Lehmke (08/24/04)
      • Re: Godel's Incompleteness and Nonmonotonic Logic Student (08/24/04)
      • Re: Godel's Incompleteness and Nonmonotonic Logic Stephan Lehmke (08/25/04)
      • Re: Godel's Incompleteness and Nonmonotonic Logic Student (08/25/04)
      • Re: Godel's Incompleteness and Nonmonotonic Logic Herman Jurjus (08/25/04)
      • Re: Godel's Incompleteness and Nonmonotonic Logic Student (08/25/04)
      • Re: Godel's Incompleteness and Nonmonotonic Logic Herman Jurjus (08/26/04)
      • Re: Godel's Incompleteness and Nonmonotonic Logic Jamie Andrews; real address _at_ bottom of message (08/25/04)
      • Re: Godel's Incompleteness and Nonmonotonic Logic Aatu Koskensilta (08/25/04)
      • Re: Godel's Incompleteness and Nonmonotonic Logic George Greene (08/26/04)
      • Re: Godel's Incompleteness and Nonmonotonic Logic Stephan Lehmke (08/26/04)
      • Re: Godel's Incompleteness and Nonmonotonic Logic Stephan Lehmke (08/26/04)
      • Re: Godel's Incompleteness and Nonmonotonic Logic Aatu Koskensilta (08/25/04)
      • Re: Godel's Incompleteness and Nonmonotonic Logic Clive (08/25/04)
      • Re: Godel's Incompleteness and Nonmonotonic Logic Herman Jurjus (08/26/04)
      • Re: Godel's Incompleteness and Nonmonotonic Logic Aatu Koskensilta (08/26/04)
      • Re: Godel's Incompleteness and Nonmonotonic Logic Herman Jurjus (08/26/04)
      • Re: Godel's Incompleteness and Nonmonotonic Logic Aatu Koskensilta (08/26/04)
      • Re: Godel's Incompleteness and Nonmonotonic Logic Herman Jurjus (08/27/04)
      • Re: Godel's Incompleteness and Nonmonotonic Logic Stephan Lehmke (08/26/04)
  • Re: Godel's Incompleteness and Nonmonotonic Logic Xee (08/28/04)
    • Re: Godel's Incompleteness and Nonmonotonic Logic Aatu Koskensilta (08/28/04)
    • Re: Godel's Incompleteness and Nonmonotonic Logic Herman Jurjus (08/28/04)
• Misthreaded reply to: Troll-sickness outbreak in Papillion Kent Paul Dolan (08/20/04)
  • Re: Misthreaded reply to: Troll-sickness outbreak in Papillion >parr\(*> (08/20/04)
• Explanation on God's formation.(VIMP) prash555_in (08/19/04)
• Explanation on God's formation.(VIMP) prash555_in (08/19/04)
• stupid logic group posts!! David Bandel (08/19/04)
  • Re: stupid logic group posts!! The Ghost In The Machine (08/19/04)
  • Re: stupid logic group posts!! Robert Low (08/19/04)
  • Re: stupid logic group posts!! Will Twentyman (08/19/04)
    • Re: stupid logic group posts!! David Bandel (08/20/04)
      • Re: stupid logic group posts!! Will Twentyman (08/21/04)
• Re: Attempt to halt the refuting problem Kent Paul Dolan (08/19/04)
  • Re: Attempt to halt the refuting problem Barb Knox (08/19/04)
    • Re: Attempt to halt the refuting problem Kent Paul Dolan (08/19/04)
• Model Theory Andrew J Bacon (08/19/04)
  • Re: Model Theory Achim Blumensath (08/19/04)
  • Re: Model Theory David C. Ullrich (08/19/04)
    • Re: Model Theory H. Enderton (08/19/04)
      • Re: Model Theory Andrew J Bacon (08/19/04)
      • Re: Model Theory tchow_at_lsa.umich.edu (08/19/04)
      • Re: Model Theory H. Enderton (08/19/04)
      • Re: Model Theory David C. Ullrich (08/20/04)
      • Re: Model Theory Andrew J Bacon (08/20/04)
      • Re: Model Theory tchow_at_lsa.umich.edu (08/20/04)
      • Re: Model Theory Andrew J Bacon (08/20/04)
      • Re: Model Theory tchow_at_lsa.umich.edu (08/21/04)
      • Re: Model Theory Andrew J Bacon (08/22/04)
      • Re: Model Theory tchow_at_lsa.umich.edu (08/22/04)
      • Re: Model Theory Andrew J Bacon (08/23/04)
• Aristotle on false conclusion Gerald Montagna (08/18/04)
  • Re: Aristotle on false conclusion Markus Triska (08/20/04)
• Re: Infinity does exist? a.r.e. Gallery (08/18/04)
• My mind's gone blank.... enla (08/18/04)
  • Re: My mind's gone blank.... Mitch Harris (08/18/04)
    • Re: My mind's gone blank.... enla (08/19/04)
    • Re: My mind's gone blank.... enla (08/19/04)
    • Re: My mind's gone blank.... William Elliot (08/19/04)
• Error in Turing's paper 'On computable numbers, with an application to the Entscheidungsproblem ' >parr\(*> (08/17/04)
  • Re: Error in Turing's paper 'On computable numbers, with an application to the Entscheidungsproblem ' H. Enderton (08/18/04)
    • Re: Error in Turing's paper 'On computable numbers, with an application to the Entscheidungsproblem ' r.e.s. (08/18/04)
      • Re: Error in Turing's paper 'On computable numbers, with an application to the Entscheidungsproblem ' >parr\(*> (08/19/04)
      • Re: Error in Turing's paper 'On computable numbers, with an application to the Entscheidungsproblem ' r.e.s. (08/19/04)
  • Re: Error in Turing's paper 'On computable numbers, with an application to th... KRamsay (08/22/04)
    • Re: Error in Turing's paper 'On computable numbers, with an application to th... >parr\(*> (08/22/04)
      • Re: Error in Turing's paper 'On computable numbers, with an application to th.. KRamsay (08/23/04)
      • Re: Error in Turing's paper 'On computable numbers, with an application to th.. >parr\(*> (08/23/04)
    • Re: Error in Turing's paper 'On computable numbers, with an application to th... r.e.s. (08/22/04)
      • Re: Error in Turing's paper 'On computable numbers, with an application to th.. KRamsay (08/23/04)
• Ceiling fan- with one blade? Retro (08/17/04)
  • Re: Ceiling fan- with one blade? Mike Oliver (08/17/04)
  • Re: Ceiling fan- with one blade? Aatu Koskensilta (08/17/04)
• logical paradoxes patty (08/17/04)
  • Re: logical paradoxes Traveler (08/17/04)
    • Re: logical paradoxes George Greene (08/17/04)
      • Re: logical paradoxes patty (08/18/04)
    • Re: logical paradoxes patty (08/17/04)
      • Re: logical paradoxes Traveler (08/17/04)
      • Re: logical paradoxes patty (08/17/04)
      • Re: logical paradoxes Traveler (08/18/04)
      • Re: logical paradoxes patty (08/18/04)
      • Re: logical paradoxes Traveler (08/18/04)
      • Re: logical paradoxes Kenneth Doyle (08/18/04)
      • Re: logical paradoxes Traveler (08/19/04)
      • Re: logical paradoxes Kenneth Doyle (08/19/04)
      • Re: logical paradoxes patty (08/19/04)
      • Re: logical paradoxes Kenneth Doyle (08/19/04)
      • Re: logical paradoxes Acme Diagnostics (08/19/04)
      • Re: logical paradoxes Kenneth Doyle (08/19/04)
      • Re: logical paradoxes Acme Diagnostics (08/19/04)
      • Re: logical paradoxes Kenneth Doyle (08/20/04)
      • Re: logical paradoxes Acme Diagnostics (08/20/04)
      • Re: logical paradoxes Kenneth Doyle (08/22/04)
      • Re: logical paradoxes Acme Diagnostics (08/23/04)
      • Re: logical paradoxes Acid Pooh (08/24/04)
      • Re: logical paradoxes Traveler (08/23/04)
      • Re: logical paradoxes Acme Diagnostics (08/24/04)
      • Re: logical paradoxes Traveler (08/24/04)
      • Re: logical paradoxes Acme Diagnostics (08/24/04)
    • Re: logical paradoxes Acid Pooh (08/18/04)
      • Re: logical paradoxes Traveler (08/18/04)
      • Re: logical paradoxes Acid Pooh (08/18/04)
      • Re: logical paradoxes Traveler (08/18/04)
    • Re: logical paradoxes Tim Mellor (08/19/04)
  • Re: logical paradoxes Barb Knox (08/17/04)
    • Re: logical paradoxes George Greene (08/17/04)
      • Re: logical paradoxes Barb Knox (08/18/04)
    • Re: logical paradoxes patty (08/17/04)
    • Re: logical paradoxes Lester Zick (08/17/04)
    • Re: logical paradoxes Jeffrey Ketland (08/17/04)
      • Re: logical paradoxes JXStern (08/17/04)
      • Re: logical paradoxes Jeffrey Ketland (08/18/04)
      • Re: logical paradoxes JXStern (08/18/04)
      • Re: logical paradoxes Jeffrey Ketland (08/18/04)
      • Re: logical paradoxes Wolf Kirchmeir (08/18/04)
      • Re: logical paradoxes Jeffrey Ketland (08/18/04)
• |- and |= for formulas with free variables: Why two conventions? tchow_at_lsa.umich.edu (08/17/04)
  • Re: |- and |= for formulas with free variables: Why two conventions? George Greene (08/17/04)
  • Re: |- and |= for formulas with free variables: Why two conventions? H. Enderton (08/18/04)
    • Re: |- and |= for formulas with free variables: Why two conventions? tchow_at_lsa.umich.edu (08/18/04)
    • Re: |- and |= for formulas with free variables: Why two conventions? Acid Pooh (08/18/04)
    • Re: |- and |= for formulas with free variables: Why two conventions? Acid Pooh (08/19/04)
  • Re: |- and |= for formulas with free variables: Why two conventions? George Greene (08/18/04)
    • Re: |- and |= for formulas with free variables: Why two conventions? tchow_at_lsa.umich.edu (08/18/04)
• New Release of DC Proof 1.0 Freeware Dan Christensen (08/17/04)
  • Re: New Release of DC Proof 1.0 Freeware G. Frege (08/17/04)
    • Re: New Release of DC Proof 1.0 Freeware G. Frege (08/17/04)
      • Re: New Release of DC Proof 1.0 Freeware Dan Christensen (08/17/04)
• John the Baptist cave found and near proof of their "terrorism" Archimedes Plutonium (08/16/04)
• Troll 1, Usenet 0 Kent Paul Dolan (08/16/04)
  • Re: Troll 1, Usenet 0 newstome_at_comcast.net (08/16/04)
    • Re: Troll 1, Usenet 0 George Greene (08/16/04)
    • Re: Troll 1, Usenet 0 Jamie Andrews; real address _at_ bottom of message (08/16/04)
      • Re: Troll 1, Usenet 0 Daryl McCullough (08/16/04)
      • Re: Troll 1, Usenet 0 Kent Paul Dolan (08/16/04)
      • Re: Troll 1, Usenet 0 Ken Pledger (08/16/04)
      • [PO] Re: Troll 1, Usenet 0 Marc Goodman (08/16/04)
      • Re: Troll 1, Usenet 0 G. Frege (08/16/04)
      • Re: Troll 1, Usenet 0 edens rand mair fheal greykitten tomys des anges (08/16/04)
      • Dungeon! A Dungeon! (Was: Re: Troll 1, Usenet 0) Simon G Best (08/16/04)
      • Re: Dungeon! A Dungeon! (Was: Re: Troll 1, Usenet 0) Steve Young (08/17/04)
      • Re: Dungeon! A Dungeon! (Was: Re: Troll 1, Usenet 0) Lisa Horton (08/17/04)
      • Re: Dungeon! A Dungeon! (Was: Re: Troll 1, Usenet 0) Steve Young (08/17/04)
      • Re: Dungeon! A Dungeon! (Was: Re: Troll 1, Usenet 0) Unitizens Reusenetted (08/23/04)
      • Re: Dungeon! A Dungeon! (Was: Re: Troll 1, Usenet 0) Steve Young (08/23/04)
      • Re: Dungeon! A Dungeon! (Was: Re: Troll 1, Usenet 0) Steve Young (08/23/04)
      • Re: Dungeon! A Dungeon! (Was: Re: Troll 1, Usenet 0) >parr\(*> (08/17/04)
      • Re: Dungeon! A Dungeon! (Was: Re: Troll 1, Usenet 0) Steve Young (08/17/04)
      • Listen up, FUCKWADS!! Slappy McSpedly (08/28/04)
      • Re: Listen up, FUCKWADS!! shinakaidah (08/28/04)
      • Re: Listen up, FUCKWADS!! Kent Paul Dolan (08/28/04)
      • Re: Dungeon! A Dungeon! (Was: Re: Troll 1, Usenet 0) Steve Young (08/18/04)
      • Re: Dungeon! A Dungeon! (Was: Re: Troll 1, Usenet 0) Proprclr (08/19/04)
      • Re: Troll 1, Usenet 0 George Greene (08/16/04)
    • Re: Troll 1, Usenet 0 G. Frege (08/16/04)
    • Re: Troll 1, Usenet 0 r.e.s. (08/16/04)
      • Re: Troll 1, Usenet 0 edens rand mair fheal greykitten tomys des anges (08/16/04)
    • Re: Troll 1, Usenet 0 Kent Paul Dolan (08/16/04)
      • Re: Troll 1, Usenet 0 G. Frege (08/16/04)
      • Re: Troll 1, Usenet 0 Barb Knox (08/17/04)
• Mutual constitutivity (?) Tron Furu (08/16/04)
  • Re: Mutual constitutivity (?) William Elliot (08/16/04)
  • Re: Mutual constitutivity (?) Acid Pooh (08/16/04)
  • Re: Mutual constitutivity (?) Ken Pledger (08/16/04)
  • Re: Mutual constitutivity (?) Tron Furu (08/16/04)
    • Re: Mutual constitutivity (?) G. Frege (08/16/04)
      • Re: Mutual constitutivity (?) Tron Furu (08/17/04)
      • Re: Mutual constitutivity (?) William Elliot (08/17/04)
• Re: THE ED CONRAD TEST... Ed Conrad (08/16/04)
• IT'S 1950 ALL OVER AGAIN - Velikovsky Ed Conrad (08/15/04)
• real language George Greene (08/15/04)
  • Re: real language Aatu Koskensilta (08/16/04)
  • Re: real language H. Enderton (08/16/04)
• Can returning a value change the value itself (in the Halting Problem) Peter Olcott (08/15/04)
  • Re: Can returning a value change the value itself (in the Halting Problem) George Greene (08/15/04)
  • Re: Can returning a value change the value itself (in the Halting Problem) Simon G Best (08/15/04)
    • Re: Can returning a value change the value itself (in the Halting Problem) George Greene (08/15/04)
    • Re: Can returning a value change the value itself (in the Halting Problem) >parr\(*> (08/15/04)
      • Re: Can returning a value change the value itself (in the Halting Problem) Simon G Best (08/16/04)
      • Re: Can returning a value change the value itself (in the Halting Problem) >parr\(*> (08/16/04)
  • Re: Can returning a value change the value itself (in the Halting Problem) Will Twentyman (08/16/04)
    • Re: Can returning a value change the value itself (in the Halting Problem) Peter Olcott (08/18/04)
      • Re: Can returning a value change the value itself (in the Halting Problem) George Greene (08/18/04)
      • Re: Can returning a value change the value itself (in the Halting Problem) tom_usenet (08/18/04)
      • Re: Can returning a value change the value itself (in the Halting Problem) Peter Olcott (08/19/04)
      • Troll-weapon alert [was Can returning a value change the value itself (in the Halting Problem)] >parr\(*> (08/19/04)
      • Re: Can returning a value change the value itself (in the Halting Problem) George Greene (08/25/04)
      • Re: Can returning a value change the value itself (in the Halting Problem) George Greene (08/25/04)
      • Re: Can returning a value change the value itself (in the Halting Problem) tom_usenet (08/26/04)
      • Re: Can returning a value change the value itself (in the Halting Problem) Mitch Harris (08/18/04)
      • Re: Can returning a value change the value itself (in the Halting Problem) Peter Olcott (08/19/04)
      • Re: Can returning a value change the value itself (in the Halting Problem) wgempel (08/18/04)
      • Re: Can returning a value change the value itself (in the Halting Problem) >parr\(*> (08/18/04)
      • Re: Can returning a value change the value itself (in the Halting Problem) stephen_at_nomail.com (08/19/04)
      • Church-Turing thesis - can it be proved? [was Re: Can returning a value change the value itself (in the Halting Problem)] >parr\(*> (08/19/04)
      • Re: Can returning a value change the value itself (in the Halting Problem) wgempel (08/19/04)
      • Re: Can returning a value change the value itself (in the Halting Problem) >parr\(*> (08/19/04)
      • Re: Can returning a value change the value itself (in the Halting Problem) Peter Olcott (08/19/04)
      • Re: Proving a negative is hard Mitch Harris (08/19/04)
      • Re: Proving a negative is hard Peter Olcott (08/19/04)
      • Re: Proving a negative is hard Mitch Harris (08/19/04)
      • Re: Proving a negative is hard Peter Olcott (08/19/04)
      • Re: Proving a negative is hard Mitch Harris (08/19/04)
      • Re: Proving a negative is hard Peter Olcott (08/20/04)
      • Re: [PO] Proving a negative is hard Mitch Harris (08/20/04)
      • Re: [PO] Proving a negative is hard Peter Olcott (08/22/04)
      • Re: [PO] Proving a negative is hard Robert Low (08/22/04)
      • Re: [PO] Proving a negative is hard Peter Olcott (08/23/04)
      • Re: [PO] Proving a negative is hard Simon G Best (08/23/04)
      • Re: [PO] Proving a negative is hard Peter Olcott (08/24/04)
      • Re: [PO] Proving a negative is hard Simon G Best (08/24/04)
      • Re: [PO] Proving a negative is hard >parr\(*> (08/23/04)
      • Re: [PO] Proving a negative is hard Simon G Best (08/23/04)
      • Re: [PO] Proving a negative is hard >parr\(*> (08/23/04)
      • Re: [PO] Proving a negative is hard Simon G Best (08/24/04)
      • Re: [PO] Proving a negative is hard Robert Low (08/24/04)
      • Re: [PO] Proving a negative is hard Peter Olcott (08/24/04)
      • Re: [PO] Proving a negative is hard Simon G Best (08/24/04)
      • Re: [PO] Proving a negative is hard >parr\(*> (08/24/04)
      • Re: [PO] Proving a negative is hard your weight in hell (08/25/04)