sci.logic
By Thread

2513 messages sorted by: [ date ]

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

abstract model theory Anders Goeransson (06/30/04)
- Re: abstract model theory Aatu Koskensilta (06/30/04)
  - Re: abstract model theory Anders Goeransson (06/30/04)
Incredible Result from Olcott-Reasoning Bryan Olson (06/30/04)
Logic question - distributing forall and exists over each other? Malcohol (06/30/04)
- Re: Logic question - distributing forall and exists over each other? William Elliot (06/30/04)
Re: Infinity does exist? |-|erc (06/30/04)
Commercial Applications of Logic David Johnson (06/30/04)
- Re: Commercial Applications of Logic Barb Knox (06/30/04)
Speaking of halting in C++ ... Kenneth Doyle (06/30/04)
- Re: Speaking of halting in C++ ... Kenneth Doyle (06/30/04)
New Zealand's Yoko Site Cobaltstr (06/29/04)
- Re: New Zealand's Yoko Site Barb Knox (06/30/04)
The Psychology of Responding to Crackpots Daryl McCullough (06/29/04)
- Re: The Psychology of Responding to Crackpots G. Frege (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: The Psychology of Responding to Crackpots |-|erc (06/29/04)
- Re: The Psychology of Responding to Crackpots Tron Furu (06/29/04)
- Re: The Psychology of Responding to Crackpots Charlie-Boo (06/29/04)
  - Re: The Psychology of Responding to Crackpots Daryl McCullough (06/29/04)
- Re: The Psychology of Responding to Crackpots George Greene (06/29/04)
  - Re: The Psychology of Responding to Crackpots Daryl McCullough (06/29/04)
- Re: The Psychology of Responding to Crackpots Barb Knox (06/30/04)
- Re: The Psychology of Responding to Crackpots |-|erc (06/30/04)
Alan Turings halting proof is incorrectly formed PT Herc |-|erc (06/28/04)
- Re: Alan Turings halting proof is incorrectly formed PT Herc Bryan Olson (06/28/04)
- Re: Alan Turings halting proof is incorrectly formed PT Herc The Ghost In The Machine (06/28/04)
  - Re: Alan Turings halting proof is incorrectly formed PT Herc |-|erc (06/28/04)
- Re: Alan Turings halting proof is incorrectly formed PT Herc Kevin Stern (06/29/04)
  - Re: Alan Turings halting proof is incorrectly formed PT Herc |-|erc (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)
I have pics of Bart Simpson masturbating Of (06/28/04)
Alan Turing's Halting Problem is Incorrect (FINAL PART) Peter Olcott (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 Incorrect (FINAL PART) Peter Olcott (06/27/04)
  - Re: Alan Turing's Halting Problem is Incorrect (FINAL PART) The Ghost In The Machine (06/28/04)
- Peter Olcott's Source of Confusion Daryl McCullough (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 Incorrect (FINAL PART) Peter Olcott (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) Peter Olcott (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) Peter Olcott (06/28/04)
Immortality and the size of your head Barbara Schwarz (06/26/04)
- Re: Immortality and the size of your head Fredric L. Rice (06/27/04)
  - Re: Immortality and the size of your head William Elliot (06/27/04)
  - Re: Immortality and the size of your head Spacetraveler (06/27/04)
    - Re: Immortality and the size of your head Fredric L. Rice (06/27/04)
    - Re: Immortality and the size of your head Barbara Schwarz (06/28/04)
- Re: Immortality and the size of your head Ted Azito (06/28/04)
  - Re: Immortality and the size of your head Barbara Schwarz (06/28/04)
- Re: Immortality and the size of your head John Baker (06/29/04)
  - Re: Immortality and the size of your head Barbara Schwarz (06/29/04)
Exists one and only one David Bandel (06/26/04)
- Re: Exists one and only one William Elliot (06/26/04)
  - Re: Exists one and only one G. Frege (06/27/04)
- Re: Exists one and only one Dan Christensen (06/26/04)
  - Re: Exists one and only one David Bandel (06/26/04)
    - Re: Exists one and only one Dan Christensen (06/27/04)
- Re: Exists one and only one Witt (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 D. Ghilbert (06/26/04)
- Re: Exists one and only one Paul Holbach (06/27/04)
  - Re: Exists one and only one G. Frege (06/27/04)
- Re: Exists one and only one |-|erc (06/28/04)
The Psychology of Self-Reference Daryl McCullough (06/25/04)
- Re: The Psychology of Self-Reference Charlie-Boo (06/26/04)
  - Re: The Psychology of Self-Reference |-|erc (06/29/04)
- Re: The Psychology of Self-Reference KRamsay (06/27/04)
  - Re: The Psychology of Self-Reference Daryl McCullough (06/27/04)
- Re: The Psychology of Self-Reference ZZBunker (06/30/04)
STT and Hilbert's epsilon? Kevin Grant (06/25/04)
Re: Humble pie. Arturo Magidin (06/25/04)
- Re: Humble pie. Arturo Magidin (06/25/04)
- Re: Humble pie. Arturo Magidin (06/28/04)
  - Re: Humble pie. Andrew (06/29/04)
    - Re: Humble pie. Arturo Magidin (06/29/04)
- Re: Humble pie. Will Twentyman (06/29/04)
  - Re: Humble pie. Andrew (06/29/04)
Re: Dr. Wilton Krogman 'wrote the book' Ed Conrad (06/25/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)
Hey Teddy Azito, you are in awe about CMU Professors? Barbara Schwarz (06/24/04)
- Re: Hey Teddy Azito, you are in awe about CMU Professors? Karl Johanson (06/26/04)
  - Re: Hey Teddy Azito, you are in awe about CMU Professors? Faxhor (06/26/04)
    - Re: Hey Teddy Azito, you are in awe about CMU Professors? Karl Johanson (06/26/04)
  - Re: Hey Teddy Azito, you are in awe about CMU Professors? David Bandel (06/26/04)
Why? Charlie-Boo (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) 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 Incorrect (PART-THREE) Mitch Harris (06/24/04)
  - Re: Alan Turing's Halting Problem is Incorrect (PART-THREE) Peter Olcott (06/24/04)
Why? N (06/23/04)
- Re: Why? N (06/26/04)
  - Re: Why? Acid Pooh (06/27/04)
Zorn's lemma for families of subsets of a countable set Keith Ramsay (06/23/04)
- Re: Zorn's lemma for families of subsets of a countable set BCAL (06/23/04)
  - Re: Zorn's lemma for families of subsets of a countable set David C. Ullrich (06/23/04)
  - Re: Zorn's lemma for families of subsets of a countable set A N Niel (06/23/04)
- Re: Zorn's lemma for families of subsets of a countable set David C. Ullrich (06/23/04)
- Re: Zorn's lemma for families of subsets of a countable set Robert E. Beaudoin (06/24/04)
  - Re: Zorn's lemma for families of subsets of a countable set Keith Ramsay (06/25/04)
    - Re: Zorn's lemma for families of subsets of a countable set Robert E. Beaudoin (06/27/04)
- Re: Zorn's lemma for families of subsets of a countable set Bill Taylor (06/24/04)
  - Re: Zorn's lemma for families of subsets of a countable set David C. Ullrich (06/24/04)
- Re: Zorn's lemma for families of subsets of a countable set Butch Malahide (06/26/04)
deception mergerpucker (06/22/04)
- Re: deception Will Twentyman (06/22/04)
- Re: deception Charlie-Boo (06/23/04)
- Re: deception |-|erc (06/23/04)
  - Re: deception Acid Pooh (06/24/04)
- Re: deception Acid Pooh (06/23/04)
  - Re: deception Charlie-Boo (06/23/04)
  - Re: deception sid myers (06/28/04)
- Re: deception Bill Taylor (06/24/04)
  - Re: deception Jeffrey Ketland (06/24/04)
Significance of Godel's Incompleteness Theorem Acid Pooh (06/22/04)
- Re: Significance of Godel's Incompleteness Theorem William Elliot (06/22/04)
- Re: Significance of Godel's Incompleteness Theorem Chris Menzel (06/22/04)
  - Re: Significance of Godel's Incompleteness Theorem George Greene (06/22/04)
    - Re: Significance of Godel's Incompleteness Theorem Chris Menzel (06/22/04)
- Re: Significance of Godel's Incompleteness Theorem George Greene (06/22/04)
  - Re: Significance of Godel's Incompleteness Theorem Acid Pooh (06/23/04)
  - Re: Significance of Godel's Incompleteness Theorem Chris Menzel (06/23/04)
Barbara Schwarz reveals shocking news! Faxhor (06/22/04)
- Re: Barbara Schwarz reveals shocking news! Barbara Schwarz (06/22/04)
Exception to the rule? (Tarski�s T-scheme) Paul Holbach (06/22/04)
- Re: Exception to the rule? (Tarski�s T-scheme) Jeffrey Ketland (06/22/04)
- Re: Exception to the rule? (Tarski�s T-scheme) George Greene (06/22/04)
  - Re: Exception to the rule? (Tarski´s T-scheme) Acid Pooh (06/23/04)
Not exactly a website on me, but .... Barbara Schwarz (06/21/04)
Aleph nought is finite Andrew (06/21/04)
- Re: Aleph nought is finite Will Twentyman (06/21/04)
- Re: Aleph nought is finite Leonard Blackburn (06/22/04)
  - Re: Aleph nought is finite Yarden Katz (06/23/04)
    - Re: Aleph nought is finite Leonard Blackburn (06/23/04)
- Re: Aleph nought is finite George Greene (06/23/04)
  - Re: Aleph nought is finite Andrew (06/23/04)
- Re: Aleph nought is finite Will Twentyman (06/23/04)
  - Re: Aleph nought is finite Andrew (06/24/04)
- Re: Aleph nought is finite Leonard Blackburn (06/23/04)
  - Re: Aleph nought is finite Andrew (06/24/04)
- Re: Aleph nought is finite Pierre Asselin (06/24/04)
  - Re: Aleph nought is finite Andrew (06/24/04)
Peano and first order logic Jon Haugsand (06/21/04)
- Re: Peano and first order logic David C. Ullrich (06/21/04)
  - Re: Peano and first order logic Jon Haugsand (06/21/04)
- Re: Peano and first order logic Dan Christensen (06/21/04)
  - Re: Peano and first order logic G. Frege (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 G. Frege (06/21/04)
    - Re: Peano and first order logic Dan Christensen (06/22/04)
<ping Jim Burns> Sorry, my mistake George Dance (06/20/04)
<ping> Jim Burns: intensional predicates George Dance (06/20/04)
- Re: <ping> Jim Burns: intensional predicates George Dance (06/20/04)
Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (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 (PART-TWO) Peter Olcott (06/20/04)
- solved "problems" simply disappear George Greene (06/20/04)
- "ill-formed" TM descriptions George Greene (06/20/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 (PART-TWO) Peter Olcott (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 (PART-TWO) Daryl McCullough (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) Eray Ozkural exa (06/23/04)
  - Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) Peter Olcott (06/24/04)

sci.logicBy Thread

sci.logic
By Thread