sci.logic
By Date

2513 messages sorted by: [ thread ]

Starting: 05/31/04
Ending: 06/30/04

Re: Alan Turings halting proof is incorrectly formed PT Herc Anonymous (06/30/04)
Re: Alan Turings halting proof is incorrectly formed PT Herc Anonymous (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) David C. Ullrich (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/30/04)
Re: The Psychology of Responding to Crackpots Jonathan Carter (06/30/04)
Re: Peter Olcott's Source of Confusion David C. Ullrich (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/30/04)
Re: Peter Olcott's Source of Confusion David C. Ullrich (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/30/04)
Re: Speaking of halting in C++ ... Kenneth Doyle (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Daryl McCullough (06/30/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? Barb Knox (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/30/04)
Re: Peter Olcott's Source of Confusion Peter Olcott (06/30/04)
Re: Peter Olcott's Source of Confusion Peter Olcott (06/30/04)
Re: Peter Olcott's Source of Confusion Peter Olcott (06/30/04)
Re: The Psychology of Responding to Crackpots Charlie-Boo (06/30/04)
Re: abstract model theory Anders Goeransson (06/30/04)
Re: abstract model theory Aatu Koskensilta (06/30/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? Aatu Koskensilta (06/30/04)
abstract model theory Anders Goeransson (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) David C. Ullrich (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) David C. Ullrich (06/30/04)
Re: Peter Olcott's Source of Confusion Acid Pooh (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) David C. Ullrich (06/30/04)
Incredible Result from Olcott-Reasoning Bryan Olson (06/30/04)
Re: Peter Olcott's Source of Confusion David C. Ullrich (06/30/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Eray Ozkural exa (06/30/04)
Re: Peter Olcott's Source of Confusion David C. Ullrich (06/30/04)
Re: Logic question - distributing forall and exists over each other? William Elliot (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Bryan Olson (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Mitch Harris (06/30/04)
Re: The Psychology of Self-Reference ZZBunker (06/30/04)
Logic question - distributing forall and exists over each other? Malcohol (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Bryan Olson (06/30/04)
Re: Hey Teddy Azito, you are in awe about CMU Professors? Karl Johanson (06/30/04)
Re: Peter Olcott's Source of Confusion Barb Knox (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/30/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Dave Seaman (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/30/04)
Re: Peter Olcott's Source of Confusion Peter Olcott (06/30/04)
Re: Peter Olcott's Source of Confusion Peter Olcott (06/30/04)
Re: Peter Olcott's Source of Confusion Peter Olcott (06/30/04)
Re: Peter Olcott's Source of Confusion Peter Olcott (06/30/04)
Re: Commercial Applications of Logic Barb Knox (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Bryan Olson (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Bryan Olson (06/30/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? Pierre Asselin (06/30/04)
Re: Infinity does exist? |-|erc (06/30/04)
Commercial Applications of Logic David Johnson (06/30/04)
Re: limitation to induction on finite bounds |-|erc (06/30/04)
Re: The Psychology of Responding to Crackpots Tom Breton (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Daryl McCullough (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Daryl McCullough (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Daryl McCullough (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Daryl McCullough (06/30/04)
Speaking of halting in C++ ... Kenneth Doyle (06/30/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? Acid Pooh (06/30/04)
Re: limitation to induction on finite bounds |-|erc (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Daryl McCullough (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Daryl McCullough (06/30/04)
Re: The Psychology of Responding to Crackpots Acid Pooh (06/30/04)
Re: Alan Turings halting proof is incorrectly formed PT Herc |-|erc (06/30/04)
Re: New Zealand's Yoko Site Barb Knox (06/30/04)
Re: Alan Turings halting proof is incorrectly formed PT Herc |-|erc (06/30/04)
Re: Peter Olcott's Source of Confusion Acid Pooh (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/30/04)
Re: The Psychology of Responding to Crackpots |-|erc (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/30/04)
Re: The Psychology of Responding to Crackpots Barb Knox (06/30/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Daryl McCullough (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/29/04)
Re: Peter Olcott's Source of Confusion Daryl McCullough (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) stephen_at_nomail.com (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/29/04)
Re: Peter Olcott's Source of Confusion Daryl McCullough (06/29/04)
Re: Peter Olcott's Source of Confusion G. Frege (06/29/04)
Re: Peter Olcott's Source of Confusion G. Frege (06/29/04)
Re: Peter Olcott's Source of Confusion Peter Olcott (06/29/04)
Re: Peter Olcott's Source of Confusion Peter Olcott (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Eray Ozkural exa (06/29/04)
Re: Peter Olcott's Source of Confusion Peter Olcott (06/29/04)
Re: Peter Olcott's Source of Confusion Peter Olcott (06/29/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? G. Frege (06/29/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? G. Frege (06/29/04)
Re: The Psychology of Responding to Crackpots David C. Ullrich (06/29/04)
Re: The Psychology of Responding to Crackpots Chris Menzel (06/29/04)
Re: The Psychology of Responding to Crackpots Daryl McCullough (06/29/04)
Re: The Psychology of Responding to Crackpots Charlie-Boo (06/29/04)
Re: The Psychology of Responding to Crackpots Acme Diagnostics (06/29/04)
Re: Humble pie. Arturo Magidin (06/29/04)
Re: Humble pie. Arturo Magidin (06/29/04)
Re: Humble pie. Arturo Magidin (06/29/04)
Re: The Psychology of Responding to Crackpots Daryl McCullough (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) George Greene (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) George Greene (06/29/04)
Re: Humble pie. Will Twentyman (06/29/04)
Re: The Psychology of Responding to Crackpots David C. Ullrich (06/29/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? G. Frege (06/29/04)
Re: The Psychology of Responding to Crackpots Will Twentyman (06/29/04)
Re: limitation to induction on finite bounds Will Twentyman (06/29/04)
Re: Peter Olcott's Source of Confusion Paul Holbach (06/29/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? G. Frege (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) George Greene (06/29/04)
Re: Peter Olcott's Source of Confusion George Greene (06/29/04)
Re: Humble pie. Andrew (06/29/04)
Re: The Psychology of Responding to Crackpots Chairman of the Ozzy Osbourne Appreciation Society (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) George Greene (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) George Greene (06/29/04)
Re: Alan Turings halting proof is incorrectly formed PT Herc Kevin Stern (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Acid Pooh (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) George Greene (06/29/04)
Re: The Psychology of Responding to Crackpots George Greene (06/29/04)
Re: Humble pie. Andrew (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) George Greene (06/29/04)
New Zealand's Yoko Site Cobaltstr (06/29/04)
Re: limitation to induction on finite bounds Garry Denke (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Chris Menzel (06/29/04)
Re: Alan Turings halting proof is incorrectly formed PT Herc Chris Menzel (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) stephen_at_nomail.com (06/29/04)
Re: Alan Turings halting proof is incorrectly formed PT Herc The Ghost In The Machine (06/29/04)
Re: The Psychology of Responding to Crackpots The Ghost In The Machine (06/29/04)
Re: limitation to induction on finite bounds The Ghost In The Machine (06/29/04)
Re: limitation to induction on finite bounds The Ghost In The Machine (06/29/04)
Re: Alan Turings halting proof is incorrectly formed PT Herc The Ghost In The Machine (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Eray Ozkural exa (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Mitch Harris (06/29/04)
Re: Immortality and the size of your head Barbara Schwarz (06/29/04)
Re: Immortality and the size of your head Barbara Schwarz (06/29/04)
Re: The Psychology of Responding to Crackpots Daryl McCullough (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) stephen_at_nomail.com (06/29/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? David C. Ullrich (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Daryl McCullough (06/29/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Charlie-Boo (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Stephan Lehmke (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Stephan Lehmke (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Stephan Lehmke (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Stephan Lehmke (06/29/04)
Re: The Psychology of Responding to Crackpots Daryl McCullough (06/29/04)
Re: limitation to induction on finite bounds Ellis Dees (06/29/04)
Re: The Psychology of Responding to Crackpots Tron Furu (06/29/04)
Re: The Psychology of Responding to Crackpots Aatu Koskensilta (06/29/04)
Re: The Psychology of Responding to Crackpots Charlie-Boo (06/29/04)
Re: Peter Olcott's Source of Confusion G. Frege (06/29/04)
Re: Alan Turings halting proof is incorrectly formed PT Herc |-|erc (06/29/04)
Re: The Psychology of Responding to Crackpots Tron Furu (06/29/04)
Re: The Psychology of Responding to Crackpots Tron Furu (06/29/04)
Re: The Psychology of Responding to Crackpots Aatu Koskensilta (06/29/04)
Re: Alan Turings halting proof is incorrectly formed PT Herc David C. Ullrich (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) David C. Ullrich (06/29/04)
Re: Peter Olcott's Source of Confusion David C. Ullrich (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/29/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? Aatu Koskensilta (06/29/04)
Re: Peter Olcott's Source of Confusion Peter Olcott (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/29/04)
Re: Hey Teddy Azito, you are in awe about CMU Professors? Cardinal Chunder (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/29/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? David C. Ullrich (06/29/04)
Re: The Psychology of Responding to Crackpots Tron Furu (06/29/04)
Re: The Psychology of Self-Reference |-|erc (06/29/04)
Re: The Psychology of Responding to Crackpots |-|erc (06/29/04)
Re: limitation to induction on finite bounds |-|erc (06/29/04)
Re: Harassed by remote voice to skull. Yikes! |-|erc (06/29/04)
Re: Alan Turings halting proof is incorrectly formed PT Herc |-|erc (06/29/04)
Re: Alan Turings halting proof is incorrectly formed PT Herc |-|erc (06/29/04)
Re: The Psychology of Responding to Crackpots Kenneth Doyle (06/29/04)
Re: The Psychology of Responding to Crackpots Acid Pooh (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Acid Pooh (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Mitch Harris (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Sander Bruggink (06/29/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? Aatu Koskensilta (06/29/04)
Re: limitation to induction on finite bounds |-|erc (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Aatu Koskensilta (06/29/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? Aatu Koskensilta (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Sander Bruggink (06/29/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? Aatu Koskensilta (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Sander Bruggink (06/29/04)
Re: limitation to induction on finite bounds The Ghost In The Machine (06/29/04)
Re: limitation to induction on finite bounds The Ghost In The Machine (06/29/04)
Re: Immortality and the size of your head John Baker (06/29/04)
Re: Immortality and the size of your head John Baker (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Acid Pooh (06/29/04)
Re: Exception to the rule? (Tarski�s T-scheme) Jeffrey Ketland (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Bryan Olson (06/29/04)
Re: Exception to the rule? (Tarski�s T-scheme) Paul Holbach (06/29/04)
Re: Exception to the rule? (Tarski�s T-scheme) Paul Holbach (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Bryan Olson (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Daryl McCullough (06/29/04)
Re: Peter Olcott's Source of Confusion Acid Pooh (06/29/04)
Re: Immortality and the size of your head William Elliot (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) stephen_at_nomail.com (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Bryan Olson (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Bryan Olson (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Chris Menzel (06/29/04)
Re: Alan Turings halting proof is incorrectly formed PT Herc Chris Menzel (06/29/04)
Re: limitation to induction on finite bounds The Ghost In The Machine (06/29/04)
Re: Alan Turings halting proof is incorrectly formed PT Herc The Ghost In The Machine (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Chris Menzel (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Daryl McCullough (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Daryl McCullough (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Kenneth Doyle (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Kenneth Doyle (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Acid Pooh (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/29/04)
Re: What's the Best Logic of Relations Primer? Charlie-Boo (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Bryan Olson (06/29/04)
Re: Humble pie. Will Twentyman (06/29/04)
Re: limitation to induction on finite bounds Will Twentyman (06/29/04)
Re: The Psychology of Responding to Crackpots Kenneth Doyle (06/29/04)
Re: Exception to the rule? (Tarski�s T-scheme) Tom Breton (06/29/04)
Re: The Psychology of Responding to Crackpots G. Frege (06/29/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? G. Frege (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Daryl McCullough (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) stephen_at_nomail.com (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Daryl McCullough (06/29/04)
The Psychology of Responding to Crackpots Daryl McCullough (06/29/04)
Re: limitation to induction on finite bounds |-|erc (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Kenneth Doyle (06/29/04)
Re: limitation to induction on finite bounds |-|erc (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/29/04)
Re: limitation to induction on finite bounds Will Twentyman (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/29/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? Acid Pooh (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/29/04)
Re: limitation to induction on finite bounds |-|erc (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) stephen_at_nomail.com (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/29/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/29/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/28/04)
Re: Alan Turings halting proof is incorrectly formed PT Herc |-|erc (06/28/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Acid Pooh (06/28/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/28/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/28/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/28/04)
Re: Peter Olcott's Source of Confusion Peter Olcott (06/28/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Kenneth Doyle (06/28/04)
Re: Peter Olcott's Source of Confusion Peter Olcott (06/28/04)
Re: Who blows the whistle is being discredited Barbara Schwarz (06/28/04)
Re: Hey Teddy Azito, you are in awe about CMU Professors? Barbara Schwarz (06/28/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/28/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/28/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? G. Frege (06/28/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? G. Frege (06/28/04)
Re: Humble pie. Arturo Magidin (06/28/04)
Re: Exception to the rule? (Tarski�s T-scheme) Jeffrey Ketland (06/28/04)
Re: Immortality and the size of your head Barbara Schwarz (06/28/04)
Re: Immortality and the size of your head Barbara Schwarz (06/28/04)
Re: Immortality and the size of your head Barbara Schwarz (06/28/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) George Greene (06/28/04)
Re: Immortality and the size of your head Barbara Schwarz (06/28/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) George Greene (06/28/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) David C. Ullrich (06/28/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) George Greene (06/28/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? David C. Ullrich (06/28/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? David C. Ullrich (06/28/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Vlad (06/28/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Bryan Olson (06/28/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Eray Ozkural exa (06/28/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Chris Menzel (06/28/04)
Re: limitation to induction on finite bounds Ellis Dees (06/28/04)
Re: Exception to the rule? (Tarski�s T-scheme) Paul Holbach (06/28/04)
Re: deception sid myers (06/28/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? G. Frege (06/28/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? G. Frege (06/28/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? Aatu Koskensilta (06/28/04)
Re: Alan Turings halting proof is incorrectly formed PT Herc The Ghost In The Machine (06/28/04)
Re: limitation to induction on finite bounds The Ghost In The Machine (06/28/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) David C. Ullrich (06/28/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? David C. Ullrich (06/28/04)
Re: Harassed by remote voice to skull. Yikes! Ronald (06/28/04)
Re: Peter Olcott's Source of Confusion Daryl McCullough (06/28/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Daryl McCullough (06/28/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? Aatu Koskensilta (06/28/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Dave Seaman (06/28/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Dave Seaman (06/28/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/28/04)
Re: Peter Olcott's Source of Confusion Peter Olcott (06/28/04)
Re: Peter Olcott's Source of Confusion Peter Olcott (06/28/04)
Re: What's the Best Logic of Relations Primer? Greg Evans (06/28/04)
Re: Peter Olcott's Source of Confusion David C. Ullrich (06/28/04)
Re: What's the Best Logic of Relations Primer? Charlie-Boo (06/28/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/28/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/28/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Mitch Harris (06/28/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) David C. Ullrich (06/28/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) David C. Ullrich (06/28/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) David C. Ullrich (06/28/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/28/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Eray Ozkural exa (06/28/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Aatu Koskensilta (06/28/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Eray Ozkural exa (06/28/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Sander Bruggink (06/28/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Sander Bruggink (06/28/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Sander Bruggink (06/28/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Sander Bruggink (06/28/04)
Re: Alan Turings halting proof is incorrectly formed PT Herc Bryan Olson (06/28/04)
Re: Exists one and only one |-|erc (06/28/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Bryan Olson (06/28/04)
Re: What's the Best Logic of Relations Primer? Milton J. Smuthworthy, I (06/28/04)
Re: What's the Best Logic of Relations Primer? Milton J. Smuthworthy, I (06/28/04)
Re: limitation to induction on finite bounds |-|erc (06/28/04)
Re: limitation to induction on finite bounds |-|erc (06/28/04)
Alan Turings halting proof is incorrectly formed PT Herc |-|erc (06/28/04)
Re: Immortality and the size of your head William Elliot (06/28/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) stephen_at_nomail.com (06/28/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Eray Ozkural exa (06/28/04)
Re: Immortality and the size of your head Ted Azito (06/28/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Chris Menzel (06/28/04)
Re: limitation to induction on finite bounds The Ghost In The Machine (06/28/04)
Re: What's the Best Logic of Relations Primer? Mos (06/28/04)
Re: limitation to induction on finite bounds The Ghost In The Machine (06/28/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Bryan Olson (06/28/04)
Re: Immortality and the size of your head wbarwell (06/28/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Bryan Olson (06/28/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Dave Seaman (06/28/04)
I have pics of Bart Simpson masturbating Of (06/28/04)
Re: limitation to induction on finite bounds |-|erc (06/28/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Eray Ozkural exa (06/28/04)
Re: deception |-|erc (06/28/04)
Re: What's the Best Logic of Relations Primer? Greg Evans (06/28/04)
Re: Peter Olcott's Source of Confusion Barb Knox (06/28/04)
Re: limitation to induction on finite bounds Barb Knox (06/28/04)
Re: Exception to the rule? (Tarski�s T-scheme) Jeffrey Ketland (06/28/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) The Ghost In The Machine (06/28/04)
Re: What's the Best Logic of Relations Primer? Mos (06/27/04)
Re: limitation to induction on finite bounds |-|erc (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Dave Seaman (06/27/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Acid Pooh (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Dave Seaman (06/27/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/27/04)
Re: Peter Olcott's Source of Confusion Kenneth Doyle (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) stephen_at_nomail.com (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/27/04)
Re: The Psychology of Self-Reference Daryl McCullough (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/27/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Daryl McCullough (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Kenneth Doyle (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Mitch Harris (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/27/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/27/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Mitch Harris (06/27/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/27/04)
Re: What's the Best Logic of Relations Primer? Elisabeth M�ller (06/27/04)
Re: The Psychology of Self-Reference KRamsay (06/27/04)
Re: Immortality and the size of your head Fredric L. Rice (06/27/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Acid Pooh (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Dave Seaman (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Chris Menzel (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Dave Seaman (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Dave Seaman (06/27/04)
Peter Olcott's Source of Confusion Daryl McCullough (06/27/04)
Re: Exception to the rule? (Tarski�s T-scheme) Paul Holbach (06/27/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Daryl McCullough (06/27/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Daryl McCullough (06/27/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Daryl McCullough (06/27/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Daryl McCullough (06/27/04)
Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) Daryl McCullough (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) stephen_at_nomail.com (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Chris Menzel (06/27/04)
Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) stephen_at_nomail.com (06/27/04)
Re: limitation to induction on finite bounds The Ghost In The Machine (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Dave Seaman (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/27/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/27/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/27/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/27/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/27/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/27/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) David C. Ullrich (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) G. Frege (06/27/04)
Re: Exists one and only one G. Frege (06/27/04)
Re: Immortality and the size of your head Spacetraveler (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Eray Ozkural exa (06/27/04)
Re: deception |-|erc (06/27/04)
Re: Immortality and the size of your head William Elliot (06/27/04)
Re: limitation to induction on finite bounds |-|erc (06/27/04)
Re: limitation to induction on finite bounds |-|erc (06/27/04)
Re: limitation to induction on finite bounds The Ghost In The Machine (06/27/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Acid Pooh (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) stephen_at_nomail.com (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Chris Menzel (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Bryan Olson (06/27/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Bryan Olson (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Bryan Olson (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Bryan Olson (06/27/04)
Re: Why? Acid Pooh (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Dave Seaman (06/27/04)
Re: Immortality and the size of your head Fredric L. Rice (06/27/04)
Re: Zorn's lemma for families of subsets of a countable set Robert E. Beaudoin (06/27/04)
Re: limitation to induction on finite bounds Barb Knox (06/27/04)
Re: Exists one and only one Dan Christensen (06/27/04)
Re: Exists one and only one Paul Holbach (06/27/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Daryl McCullough (06/27/04)
Re: Exception to the rule? (Tarski�s T-scheme) Paul Holbach (06/27/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Daryl McCullough (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Dave Seaman (06/27/04)
Re: limitation to induction on finite bounds |-|erc (06/27/04)
Re: Hey Teddy Azito, you are in awe about CMU Professors? Karl Johanson (06/27/04)
Re: Exception to the rule? (Tarski�s T-scheme) Jeffrey Ketland (06/27/04)
Re: limitation to induction on finite bounds |-|erc (06/27/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) G. Frege (06/27/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Chairman of the Ozzy Osbourne Appreciation Society (06/27/04)
Re: limitation to induction on finite bounds Barb Knox (06/27/04)
Re: limitation to induction on finite bounds |-|erc (06/27/04)
Re: Exists one and only one G. Frege (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/27/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/26/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/26/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/26/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/26/04)
Re: Hey Teddy Azito, you are in awe about CMU Professors? Barbara Schwarz (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/26/04)
Immortality and the size of your head Barbara Schwarz (06/26/04)
Re: Is a socalled natural death really "natural"? Dave Bird (06/26/04)
Re: What's the Best Logic of Relations Primer? Larry Krzewinski (06/26/04)
Re: Exception to the rule? (Tarski�s T-scheme) Paul Holbach (06/26/04)
Re: Who blows the whistle is being discredited Karl Johanson (06/26/04)
Re: Hey Teddy Azito, you are in awe about CMU Professors? Karl Johanson (06/26/04)
Re: Why? N (06/26/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Daryl McCullough (06/26/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Daryl McCullough (06/26/04)
Re: Exception to the rule? (Tarski�s T-scheme) G. Frege (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Chris Menzel (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/26/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) David C. Ullrich (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Chris Menzel (06/26/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Chris Menzel (06/26/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/26/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/26/04)
Re: Exception to the rule? (Tarski�s T-scheme) Jeffrey Ketland (06/26/04)
Re: Hey Teddy Azito, you are in awe about CMU Professors? David Bandel (06/26/04)
Re: Exception to the rule? (Tarski�s T-scheme) Paul Holbach (06/26/04)
Re: Exception to the rule? (Tarski�s T-scheme) Paul Holbach (06/26/04)
Re: Exists one and only one D. Ghilbert (06/26/04)
Re: Exists one and only one G. Frege (06/26/04)
Re: Exists one and only one G. Frege (06/26/04)
Re: Exists one and only one David Bandel (06/26/04)
Re: The Psychology of Self-Reference Charlie-Boo (06/26/04)
Re: limitation to induction on finite bounds The Ghost In The Machine (06/26/04)
Re: limitation to induction on finite bounds The Ghost In The Machine (06/26/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Charlie-Boo (06/26/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) David C. Ullrich (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/26/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Daryl McCullough (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/26/04)
Re: What's the Best Logic of Relations Primer? Elisabeth M�ller (06/26/04)
Re: Exists one and only one Witt (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Dave Seaman (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/26/04)
Re: Exception to the rule? (Tarski�s T-scheme) Jeffrey Ketland (06/26/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/26/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/26/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) David C. Ullrich (06/26/04)
Re: Hey Teddy Azito, you are in awe about CMU Professors? Faxhor (06/26/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Daryl McCullough (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/26/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) David C. Ullrich (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/26/04)
Re: Exception to the rule? (Tarski�s T-scheme) Andrew Boucher (06/26/04)
Re: Exists one and only one Dan Christensen (06/26/04)
Re: Exists one and only one William Elliot (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/26/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Daryl McCullough (06/26/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/26/04)
Re: Hey Teddy Azito, you are in awe about CMU Professors? Karl Johanson (06/26/04)
Re: limitation to induction on finite bounds Martin Shobe (06/26/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Acid Pooh (06/26/04)
Exists one and only one David Bandel (06/26/04)
Re: Zorn's lemma for families of subsets of a countable set Butch Malahide (06/26/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Bryan Olson (06/26/04)
Re: Exception to the rule? (Tarski�s T-scheme) Jeffrey Ketland (06/26/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Daryl McCullough (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/25/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Daryl McCullough (06/25/04)
The Psychology of Self-Reference Daryl McCullough (06/25/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/25/04)
Re: Harassed by remote voice to skull. Yikes! |-|erc (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/25/04)
STT and Hilbert's epsilon? Kevin Grant (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/25/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/25/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/25/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/25/04)
Re: limitation to induction on finite bounds |-|erc (06/25/04)
Re: Exception to the rule? (Tarski's T-scheme) G. Frege (06/25/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Daryl McCullough (06/25/04)
Re: Exception to the rule? (Tarski's T-scheme) G. Frege (06/25/04)
Re: Exception to the rule? (Tarski�s T-scheme) Andrew Boucher (06/25/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Acid Pooh (06/25/04)
Re: Humble pie. Arturo Magidin (06/25/04)
Re: Harassed by remote voice to skull. Yikes! Barbara Schwarz (06/25/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Vlad (06/25/04)
Re: Humble pie. Arturo Magidin (06/25/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Charlie-Boo (06/25/04)
Re: Exception to the rule? (Tarski�s T-scheme) Jeffrey Ketland (06/25/04)
Re: Exception to the rule? (Tarski�s T-scheme) Jeffrey Ketland (06/25/04)
Re: limitation to induction on finite bounds The Ghost In The Machine (06/25/04)
Re: limitation to induction on finite bounds The Ghost In The Machine (06/25/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Charlie-Boo (06/25/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Mitch Harris (06/25/04)
Re: Exception to the rule? (Tarski�s T-scheme) Paul Holbach (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/25/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Daryl McCullough (06/25/04)
Re: Exception to the rule? (Tarski�s T-scheme) G. Frege (06/25/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Charlie-Boo (06/25/04)
Re: Harassed by remote voice to skull. Yikes! Ronald (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/25/04)
Re: deception William Elliot (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/25/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics David C. Ullrich (06/25/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Charlie-Boo (06/25/04)
Re: Exception to the rule? (Tarski�s T-scheme) Jeffrey Ketland (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Dave Seaman (06/25/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Charlie-Boo (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Sander Bruggink (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) G. Frege (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Eray Ozkural exa (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/25/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/25/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/25/04)
Re: limitation to induction on finite bounds Martin Shobe (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Kenneth Doyle (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/25/04)
Re: limitation to induction on finite bounds |-|erc (06/25/04)
Re: Zorn's lemma for families of subsets of a countable set Keith Ramsay (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Sander Bruggink (06/25/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Mitch Harris (06/25/04)
Re: limitation to induction on finite bounds The Ghost In The Machine (06/25/04)
Re: Exception to the rule? (Tarski�s T-scheme) Andrew Boucher (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Martin Shobe (06/25/04)
Re: Dr. Wilton Krogman 'wrote the book' Ed Conrad (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/25/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/25/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Acid Pooh (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/25/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Daryl McCullough (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/25/04)
Re: limitation to induction on finite bounds |-|erc (06/25/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Charlie-Boo (06/25/04)
Re: limitation to induction on finite bounds |-|erc (06/25/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/25/04)
Re: "Voice in your head technology" Curt West (06/24/04)
Re: deception Acid Pooh (06/24/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Charlie-Boo (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/24/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/24/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/24/04)
Re: Aleph nought is finite Will Twentyman (06/24/04)
Re: Aleph nought is finite Will Twentyman (06/24/04)
Re: Number of US Citizens at Suicide Risk due to SSRI Psych Drugs Barbara Schwarz (06/24/04)
What do you think about this professor, "Ted Azito"? Barbara Schwarz (06/24/04)
Re: Exception to the rule? (Tarski�s T-scheme) Jeffrey Ketland (06/24/04)
Hey Teddy Azito, you are in awe about CMU Professors? Barbara Schwarz (06/24/04)
Re: Aleph nought is finite Andrew (06/24/04)
Re: "Voice in your head technology" Barbara Schwarz (06/24/04)
Re: Aleph nought is finite Andrew (06/24/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Jesse F. Hughes (06/24/04)
Re: Aleph nought is finite Andrew (06/24/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Vlad (06/24/04)
Re: Aleph nought is finite Will Twentyman (06/24/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Jesse F. Hughes (06/24/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics David C. Ullrich (06/24/04)
Re: Aleph nought is finite Andrew (06/24/04)
Re: Aleph nought is finite Will Twentyman (06/24/04)
Re: Aleph nought is finite Leonard Blackburn (06/24/04)
Re: Aleph nought is finite Andrew (06/24/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Chairman of the Ozzy Osbourne Appreciation Society (06/24/04)
Re: Aleph nought is finite Andrew (06/24/04)
Re: Exception to the rule? (Tarski�s T-scheme) Paul Holbach (06/24/04)
Why? Charlie-Boo (06/24/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Charlie-Boo (06/24/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Acid Pooh (06/24/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Charlie-Boo (06/24/04)
Re: proof checker - problems David Bandel (06/24/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Charlie-Boo (06/24/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Charlie-Boo (06/24/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Jim Ferry (06/24/04)
Re: Aleph nought is finite Leonard Blackburn (06/24/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Mitch Harris (06/24/04)
Re: deception Jeffrey Ketland (06/24/04)
Re: Aleph nought is finite Will Twentyman (06/24/04)
Re: limitation to induction on finite bounds Will Twentyman (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Chairman of the Ozzy Osbourne Appreciation Society (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David Bernier (06/24/04)
Re: limitation to induction on finite bounds The Ghost In The Machine (06/24/04)
Re: limitation to induction on finite bounds The Ghost In The Machine (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) The Ghost In The Machine (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) The Ghost In The Machine (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/24/04)
Re: Aleph nought is finite Will Twentyman (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Aatu Koskensilta (06/24/04)
Re: limitation to induction on finite bounds |-|erc (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Aatu Koskensilta (06/24/04)
Re: limitation to induction on finite bounds Will Twentyman (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Aatu Koskensilta (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Aatu Koskensilta (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/24/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Daryl McCullough (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Aatu Koskensilta (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/24/04)
Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Aatu Koskensilta (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/24/04)
Re: The Parable of Cantor's Cobblers Andrew (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/24/04)
Re: Aleph nought is finite Andrew (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Sander Bruggink (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/24/04)
Re: Aleph nought is finite Andrew (06/24/04)
Re: limitation to induction on finite bounds |-|erc (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/24/04)
Re: Aleph nought is finite Will Twentyman (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/24/04)
Re: limitation to induction on finite bounds Will Twentyman (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Martin Shobe (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Aatu Koskensilta (06/24/04)
Re: Exception to the rule? (Tarski�s T-scheme) Jeffrey Ketland (06/24/04)
Re: Aleph nought is finite Andrew (06/24/04)
Re: Aleph nought is finite Andrew (06/24/04)
Re: deception William Elliot (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Aatu Koskensilta (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/24/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics David C. Ullrich (06/24/04)
Re: Zorn's lemma for families of subsets of a countable set David C. Ullrich (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Aatu Koskensilta (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) G. Frege (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/24/04)
Re: Exception to the rule? (Tarski�s T-scheme) G. Frege (06/24/04)
Re: Exception to the rule? (Tarski�s T-scheme) Jeffrey Ketland (06/24/04)
Re: Exception to the rule? (Tarski�s T-scheme) Jeffrey Ketland (06/24/04)
Re: Exception to the rule? (Tarski�s T-scheme) G. Frege (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Sander Bruggink (06/24/04)
Re: Exception to the rule? (Tarski�s T-scheme) Jeffrey Ketland (06/24/04)
Re: Exception to the rule? (Tarski�s T-scheme) G. Frege (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Aatu Koskensilta (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Aatu Koskensilta (06/24/04)
Re: Exception to the rule? (Tarski�s T-scheme) G. Frege (06/24/04)
Re: Exception to the rule? (Tarski�s T-scheme) G. Frege (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) G. Frege (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) G. Frege (06/24/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Charlie-Boo (06/24/04)
Re: deception Acid Pooh (06/24/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? William Elliot (06/24/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Acid Pooh (06/24/04)
Re: limitation to induction on finite bounds |-|erc (06/24/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Jesse F. Hughes (06/24/04)
Re: "Voice in your head technology" Faxhor (06/24/04)
Re: "Voice in your head technology" Faxhor (06/24/04)
Re: deception Bill Taylor (06/24/04)
Re: Zorn's lemma for families of subsets of a countable set Bill Taylor (06/24/04)
Re: Exception to the rule? (Tarski�s T-scheme) Paul Holbach (06/24/04)
Re: limitation to induction on finite bounds Barb Knox (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Jeffrey Ketland (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/24/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Charlie-Boo (06/24/04)
Re: "Voice in your head technology" Eric B. (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Alan Smaill (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/24/04)
Re: Zorn's lemma for families of subsets of a countable set Robert E. Beaudoin (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Alan Smaill (06/24/04)
Re: limitation to induction on finite bounds |-|erc (06/24/04)
Re: "Voice in your head technology" Curt West (06/24/04)
Re: deception |-|erc (06/24/04)
Re: Aleph nought is finite Pierre Asselin (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Chris Menzel (06/24/04)
Re: limitation to induction on finite bounds Will Twentyman (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) G. Frege (06/24/04)
Re: deception Acid Pooh (06/24/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Acid Pooh (06/24/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Acid Pooh (06/24/04)
Re: Can the deduction theorem be used recursively? Charlie-Boo (06/24/04)
Re: limitation to induction on finite bounds |-|erc (06/24/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/23/04)
Why? N (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/23/04)
Re: Significance of Godel's Incompleteness Theorem Jeffrey Ketland (06/23/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Charlie-Boo (06/23/04)
Re: Cantor's Donut Paradox Leonard Blackburn (06/23/04)
Re: "Voice in your head technology" Eric B. (06/23/04)
Re: Aleph nought is finite Leonard Blackburn (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Eray Ozkural exa (06/23/04)
Re: Significance of Godel's Incompleteness Theorem Chris Menzel (06/23/04)
Re: Exception to the rule? (Tarski�s T-scheme) Jeffrey Ketland (06/23/04)
Re: Significance of Godel's Incompleteness Theorem Jeffrey Ketland (06/23/04)
Re: "Voice in your head technology" Curt West (06/23/04)
Re: "Voice in your head technology" Barbara Schwarz (06/23/04)
Re: "Voice in your head technology" Barbara Schwarz (06/23/04)
Re: Aleph nought is finite Will Twentyman (06/23/04)
Re: "Voice in your head technology" Curt West (06/23/04)
Re: "Voice in your head technology" Faxhor (06/23/04)
Re: Significance of Godel's Incompleteness Theorem Torkel Franzen (06/23/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Jesse F. Hughes (06/23/04)
Re: Aleph nought is finite Andrew (06/23/04)
Re: Aleph nought is finite George Greene (06/23/04)
Re: The Parable of Cantor's Cobblers Neil W Rickert (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed George Greene (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed George Greene (06/23/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Charlie-Boo (06/23/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Acid Pooh (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Chris Menzel (06/23/04)
Re: Exception to the rule? (Tarski�s T-scheme) Acid Pooh (06/23/04)
Re: Exception to the rule? (Tarski�s T-scheme) Jeffrey Ketland (06/23/04)
Re: Cantor's Donut Paradox Andrew (06/23/04)
Re: Cantor's Donut Paradox Andrew (06/23/04)
Re: The Parable of Cantor's Cobblers Andrew (06/23/04)
Re: Aleph nought is finite Leonard Blackburn (06/23/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics G. Frege (06/23/04)
Re: Exception to the rule? (Tarski�s T-scheme) Paul Holbach (06/23/04)
Re: deception Charlie-Boo (06/23/04)
Re: Exception to the rule? (Tarski�s T-scheme) Paul Holbach (06/23/04)
Re: Exception to the rule? (Tarski�s T-scheme) Paul Holbach (06/23/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Charlie-Boo (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Aatu Koskensilta (06/23/04)
Re: limitation to induction on finite bounds Will Twentyman (06/23/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Dave Seaman (06/23/04)
Re: limitation to induction on finite bounds |-|erc (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/23/04)
Re: limitation to induction on finite bounds The Ghost In The Machine (06/23/04)
Re: Zorn's lemma for families of subsets of a countable set A N Niel (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/23/04)
Re: Zorn's lemma for families of subsets of a countable set David C. Ullrich (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Martin Shobe (06/23/04)
Re: Zorn's lemma for families of subsets of a countable set David C. Ullrich (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/23/04)
Re: Zorn's lemma for families of subsets of a countable set BCAL (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/23/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? David C. Ullrich (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Sander Bruggink (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/23/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics David Kastrup (06/23/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Charlie-Boo (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Sander Bruggink (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Sander Bruggink (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Sander Bruggink (06/23/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? Adam Megacz (06/23/04)
Re: Exception to the rule? (Tarski´s T-scheme) Aatu Koskensilta (06/23/04)
Zorn's lemma for families of subsets of a countable set Keith Ramsay (06/23/04)
Re: "Voice in your head technology" Curt West (06/23/04)
Re: "Voice in your head technology" Faxhor (06/23/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? William Elliot (06/23/04)
Re: limitation to induction on finite bounds |-|erc (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/23/04)
Re: Significance of Godel's Incompleteness Theorem Chris Menzel (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) |-|erc (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Chris Menzel (06/23/04)
Re: Exception to the rule? (Tarski´s T-scheme) Acid Pooh (06/23/04)
Re: misplaced priorities in science analogous to USA political misplaced priorities; Chimp genome mapping Bob (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Acid Pooh (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Barb Knox (06/23/04)
Re: Aleph nought is finite Yarden Katz (06/23/04)
Re: deception Acid Pooh (06/23/04)
Re: Significance of Godel's Incompleteness Theorem Acid Pooh (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/23/04)
Re: "Voice in your head technology" Johnny (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Chris Menzel (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Barb Knox (06/23/04)
Re: little help here |-|erc (06/23/04)
Re: deception |-|erc (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Barb Knox (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Barb Knox (06/23/04)
Re: deception Charlie-Boo (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/23/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Acid Pooh (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/23/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? Adam Megacz (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/23/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/22/04)
Re: Exception to the rule? (Tarski�s T-scheme) Jeffrey Ketland (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/22/04)
Re: Exception to the rule? (Tarski�s T-scheme) Paul Holbach (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/22/04)
Re: Significance of Godel's Incompleteness Theorem Chris Menzel (06/22/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Charlie-Boo (06/22/04)
Re: Barbara Schwarz reveals shocking news! Barbara Schwarz (06/22/04)
Re: Significance of Godel's Incompleteness Theorem George Greene (06/22/04)
Re: Significance of Godel's Incompleteness Theorem George Greene (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Chris Menzel (06/22/04)
Re: Exception to the rule? (Tarski�s T-scheme) George Greene (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) David C. Ullrich (06/22/04)
Re: Significance of Godel's Incompleteness Theorem Chris Menzel (06/22/04)
Re: deception Will Twentyman (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Acid Pooh (06/22/04)
Re: Aleph nought is finite Leonard Blackburn (06/22/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Jesse F. Hughes (06/22/04)
Re: Exception to the rule? (Tarski�s T-scheme) Jeffrey Ketland (06/22/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Charlie-Boo (06/22/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Charlie-Boo (06/22/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Charlie-Boo (06/22/04)
deception mergerpucker (06/22/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Charlie-Boo (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/22/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Charlie-Boo (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) The Ghost In The Machine (06/22/04)
Re: Refutation of Bertrand Russell's Barber Paradox Tron Furu (06/22/04)
Re: Refutation of Bertrand Russell's Barber Paradox Witt (06/22/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/22/04)
Re: Refutation of Bertrand Russell's Barber Paradox Tron Furu (06/22/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Chairman of the Ozzy Osbourne Appreciation Society (06/22/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed Sander Bruggink (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Martin Shobe (06/22/04)
Re: Peano and first order logic David C. Ullrich (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/22/04)
Re: Refutation of Bertrand Russell's Barber Paradox Tron Furu (06/22/04)
Re: Refutation of Bertrand Russell's Barber Paradox Tron Furu (06/22/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Jesse F. Hughes (06/22/04)
Re: Refutation of Bertrand Russell's Barber Paradox Witt (06/22/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Kent Paul Dolan (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/22/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Charlie-Boo (06/22/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Charlie-Boo (06/22/04)
Re: Significance of Godel's Incompleteness Theorem William Elliot (06/22/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? William Elliot (06/22/04)
Re: misplaced priorities in science analogous to USA political misplaced priorities; Chimp genome mapping Archimedes Plutonium (06/22/04)
Significance of Godel's Incompleteness Theorem Acid Pooh (06/22/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? Adam Megacz (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/22/04)
Re: Harassed by remote voice to skull. Yikes! |-|erc (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/22/04)
Re: Peano and first order logic Dan Christensen (06/22/04)
Barbara Schwarz reveals shocking news! Faxhor (06/22/04)
Re: proof checker - problems |-|erc (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed Chris Menzel (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed Chris Menzel (06/22/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? William Elliot (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/22/04)
Exception to the rule? (Tarski�s T-scheme) Paul Holbach (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Chris Menzel (06/22/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? Adam Megacz (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed Acid Pooh (06/22/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/21/04)
Re: Peano and first order logic Jeffrey Ketland (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/21/04)
Re: Aleph nought is finite Will Twentyman (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed Kenneth Doyle (06/21/04)
Not exactly a website on me, but .... Barbara Schwarz (06/21/04)
Re: Peano and first order logic Ken Pledger (06/21/04)
Re: Peano and first order logic G. Frege (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed G. Frege (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed G. Frege (06/21/04)
Aleph nought is finite Andrew (06/21/04)
Re: Goedel - interesting problem? Milton J. Smuthworthy, I (06/21/04)
Re: Cantor's Donut Paradox Will Twentyman (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed Paul Holbach (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed George Greene (06/21/04)
Re: Cantor's Donut Paradox George Greene (06/21/04)
Re: Peano and first order logic David C. Ullrich (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed Paul Holbach (06/21/04)
Re: Peano and first order logic Dan Christensen (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed George Greene (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Chris Menzel (06/21/04)
Re: The Parable of Cantor's Cobblers Will Twentyman (06/21/04)
Re: Cantor's Donut Paradox Leonard Blackburn (06/21/04)
Re: Cantor's Donut Paradox Will Twentyman (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Acid Pooh (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed Chris Menzel (06/21/04)
Re: Peano and first order logic G. Frege (06/21/04)
Re: limitation to induction on finite bounds Will Twentyman (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Daryl McCullough (06/21/04)
Re: Peano and first order logic Helmut Richter (06/21/04)
Re: Peano and first order logic Dan Christensen (06/21/04)
Re: Peano and first order logic Jon Haugsand (06/21/04)
Re: Peano and first order logic David C. Ullrich (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Sander Bruggink (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed Torkel Franzen (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Jon Haugsand (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/21/04)
Re: basic first-order model theory question. David C. Ullrich (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/21/04)
Peano and first order logic Jon Haugsand (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/21/04)
Re: Goedel - interesting problem? Torkel Franzen (06/21/04)
Re: basic first-order model theory question. Chairman of the Ozzy Osbourne Appreciation Society (06/21/04)
Re: limitation to induction on finite bounds The Ghost In The Machine (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed The Ghost In The Machine (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) The Ghost In The Machine (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed Kenneth Doyle (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/21/04)
Re: basic first-order model theory question. Yarden Katz (06/21/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Acid Pooh (06/21/04)
Re: Alan Turing's Halting Problem is incorrectly formed Acid Pooh (06/21/04)
Re: basic first-order model theory question. Chairman of the Ozzy Osbourne Appreciation Society (06/21/04)
Re: basic first-order model theory question. Yarden Katz (06/21/04)
Re: Run and hide you girls George Greene (06/20/04)
Re: Goedel - interesting problem? George Greene (06/20/04)
Re: <ping> Jim Burns: intensional predicates George Dance (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed George Greene (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) George Greene (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed Neil W Rickert (06/20/04)
Re: Goedel - interesting problem? Torkel Franzen (06/20/04)
Re: basic first-order model theory question. George Greene (06/20/04)
counting cycles George Greene (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/20/04)
"ill-formed" TM descriptions George Greene (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/20/04)
solved "problems" simply disappear George Greene (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) George Greene (06/20/04)
Re: Goedel - interesting problem? George Greene (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed George Greene (06/20/04)
Re: The Liar Paradox is merely an ill-formed statement Peter Olcott (06/20/04)
<ping Jim Burns> Sorry, my mistake George Dance (06/20/04)
<ping> Jim Burns: intensional predicates George Dance (06/20/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/20/04)
Re: Cantor's Donut Paradox Chairman of the Ozzy Osbourne Appreciation Society (06/20/04)
Re: Refutation of Bertrand Russell's Barber Paradox Witt (06/20/04)
Re: The Parable of Cantor's Cobblers Neil W Rickert (06/20/04)
Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/20/04)
Re: Bring Back the HP 15C Scientific Calculator Prai Jei (06/20/04)
Re: Bring Back the HP 15C Scientific Calculator Prai Jei (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/20/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? William Elliot (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/20/04)
Re: Cantor's Donut Paradox Andrew (06/20/04)
Re: Cantor's Donut Paradox Andrew (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/20/04)
Re: Cantor's Donut Paradox Andrew (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/20/04)
The Parable of Cantor's Cobblers Andrew (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/20/04)
Re: limitation to induction on finite bounds Barb Knox (06/20/04)
Re: basic first-order model theory question. David C. Ullrich (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Barb Knox (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Acid Pooh (06/20/04)
Re: basic first-order model theory question. Acid Pooh (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/20/04)
Re: Psychs and hidden and secretly funded mindcontrol Acid Pooh (06/20/04)
Re: Alan Turing's Halting Problem is incorrectly formed G. Frege (06/19/04)
Why patients want to marry the psych Barbara Schwarz (06/19/04)
Re: Alan Turing's Halting Problem is incorrectly formed Jeffrey Ketland (06/19/04)
Re: Alan Turing's Halting Problem is incorrectly formed Jeffrey Ketland (06/19/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/19/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/19/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/19/04)
Re: Harassed by remote voice to skull. Yikes! Barbara Schwarz (06/19/04)
Re: Harassed by remote voice to skull. Yikes! Barbara Schwarz (06/19/04)
Re: Harassed by remote voice to skull. Yikes! Barbara Schwarz (06/19/04)
basic first-order model theory question. Yarden Katz (06/19/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/19/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/19/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/19/04)
Re: Two components of a Universal Turing Machine Yarden Katz (06/19/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? Pierre Asselin (06/19/04)
Re: Run and hide you girls namducnguyen (06/19/04)
Re: Harassed by remote voice to skull. Yikes! Ronald (06/19/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/19/04)
Re: proof checker - problems G. Frege (06/19/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/19/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/19/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/19/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/19/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/19/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/19/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/19/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/19/04)
Re: misplaced priorities in science analogous to USA political misplaced priorities; Chimp genome mapping Donald Forsdyke (06/19/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Acid Pooh (06/19/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/19/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/19/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/19/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/19/04)
Re: Goedel - interesting problem? Torkel Franzen (06/19/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/19/04)
Re: Harassed by remote voice to skull. Yikes! Rev. 11D Meow! (06/19/04)
Re: Psychs and hidden and secretly funded mindcontrol William Elliot (06/19/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? William Elliot (06/19/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Chris Menzel (06/19/04)
Re: Is a socalled natural death really "natural"? Ted Azito (06/19/04)
Re: Alan Turing's Halting Problem is incorrectly formed Chris Menzel (06/19/04)
On The Closure of A Sets Containing A Cauchy Sequence By Including Its Limit The Ghost In The Machine (06/19/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/19/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/19/04)
Re: Harassed by remote voice to skull. Yikes! Michael Gray (06/19/04)
Re: Goedel - interesting problem? Jeffrey Ketland (06/19/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Barb Knox (06/19/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/18/04)
Re: little help here William Tasso (06/18/04)
Re: little help here Ange (06/18/04)
Re: little help here Ange (06/18/04)
Re: Psychs and hidden and secretly funded mindcontrol Acid Pooh (06/18/04)
Re: Bring Back the HP 15C Scientific Calculator fkasner (06/18/04)
Re: Psychs and hidden and secretly funded mindcontrol Barbara Schwarz (06/18/04)
Re: Psychs and hidden and secretly funded mindcontrol Barbara Schwarz (06/18/04)
Re: Harassed by remote voice to skull. Yikes! Barbara Schwarz (06/18/04)
Re: Harassed by remote voice to skull. Yikes! Barbara Schwarz (06/18/04)
Re: Harassed by remote voice to skull. Yikes! Barbara Schwarz (06/18/04)
AbuGhraib; Sadism runs rampant in US military and Rumsfeld should have started to solve sadism at the start of his tenure Archimedes Plutonium (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed George Greene (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed George Greene (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed George Greene (06/18/04)
Re: proof checker - problems Karl Pech (06/18/04)
Re: limitation to induction on finite bounds The Ghost In The Machine (06/18/04)
Re: limitation to induction on finite bounds The Ghost In The Machine (06/18/04)
Re: Cantor's Donut Paradox Leonard Blackburn (06/18/04)
Re: proof checker - problems G. Frege (06/18/04)
Re: Goedel - interesting problem? Torkel Franzen (06/18/04)
Re: Goedel - interesting problem? George Greene (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed George Greene (06/18/04)
Re: proof checker - problems Dan Christensen (06/18/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/18/04)
Re: Harassed by remote voice to skull. Yikes! Michael Gray (06/18/04)
Re: Psychs and hidden and secretly funded mindcontrol William Elliot (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed The Ghost In The Machine (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed The Ghost In The Machine (06/18/04)
proof checker - problems Karl Pech (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/18/04)
Re: Harassed by remote voice to skull. Yikes! Ronald (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/18/04)
Re: little help here Peter Webb (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/18/04)
Re: Psychs and hidden and secretly funded mindcontrol Acid Pooh (06/18/04)
Re: Goedel - interesting problem? Spike (06/18/04)
Re: My results, concrete and real David C. Ullrich (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/18/04)
Re: Run and hide you girls Aatu Koskensilta (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/18/04)
Re: did Godel prove Incompleteness or did he disprove Excluded Middle? Barb Knox (06/18/04)
Re: little help here Charles Sweeney (06/18/04)
Re: little help here SpaceGirl (06/18/04)
Re: little help here Charles Sweeney (06/18/04)
Re: Refutation of Bertrand Russell's Barber Paradox Witt (06/18/04)
Re: little help here TechnoHippie (06/18/04)
little help here |-|erc (06/18/04)
did Godel prove Incompleteness or did he disprove Excluded Middle? Adam Megacz (06/18/04)
Re: Psychs and hidden and secretly funded mindcontrol William Elliot (06/18/04)
Re: limitation to induction on finite bounds |-|erc (06/18/04)
Re: Psychs and hidden and secretly funded mindcontrol William Elliot (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/18/04)
Re: limitation to induction on finite bounds Barb Knox (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed Chris Menzel (06/18/04)
Re: Psychs and hidden and secretly funded mindcontrol Curtis (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed Barb Knox (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Barb Knox (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed Barb Knox (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed Chris Menzel (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed Chris Menzel (06/18/04)
Re: Psychs and hidden and secretly funded mindcontrol Acid Pooh (06/18/04)
Re: Cantor's Donut Paradox Chairman of the Ozzy Osbourne Appreciation Society (06/18/04)
Re: My results, concrete and real Christopher J. Henrich (06/18/04)
Re: My results, concrete and real Dik T. Winter (06/18/04)
Re: Harassed by remote voice to skull. Yikes! Acid Pooh (06/18/04)
Re: Psychs and hidden and secretly funded mindcontrol Black Helicopter Pilot (06/18/04)
Cantor's Donut Paradox Andrew (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/18/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/17/04)
Re: Harassed by remote voice to skull. Yikes! Michael Gray (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/17/04)
Re: My results, concrete and real James Harris (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/17/04)
Re: Is a socalled natural death really "natural"? Karl Johanson (06/17/04)
Re: Psychs and hidden and secretly funded mindcontrol Barbara Schwarz (06/17/04)
Re: My results, concrete and real W. Dale Hall (06/17/04)
Re: Psychs and hidden and secretly funded mindcontrol Dicktop_Stud (06/17/04)
Re: My results, concrete and real C. Bond (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed George Greene (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed George Greene (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed George Greene (06/17/04)
Re: Goedel - interesting problem? George Greene (06/17/04)
Re: My results, concrete and real David C. Ullrich (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed G. Frege (06/17/04)
Re: Goedel - interesting problem? George Greene (06/17/04)
Re: Run and hide you girls George Greene (06/17/04)
Re: Run and hide you gills Aatu Koskensilta (06/17/04)
Re: Run and hide you gills Aatu Koskensilta (06/17/04)
Re: Run and hide you gills George Greene (06/17/04)
Re: Run and hide you gills George Greene (06/17/04)
Re: Is a socalled natural death really "natural"? Vince Barmann (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed George Greene (06/17/04)
Re: Run and hide you gills George Greene (06/17/04)
Re: Run and hide you gills George Greene (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/17/04)
Re: "Voice in your head technology" BDK (06/17/04)
Re: Run and hide you gills Aatu Koskensilta (06/17/04)
Re: Run and hide you gills George Greene (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed George Greene (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed George Greene (06/17/04)
Re: My results, concrete and real George Greene (06/17/04)
Re: Run and hide you gills Aatu Koskensilta (06/17/04)
Re: My results, concrete and real James Harris (06/17/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/17/04)
Re: Harassed by remote voice to skull. Yikes! Robert - THX1138 - Born (06/17/04)
Re: Psychs and hidden and secretly funded mindcontrol Cardinal Chunder (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed G. Frege (06/17/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed Sander Bruggink (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Chris Menzel (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/17/04)
Re: Is a socalled natural death really "natural"? LP (06/17/04)
alt.agriculture.beef,alt.culture.tamil,sci.logic,soc.culture.puerto-rico,alt.captain.sarcastic . (06/17/04)
Re: "Voice in your head technology" Michael Gray (06/17/04)
Re: Psychs and hidden and secretly funded mindcontrol William Elliot (06/17/04)
Re: Is a socalled natural death really "natural"? The Ghost In The Machine (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/17/04)
Re: Goedel - interesting problem? Spike (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/17/04)
Re: Run and hide you girls namducnguyen (06/17/04)
Re: "Voice in your head technology" Acid Pooh (06/17/04)
Re: "Voice in your head technology" Acid Pooh (06/17/04)
Re: "Voice in your head technology" Michael Gray (06/17/04)
Re: Bring Back the HP 15C Scientific Calculator John Larkin (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed Chris Menzel (06/17/04)
Re: Harassed by remote voice to skull. Yikes! Stefano MacGregor (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/17/04)
Re: Bring Back the HP 15C Scientific Calculator spasmous (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/17/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/16/04)
Harassed by remote voice to skull. Yikes! Barbara Schwarz (06/16/04)
Remote voice to skull. Yikes! Barbara Schwarz (06/16/04)
Re: Run and hide you girls Acid Pooh (06/16/04)
Re: "Voice in your head technology" Barbara Schwarz (06/16/04)
Re: Refutation of Bertrand Russell's Barber Paradox Witt (06/16/04)
Re: "Voice in your head technology" Barbara Schwarz (06/16/04)
Re: "Voice in your head technology" Barbara Schwarz (06/16/04)
Re: "Voice in your head technology" Barbara Schwarz (06/16/04)
Re: Psychs and hidden and secretly funded mindcontrol Barbara Schwarz (06/16/04)
Re: Is a socalled natural death really "natural"? Barbara Schwarz (06/16/04)
Re: Run and hide you gills George Greene (06/16/04)
Re: Run and hide you girls George Greene (06/16/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/16/04)
Re: JSH: Broken system, "pure" research, under fire Uncle Al (06/16/04)
Re: Run and hide you girls Will Twentyman (06/16/04)
Re: Goedel - interesting problem? Chris Menzel (06/16/04)
Re: Run and hide you girls Will Twentyman (06/16/04)
Re: Bring Back the HP 15C Scientific Calculator Don Lancaster (06/16/04)
Re: Run and hide you girls Torkel Franzen (06/16/04)
Re: Run and hide you girls Will Twentyman (06/16/04)
Re: Deep Thoughts # 8: Do We Formalize the Intuitive or Intuit the Formal? Dirk Van de moortel (06/16/04)
Deep Thoughts # 8: Do We Formalize the Intuitive or Intuit the Formal? Charlie-Boo (06/16/04)
Re: Run and hide you girls David C. Ullrich (06/16/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/16/04)
Re: Bring Back the HP 15C Scientific Calculator Acid Pooh (06/16/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/16/04)
Re: Goedel - interesting problem? Acid Pooh (06/16/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/16/04)
Re: Is a socalled natural death really "natural"? The Ghost In The Machine (06/16/04)
Re: Bring Back the HP 15C Scientific Calculator Ron Hardin (06/16/04)
Re: Run and hide you girls Aatu Koskensilta (06/16/04)
Re: Bring Back the HP 15C Scientific Calculator Pepito (06/16/04)
Re: Psychs and hidden and secretly funded mindcontrol William Elliot (06/16/04)
Re: Bring Back the HP 15C Scientific Calculator Richard Henry (06/16/04)
Re: Goedel - interesting problem? Chris Menzel (06/16/04)
Re: Goedel - interesting problem? Torkel Franzen (06/16/04)
Re: Goedel - interesting problem? Jeffrey Ketland (06/16/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Chris Menzel (06/16/04)
Re: Goedel - interesting problem? Chris Menzel (06/16/04)
Re: Bring Back the HP 15C Scientific Calculator John Larkin (06/16/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/16/04)
Re: "Voice in your head technology" Michael Gray (06/16/04)
Re: Bring Back the HP 15C Scientific Calculator David W. Cantrell (06/16/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/15/04)
Bring Back the HP 15C Scientific Calculator Chris W (06/15/04)
Re: Run and hide you girls Acid Pooh (06/15/04)
Re: Alan Turing's Halting Problem is incorrectly formed Barb Knox (06/15/04)
Re: Is a socalled natural death really "natural"? Barbara Schwarz (06/15/04)
Re: "Voice in your head technology" Barbara Schwarz (06/15/04)
Who blows the whistle is being discredited Barbara Schwarz (06/15/04)
Psychs and hidden and secretly funded mindcontrol Barbara Schwarz (06/15/04)
Psychs and hidden and secretly funded mindcontrol Barbara Schwarz (06/15/04)
Psychs and hidden and secretly funded mindcontrol Barbara Schwarz (06/15/04)
Re: Two components of a Universal Turing Machine Marvin Minsky (06/15/04)
Re: Goedel - interesting problem? Chris Menzel (06/15/04)
Re: Goedel - interesting problem? Chris Menzel (06/15/04)
Re: Alan Turing's Halting Problem is incorrectly formed The Ghost In The Machine (06/15/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/15/04)
Re: limitation to induction on finite bounds Aatu Koskensilta (06/15/04)
Re: Wow - you don't want to miss _this_ one! Will Twentyman (06/15/04)
Re: limitation to induction on finite bounds Will Twentyman (06/15/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/15/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/15/04)
Re: resolving Will's misunderstanding Will Twentyman (06/15/04)
Re: Wow - you don't want to miss _this_ one! |-|erc (06/15/04)
Re: limitation to induction on finite bounds |-|erc (06/15/04)
Re: Wow - you don't want to miss _this_ one! Will Twentyman (06/15/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/15/04)
Re: limitation to induction on finite bounds Saverio Trioni (06/15/04)
Re: Alan Turing's Halting Problem is incorrectly formed Sander Bruggink (06/15/04)
Re: Run and hide you gills Aatu Koskensilta (06/15/04)
Re: limitation to induction on finite bounds |-|erc (06/15/04)
Re: Goedel - interesting problem? |-|erc (06/15/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/15/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/15/04)
Re: limitation to induction on finite bounds The Ghost In The Machine (06/15/04)
Re: Alan Turing's Halting Problem is incorrectly formed The Ghost In The Machine (06/15/04)
Re: Wow - you don't want to miss _this_ one! |-|erc (06/15/04)
Re: Run and hide you girls |-|erc (06/15/04)
Re: Goedel - interesting problem? Daryl McCullough (06/15/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/15/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/15/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/15/04)
Re: Run and hide you girls Will Twentyman (06/15/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/15/04)
Re: Run and hide you girls Acid Pooh (06/15/04)
Re: United States Patent 5,159,703 Fletch F. Fletch (06/15/04)
Re: Turing Machine & Data Compression |-|erc (06/15/04)
Re: "Voice in your head technology" Michael Gray (06/15/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/14/04)
Re: Run and hide you girls Acid Pooh (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/14/04)
Re: "Voice in your head technology" |-|erc (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/14/04)
Re: Goedel - interesting problem? |-|erc (06/14/04)
Re: "Voice in your head technology" Barbara Schwarz (06/14/04)
Re: United States Patent 5,159,703 Barbara Schwarz (06/14/04)
Re: Goedel - interesting problem? |-|erc (06/14/04)
Re: Testing for validity in Modal logic Ken Pledger (06/14/04)
Re: resolving Will's misunderstanding |-|erc (06/14/04)
Re: Run and hide you gills |-|erc (06/14/04)
Re: Run and hide you girls |-|erc (06/14/04)
Re: Is a socalled natural death really "natural"? Dr H (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed George Greene (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed George Greene (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed George Greene (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed George Greene (06/14/04)
Re: resolving Will's misunderstanding Will Twentyman (06/14/04)
Re: Goedel - interesting problem? Acid Pooh (06/14/04)
Re: Run and hide you girls George Greene (06/14/04)
Re: Factoring paper is wrong Chairman of the Ozzy Osbourne Appreciation Society (06/14/04)
Re: Run and hide you girls Will Twentyman (06/14/04)
Re: Reality Vince Barmann (06/14/04)
Re: limitation to induction on finite bounds Will Twentyman (06/14/04)
Testing for validity in Modal logic Tyler Durden (06/14/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics The Ghost In The Machine (06/14/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Jesse F. Hughes (06/14/04)
Re: Goedel - interesting problem? Spike (06/14/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics David Bandel (06/14/04)
Re: Run and hide you gills Daryl McCullough (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/14/04)
Re: Run and hide you gills Aatu Koskensilta (06/14/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics David C. Ullrich (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/14/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Kent Paul Dolan (06/14/04)
Re: Goedel - interesting problem? Martin Shobe (06/14/04)
Re: Goedel - interesting problem? Daryl McCullough (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/14/04)
Re: Run and hide you girls Saverio Trioni (06/14/04)
Re: Run and hide you gills Saverio Trioni (06/14/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Aatu Koskensilta (06/14/04)
Re: Run and hide you gills Aatu Koskensilta (06/14/04)
Re: Run and hide you girls |-|erc (06/14/04)
Turing Machine & Data Compression Alex Vinokur (06/14/04)
Run and hide you girls |-|erc (06/14/04)
Re: Goedel - interesting problem? |-|erc (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/14/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Acid Pooh (06/14/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Jesse F. Hughes (06/14/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Jesse F. Hughes (06/14/04)
Re: Two components of a Universal Turing Machine Alex Vinokur (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed Barb Knox (06/14/04)
Re: United States Patent 5,159,703 Fletch F. Fletch (06/14/04)
Re: Goedel - interesting problem? Acid Pooh (06/14/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Dave Seaman (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed The Ghost In The Machine (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/14/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics David Bandel (06/14/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics David Bandel (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/14/04)
Re: Alan Turing's Halting Problem is incorrectly formed Barb Knox (06/14/04)
Re: Goedel - interesting problem? |-|erc (06/14/04)
Re: Goedel - interesting problem? Jim Burns (06/13/04)
Re: Goedel - interesting problem? |-|erc (06/13/04)
Re: Goedel - interesting problem? |-|erc (06/13/04)
Re: Goedel - interesting problem? |-|erc (06/13/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/13/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/13/04)
Re: Goedel - interesting problem? Jim Burns (06/13/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Dave Seaman (06/13/04)
Re: United States Patent 5,159,703 Bill Ding (06/13/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed George Greene (06/13/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics Victor Eijkhout (06/13/04)
Re: Wow - you don't want to miss _this_ one! George Greene (06/13/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics T Rig (06/13/04)
Re: Goedel - interesting problem? Acid Pooh (06/13/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics G. Frege (06/13/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics T Rig (06/13/04)
Wow - you don't want to miss _this_ one! David C. Ullrich (06/13/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/13/04)
Re: Alan Turing's Halting Problem is incorrectly formed Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/13/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/13/04)
Re: Alan Turing's Halting Problem is incorrectly formed George Greene (06/13/04)
Re: Alan Turing's Halting Problem is incorrectly formed George Greene (06/13/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/13/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/13/04)
Re: Two components of a Universal Turing Machine Pento (06/13/04)
Re: Quine on propositional modal logic Mike Carroll (06/13/04)
Re: limitation to induction on finite bounds The Ghost In The Machine (06/13/04)
Re: In a Bad Mood The Ghost In The Machine (06/13/04)
Re: Alan Turing's Halting Problem is incorrectly formed The Ghost In The Machine (06/13/04)
Re: "Voice in your head technology" The Ghost In The Machine (06/13/04)
Re: "Voice in your head technology" Android Cat (06/13/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/13/04)
Re: Goedel - interesting problem? Martin Shobe (06/13/04)
Re: Deep Thoughts # 7: A New Kind of Mathematics David C. Ullrich (06/13/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/13/04)
Re: Goedel - interesting problem? Daryl McCullough (06/13/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/13/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/13/04)
Deep Thoughts # 7: A New Kind of Mathematics Charlie-Boo (06/13/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/13/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/13/04)
Two components of a Universal Turing Machine Alex Vinokur (06/13/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/13/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/13/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/13/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/13/04)
Re: "Voice in your head technology" Cardinal Chunder (06/13/04)
Re: Goedel - interesting problem? |-|erc (06/13/04)
Re: Quine on propositional modal logic Acid Pooh (06/13/04)
Re: Goedel - interesting problem? Acid Pooh (06/13/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/13/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/13/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/13/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/13/04)
Re: United States Patent 5,159,703 The Sputnik Group (06/13/04)
Re: Goedel - interesting problem? |-|erc (06/13/04)
Re: Goedel - interesting problem? |-|erc (06/13/04)
Re: "Voice in your head technology" |-|erc (06/13/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/13/04)
Re: Goedel - interesting problem? Acid Pooh (06/13/04)
Re: "Voice in your head technology" militiaguy (06/13/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/13/04)
Re: limitation to induction on finite bounds |-|erc (06/13/04)
Re: limitation to induction on finite bounds |-|erc (06/13/04)
Re: Why're NOR and NAND enough ? George Dance (06/13/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/13/04)
"Voice in your head technology" Barbara Schwarz (06/12/04)
United States Patent 5,159,703 Barbara Schwarz (06/12/04)
Re: Goedel - interesting problem? Acid Pooh (06/12/04)
Re: Is a socalled natural death really "natural"? Barbara Schwarz (06/12/04)
Re: Is a socalled natural death really "natural"? Barbara Schwarz (06/12/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/12/04)
Re: limitation to induction on finite bounds The Ghost In The Machine (06/12/04)
Re: Quine on propositional modal logic Mike Carroll (06/12/04)
Re: Quine on propositional modal logic Mike Carroll (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/12/04)
Re: Refutation of Bertrand Russell's Barber Paradox Witt (06/12/04)
Re: Pi Shop Robert (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/12/04)
Re: Goedel - interesting problem? Jim Burns (06/12/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/12/04)
Updated - new theory of space, matter and reality Gary Forbat (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/12/04)
Re: In a Bad Mood |-|erc (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/12/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/12/04)
Re: limitation to induction on finite bounds |-|erc (06/12/04)
Re: misplaced priorities in science analogous to USA political misplaced priorities; Chimp genome mapping Archimedes Plutonium (06/12/04)
Re: Goedel - interesting problem? Aatu Koskensilta (06/12/04)
Re: limitation to induction on finite bounds The Ghost In The Machine (06/12/04)
Re: In a Bad Mood The Ghost In The Machine (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed The Ghost In The Machine (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/12/04)
Re: Goedel - interesting problem? |-|erc (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/12/04)
Re: Goedel - interesting problem? Daryl McCullough (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/12/04)
Re: Goedel - interesting problem? |-|erc (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/12/04)
Re: resolving Will's misunderstanding |-|erc (06/12/04)
Re: In a Bad Mood |-|erc (06/12/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/12/04)
Re: Goedel - interesting problem? Daryl McCullough (06/12/04)
Re: Quine on propositional modal logic Acid Pooh (06/12/04)
Re: misplaced priorities in science analogous to USA political misplaced priorities; Chimp genome mapping Bob (06/12/04)
Re: Goedel - interesting problem? |-|erc (06/12/04)
Re: Goedel - interesting problem? |-|erc (06/12/04)
Re: Goedel - interesting problem? |-|erc (06/12/04)
Re: Goedel - interesting problem? Chris Menzel (06/11/04)
Re: Is a socalled natural death really "natural"? Dr H (06/11/04)
Re: Goedel - interesting problem? Acid Pooh (06/11/04)
Re: Goedel - interesting problem? Acid Pooh (06/11/04)
Re: Goedel - interesting problem? Chris Menzel (06/11/04)
Re: Alan Turing's Halting Problem is incorrectly formed Josh Purinton (06/11/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/11/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/11/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/11/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/11/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/11/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/11/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/11/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/11/04)
Re: Is a socalled natural death really "natural"? Daryl McCullough (06/11/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/11/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/11/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/11/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/11/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/11/04)
Re: Goedel - interesting problem? Acid Pooh (06/11/04)
Re: Is a socalled natural death really "natural"? Barbara Schwarz (06/11/04)
Re: Quine on propositional modal logic George Greene (06/11/04)
Re: Alan Turing's Halting Problem is incorrectly formed George Greene (06/11/04)
Re: Goedel - interesting problem? Acid Pooh (06/11/04)
Wanna hear about 2.3 Trillion Dollars waste by socalled American officials? Barbara Schwarz (06/11/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/11/04)
Re: Refutation of Bertrand Russell's Barber Paradox George Greene (06/11/04)
Re: Goedel - interesting problem? George Greene (06/11/04)
Re: Goedel - interesting problem? George Greene (06/11/04)
Quine on propositional modal logic Mike Carroll (06/11/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/11/04)
Re: Goedel - interesting problem? Torkel Franzen (06/11/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/11/04)
Re: Goedel - interesting problem? Daryl McCullough (06/11/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/11/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/11/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/11/04)
Re: Goedel - interesting problem? Aatu Koskensilta (06/11/04)
Re: Goedel - interesting problem? |-|erc (06/11/04)
Know about everything about Psychiatric Diagnoses Anonymous Sender (06/11/04)
Re: Goedel - interesting problem? |-|erc (06/11/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/11/04)
Re: In a Bad Mood Barb Knox (06/11/04)
Re: Refutation of Bertrand Russell's Barber Paradox Tron Furu (06/11/04)
Re: Goedel - interesting problem? Tron Furu (06/11/04)
Re: Alan Turing's Halting Problem is incorrectly formed Sander Bruggink (06/11/04)
Re: Alan Turing's Halting Problem is incorrectly formed Sander Bruggink (06/11/04)
Re: Goedel - interesting problem? Acid Pooh (06/11/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/11/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/11/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/11/04)
Re: Goedel - interesting problem? Daryl McCullough (06/11/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/11/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/11/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/11/04)
Re: resolving Will's misunderstanding Acid Pooh (06/11/04)
Re: In a Bad Mood |-|erc (06/11/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/11/04)
Re: In a Bad Mood |-|erc (06/11/04)
Re: limitation to induction on finite bounds |-|erc (06/11/04)
CFP: LICS 2004 - Call for Participation Alex Simpson (06/11/04)
Re: In a Bad Mood Barb Knox (06/11/04)
Mind wide closed Barbara Schwarz (06/11/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/11/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/11/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/11/04)
Re: Goedel - interesting problem? |-|erc (06/10/04)
Re: Goedel - interesting problem? |-|erc (06/10/04)
Re: resolving Will's misunderstanding Will Twentyman (06/10/04)
Re: Goedel - interesting problem? |-|erc (06/10/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/10/04)
Re: resolving Will's misunderstanding |-|erc (06/10/04)
Re: Goedel - interesting problem? Acid Pooh (06/10/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/10/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/10/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/10/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/10/04)
Re: Goedel - interesting problem? Acid Pooh (06/10/04)
Re: WORK DONE URGENT HELP REQUIRED!! Barb Knox (06/10/04)
Re: Pi Shop Uncle Al (06/10/04)
Re: Is a socalled natural death really "natural"? Barbara Schwarz (06/10/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/10/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/10/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/10/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/10/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/10/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/10/04)
Re: Refutation of Bertrand Russell's Barber Paradox Tron Furu (06/10/04)
Re: Is a socalled natural death really "natural"? tim gueguen (06/10/04)
Re: Goedel - interesting problem? Tron Furu (06/10/04)
Re: Is a socalled natural death really "natural"? George (06/10/04)
Re: Is a socalled natural death really "natural"? Karl Johanson (06/10/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/10/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/10/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/10/04)
Re: Pi Shop John Schoenfeld (06/10/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/10/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/10/04)
Re: Goedel - interesting problem? Spike (06/10/04)
Re: Pi Shop Michael Varney (06/10/04)
Re: WORK DONE URGENT HELP REQUIRED!! wijnand j.schoenmakers (06/10/04)
Re: WORK DONE URGENT HELP REQUIRED!! Will Twentyman (06/10/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/10/04)
Re: limitation to induction on finite bounds The Ghost In The Machine (06/10/04)
Re: Pi Shop Gregory L. Hansen (06/10/04)
Re: Alan Turing's Halting Problem is incorrectly formed Leonard Blackburn (06/10/04)
WORK DONE URGENT HELP REQUIRED!! Raj Malhotra (06/10/04)
Re: Pi Shop Michael Varney (06/10/04)
Re: Pi Shop Keith A. Lewis (06/10/04)
Re: Pi Shop Gregory L. Hansen (06/10/04)
Re: Pi Shop puppet_sock_at_hotmail.com (06/10/04)
Re: resolving Will's misunderstanding Will Twentyman (06/10/04)
Re: limitation to induction on finite bounds Will Twentyman (06/10/04)
Re: Pi Shop Michael Varney (06/10/04)
Re: Alan Turing's Halting Problem is incorrectly formed Loogie (06/10/04)
Re: Pi Shop Andrew Resnick (06/10/04)
Re: Goedel - interesting problem? Martin Shobe (06/10/04)
Re: Goedel - interesting problem? Daryl McCullough (06/10/04)
Re: limitation to induction on finite bounds Barb Knox (06/10/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/10/04)
Re: Alan Turing's Halting Problem is incorrectly formed Sander Bruggink (06/10/04)
Re: In a Bad Mood The Ghost In The Machine (06/10/04)
Re: Alan Turing's Halting Problem is incorrectly formed The Ghost In The Machine (06/10/04)
Make love to your wives tonight gentlemen |-|erc (06/10/04)
Re: resolving Will's misunderstanding |-|erc (06/10/04)
misplaced priorities in science analogous to USA political misplaced priorities; Chimp genome mapping Archimedes Plutonium (06/10/04)
Re: Is a socalled natural death really "natural"? aha (06/10/04)
Re: Question about Godel and ZF William Elliot (06/10/04)
Re: Pi Shop Michael Varney (06/10/04)
Re: limitation to induction on finite bounds |-|erc (06/10/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/10/04)
Re: Goedel - interesting problem? |-|erc (06/10/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/10/04)
Re: Goedel - interesting problem? Acid Pooh (06/10/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/10/04)
Re: resolving Will's misunderstanding Acid Pooh (06/10/04)
Re: Goedel - interesting problem? Daryl McCullough (06/10/04)
Re: Is a socalled natural death really "natural"? JJ (06/10/04)
Re: Goedel - interesting problem? Acid Pooh (06/10/04)
Re: Goedel - interesting problem? |-|erc (06/10/04)
Re: Goedel - interesting problem? |-|erc (06/10/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/10/04)
Re: Pi Shop Uncle Al (06/10/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/10/04)
Re: simple Godel proof |-|erc (06/10/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/10/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/10/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/09/04)
Pi Shop Robert (06/09/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/09/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/09/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/09/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/09/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/09/04)
Re: Is a socalled natural death really "natural"? Michael Gray (06/09/04)
Re: Reading Aristotle John Schoenfeld (06/09/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/09/04)
Re: Question about Godel and ZF Torkel Franzen (06/09/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/09/04)
Re: Reading Aristotle John Schoenfeld (06/09/04)
Re: simple Godel proof Barbara Schwarz (06/09/04)
Is a socalled natural death really "natural"? Barbara Schwarz (06/09/04)
Re: Goedel - interesting problem? Torkel Franzen (06/09/04)
Question about Godel and ZF Acid Pooh (06/09/04)
Re: Goedel - interesting problem? Acid Pooh (06/09/04)
Re: Goedel - interesting problem? Acid Pooh (06/09/04)
Re: resolving Will's misunderstanding Will Twentyman (06/09/04)
Re: Goedel - interesting problem? Torkel Franzen (06/09/04)
Re: Reading Aristotle Sam Wormley (06/09/04)
Re: In a Bad Mood Chairman of the Ozzy Osbourne Appreciation Society (06/09/04)
Re: Reading Aristotle Sam Wormley (06/09/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/09/04)
Re: limitation to the halting proof Dave Seaman (06/09/04)
Re: limitation to the halting proof The Ghost In The Machine (06/09/04)
Re: limitation to the halting proof The Ghost In The Machine (06/09/04)
Re: In a Bad Mood The Ghost In The Machine (06/09/04)
Re: Alan Turing's Halting Problem is incorrectly formed The Ghost In The Machine (06/09/04)
Re: Reading Aristotle John Schoenfeld (06/09/04)
Re: Reading Aristotle John Schoenfeld (06/09/04)
Re: Alan Turing's Halting Problem is incorrectly formed G. Frege (06/09/04)
Re: question about Universal Turing Machines Alex Vinokur (06/09/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/09/04)
Re: limitation to induction on finite bounds Will Twentyman (06/09/04)
Re: limitation to induction on finite bounds Will Twentyman (06/09/04)
Re: Alan Turing's Halting Problem is incorrectly formed G. Frege (06/09/04)
Re: Reality zerkanX (06/09/04)
Re: Reality zerkanX (06/09/04)
Re: Goedel - interesting problem? Daryl McCullough (06/09/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/09/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/09/04)
Re: Alan Turing's Halting Problem is incorrectly formed Sander Bruggink (06/09/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/09/04)
Re: Alan Turing's Halting Problem is incorrectly formed Loogie (06/09/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/09/04)
Re: Goedel - interesting problem? |-|erc (06/09/04)
Re: Goedel - interesting problem? Martin Shobe (06/09/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/09/04)
Re: [Ann] Kniffel version 1.0.0: First Order Predicate Logic Library and Conversion Utilties Andreas Leitner (06/09/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/09/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/09/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/09/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/09/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/09/04)
Re: question about Universal Turing Machines Alex Vinokur (06/09/04)
Re: Alan Turing's Halting Problem is incorrectly formed Sander Bruggink (06/09/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/09/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/09/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/09/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/09/04)
Re: Goedel - interesting problem? Milton J. Smuthworthy, I (06/09/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/09/04)
Re: limitation to induction on finite bounds |-|erc (06/09/04)
Re: limitation to induction on finite bounds |-|erc (06/09/04)
Re: resolving Will's misunderstanding |-|erc (06/09/04)
Re: Goedel - interesting problem? |-|erc (06/09/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/09/04)
Re: Goedel - interesting problem? Spike (06/09/04)
Re: Goedel - interesting problem? Martin Shobe (06/09/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/09/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/09/04)
Re: Reality Ore (06/09/04)
Re: Goedel - interesting problem? Torkel Franzen (06/09/04)
Re: Refutation of Bertrand Russell's Barber Paradox Acid Pooh (06/09/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/09/04)
Re: limitation to induction on finite bounds Will Twentyman (06/09/04)
Re: resolving Will's misunderstanding Will Twentyman (06/09/04)
Re: Find the Logical Errors! Acid Pooh (06/09/04)
Re: Reading Aristotle Robert J. Kolker (06/09/04)
limitation to induction on finite bounds |-|erc (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/08/04)
Re: Reading Aristotle Sam Wormley (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/08/04)
Re: Reading Aristotle John Schoenfeld (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/08/04)
Re: simple Godel proof |-|erc (06/08/04)
Re: resolving Will's misunderstanding |-|erc (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/08/04)
Re: simple Godel proof Barbara Schwarz (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/08/04)
Re: Find the Logical Errors! Will Twentyman (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed Will Twentyman (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox Tron Furu (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/08/04)
Re: Goedel - interesting problem? Torkel Franzen (06/08/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed G. Frege (06/08/04)
Re: In a Bad Mood Will Twentyman (06/08/04)
Re: limitation to the halting proof Will Twentyman (06/08/04)
Find the Logical Errors! JDK (06/08/04)
Re: limitation to the halting proof Will Twentyman (06/08/04)
Re: limitation to the halting proof Ralph Hartley (06/08/04)
Re: resolving Will's misunderstanding Ralph Hartley (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/08/04)
Re: question about Universal Turing Machines Torkel Franzen (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox Daryl McCullough (06/08/04)
question about Universal Turing Machines Arepo the Sower (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed Aatu Koskensilta (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/08/04)
Re: resolving Will's misunderstanding |-|erc (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed Aatu Koskensilta (06/08/04)
Re: resolving Will's misunderstanding Will Twentyman (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox Daryl McCullough (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed Aatu Koskensilta (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox Daryl McCullough (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed Aatu Koskensilta (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed Aatu Koskensilta (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed Aatu Koskensilta (06/08/04)
Re: resolving Will's misunderstanding |-|erc (06/08/04)
Re: resolving Will's misunderstanding |-|erc (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/08/04)
Re: Goedel - interesting problem? Aatu Koskensilta (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed Sander Bruggink (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed Stephan Lehmke (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed G. Frege (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox Peter Olcott (06/08/04)
Re: A logic proof of a mathematical theorem. Thomas K�ufl (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox Tron Furu (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox Tron Furu (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox Tron Furu (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox Tron Furu (06/08/04)
Re: Goedel - interesting problem? |-|erc (06/08/04)
Re: Questions in Formal Language Theory Alex Vinokur (06/08/04)
Formal system of RN (Relative Natural) numbers. namducnguyen (06/08/04)
The search procedure for propositional logic Andy (06/08/04)
Re: Goedel - interesting problem? Torkel Franzen (06/08/04)
Re: Goedel - interesting problem? Daryl McCullough (06/08/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/08/04)
Re: resolving Will's misunderstanding |-|erc (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed Chris Menzel (06/08/04)
Re: Goedel - interesting problem? |-|erc (06/08/04)
Re: Quantum Thought William Elliot (06/08/04)
Re: [Ann] Kniffel version 1.0.0: First Order Predicate Logic Library and Conversion Utilties |-|erc (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/08/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed Daryl McCullough (06/08/04)
Re: Goedel - interesting problem? Daryl McCullough (06/08/04)
Re: Goedel - interesting problem? Torkel Franzen (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/08/04)
Re: resolving Will's misunderstanding Will Twentyman (06/08/04)
Re: Buoyancy mmeron_at_cars3.uchicago.edu (06/08/04)
Re: Buoyancy Edward Green (06/08/04)
Re: Alan Turing's Halting Problem is incorrectly formed Neil W Rickert (06/08/04)
Re: Goedel - interesting problem? |-|erc (06/07/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/07/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/07/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/07/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/07/04)
Re: Goedel - interesting problem? Milton J. Smuthworthy, I (06/07/04)
Re: resolving Will's misunderstanding |-|erc (06/07/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/07/04)
Re: limitation to the halting proof |-|erc (06/07/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/07/04)
Re: In a Bad Mood |-|erc (06/07/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/07/04)
Re: simple Godel proof |-|erc (06/07/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/07/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/07/04)
Re: Refutation of Bertrand Russell's Barber Paradox Witt (06/07/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/07/04)
Re: Goedel - interesting problem? Milton J. Smuthworthy, I (06/07/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/07/04)
Re: Alan Turing's Halting Problem is incorrectly formed Will Twentyman (06/07/04)
Re: Quantum Thought Alfred Einstead (06/07/04)
Re: Refutation of Bertrand Russell's Barber Paradox Witt (06/07/04)
Re: Goedel - interesting problem? Torkel Franzen (06/07/04)
Re: Goedel - interesting problem? lf.ine_at_lycos.co.uk (06/07/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/07/04)
Re: Goedel - interesting problem? Acid Pooh (06/07/04)
Re: In a Bad Mood Will Twentyman (06/07/04)
Re: In a Bad Mood Will Twentyman (06/07/04)
Re: limitation to the halting proof Will Twentyman (06/07/04)
Re: limitation to the halting proof Dave Seaman (06/07/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/07/04)
Re: simple Godel proof Barbara Schwarz (06/07/04)
Re: simple Godel proof Barbara Schwarz (06/07/04)
Re: limitation to the halting proof The Ghost In The Machine (06/07/04)
Re: In a Bad Mood The Ghost In The Machine (06/07/04)
Re: Alan Turing's Halting Problem is incorrectly formed The Ghost In The Machine (06/07/04)
Re: resolving Will's misunderstanding Ralph Hartley (06/07/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/07/04)
Re: Goedel - interesting problem? Torkel Franzen (06/07/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/07/04)
Re: Goedel - interesting problem? Daryl McCullough (06/07/04)
Re: Alan Turing's Halting Problem is incorrectly formed David C. Ullrich (06/07/04)
Re: Alan Turing's Halting Problem is incorrectly formed G. Frege (06/07/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/07/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/07/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/07/04)
Re: Alan Turing's Halting Problem is incorrectly formed Neil W Rickert (06/07/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/07/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/07/04)
Re: Goedel - interesting problem? |-|erc (06/07/04)
Re: Goedel - interesting problem? Tron Furu (06/07/04)
Re: Refutation of Bertrand Russell's Barber Paradox Tron Furu (06/07/04)
Re: Jake 2.0 - back to the drawing board |-|erc (06/07/04)
Re: Refutation of Bertrand Russell's Barber Paradox Tron Furu (06/07/04)
Re: Jake 2.0 - back to the drawing board Katharine (06/07/04)
Re: Goedel - interesting problem? Daryl McCullough (06/07/04)
Re: Goedel - interesting problem? Daryl McCullough (06/07/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/07/04)
Re: Goedel - interesting problem? |-|erc (06/07/04)
Re: Goedel - interesting problem? |-|erc (06/07/04)
Re: Goedel - interesting problem? Aatu Koskensilta (06/07/04)
Re: Goedel - interesting problem? Aatu Koskensilta (06/07/04)
Re: limitation to the halting proof |-|erc (06/07/04)
Re: Goedel - interesting problem? |-|erc (06/07/04)
Re: Goedel - interesting problem? Aatu Koskensilta (06/07/04)
Re: Goedel - interesting problem? |-|erc (06/07/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/07/04)
Re: Jake 2.0 - back to the drawing board |-|erc (06/07/04)
Re: Jake 2.0 - back to the drawing board |-|erc (06/07/04)
Re: Goedel - interesting problem? |-|erc (06/07/04)
Re: Goedel - interesting problem? Aatu Koskensilta (06/07/04)
Re: Jake 2.0 - back to the drawing board Katharine (06/07/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/07/04)
Re: Goedel - interesting problem? Chris Menzel (06/07/04)
Re: Alan Turing's Halting Problem is incorrectly formed The Ghost In The Machine (06/07/04)
Re: Jake 2.0 - back to the drawing board Koenig (06/07/04)
Re: Jake 2.0 - back to the drawing board Chriz (06/07/04)
Re: limitation to the halting proof Barb Knox (06/07/04)
Re: Jake 2.0 - back to the drawing board |-|erc (06/07/04)
Re: In a Bad Mood |-|erc (06/07/04)
Re: Goedel - interesting problem? |-|erc (06/07/04)
Re: In a Bad Mood Barb Knox (06/07/04)
Re: Jake 2.0 - back to the drawing board Koenig (06/07/04)
Re: Jake 2.0 - back to the drawing board |-|erc (06/07/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/07/04)
Re: Jake 2.0 - back to the drawing board Katharine (06/07/04)
Re: Goedel - interesting problem? Torkel Franzen (06/07/04)
Re: Alan Turing's Halting Problem is incorrectly formed William Elliot (06/07/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/07/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/07/04)
Re: Goedel - interesting problem? Torkel Franzen (06/07/04)
Re: Buoyancy William Elliot (06/07/04)
Re: Buoyancy William Elliot (06/07/04)
Re: Buoyancy Paul Cardinale (06/07/04)
Re: A logic proof of a mathematical theorem. G. Frege (06/07/04)
Re: Jake 2.0 - back to the drawing board |-|erc (06/07/04)
Re: Jake 2.0 - back to the drawing board slatconsulting (06/07/04)
Re: Alan Turing's Halting Problem is incorrectly formed |-|erc (06/07/04)
Re: Jake 2.0 - back to the drawing board leebear (06/07/04)
Re: Jake 2.0 - back to the drawing board |-|erc (06/07/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/07/04)
Re: Goedel - interesting problem? Acid Pooh (06/07/04)
Re: Goedel - interesting problem? |-|erc (06/07/04)
Re: simple Godel proof |-|erc (06/07/04)
Re: Reading Aristotle Uncle Al (06/06/04)
Re: Reading Aristotle Robert J. Kolker (06/06/04)
Re: Deep Thoughts # 5: We Cannot Output Anything Barbara Schwarz (06/06/04)
Re: simple Godel proof Barbara Schwarz (06/06/04)
Re: Reading Aristotle Uncle Al (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/06/04)
Re: Alan Turing's Halting Problem is incorrectly formed G. Frege (06/06/04)
Re: Alan Turing's Halting Problem is incorrectly formed G. Frege (06/06/04)
Re: Buoyancy mmeron_at_cars3.uchicago.edu (06/06/04)
Re: should we avoid attributing mental states to AI mechanisms ? patty (06/06/04)
Re: Alan Turing's Halting Problem is incorrectly formed The Ghost In The Machine (06/06/04)
Re: [Ann] Kniffel version 1.0.0: First Order Predicate Logic Library and Conversion Utilties Andreas Leitner (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/06/04)
Re: Goedel - interesting problem? Chris Menzel (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/06/04)
Re: [Ann] Kniffel version 1.0.0: First Order Predicate Logic Library and Conversion Utilties G. Frege (06/06/04)
Re: [Ann] Kniffel version 1.0.0: First Order Predicate Logic Library and Conversion Utilties G. Frege (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/06/04)
Re: [Ann] Kniffel version 1.0.0: First Order Predicate Logic Library and Conversion Utilties Andreas Leitner (06/06/04)
Re: Goedel - interesting problem? Torkel Franzen (06/06/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/06/04)
Re: should we avoid attributing mental states to AI mechanisms ? David Longley (06/06/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/06/04)
Re: [Ann] Kniffel version 1.0.0: First Order Predicate Logic Library and Conversion Utilties Chris Menzel (06/06/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/06/04)
Re: should we avoid attributing mental states to AI mechanisms ? patty (06/06/04)
Re: Goedel - interesting problem? Aatu Koskensilta (06/06/04)
Re: Aleph_0 Pairs of Socks Leonard Blackburn (06/06/04)
Re: Aleph_0 Pairs of Socks Leonard Blackburn (06/06/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/06/04)
Re: Goedel - interesting problem? Daryl McCullough (06/06/04)
Re: Goedel - interesting problem? |-|erc (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox Daryl McCullough (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox Daryl McCullough (06/06/04)
Re: Goedel - interesting problem? Aatu Koskensilta (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox David C. Ullrich (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox David C. Ullrich (06/06/04)
Re: Alan Turing's Halting Problem is incorrectly formed Neil W Rickert (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox David C. Ullrich (06/06/04)
Re: Alan Turing's Halting Problem is incorrectly formed Peter Webb (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox Peter Olcott (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox Peter Olcott (06/06/04)
Alan Turing's Halting Problem is incorrectly formed Peter Olcott (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox Peter Olcott (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox Peter Olcott (06/06/04)
Re: [Ann] Kniffel version 1.0.0: First Order Predicate Logic Library and Conversion Utilties Andreas Leitner (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox Peter Olcott (06/06/04)
Re: [Ann] Kniffel version 1.0.0: First Order Predicate Logic Library and Conversion Utilties William Elliot (06/06/04)
Re: Buoyancy William Elliot (06/06/04)
Re: Buoyancy William Elliot (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox Tron Furu (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/06/04)
Re: Buoyancy Edward Green (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox Daryl McCullough (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/06/04)
Re: Buoyancy Edward Green (06/06/04)
[Ann] Kniffel version 1.0.0: First Order Predicate Logic Library and Conversion Utilties Andreas Leitner (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox David C. Ullrich (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox David C. Ullrich (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox David C. Ullrich (06/06/04)
Re: Reality William Elliot (06/06/04)
Re: In a Bad Mood William Elliot (06/06/04)
Re: Buoyancy William Elliot (06/06/04)
Re: Goedel - interesting problem? Chris Menzel (06/06/04)
Re: In a Bad Mood |-|erc (06/06/04)
Re: Goedel - interesting problem? Torkel Franzen (06/06/04)
Re: Goedel - interesting problem? |-|erc (06/06/04)
Re: Buoyancy William Elliot (06/06/04)
Re: Buoyancy William Elliot (06/06/04)
Re: Aleph_0 Pairs of Socks Bill Taylor (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/06/04)
Re: Goedel - interesting problem? Chris Menzel (06/06/04)
Re: Goedel - interesting problem? Chris Menzel (06/06/04)
Re: Goedel - interesting problem? Torkel Franzen (06/06/04)
simple Godel proof |-|erc (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox Peter Olcott (06/06/04)
Re: In a Bad Mood |-|erc (06/06/04)
Re: In a Bad Mood G. Frege (06/06/04)
Re: A logic proof of a mathematical theorem. G. Frege (06/06/04)
Re: In a Bad Mood |-|erc (06/06/04)
Re: Goedel - interesting problem? Tron Furu (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/06/04)
Re: In a Bad Mood G. Frege (06/06/04)
Re: In a Bad Mood Chairman of the Ozzy Osbourne Appreciation Society (06/06/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/06/04)
Do Not Fly on Ark Excavation Day! Garry Denke (06/06/04)
Re: Deep Thoughts # 5: We Cannot Output Anything The Ghost In The Machine (06/06/04)
Re: Refutation of Bertrand Russell's Barber Paradox Daryl McCullough (06/05/04)
In a Bad Mood Daryl McCullough (06/05/04)
Re: Goedel - interesting problem? |-|erc (06/05/04)
Re: Goedel - interesting problem? |-|erc (06/05/04)
Re: Refutation of Bertrand Russell's Barber Paradox Daryl McCullough (06/05/04)
Re: Deep Thoughts # 5: We Cannot Output Anything |-|erc (06/05/04)
Re: Goedel - interesting problem? Aatu Koskensilta (06/05/04)
Re: Refutation of Bertrand Russell's Barber Paradox Peter Olcott (06/05/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/05/04)
Re: Goedel - interesting problem? Acid Pooh (06/05/04)
Re: Goedel - interesting problem? Tron Furu (06/05/04)
Re: Refutation of Bertrand Russell's Barber Paradox Tron Furu (06/05/04)
Re: Goedel - interesting problem? Acid Pooh (06/05/04)
Re: Refutation of Bertrand Russell's Barber Paradox Tron Furu (06/05/04)
Re: Goedel - interesting problem? Acid Pooh (06/05/04)
Re: Goedel - interesting problem? Tron Furu (06/05/04)
Re: Goedel - interesting problem? Tron Furu (06/05/04)
Re: Refutation of Bertrand Russell's Barber Paradox Peter Olcott (06/05/04)
Re: Refutation of Bertrand Russell's Barber Paradox Peter Olcott (06/05/04)
Re: Goedel - interesting problem? Acid Pooh (06/05/04)
Re: Deep Thoughts # 5: We Cannot Output Anything Barbara Schwarz (06/05/04)
Re: Buoyancy mmeron_at_cars3.uchicago.edu (06/05/04)
Re: Goedel - interesting problem? Torkel Franzen (06/05/04)
Re: Refutation of Bertrand Russell's Barber Paradox Peter Olcott (06/05/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/05/04)
Re: Goedel - interesting problem? Torkel Franzen (06/05/04)
Re: A logic proof of a mathematical theorem. Dan Christensen (06/05/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/05/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/05/04)
Re: Refutation of Bertrand Russell's Barber Paradox Peter Olcott (06/05/04)
Re: Refutation of Bertrand Russell's Barber Paradox Daryl McCullough (06/05/04)
Re: Refutation of Bertrand Russell's Barber Paradox Peter Olcott (06/05/04)
Re: The Liar Paradox is merely an ill-formed statement Peter Olcott (06/05/04)
Re: Buoyancy Paul Cardinale (06/05/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/05/04)
Re: The Liar Paradox is merely an ill-formed statement Daryl McCullough (06/05/04)
Re: A logic proof of a mathematical theorem. G. Frege (06/05/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/05/04)
Re: Buoyancy Edward Green (06/05/04)
Re: Buoyancy Edward Green (06/05/04)
Re: Goedel - interesting problem? Torkel Franzen (06/05/04)
Re: Refutation of Bertrand Russell's Barber Paradox Daryl McCullough (06/05/04)
Re: Refutation of Bertrand Russell's Barber Paradox Daryl McCullough (06/05/04)
Re: Goedel - interesting problem? Torkel Franzen (06/05/04)
Re: Can the deduction theorem be used recursively? David C. Ullrich (06/05/04)
Re: Buoyancy The Ghost In The Machine (06/05/04)
Re: Goedel - interesting problem? |-|erc (06/05/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/05/04)
Re: Can the deduction theorem be used recursively? Charlie-Boo (06/05/04)
Re: Reality zerkanX (06/05/04)
Re: Refutation of Bertrand Russell's Barber Paradox Torkel Franzen (06/05/04)
Re: Refutation of Bertrand Russell's Barber Paradox David C. Ullrich (06/05/04)
Re: Refutation of Bertrand Russell's Barber Paradox David C. Ullrich (06/05/04)
Re: Refutation of Bertrand Russell's Barber Paradox Peter Olcott (06/05/04)
Re: Refutation of Bertrand Russell's Barber Paradox Torkel Franzen (06/05/04)
Re: Goedel - interesting problem? Torkel Franzen (06/05/04)
Re: Goedel - interesting problem? |-|erc (06/05/04)
Re: Refutation of Bertrand Russell's Barber Paradox Peter Olcott (06/05/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/05/04)
Re: A logic proof of a mathematical theorem. Bilal Sallakh (06/05/04)
Re: Goedel - interesting problem? Torkel Franzen (06/05/04)
Re: Buoyancy William Elliot (06/05/04)
Re: Buoyancy William Elliot (06/05/04)
Re: Buoyancy William Elliot (06/05/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/05/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/05/04)
Re: Legal 'training' for negative-knowledge ? raydpratt (06/05/04)
Re: What's the Best Logic of Relations Primer? raydpratt (06/05/04)
Re: Buoyancy mmeron_at_cars3.uchicago.edu (06/05/04)
Re: Buoyancy Edward Green (06/05/04)
Re: Deep Thoughts # 5: We Cannot Output Anything |-|erc (06/05/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/05/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/05/04)
Re: Refutation of Bertrand Russell's Barber Paradox Witt (06/05/04)
Re: Refutation of Bertrand Russell's Barber Paradox Witt (06/04/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/04/04)
Re: Goedel - interesting problem? |-|erc (06/04/04)
Re: Refutation of Bertrand Russell's Barber Paradox Torkel Franzen (06/04/04)
Re: resolving Will's misunderstanding |-|erc (06/04/04)
Re: Refutation of Bertrand Russell's Barber Paradox Peter Olcott (06/04/04)
Re: Refutation of Bertrand Russell's Barber Paradox Peter Olcott (06/04/04)
Re: The Liar Paradox is merely an ill-formed statement Gene Ledbetter (06/04/04)
Re: Refutation of Bertrand Russell's Barber Paradox Peter Olcott (06/04/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/04/04)
Re: Can the deduction theorem be used recursively? David C. Ullrich (06/04/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/04/04)
UCLA Logic Colloquium, June 11 H. Enderton (06/04/04)
Axiom of Choice Test Leonard Blackburn (06/04/04)
Re: Aleph_0 Pairs of Socks H. Enderton (06/04/04)
Re: Aleph_0 Pairs of Socks Chris Menzel (06/04/04)
Re: Buoyancy The Ghost In The Machine (06/04/04)
Aleph_0 Pairs of Socks Leonard Blackburn (06/04/04)
Re: resolving Will's misunderstanding Ralph Hartley (06/04/04)
Re: Can the deduction theorem be used recursively? Charlie-Boo (06/04/04)
Re: Refutation of Bertrand Russell's Barber Paradox Witt (06/04/04)
Re: resolving Will's misunderstanding Will Twentyman (06/04/04)
Re: Can the deduction theorem be used recursively? G. Frege (06/04/04)
Re: Reality William Elliot (06/04/04)
Re: Goedel - interesting problem? Chris Menzel (06/04/04)
Re: Can the deduction theorem be used recursively? Charlie-Boo (06/04/04)
Re: Goedel - interesting problem? Herman Jurjus (06/04/04)
Re: Refutation of Bertrand Russell's Barber Paradox David C. Ullrich (06/04/04)
Re: Reality ven (06/04/04)
Re: Goedel - interesting problem? Chris Menzel (06/04/04)
Re: Refutation of Bertrand Russell's Barber Paradox Torkel Franzen (06/04/04)
Re: A logic proof of a mathematical theorem. G. Frege (06/04/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/04/04)
Re: Refutation of Bertrand Russell's Barber Paradox Daryl McCullough (06/04/04)
Re: Refutation of Bertrand Russell's Barber Paradox Witt (06/04/04)
Re: The Liar Paradox is merely an ill-formed statement Daryl McCullough (06/04/04)
Re: The Liar Paradox is merely an ill-formed statement Aatu Koskensilta (06/04/04)
Re: Refutation of Bertrand Russell's Barber Paradox Aatu Koskensilta (06/04/04)
Re: Goedel - interesting problem? Aatu Koskensilta (06/04/04)
Re: Refutation of Bertrand Russell's Barber Paradox Peter Olcott (06/04/04)
Re: Legal 'training' for negative-knowledge ? Scott Hedrick (06/04/04)
Re: The Liar Paradox is merely an ill-formed statement Peter Olcott (06/04/04)
Re: Goedel - interesting problem? |-|erc (06/04/04)
Re: Refutation of Bertrand Russell's Barber Paradox David C. Ullrich (06/04/04)
A logic proof of a mathematical theorem. Bilal Sallakh (06/04/04)
Re: Goedel - interesting problem? Aatu Koskensilta (06/04/04)
Re: What's the Best Logic of Relations Primer? |-|erc (06/04/04)
Re: Legal 'training' for negative-knowledge ? raydpratt (06/04/04)
Re: What's the Best Logic of Relations Primer? raydpratt (06/04/04)
Re: Goedel - interesting problem? Aatu Koskensilta (06/04/04)
Re: What's the Best Logic of Relations Primer? raydpratt (06/04/04)
Re: What's the Best Logic of Relations Primer? raydpratt (06/04/04)
Re: Buoyancy William Elliot (06/04/04)
Re: Buoyancy William Elliot (06/04/04)
Re: Buoyancy William Elliot (06/04/04)
Re: Buoyancy William Elliot (06/04/04)
Re: Deep Thoughts # 5: We Cannot Output Anything William Elliot (06/04/04)
Re: Goedel - interesting problem? |-|erc (06/04/04)
Re: Refutation of Bertrand Russell's Barber Paradox Daryl McCullough (06/04/04)
Re: The Liar Paradox is merely an ill-formed statement Daryl McCullough (06/04/04)
Re: recursive sets and relations Yarden Katz (06/04/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/04/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/04/04)
Re: Goedel - interesting problem? Josh Purinton (06/04/04)
Re: resolving Will's misunderstanding |-|erc (06/04/04)
Re: 3 basic metalogic questions. Jeffrey Ketland (06/04/04)
Re: Deep Thoughts # 5: We Cannot Output Anything Earle Jones (06/04/04)
Re: The Liar Paradox is merely an ill-formed statement Peter Olcott (06/04/04)
Re: Refutation of Bertrand Russell's Barber Paradox Peter Olcott (06/04/04)
Re: resolving Will's misunderstanding Will Twentyman (06/04/04)
Re: Refutation of Bertrand Russell's Barber Paradox Witt (06/03/04)
3 basic metalogic questions. Yarden Katz (06/03/04)
Re: Refutation of Bertrand Russell's Barber Paradox G. Frege (06/03/04)
Re: resolving Will's misunderstanding |-|erc (06/03/04)
Re: Goedel - interesting problem? |-|erc (06/03/04)
Re: Refutation of Bertrand Russell's Barber Paradox Gene Ledbetter (06/03/04)
Re: Refutation of Bertrand Russell's Barber Paradox Witt (06/03/04)
Re: Goedel - interesting problem? Chris Menzel (06/03/04)
Re: Goedel - interesting problem? Chris Menzel (06/03/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/03/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/03/04)
Re: Buoyancy The Ghost In The Machine (06/03/04)
Re: Legal 'training' for negative-knowledge ? Scott Hedrick (06/03/04)
Re: Legal 'training' for negative-knowledge ? McGyver (06/03/04)
Re: What's the Best Logic of Relations Primer? Mos (06/03/04)
Re: Buoyancy Greg Neill (06/03/04)
Re: Buoyancy Paul Cardinale (06/03/04)
Re: Deep Thoughts # 5: We Cannot Output Anything Lee Rudolph (06/03/04)
Deep Thoughts # 5: We Cannot Output Anything Charlie-Boo (06/03/04)
Re: Buoyancy Kent Paul Dolan (06/03/04)
Re: resolving Will's misunderstanding Will Twentyman (06/03/04)
Re: Goedel - interesting problem? Aatu Koskensilta (06/03/04)
Re: Goedel - interesting problem? Aatu Koskensilta (06/03/04)
Re: What's the Best Logic of Relations Primer? |-|erc (06/03/04)
Re: What's the Best Logic of Relations Primer? |-|erc (06/03/04)
Re: Goedel - interesting problem? |-|erc (06/03/04)
Re: Refutation of Bertrand Russell's Barber Paradox David C. Ullrich (06/03/04)
Re: Goedel - interesting problem? Tron Furu (06/03/04)
Re: Goedel - interesting problem? Tron Furu (06/03/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/03/04)
Re: What's the Best Logic of Relations Primer? Larry Krzewinski (06/03/04)
Re: Legal 'training' for negative-knowledge ? not_at_top-post (06/03/04)
Re: Goedel - interesting problem? Chris Menzel (06/03/04)
Re: What's the Best Logic of Relations Primer? The Ghost In The Machine (06/03/04)
Re: Goedel - interesting problem? Aatu Koskensilta (06/03/04)
Re: Goedel - interesting problem? |-|erc (06/03/04)
Re: What's the Best Logic of Relations Primer? Anonymous Coward (06/03/04)
Re: Goedel - interesting problem? |-|erc (06/03/04)
Re: Goedel - interesting problem? Acme Diagnostics (06/03/04)
Re: Goedel - interesting problem? |-|erc (06/03/04)
Re: Reality William Elliot (06/03/04)
Buoyancy William Elliot (06/03/04)
Re: Goedel - interesting problem? Tron Furu (06/03/04)
Re: Refutation of Bertrand Russell's Barber Paradox Daryl McCullough (06/03/04)
Re: Refutation of Bertrand Russell's Barber Paradox Daryl McCullough (06/03/04)
Re: Legal 'training' for negative-knowledge ? Scott Hedrick (06/03/04)
Re: What's the Best Logic of Relations Primer? Greg Evans (06/03/04)
Re: What's the Best Logic of Relations Primer? |-|erc (06/03/04)
Re: Goedel - interesting problem? |-|erc (06/03/04)
Re: Goedel - interesting problem? Chris Menzel (06/03/04)
Re: Refutation of Bertrand Russell's Barber Paradox Chris Menzel (06/03/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/02/04)
Re: Refutation of Bertrand Russell's Barber Paradox Tron Furu (06/02/04)
Re: Goedel - interesting problem? Tron Furu (06/02/04)
Re: Refutation of Bertrand Russell's Barber Paradox Chris Menzel (06/02/04)
Re: Goedel - interesting problem? Tron Furu (06/02/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/02/04)
Re: Legal 'training' for negative-knowledge ? Don (06/02/04)
Re: Refutation of Bertrand Russell's Barber Paradox Peter Olcott (06/02/04)
Re: Refutation of Bertrand Russell's Barber Paradox Peter Olcott (06/02/04)
Re: Refutation of Bertrand Russell's Barber Paradox Peter Olcott (06/02/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/02/04)
Re: What's the Best Logic of Relations Primer? Milton J. Smuthworthy, I (06/02/04)
Re: What's the Best Logic of Relations Primer? Milton J. Smuthworthy, I (06/02/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/02/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/02/04)
Re: resolving Will's misunderstanding |-|erc (06/02/04)
Re: Goedel - interesting problem? |-|erc (06/02/04)
Re: limitation to the halting proof The Ghost In The Machine (06/02/04)
Re: resolving Will's misunderstanding Will Twentyman (06/02/04)
Re: What's the Best Logic of Relations Primer? Larry Krzewinski (06/02/04)
Re: What's the Best Logic of Relations Primer? Larry Krzewinski (06/02/04)
Re: recursive sets and relations Chris Menzel (06/02/04)
Re: recursive sets and relations Yarden Katz (06/02/04)
Re: Refutation of Bertrand Russell's Barber Paradox Chris Menzel (06/02/04)
Re: Refutation of Bertrand Russell's Barber Paradox Chris Menzel (06/02/04)
Re: Refutation of Bertrand Russell's Barber Paradox Witt (06/02/04)
Re: Refutation of Bertrand Russell's Barber Paradox Chris Menzel (06/02/04)
Re: Refutation of Bertrand Russell's Barber Paradox Chris Menzel (06/02/04)
Re: Goedel - interesting problem? Chris Menzel (06/02/04)
Re: What's the Best Logic of Relations Primer? Mos (06/02/04)
Re: What's the Best Logic of Relations Primer? Greg Evans (06/02/04)
Re: What's the Best Logic of Relations Primer? Mos (06/02/04)
Re: Refutation of Bertrand Russell's Barber Paradox Daryl McCullough (06/02/04)
Re: The Liar Paradox is merely an ill-formed statement Daryl McCullough (06/02/04)
Re: Refutation of Bertrand Russell's Barber Paradox Daryl McCullough (06/02/04)
Re: What's the Best Logic of Relations Primer? Greg Evans (06/02/04)
Re: What's the Best Logic of Relations Primer? Greg Evans (06/02/04)
Re: Reality zerkanX (06/02/04)
1st World Congress and School on Universal Logic (UNILOG 2005) St Thommaso (06/02/04)
Re: What's the Best Logic of Relations Primer? |-|erc (06/02/04)
Re: What's the Best Logic of Relations Primer? Alan (06/02/04)
Re: Refutation of Bertrand Russell's Barber Paradox Peter Olcott (06/02/04)
Re: The Liar Paradox is merely an ill-formed statement Peter Olcott (06/02/04)
Re: Goedel - interesting problem? Tron Furu (06/02/04)
Re: Goedel - interesting problem? Tron Furu (06/02/04)
Re: What's the Best Logic of Relations Primer? |-|erc (06/02/04)
Re: Goedel - interesting problem? |-|erc (06/02/04)
Goedel - interesting problem? Tron Furu (06/02/04)
Re: Simple model theory question Anonymous Coward (06/02/04)
Re: Refutation of Bertrand Russell's Barber Paradox Tron Furu (06/02/04)
Re: What's the Best Logic of Relations Primer? Herman Jurjus (06/02/04)
Re: What's the Best Logic of Relations Primer? Larry Krzewinski (06/02/04)
Re: What's the Best Logic of Relations Primer? |-|erc (06/02/04)
Re: Foundations textbooks Achim Blumensath (06/02/04)
Re: What's the Best Logic of Relations Primer? Milton J. Smuthworthy, I (06/02/04)
Re: what's the point of that? William Elliot (06/02/04)
Re: what's the point of that? William Elliot (06/02/04)
Re: What's the Best Logic of Relations Primer? Milton J. Smuthworthy, I (06/02/04)
Re: Turing Machine with Tape William Elliot (06/02/04)
Re: References on natural deduction Jeff Rubard (06/02/04)
Re: What's the Best Logic of Relations Primer? Greg Evans (06/02/04)
Re: what's the point of that? |-|erc (06/02/04)
Re: What's the Best Logic of Relations Primer? |-|erc (06/02/04)
Re: Refutation of Bertrand Russell's Barber Paradox Daryl McCullough (06/02/04)
Re: Refutation of Bertrand Russell's Barber Paradox Peter Olcott (06/02/04)
Re: What's the Best Logic of Relations Primer? Larry Krzewinski (06/02/04)
Re: What's the Best Logic of Relations Primer? Larry Krzewinski (06/02/04)
Re: Refutation of Bertrand Russell's Barber Paradox Peter Olcott (06/02/04)
Re: resolving Will's misunderstanding |-|erc (06/02/04)
Re: Reality William Elliot (06/02/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/02/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/02/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/02/04)
Re: recursive sets and relations H. Enderton (06/02/04)
Re: Refutation of Bertrand Russell's Barber Paradox Daryl McCullough (06/02/04)
Re: Why're NOR and NAND enough ? H. Enderton (06/02/04)
Re: Refutation of Bertrand Russell's Barber Paradox Peter Olcott (06/01/04)
Re: Refutation of Bertrand Russell's Barber Paradox Peter Olcott (06/01/04)
Re: What's the Best Logic of Relations Primer? Milton J. Smuthworthy, I (06/01/04)
Re: Phenomenological Ontology David Kogan (06/01/04)
Re: What's the Best Logic of Relations Primer? Greg Evans (06/01/04)
Re: Refutation of Bertrand Russell's Barber Paradox Paul Holbach (06/01/04)
Re: Foundations textbooks Jesse F. Hughes (06/01/04)
Foundations textbooks Drew (06/01/04)
Re: What's the Best Logic of Relations Primer? |-|erc (06/01/04)
Re: What's the Best Logic of Relations Primer? |-|erc (06/01/04)
Re: What's the Best Logic of Relations Primer? Milton J. Smuthworthy, I (06/01/04)
Re: What's the Best Logic of Relations Primer? Milton J. Smuthworthy, I (06/01/04)
Re: Refutation of Bertrand Russell's Barber Paradox Dan Christensen (06/01/04)
Re: limitation to the halting proof |-|erc (06/01/04)
Re: Simple model theory question Chris Menzel (06/01/04)
Re: The Liar Paradox is merely an ill-formed statement George Greene (06/01/04)
Re: Refutation of Bertrand Russell's Barber Paradox George Greene (06/01/04)
Re: resolving Will's misunderstanding Will Twentyman (06/01/04)
Re: limitation to the halting proof George Greene (06/01/04)
Re: Refutation of Bertrand Russell's Barber Paradox Witt (06/01/04)
Re: what's the point of that? godfather (06/01/04)
what's the point of that? god (06/01/04)
Re: What's the Best Logic of Relations Primer? Greg Evans (06/01/04)
Re: What's the Best Logic of Relations Primer? |-|erc (06/01/04)
Re: What's the Best Logic of Relations Primer? Greg Evans (06/01/04)
Re: What's the Best Logic of Relations Primer? |-|erc (06/01/04)
Re: What's the Best Logic of Relations Primer? Greg Evans (06/01/04)
Re: Refutation of Bertrand Russell's Barber Paradox Dan Christensen (06/01/04)
Re: What's the Best Logic of Relations Primer? |-|erc (06/01/04)
Re: Phenomenological Ontology |-|erc (06/01/04)
Re: Phenomenological Ontology |-|erc (06/01/04)
Simple model theory question Anonymous Coward (06/01/04)
Re: Turing Machine with Tape Will Twentyman (06/01/04)
Re: The Logical Universe Immortalist (06/01/04)
Re: Refutation of Bertrand Russell's Barber Paradox Tron Furu (06/01/04)
Re: The Liar Paradox is merely an ill-formed statement George Greene (06/01/04)
Re: The Liar Paradox is merely an ill-formed statement George Greene (06/01/04)
Re: Reality William Elliot (06/01/04)
Re: What's the Best Logic of Relations Primer? Greg Evans (06/01/04)
Re: Reality zerkanX (06/01/04)
Re: Reality zerkanX (06/01/04)
Re: What's the Best Logic of Relations Primer? Polyglot (06/01/04)
Re: limitation to the halting proof |-|erc (06/01/04)
Re: On the Second Cantorian Proof (Using Digit Expansions) The Ghost In The Machine (06/01/04)
Re: limitation to the halting proof The Ghost In The Machine (06/01/04)
Re: Phenomenological Ontology |-|erc (06/01/04)
Re: What's the Best Logic of Relations Primer? |-|erc (06/01/04)
Re: What's the Best Logic of Relations Primer? Larry Krzewinski (06/01/04)
Re: What's the Best Logic of Relations Primer? Milton J. Smuthworthy, I (06/01/04)
Re: References on natural deduction Jeff Rubard (06/01/04)
Re: What's the Best Logic of Relations Primer? Greg Evans (06/01/04)
Re: Phenomenological Ontology David Kogan (06/01/04)
Re: What's the Best Logic of Relations Primer? ynotssor (06/01/04)
Re: What's the Best Logic of Relations Primer? |-|erc (06/01/04)
Re: Goedel and the direction of evolution Jim Hunter (06/01/04)
Re: Phenomenological Ontology |-|erc (06/01/04)
Re: Phenomenological Ontology David Kogan (06/01/04)
[FAQ, 99/07/28] Mathematical logic on the web Boris 'pi' Piwinger (06/01/04)
Re: Phenomenological Ontology |-|erc (05/31/04)

Last message date: 06/30/04
Archived on: 07/02/04 GMT

2513 messages sorted by: [ thread ]

sci.logicBy Date

sci.logic
By Date