sci.logic (thread)

Gödel's modal proof that there is something, Dunk, 2006/10/31
Re: Need help constructing ADD function from PA, george, 2006/10/31
Re: BEING AND EXISTENCE, Owen, 2006/10/30
- Re: BEING AND EXISTENCE, Paul Holbach, 2006/10/30
- Re: BEING AND EXISTENCE, Roberto Vescarelli, 2006/10/30
  - Re: BEING AND EXISTENCE, Paul Holbach, 2006/10/31
  - Re: BEING AND EXISTENCE, Owen, 2006/10/31
    - Re: BEING AND EXISTENCE, Paul Holbach, 2006/10/31
      
      Re: BEING AND EXISTENCE, Owen, 2006/10/31
      
      Re: BEING AND EXISTENCE, Owen, 2006/10/31
      
      Re: BEING AND EXISTENCE, Paul Holbach, 2006/10/31
      
      Re: BEING AND EXISTENCE, Nam Nguyen, 2006/10/31
      
      Re: BEING AND EXISTENCE, Paul Holbach, 2006/10/31
      
      Re: BEING AND EXISTENCE, Paul Holbach, 2006/10/31
      
      Re: BEING AND EXISTENCE, Paul Holbach, 2006/10/31
      
      Re: BEING AND EXISTENCE, Owen, 2006/10/31
      
      Re: BEING AND EXISTENCE, Paul Holbach, 2006/10/31
    - Re: BEING AND EXISTENCE, Roberto Vescarelli, 2006/10/31
      
      Re: BEING AND EXISTENCE, Owen, 2006/10/31
      
      Re: BEING AND EXISTENCE, Jesse F. Hughes, 2006/10/31
      
      Re: BEING AND EXISTENCE, Paul Holbach, 2006/10/31
      
      Re: BEING AND EXISTENCE, Paul Holbach, 2006/10/31
      
      Re: BEING AND EXISTENCE, Jesse F. Hughes, 2006/10/31
      
      Re: BEING AND EXISTENCE, Paul Holbach, 2006/10/31
      
      Re: BEING AND EXISTENCE, Paul Holbach, 2006/10/31
Longest Day of the Year, William Elliot, 2006/10/30
Re: SCIENCE IS DYING ONLY IN THE UNITED KINGDOM?, Brad Guth, 2006/10/29
Re: Moon Landing a Hoax??!! Real Evidence here>>>, Brad Guth, 2006/10/29
- Re: Moon Landing a Hoax??!! Real Evidence here>>>, Brad Guth, 2006/10/29
  - Re: Moon Landing a Hoax??!! Real Evidence here>>>, Art Deco, 2006/10/29
Re: Cantor's diagonalization argument, george, 2006/10/28
- Re: Cantor's diagonalization argument, george, 2006/10/29
- Re: Cantor's diagonalization argument, george, 2006/10/31
History of the deduction theorem, andreas . stokke, 2006/10/27
- Re: History of the deduction theorem, Frederick Williams, 2006/10/27
On Ultrafinitism, Bill Taylor, 2006/10/27
- Re: On Ultrafinitism, MoeBlee, 2006/10/27
  - Re: On Ultrafinitism, Rupert, 2006/10/30
    - Re: On Ultrafinitism, MoeBlee, 2006/10/30
      
      Re: On Ultrafinitism, Rupert, 2006/10/30
      
      Re: On Ultrafinitism, MoeBlee, 2006/10/31
      
      Re: On Ultrafinitism, Rupert, 2006/10/31
- Re: On Ultrafinitism, galathaea, 2006/10/29
  - Re: On Ultrafinitism, Eckard Blumschein, 2006/10/30
    - Re: On Ultrafinitism, galathaea, 2006/10/31
- Re: On Ultrafinitism, MoeBlee, 2006/10/30
  - Re: On Ultrafinitism, Dave L. Renfro, 2006/10/30
Proof of finite axiomatizability, Atreides, 2006/10/26
- Re: Proof of finite axiomatizability, William Elliot, 2006/10/26
  - Re: Proof of finite axiomatizability, Atreides, 2006/10/26
    - Re: Proof of finite axiomatizability, William Elliot, 2006/10/27
  - Re: Proof of finite axiomatizability, Aatu Koskensilta, 2006/10/27
- Re: Proof of finite axiomatizability, David C . Ullrich, 2006/10/26
Question about Quine's New Foundations, lugita15, 2006/10/25
- Re: Question about Quine's New Foundations, Rupert, 2006/10/26
  - Re: Question about Quine's New Foundations, lugita15, 2006/10/26
    - Re: Question about Quine's New Foundations, Rupert, 2006/10/27
      
      Re: Question about Quine's New Foundations, Aatu Koskensilta, 2006/10/27
- Re: Question about Quine's New Foundations, Aatu Koskensilta, 2006/10/27
  - Re: Question about Quine's New Foundations, lugita15, 2006/10/27
    - Re: Question about Quine's New Foundations, Aatu Koskensilta, 2006/10/27
      
      Re: Question about Quine's New Foundations, lugita15, 2006/10/27
      
      Re: Question about Quine's New Foundations, lugita15, 2006/10/27
      
      Re: Question about Quine's New Foundations, Aatu Koskensilta, 2006/10/27
      
      Re: Question about Quine's New Foundations, Aatu Koskensilta, 2006/10/27
A Simple Example on Model Theory and Descriptive Set Theory, Payam Razavi, 2006/10/25
The L3 Revolution, Confutus, 2006/10/25
- Re: The L3 Revolution, William Elliot, 2006/10/25
  - Re: The L3 Revolution, Confutus, 2006/10/27
    - Re: The L3 Revolution, William Elliot, 2006/10/28
      
      Re: The L3 Revolution, Confutus, 2006/10/30
      
      The L3 Revolution, William Elliot, 2006/10/31
      
      Re: The L3 Revolution, Confutus, 2006/10/31
  - Re: The L3 Revolution, Confutus, 2006/10/27
    - Re: The L3 Revolution, Jan Burse, 2006/10/27
      
      Re: The L3 Revolution, Confutus, 2006/10/28
      
      Re: The L3 Revolution, Jan Burse, 2006/10/28
      
      Re: The L3 Revolution, Jan Burse, 2006/10/28
      
      Re: The L3 Revolution, Confutus, 2006/10/28
      
      Re: The L3 Revolution, Jan Burse, 2006/10/28
      
      Re: The L3 Revolution, Confutus, 2006/10/28
      
      Re: The L3 Revolution, Jan Burse, 2006/10/29
      
      Re: The L3 Revolution, Confutus, 2006/10/30
      
      Re: The L3 Revolution, galathaea, 2006/10/30
      
      Re: The L3 Revolution, Confutus, 2006/10/31
      
      Re: The L3 Revolution, galathaea, 2006/10/31
    - Re: The L3 Revolution, Jan Burse, 2006/10/27
- Re: The L3 Revolution, Frederick Williams, 2006/10/25
  - Re: The L3 Revolution, Confutus, 2006/10/25
Applying logic to how search engine work., neo, 2006/10/24
- Re: Applying logic to how search engine work., David C . Ullrich, 2006/10/25
The Modified Halting Problem, Take ??? ., The Ghost In The Machine, 2006/10/24
- Re: The Modified Halting Problem, Take ??? ., Stephen Harris, 2006/10/24
  - Re: The Modified Halting Problem, Take ??? ., The Ghost In The Machine, 2006/10/26
- Re: The Modified Halting Problem, Take ??? ., Stephen Harris, 2006/10/24
  - Re: The Modified Halting Problem, Take ??? ., R. Srinivasan, 2006/10/24
    - Re: The Modified Halting Problem, Take ??? ., Stephen Harris, 2006/10/25
      
      Re: The Modified Halting Problem, Take ??? ., R. Srinivasan, 2006/10/25
      
      Re: The Modified Halting Problem, Take ??? ., Stephen Harris, 2006/10/26
      
      Re: The Modified Halting Problem, Take ??? ., R. Srinivasan, 2006/10/26
      
      Re: The Modified Halting Problem, Take ??? ., R. Srinivasan, 2006/10/26
      
      Re: The Modified Halting Problem, Take ??? ., Stephen Harris, 2006/10/26
      
      Re: The Modified Halting Problem, Take ??? ., R. Srinivasan, 2006/10/26
      
      Re: The Modified Halting Problem, Take ??? ., Stephen Harris, 2006/10/27
      
      Re: The Modified Halting Problem, Take ??? ., R. Srinivasan, 2006/10/27
      
      Re: The Modified Halting Problem, Take ??? ., Stephen Harris, 2006/10/27
      
      Re: The Modified Halting Problem, Take ??? ., Aatu Koskensilta, 2006/10/27
      
      Re: The Modified Halting Problem, Take ??? ., Aatu Koskensilta, 2006/10/27
      
      Re: The Modified Halting Problem, Take ??? ., R. Srinivasan, 2006/10/27
      
      Re: The Modified Halting Problem, Take ??? ., R. Srinivasan, 2006/10/27
      
      Re: The Modified Halting Problem, Take ??? ., R. Srinivasan, 2006/10/27
      
      Re: The Modified Halting Problem, Take ??? ., Aatu Koskensilta, 2006/10/27
      
      Re: The Modified Halting Problem, Take ??? ., R. Srinivasan, 2006/10/27
      
      Re: The Modified Halting Problem, Take ??? ., Aatu Koskensilta, 2006/10/27
      
      Re: The Modified Halting Problem, Take ??? ., R. Srinivasan, 2006/10/27
      
      Re: The Modified Halting Problem, Take ??? ., R. Srinivasan, 2006/10/27
      
      Re: The Modified Halting Problem, Take ??? ., Stephen Harris, 2006/10/28
      
      Re: The Modified Halting Problem, Take ??? ., R. Srinivasan, 2006/10/30
      
      Re: The Modified Halting Problem, Take ??? ., Stephen Harris, 2006/10/27
- Re: The Modified Halting Problem, Take ??? ., Stephen Harris, 2006/10/25
:: cyclic negations ::, galathaea, 2006/10/23
Re: Equivalence, herbzet, 2006/10/23
- Re: Equivalence, Aatu Koskensilta, 2006/10/27
Re: Is the Halting Problem merely an ill-formed question?, george, 2006/10/22
- Re: Is the Halting Problem merely an ill-formed question?, Peter Olcott, 2006/10/22
  - Re: Is the Halting Problem merely an ill-formed question?, george, 2006/10/22
  - Re: Is the Halting Problem merely an ill-formed question?, zzbunker@xxxxxxxxxxxx, 2006/10/27
- Re: Is the Halting Problem merely an ill-formed question?, Nam Nguyen, 2006/10/23
- Re: Is the Halting Problem merely an ill-formed question?, R. Srinivasan, 2006/10/23
  - Re: Is the Halting Problem merely an ill-formed question?, Peter Olcott, 2006/10/23
    - Re: Is the Halting Problem merely an ill-formed question?, R. Srinivasan, 2006/10/23
      
      Re: Is the Halting Problem merely an ill-formed question?, Peter Olcott, 2006/10/23
      
      Re: Is the Halting Problem merely an ill-formed question?, R. Srinivasan, 2006/10/23
- Re: Is the Halting Problem merely an ill-formed question?, george, 2006/10/25
- Re: Is the Halting Problem merely an ill-formed question?, george, 2006/10/26
- Re: Is the Halting Problem merely an ill-formed question?, george, 2006/10/27
- Re: Is the Halting Problem merely an ill-formed question?, R. Srinivasan, 2006/10/30
- Re: Is the Halting Problem merely an ill-formed question?, george, 2006/10/30
Petersen's magical argument, LauLuna, 2006/10/22
- Re: Petersen's magical argument, R. Srinivasan, 2006/10/22
  - Re: Petersen's magical argument, R. Srinivasan, 2006/10/22
    - Re: Petersen's magical argument, LauLuna, 2006/10/28
      
      Re: Petersen's magical argument, R. Srinivasan, 2006/10/30
Axiomatization of Ordinal Arithmetic, lugita15, 2006/10/22
- Re: Axiomatization of Ordinal Arithmetic, lugita15, 2006/10/22
- Re: Axiomatization of Ordinal Arithmetic, Jack Campin - bogus address, 2006/10/22
- Re: Axiomatization of Ordinal Arithmetic, Charlie-Boo, 2006/10/28
  - Re: Axiomatization of Ordinal Arithmetic, Peter_Smith, 2006/10/29
    - Re: Axiomatization of Ordinal Arithmetic, Charlie-Boo, 2006/10/29
      
      Re: Axiomatization of Ordinal Arithmetic, Peter_Smith, 2006/10/29
  - Re: Axiomatization of Ordinal Arithmetic, lugita15, 2006/10/29
Halting Problem for Humans, Daryl McCullough, 2006/10/21
- Message not available
  - Re: Halting Problem for Humans, Daryl McCullough, 2006/10/22
- Re: Halting Problem for Humans, LauLuna, 2006/10/22
  - Re: Halting Problem for Humans, Daryl McCullough, 2006/10/22
    - Re: Halting Problem for Humans, LauLuna, 2006/10/23
    - Re: Halting Problem for Humans, george, 2006/10/25
- Re: Halting Problem for Humans, Peter Olcott, 2006/10/22
  - Re: Halting Problem for Humans, Daryl McCullough, 2006/10/22
    - Re: Halting Problem for Humans, Peter Olcott, 2006/10/22
      
      Re: Halting Problem for Humans, Daryl McCullough, 2006/10/23
      
      Re: Halting Problem for Humans, Peter Olcott, 2006/10/23
      
      Re: Halting Problem for Humans, Daryl McCullough, 2006/10/23
- Message not available
  - Re: Halting Problem for Humans, Daryl McCullough, 2006/10/22
- Message not available
  - Re: Halting Problem for Humans, Daryl McCullough, 2006/10/23
- Re: Halting Problem for Humans, george, 2006/10/24
  - Re: Halting Problem for Humans, Daryl McCullough, 2006/10/24
  - Re: Halting Problem for Humans, LauLuna, 2006/10/24
Posts that should never be responded to ..., Peter Webb, 2006/10/21
- Re: Posts that should never be responded to ..., William Hughes, 2006/10/21
- Re: Posts that should never be responded to ..., David C . Ullrich, 2006/10/21
- Re: Posts that should never be responded to ..., schoenfeld . one, 2006/10/21
  - Re: Posts that should never be responded to ..., george, 2006/10/21
    - Re: Posts that should never be responded to ..., schoenfeld . one, 2006/10/21
      
      Re: Posts that should never be responded to ..., William Hughes, 2006/10/21
  - Re: Posts that should never be responded to ..., Randy Poe, 2006/10/22
- Re: Posts that should never be responded to ..., drmwecker, 2006/10/21
  - Re: Posts that should never be responded to ..., Keith Ramsay, 2006/10/22
    - Re: Posts that should never be responded to ..., Proginoskes, 2006/10/22
      
      Re: Posts that should never be responded to ..., Nam Nguyen, 2006/10/22
      
      Re: Posts that should never be responded to ..., Dave Seaman, 2006/10/22
- Re: Posts that should never be responded to ..., Proginoskes, 2006/10/22
  - Re: Posts that should never be responded to ..., Wolfgang Rave, 2006/10/22
- Re: Posts that should never be responded to ..., Tron, 2006/10/23
  - Re: Posts that should never be responded to ..., aatu . koskensilta, 2006/10/23
A kind of fun question., Nam Nguyen, 2006/10/21
Re: Proofs to programs, Alan Smaill, 2006/10/20
Re: Wittgenstein's Fuzzy Family, Immortalist, 2006/10/20
- Re: Wittgenstein's Fuzzy Family, Wanker, 2006/10/23
Logic of uncertainty, early explorations., Confutus, 2006/10/20
- Re: Logic of uncertainty, early explorations., Frederick Williams, 2006/10/21
  - Re: Logic of uncertainty, early explorations., Confutus, 2006/10/21
    - Re: Logic of uncertainty, early explorations., Confutus, 2006/10/21
- Re: Logic of uncertainty, early explorations., William Elliot, 2006/10/21
  - Re: Logic of uncertainty, early explorations., Confutus, 2006/10/21
    - Re: Logic of uncertainty, early explorations., William Elliot, 2006/10/21
      
      Re: Logic of uncertainty, early explorations., Confutus, 2006/10/21
      
      Re: Logic of uncertainty, early explorations., Confutus, 2006/10/21
      
      Re: Logic of uncertainty, early explorations., William Elliot, 2006/10/22
      
      Re: Logic of uncertainty, early explorations., Confutus, 2006/10/22
- Re: Logic of uncertainty, early explorations., Confutus, 2006/10/21
- Re: Logic of uncertainty, early explorations., Confutus, 2006/10/21
- Re: Logic of uncertainty, early explorations., Confutus, 2006/10/21
- Re: Logic of uncertainty, early explorations., Confutus, 2006/10/21
- Re: Logic of uncertainty, early explorations., Confutus, 2006/10/21
  - Re: Logic of uncertainty, modal logic, Confutus, 2006/10/21
    - Logic of uncertainty, fully functional, Confutus, 2006/10/21
      
      Re: Logic of uncertainty, fully functional, William Elliot, 2006/10/22
      
      Re: Logic of uncertainty, fully functional, herbzet, 2006/10/24
      
      Re: Logic of uncertainty, fully functional, Confutus, 2006/10/24
Where's the logic in Earth having that moon ???, Brad Guth, 2006/10/20
- Re: Where's the logic in Earth having that moon ???, Brad Guth, 2006/10/22
What is the difference?, bluelabel, 2006/10/20
- Re: What is the difference?, Peter_Smith, 2006/10/20
- Re: What is the difference?, Aatu Koskensilta, 2006/10/20
Non-arbitrary mathematics, Eckard Blumschein, 2006/10/19
- Re: Non-arbitrary mathematics, Frederick Williams, 2006/10/19
  - Re: Non-arbitrary mathematics, Eckard Blumschein, 2006/10/19
    - Re: Non-arbitrary mathematics, Peter Niessen, 2006/10/20
      
      Re: Non-arbitrary mathematics, LauLuna, 2006/10/20
      
      Re: Non-arbitrary mathematics, Eckard Blumschein, 2006/10/23
- Re: Non-arbitrary mathematics, Herman Jurjus, 2006/10/20
  - Re: Non-arbitrary mathematics, Eckard Blumschein, 2006/10/23
    - Re: Non-arbitrary mathematics, Herman Jurjus, 2006/10/23
      
      Re: Non-arbitrary mathematics, Eckard Blumschein, 2006/10/23
      
      Re: Non-arbitrary mathematics, Frederick Williams, 2006/10/24
      
      Re: Non-arbitrary mathematics, Eckard Blumschein, 2006/10/25
      
      Re: Non-arbitrary mathematics, Frederick Williams, 2006/10/26
      
      Re: Non-arbitrary mathematics, Eckard Blumschein, 2006/10/27
- Re: Non-arbitrary mathematics, Eckard Blumschein, 2006/10/24
  - Re: Non-arbitrary mathematics, Frederick Williams, 2006/10/24
    - Re: Non-arbitrary mathematics, Eckard Blumschein, 2006/10/25
      
      Re: Non-arbitrary mathematics, Frederick Williams, 2006/10/26
      
      Re: Non-arbitrary mathematics, Eckard Blumschein, 2006/10/27
      
      Re: Non-arbitrary mathematics, Eckard Blumschein, 2006/10/27
Re: Need help constructing an add function from PA, george, 2006/10/18
- Re: Need help constructing an add function from PA, george, 2006/10/21
  - Re: Need help constructing an add function from PA, Aatu Koskensilta, 2006/10/21
    - Re: Need help constructing an add function from PA, george, 2006/10/21
      
      Re: Need help constructing an add function from PA, aatu . koskensilta, 2006/10/23
- Re: Need help constructing an add function from PA, george, 2006/10/30
Re: New sub minimal or sub intuitionistic logic ? intference rules, translogi@xxxxxxxxxxxxxx, 2006/10/18
- Re: New sub intuitionistic logic ? not sub minimal, translogi@xxxxxxxxxxxxxx, 2006/10/19
hi, mysun_1, 2006/10/18
Re: how to define Thm in PRA, george, 2006/10/18
- Re: how to define Thm in PRA, george, 2006/10/18
  - Re: how to define Thm in PRA, Peter_Smith, 2006/10/18
    - Re: how to define Thm in PRA, george, 2006/10/18
      
      Re: how to define Thm in PRA, Daryl McCullough, 2006/10/18
      
      Re: how to define Thm in PRA, george, 2006/10/20
      
      Re: how to define Thm in PRA, Daryl McCullough, 2006/10/20
      
      Re: how to define Thm in PRA, george, 2006/10/28
      
      Re: how to define Thm in PRA, Peter_Smith, 2006/10/29
      
      Re: how to define Thm in PRA, Daryl McCullough, 2006/10/29
      
      Message not available
      
      Re: how to define Thm in PRA, george, 2006/10/29
  - Re: how to define Thm in PRA, Daryl McCullough, 2006/10/18
    - Re: how to define Thm in PRA, george, 2006/10/28
      
      Re: how to define Thm in PRA, Daryl McCullough, 2006/10/29
- Re: how to define Thm in PRA, george, 2006/10/20
- Re: how to define Thm in PRA, george, 2006/10/24
- Re: how to define Thm in PRA, george, 2006/10/25
  - Re: how to define Thm in PRA, aatu . koskensilta, 2006/10/26
- Re: how to define Thm in PRA, george, 2006/10/25
- Re: how to define Thm in PRA, george, 2006/10/27
  - Re: how to define Thm in PRA, Aatu Koskensilta, 2006/10/27
    - Re: how to define Thm in PRA, george, 2006/10/28
      
      Re: how to define Thm in PRA, Aatu Koskensilta, 2006/10/30
- Re: how to define Thm in PRA, Daryl McCullough, 2006/10/29
- Re: how to define Thm in PRA, george, 2006/10/30
  - Re: how to define Thm in PRA, Peter_Smith, 2006/10/31
    - Re: how to define Thm in PRA, Peter_Smith, 2006/10/31
    - Re: how to define Thm in PRA, george, 2006/10/31
Re: A Possible "solution" to the Halting Problem, george, 2006/10/18
- Re: A Possible "solution" to the Halting Problem, Peter Olcott, 2006/10/18
  - Re: A Possible "solution" to the Halting Problem, george, 2006/10/18
- Re: A Possible "solution" to the Halting Problem, george, 2006/10/20
  - Re: A Possible "solution" to the Halting Problem, R. Srinivasan, 2006/10/21
    - Re: A Possible "solution" to the Halting Problem, Peter Olcott, 2006/10/21
- Re: A Possible "solution" to the Halting Problem, george, 2006/10/21
- Re: A Possible "solution" to the Halting Problem, R. Srinivasan, 2006/10/22
- Re: A Possible "solution" to the Halting Problem, R. Srinivasan, 2006/10/23
- Re: A Possible "solution" to the Halting Problem, R. Srinivasan, 2006/10/23
  - Re: A Possible "solution" to the Halting Problem, Stephen Harris, 2006/10/24
- Re: A Possible "solution" to the Halting Problem, R. Srinivasan, 2006/10/23
Re: Are Heytings axioms for intuitionistic logic sufficient?, Keith Ramsay, 2006/10/18
- Re: Are Heytings axioms for intuitionistic logic sufficient?, translogi@xxxxxxxxxxxxxx, 2006/10/18
  - Re: Are Heytings axioms for intuitionistic logic sufficient?, Alan Smaill, 2006/10/20
    - Re: Are Heytings axioms for intuitionistic logic sufficient?, translogi@xxxxxxxxxxxxxx, 2006/10/20
      
      Re: Are Heytings axioms for intuitionistic logic sufficient?, Alan Smaill, 2006/10/20
      
      Re: Are Heytings axioms for intuitionistic logic sufficient?, Jack Campin - bogus address, 2006/10/20
      
      Re: Are Heytings axioms for intuitionistic logic sufficient?, Alan Smaill, 2006/10/20
      
      Re: Are Heytings axioms for intuitionistic logic sufficient?, Jan Burse, 2006/10/21
- Re: Are Heytings axioms for intuitionistic logic sufficient?, Frederick Williams, 2006/10/18
- Re: Are Heytings axioms for intuitionistic logic sufficient?, MoeBlee, 2006/10/18
Strange Borel quote, Herman Jurjus, 2006/10/17
- Re: Strange Borel quote, Dave L. Renfro, 2006/10/17
- Re: Strange Borel quote, galathaea, 2006/10/17
- Message not available
  - Re: Strange Borel quote, galathaea, 2006/10/18
- Message not available
  - Re: Strange Borel quote, Proginoskes, 2006/10/19
- Message not available
  - Message not available
    - Re: Strange Borel quote, Herman Jurjus, 2006/10/19
      
      Message not available
      
      Re: Strange Borel quote, Herman Jurjus, 2006/10/26
Re: A implies I, William of Ockham, 2006/10/17
- Re: A implies I, Arturo Magidin, 2006/10/17
- Re: A implies I, Chris Menzel, 2006/10/17
  - Re: A implies I, William of Ockham, 2006/10/17
    - Re: A implies I, Chris Menzel, 2006/10/18
  - Re: A implies I, William of Ockham, 2006/10/17
- Re: A implies I, George Dance, 2006/10/18
  - Re: A implies I, Owen, 2006/10/20
    - Re: A implies I, George Dance, 2006/10/21
      
      Re: A implies I, Owen, 2006/10/21
      
      Re: A implies I, George Dance, 2006/10/21
- Re: A implies I, George Dance, 2006/10/18
- Re: A implies I, George Dance, 2006/10/18
  - Re: A implies I, Chris Menzel, 2006/10/18
    - Re: A implies I, George Dance, 2006/10/18
      
      Re: A implies I, Chris Menzel, 2006/10/18
      
      Re: A implies I, William of Ockham, 2006/10/18
      
      Re: A implies I, Chris Menzel, 2006/10/18
- Re: A implies I, George Dance, 2006/10/18
- Re: A implies I, George Dance, 2006/10/18
  - Re: A implies I, Yuri, 2006/10/18
    - Re: A implies I, George Dance, 2006/10/20
      
      Re: A implies I, Owen, 2006/10/20
      
      Re: A implies I, George Dance, 2006/10/21
      
      Re: A implies I, Owen, 2006/10/22
Silly Question, Prisoner at War, 2006/10/17
- Re: Silly Question, Arturo Magidin, 2006/10/17
  - Re: Silly Question, Prisoner at War, 2006/10/17
- Re: Silly Question, Spehro Pefhany, 2006/10/17
  - Re: Silly Question, Prisoner at War, 2006/10/17
    - Re: Silly Question, Frederick Williams, 2006/10/19
- Re: Silly Question, Odysseus, 2006/10/18
- Re: Silly Question, Mark Wallace, 2006/10/18
- Re: Silly Question, UC, 2006/10/24
Re: Beliefs; Necessary But Not Sufficient For Truth?, Paul Holbach, 2006/10/14
- Re: Beliefs; Necessary But Not Sufficient For Truth?, Russ Rose, 2006/10/14
- Re: Beliefs; Necessary But Not Sufficient For Truth?, Daniel T., 2006/10/14
  - Re: Beliefs; Necessary But Not Sufficient For Truth?, gibbs, 2006/10/14
    - Re: Beliefs; Necessary But Not Sufficient For Truth?, Daniel T., 2006/10/15
      
      Re: Beliefs; Necessary But Not Sufficient For Truth?, gibbs, 2006/10/15
      
      Re: Beliefs; Necessary But Not Sufficient For Truth?, Daniel T., 2006/10/15
- Re: Beliefs; Necessary But Not Sufficient For Truth?, Paul Holbach, 2006/10/15
  - Re: Beliefs; Necessary But Not Sufficient For Truth?, Paul Holbach, 2006/10/15
- Re: Beliefs; Necessary But Not Sufficient For Truth?, Paul Holbach, 2006/10/16
- Re: Beliefs; Necessary But Not Sufficient For Truth?, Paul Holbach, 2006/10/16
  - Re: Beliefs; Necessary But Not Sufficient For Truth?, Nam Nguyen, 2006/10/18
- Re: Beliefs; Necessary But Not Sufficient For Truth?, Paul Holbach, 2006/10/17
  - Re: Beliefs; Necessary But Not Sufficient For Truth?, Paul Holbach, 2006/10/17
  - Re: Beliefs; Necessary But Not Sufficient For Truth?, Daniel T., 2006/10/17
    - Re: Beliefs; Necessary But Not Sufficient For Truth?, Paul Holbach, 2006/10/17
      
      Re: Beliefs; Necessary But Not Sufficient For Truth?, Daniel T., 2006/10/18
Rules of divisibility for a counting number N, studyandcareer, 2006/10/12
- Re: Rules of divisibility for a counting number N, me13013, 2006/10/12
  - Re: Rules of divisibility for a counting number N, gtsavdar, 2006/10/13
    - Re: Rules of divisibility for a counting number N, me13013, 2006/10/14
- Re: Rules of divisibility for a counting number N, Frederick Williams, 2006/10/12
Re: Sherlock Holmes: Is It Deduction Or Induction?, Chris Menzel, 2006/10/09
- Re: Sherlock Holmes: Is It Deduction Or Induction?, Brian Fletcher, 2006/10/10
2nd-Order Predicate: mammal ?, Karmata, 2006/10/08
- Re: 2nd-Order Predicate: mammal ?, Karmata, 2006/10/08
Trademark expressions in symbolic logic, michel . cotourier, 2006/10/08
- Re: Trademark expressions in symbolic logic, Chris Menzel, 2006/10/08
  - Re: Trademark expressions in symbolic logic, William Elliot, 2006/10/08
- Re: Trademark expressions in symbolic logic, William Elliot, 2006/10/08
:: quantum incoherence and the logical structure of science (re: mike gordge and obscene videos) ::, galathaea, 2006/10/07
- Re: :: quantum incoherence and the logical structure of science (re: mike gordge and obscene videos) ::, mikegordge, 2006/10/07
- Re: :: quantum incoherence and the logical structure of science (re: mike gordge and obscene videos) ::, mikegordge, 2006/10/07
  - Re: :: quantum incoherence and the logical structure of science (re: mike gordge and obscene videos) ::, Stephen Harris, 2006/10/07
    - Re: :: quantum incoherence and the logical structure of science (re: mike gordge and obscene videos) ::, mikegordge, 2006/10/07
      
      Re: :: quantum incoherence and the logical structure of science (re: mike gordge and obscene videos) ::, Stephen Harris, 2006/10/08
      
      Re: :: quantum incoherence and the logical structure of science (re: mike gordge and obscene videos) ::, mikegordge, 2006/10/08
      
      Re: :: quantum incoherence and the logical structure of science (re: mike gordge and obscene videos) ::, Stephen Harris, 2006/10/08
  - Re: :: quantum incoherence and the logical structure of science (re: mike gordge and obscene videos) ::, Stephen Harris, 2006/10/08
- Re: :: quantum incoherence and the logical structure of science (re: mike gordge and obscene videos) ::, Stephen Harris, 2006/10/07
"is a" & "has a" relations re: 2nd-Order Logic, Karmata, 2006/10/07
- Re: "is a" & "has a" relations re: 2nd-Order Logic, galathaea, 2006/10/07
  - Re: "is a" & "has a" relations re: 2nd-Order Logic, Karmata, 2006/10/08
    - Re: "is a" & "has a" relations re: 2nd-Order Logic, galathaea, 2006/10/08
- Re: "is a" & "has a" relations re: 2nd-Order Logic, Paul Holbach, 2006/10/07
  - Re: "is a" & "has a" relations re: 2nd-Order Logic, Paul Holbach, 2006/10/07
  - Re: "is a" & "has a" relations re: 2nd-Order Logic, Paul Holbach, 2006/10/07
  - Re: "is a" & "has a" relations re: 2nd-Order Logic, Karmata, 2006/10/08
- Re: "is a" & "has a" relations re: 2nd-Order Logic, george, 2006/10/08
Craig's theorem, Glaukon, 2006/10/06
- Re: Craig's theorem, T.B., 2006/10/06
  - Re: Craig's theorem, Glaukon, 2006/10/06
    - Re: Craig's theorem, Peter_Smith, 2006/10/07
      
      Re: Craig's theorem, Glaukon, 2006/10/07
Is Einsteinâs E=mc2, CONCEPTUALLY applicable for energy emitted Chemical Reactions., physicsajay, 2006/10/06
- Re: Is Einsteinâs E=mc2, CONCEPTUALLY applicable for energy emitted Chemical Reactions., physicsajay, 2006/10/08
- Re: Is Einstein's E=mc2, CONCEPTUALLY applicable for energy emitted Chemical Reactions., Peter Webb, 2006/10/21
Help with models, bluelabel, 2006/10/05
- Re: Help with models, Barb Knox, 2006/10/05
  - Re: Help with models, bluelabel, 2006/10/06
    - Re: Help with models, MoeBlee, 2006/10/06
  - Re: Help with models, Nam Nguyen, 2006/10/08
Re: A Questionable Foundation, Han de Bruijn, 2006/10/05
- Re: A Questionable Foundation, MoeBlee, 2006/10/05
Explicit choice functions on subsets of R, Peter Webb, 2006/10/04
- Re: Explicit choice functions on subsets of R, lugita15, 2006/10/04
  - Re: Explicit choice functions on subsets of R, Rupert, 2006/10/05
    - Re: Explicit choice functions on subsets of R, aatu . koskensilta, 2006/10/05
      
      Re: Explicit choice functions on subsets of R, Ross A. Finlayson, 2006/10/05
      
      Re: Explicit choice functions on subsets of R, aatu . koskensilta, 2006/10/05
      
      Re: Explicit choice functions on subsets of R, Rupert, 2006/10/06
      
      Re: Explicit choice functions on subsets of R, Alan Smaill, 2006/10/06
Re: Modus Ponens and Trivial Truth, Confutus, 2006/10/04
- Re: Modus Ponens and Trivial Truth, herbzet, 2006/10/06
  - Re: Modus Ponens and Trivial Truth, Confutus, 2006/10/06
    - Re: Modus Ponens and Trivial Truth, herbzet, 2006/10/07
      
      Re: Modus Ponens and Trivial Truth, Confutus, 2006/10/07
- Re: Modus Ponens and Trivial Truth, MoeBlee, 2006/10/04
- Re: Modus Ponens and Trivial Truth, Charlie-Boo, 2006/10/07
Re: Modal Logic, Confutus, 2006/10/04
- Re: Modal Logic, Jan Burse, 2006/10/04
  - Re: Modal Logic, Confutus, 2006/10/05
    - Re: Modal Logic, Frederick Williams, 2006/10/05
      
      Re: Modal Logic, Confutus, 2006/10/05
      
      Re: Modal Logic, Frederick Williams, 2006/10/05
      
      Re: Modal Logic, Confutus, 2006/10/05
    - Re: Modal Logic, Jan Burse, 2006/10/05
      
      Re: Modal Logic, Confutus, 2006/10/05
      
      Re: Modal Logic, Jan Burse, 2006/10/05
      
      Re: Modal Logic, Confutus, 2006/10/06
  - Re: Modal Logic, Frederick Williams, 2006/10/05
    - Re: Modal Logic, Confutus, 2006/10/05
      
      Re: Modal Logic, Frederick Williams, 2006/10/05
      
      Re: Modal Logic, Confutus, 2006/10/05
    - Re: Modal Logic, Owen, 2006/10/06
      
      Re: Modal Logic, Frederick Williams, 2006/10/06
      
      Re: Modal Logic, Confutus, 2006/10/06
      
      Re: Modal Logic, Confutus, 2006/10/06
      
      Re: Modal Logic, Owen, 2006/10/06
      
      Re: Modal Logic, Confutus, 2006/10/07
      
      Re: Modal Logic, Owen, 2006/10/08
      
      Re: Modal Logic, Chris Menzel, 2006/10/07
      
      Re: Modal Logic, Frederick Williams, 2006/10/08
      
      Re: Modal Logic, Owen, 2006/10/08
      
      Re: Modal Logic, Owen, 2006/10/08
    - Re: Modal Logic, Owen, 2006/10/06
      
      Re: Modal Logic, Owen, 2006/10/07
      
      Re: Modal Logic, Frederick Williams, 2006/10/07
  - Re: Modal Logic, Dmitry Sustretov <dmitry.sustretov@xxxxxxxxx>, 2006/10/05
- Re: Modal Logic, Frederick Williams, 2006/10/05
Re: Sheer lies, cheating by Dr Alexander Inpain , who introduced as Scientist and Administrator at CERN ( European Organization for Nuclear Research ) in various post . But it proved all fraud. He was disusing about my work Einstein Sep 1905 paper and my book, physicsajay, 2006/10/04
Thankyou and goodbye., John Jones, 2006/10/04
- Re: Thankyou and goodbye., David C . Ullrich, 2006/10/04
- Re: Thankyou and goodbye., george, 2006/10/06
Re: Turing vs. Godel (Newbie Question), Alan Smaill, 2006/10/03
- Re: Turing vs. Godel (Newbie Question), Charlie-Boo, 2006/10/04
  - Re: Turing vs. Godel (Newbie Question), Alan Smaill, 2006/10/04
    - Re: Turing vs. Godel (Newbie Question), Charlie-Boo, 2006/10/04
      
      Re: Turing vs. Godel (Newbie Question), Alan Smaill, 2006/10/05
      
      Re: Turing vs. Godel (Newbie Question), Charlie-Boo, 2006/10/06
      
      Message not available
      
      Message not available
      
      Re: Turing vs. Godel (Newbie Question), Alan Smaill, 2006/10/17
      
      Re: Turing vs. Godel (Newbie Question), Charlie-Boo, 2006/10/17
      
      Re: Turing vs. Godel (Newbie Question), Alan Smaill, 2006/10/20
      
      Re: Turing vs. Godel (Newbie Question), Charlie-Boo, 2006/10/19
      
      Message not available
      
      Message not available
      
      Message not available
      Message not available
      Re: Turing vs. Godel (Newbie Question), Alan Smaill, 2006/10/20
      
      Re: Turing vs. Godel (Newbie Question), Charlie-Boo, 2006/10/17
      
      Re: Turing vs. Godel (Newbie Question), Alan Smaill, 2006/10/20
      
      Message not available
      
      Re: Turing vs. Godel (Newbie Question), Alan Smaill, 2006/10/20
- Message not available
  - Re: Turing vs. Godel (Newbie Question), Alan Smaill, 2006/10/20
    - Re: Turing vs. Godel (Newbie Question), Charlie-Boo, 2006/10/21
      
      Re: Turing vs. Godel (Newbie Question), Alan Smaill, 2006/10/23
      
      Re: Turing vs. Godel (Newbie Question), Charlie-Boo, 2006/10/24
      
      Re: Turing vs. Godel (Newbie Question), Alan Smaill, 2006/10/24
      
      Re: Turing vs. Godel (Newbie Question), Charlie-Boo, 2006/10/25
- Re: Turing vs. Godel (Newbie Question), Charlie-Boo, 2006/10/04
  - Re: Turing vs. Godel (Newbie Question), Alan Smaill, 2006/10/04
    - Re: Turing vs. Godel (Newbie Question), Charlie-Boo, 2006/10/04
      
      Re: Turing vs. Godel (Newbie Question), Alan Smaill, 2006/10/04
      
      Re: Turing vs. Godel (Newbie Question), Charlie-Boo, 2006/10/04
      
      Re: Turing vs. Godel (Newbie Question), Alan Smaill, 2006/10/05
      
      Re: Turing vs. Godel (Newbie Question), Charlie-Boo, 2006/10/05
      
      Re: Turing vs. Godel (Newbie Question), Alan Smaill, 2006/10/19
      
      Re: Turing vs. Godel (Newbie Question), Alan Morgan, 2006/10/05
      
      Re: Turing vs. Godel (Newbie Question), Stephen Harris, 2006/10/05
      
      Re: Turing vs. Godel (Newbie Question), Charlie-Boo, 2006/10/05
      
      Re: Turing vs. Godel (Newbie Question), Jack Campin - bogus address, 2006/10/05
      
      Re: Turing vs. Godel (Newbie Question), Charlie-Boo, 2006/10/05
- Re: Turing vs. Godel (Newbie Question), Alan Smaill, 2006/10/20
Question about second-order logic, lugita15, 2006/10/03
- Re: Question about second-order logic, yumingfeng25928@xxxxxxxxx, 2006/10/04
- Re: Question about second-order logic, Rupert, 2006/10/05
  - Re: Question about second-order logic, lugita15, 2006/10/05
    - Re: Question about second-order logic, Rupert, 2006/10/07
      
      Re: Question about second-order logic, Paul Holbach, 2006/10/07
      
      Re: Question about second-order logic, lugita15, 2006/10/07
      
      Re: Question about second-order logic, Rupert, 2006/10/08
      
      Re: Question about second-order logic, LauLuna, 2006/10/08
    - Re: Question about second-order logic, Chris Menzel, 2006/10/07
      
      Re: Question about second-order logic, lugita15, 2006/10/08
      
      Re: Question about second-order logic, Chris Menzel, 2006/10/08
Self-Refrential (2), Khodaeifar, 2006/10/02
- Re: Self-Refrential (2), Dirk Van de moortel, 2006/10/02
  - Re: Self-Refrential (2), Dirk Van de moortel, 2006/10/02
    - Re: Self-Refrential (2), joes, 2006/10/02
      
      Re: Self-Refrential (2), khodaeifar@xxxxxxxxx, 2006/10/03
  - Re: Self-Refrential (2), Khodaeifar, 2006/10/02
    - Re: Self-Refrential (2), Peter_Smith, 2006/10/02
      
      Re: Self-Refrential (2), khodaeifar@xxxxxxxxx, 2006/10/03
      
      Re: Self-Refrential (2), Peter_Smith, 2006/10/03
      
      Re: Self-Refrential (2), George Dance, 2006/10/05
      
      Message not available
      
      Message not available
      
      Message not available
      
      Message not available
      Message not available
      Message not available
      Message not available
      Message not available
      Message not available
      Message not available
      Re: Self-Refrential (2), George Dance, 2006/10/20
      
      Re: Self-Refrential (2), Aatu Koskensilta, 2006/10/21
      
      Re: Self-Refrential (2), George Dance, 2006/10/21
    - Re: Self-Refrential (2), Aatu Koskensilta, 2006/10/02
      
      Re: Self-Refrential (2), khodaeifar@xxxxxxxxx, 2006/10/03
      
      Re: Self-Refrential (2), Aatu Koskensilta, 2006/10/03
      
      Re: Self-Refrential (2), Peter_Smith, 2006/10/03
    - Re: Self-Refrential (2), Dirk Van de moortel, 2006/10/02
      
      Re: Self-Refrential (2), khodaeifar@xxxxxxxxx, 2006/10/03
      
      Re: Self-Refrential (2), Dirk Van de moortel, 2006/10/03
    - Re: Self-Refrential (2), George Dance, 2006/10/20
- Message not available
  - Re: Self-Refrential (2), Khodaeifar, 2006/10/02
    - Message not available
      
      Re: Self-Refrential (2), George Dance, 2006/10/05
- Re: Self-Refrential (2), LauLuna, 2006/10/03
- Re: Self-Refrential (2), Philo D, 2006/10/03
recursively axiomatizable, bluelabel, 2006/10/02
- Re: recursively axiomatizable, Peter_Smith, 2006/10/02
Re: Zen and...Math??, wit, 2006/10/02
- Re: Zen and...Math??, NYC XYZ, 2006/10/02
Self-Refrential, Khodaeifar, 2006/10/02
- Re: Self-Refrential, Aatu Koskensilta, 2006/10/02
- Re: Self-Refrential, Peter_Smith, 2006/10/02
  - Re: Self-Refrential, Lee Rudolph, 2006/10/02
    - Re: Self-Refrential, Dirk Van de moortel, 2006/10/02
Introduction to Tarski's works, mctodd333, 2006/10/02
- Re: Introduction to Tarski's works, wit, 2006/10/02
  - Re: Introduction to Tarski's works, Peter_Smith, 2006/10/02
- Re: Introduction to Tarski's works, Stephen Harris, 2006/10/03
Re: Modus Ponens Is Unprovable?, George Dance, 2006/10/01
- Re: Modus Ponens Is Unprovable?, herbzet, 2006/10/06
- Re: Modus Ponens Is Unprovable?, Confutus, 2006/10/04
  - Re: Modus Ponens Is Unprovable?, Jan Burse, 2006/10/04
    - Re: Modus Ponens Is Unprovable?, Confutus, 2006/10/04
  - Re: Modus Ponens Is Unprovable?, mordov, 2006/10/04
    - Re: Modus Ponens Is Unprovable?, Confutus, 2006/10/05
      
      Re: Modus Ponens Is Unprovable?, mordov, 2006/10/05
      
      Re: Modus Ponens Is Unprovable?, Confutus, 2006/10/05
Re: Sudoku Creator and Step by Step Solver, George Dance, 2006/10/01
- Re: Sudoku Creator and Step by Step Solver, Peter_Smith, 2006/10/01
- Re: Sudoku Creator and Step by Step Solver, Jan Burse, 2006/10/01
Re: Computability and logic, Tom, 2006/10/01
- Re: Computability and logic, MoeBlee, 2006/10/03
  - Re: Computability and logic, Tom, 2006/10/03
    - Re: Computability and logic, MoeBlee, 2006/10/03
      
      Re: Computability and logic, Tom, 2006/10/04
      
      Re: Computability and logic, MoeBlee, 2006/10/04
      
      Re: Computability and logic, Tom, 2006/10/05
      
      Re: Computability and logic, MoeBlee, 2006/10/05
      
      Re: Computability and logic, Tom, 2006/10/05
      
      Re: Computability and logic, MoeBlee, 2006/10/05
      
      Re: Computability and logic, Tom, 2006/10/06
  - Re: Computability and logic, george, 2006/10/04
    - Re: Computability and logic, MoeBlee, 2006/10/04
      
      Re: Computability and logic, george, 2006/10/04
      
      Re: Computability and logic, MoeBlee, 2006/10/04
Arturo and Tim Peters" - Zorn's Lemma, Peter Webb, 2006/10/01
- Re: Arturo and Tim Peters" - Zorn's Lemma, Arturo Magidin, 2006/10/01
  - Re: Arturo and Tim Peters" - Zorn's Lemma, Peter Webb, 2006/10/02
    - Re: Arturo and Tim Peters" - Zorn's Lemma, Arturo Magidin, 2006/10/02
      
      Re: Arturo and Tim Peters" - Zorn's Lemma, Tim Peters, 2006/10/02
    - Re: Arturo and Tim Peters" - Zorn's Lemma, Arturo Magidin, 2006/10/02
      
      Re: Arturo and Tim Peters" - Zorn's Lemma, Arturo Magidin, 2006/10/02
      
      Re: Arturo and Tim Peters" - Zorn's Lemma, Peter Webb, 2006/10/03
- Re: Arturo and Tim Peters" - Zorn's Lemma, Tim Peters, 2006/10/01
., John Jones, 2006/10/01
Re: Goldbach Conjecture & the Foundation of First Order Logic., Alexandre BELDI, 2006/10/01
- Re: Goldbach Conjecture & the Foundation of First Order Logic., Aatu Koskensilta, 2006/10/02
- Re: Goldbach Conjecture & the Foundation of First Order Logic., Aatu Koskensilta, 2006/10/02
  - Re: Goldbach Conjecture & the Foundation of First Order Logic., Nam Nguyen, 2006/10/03
- Re: Goldbach Conjecture & the Foundation of First Order Logic., Nam Nguyen, 2006/10/03
  - Re: Goldbach Conjecture & the Foundation of First Order Logic., Peter_Smith, 2006/10/03
    - Re: Goldbach Conjecture & the Foundation of First Order Logic., Nam Nguyen, 2006/10/03
      
      Re: Goldbach Conjecture & the Foundation of First Order Logic., Peter_Smith, 2006/10/03
      
      Re: Goldbach Conjecture & the Foundation of First Order Logic., Nam Nguyen, 2006/10/03
    - Re: Goldbach Conjecture & the Foundation of First Order Logic., Nam Nguyen, 2006/10/04
      
      Re: Goldbach Conjecture & the Foundation of First Order Logic., Nam Nguyen, 2006/10/04
- Re: Goldbach Conjecture & the Foundation of First Order Logic., Nam Nguyen, 2006/10/03
Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 2006/10/01
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 2006/10/02
  - Message not available
    - Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 2006/10/02
      
      Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 2006/10/02
      
      Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 2006/10/02
      
      Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 2006/10/02
      
      Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 2006/10/03
      
      Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 2006/10/03
      
      Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 2006/10/03
      
      Message not available
      Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 2006/10/03
      
      Message not available
      Re: Why Has None of Computer Science been Formalized?, Patricia Shanahan, 2006/10/03
      
      Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 2006/10/03
      
      Message not available
      Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 2006/10/03
      
      Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 2006/10/03
      
      Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 2006/10/03
      
      Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 2006/10/04
      
      Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 2006/10/05
      
      Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 2006/10/04
      
      Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 2006/10/05
      
      Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 2006/10/05
      
      Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 2006/10/05
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 2006/10/01
  - Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 2006/10/02
    - Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 2006/10/02
      
      Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 2006/10/02
    - Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 2006/10/02
      
      Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 2006/10/02
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 2006/10/01
  - Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 2006/10/02
    - Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 2006/10/02
      
      Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 2006/10/02
      
      Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 2006/10/02
      
      Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 2006/10/02
    - Re: Why Has None of Computer Science been Formalized?, H. J. Sander Bruggink, 2006/10/02
      
      Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 2006/10/02
      
      Program Synthesis and formallization?, Mitch, 2006/10/02
      
      Re: Program Synthesis and formallization?, Charlie-Boo, 2006/10/03
      
      Re: Program Synthesis and formallization?, Mitch, 2006/10/03
      
      Re: Program Synthesis and formallization?, Charlie-Boo, 2006/10/03
      
      Re: Program Synthesis and formallization?, Mitch, 2006/10/03
      
      Re: Program Synthesis and formallization?, Steven Zenith, 2006/10/04
      
      Re: Program Synthesis and formallization?, Alan Smaill, 2006/10/04
      
      Re: Program Synthesis and formallization?, Charlie-Boo, 2006/10/05
      
      Re: Program Synthesis and formallization?, Alan Smaill, 2006/10/20
      
      Re: Program Synthesis and formallization?, Charlie-Boo, 2006/10/21
      
      Re: Program Synthesis and formallization?, Alan Smaill, 2006/10/23
      
      Re: Program Synthesis and formallization?, Charlie-Boo, 2006/10/24
      
      Re: Program Synthesis and formallization?, Alan Smaill, 2006/10/24
      
      Re: Program Synthesis and formallization?, Charlie-Boo, 2006/10/27
      
      Re: Program Synthesis and formallization?, Alan Smaill, 2006/10/27
      
      Re: Program Synthesis and formallization?, Charlie-Boo, 2006/10/27
      
      Re: Program Synthesis and formallization?, Charlie-Boo, 2006/10/27
      
      Re: Program Synthesis and formallization?, Charlie-Boo, 2006/10/24
      
      Re: Program Synthesis and formallization?, Mitch, 2006/10/25
      
      Re: Program Synthesis and formallization?, Charlie-Boo, 2006/10/27
      
      Re: Program Synthesis and formallization?, Mitch, 2006/10/27
      
      Re: Program Synthesis and formallization?, Charlie-Boo, 2006/10/28
      
      Re: Program Synthesis and formallization?, Mitch, 2006/10/29
      
      Re: Program Synthesis and formallization?, Mitch, 2006/10/27
      
      Re: Program Synthesis and formallization?, H. J. Sander Bruggink, 2006/10/25
      
      Re: Program Synthesis and formallization?, Charlie-Boo, 2006/10/27
      
      Re: Program Synthesis and formallization?, H. J. Sander Bruggink, 2006/10/27
      
      Re: Program Synthesis and formallization?, Charlie-Boo, 2006/10/27
      
      Re: Program Synthesis and formallization?, H. J. Sander Bruggink, 2006/10/30
      
      Re: Why Has None of Computer Science been Formalized?, H. J. Sander Bruggink, 2006/10/03
      
      Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 2006/10/03
      
      Re: Why Has None of Computer Science been Formalized?, H. J. Sander Bruggink, 2006/10/03
      
      Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 2006/10/03
      
      Re: Why Has None of Computer Science been Formalized?, H. J. Sander Bruggink, 2006/10/03
      
      Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 2006/10/04
      
      Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 2006/10/04
      
      Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 2006/10/24
    - Re: Why Has None of Computer Science been Formalized?, hale, 2006/10/03
      
      Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 2006/10/03
      
      Re: Why Has None of Computer Science been Formalized?, Bill Hale, 2006/10/03
      
      Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 2006/10/04
      
      Re: Why Has None of Computer Science been Formalized?, Bill Hale, 2006/10/04
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 2006/10/02
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 2006/10/03
  - Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 2006/10/03
    - Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 2006/10/03
Re: A New Resolution to Impredicativity, Keith Ramsay, 2006/10/01
Question about first-order arithmetic, lugita15, 2006/10/01
- Re: Question about first-order arithmetic, Peter_Smith, 2006/10/01
  - Re: Question about first-order arithmetic, lugita15, 2006/10/01
    - Re: Question about first-order arithmetic, Peter_Smith, 2006/10/01
      
      Re: Question about first-order arithmetic, lugita15, 2006/10/01
      
      Re: Question about first-order arithmetic, Peter_Smith, 2006/10/01
      
      Re: Question about first-order arithmetic, lugita15, 2006/10/01
      
      Re: Question about first-order arithmetic, Peter_Smith, 2006/10/01
      
      Re: Question about first-order arithmetic, lugita15, 2006/10/02
      
      Re: Question about first-order arithmetic, george, 2006/10/02
      
      Re: Question about first-order arithmetic, lugita15, 2006/10/02
      
      Re: Question about first-order arithmetic, Aatu Koskensilta, 2006/10/02
      
      Re: Question about first-order arithmetic, Aatu Koskensilta, 2006/10/02
      
      Re: Question about first-order arithmetic, george, 2006/10/03
      
      Re: Question about first-order arithmetic, aatu . koskensilta, 2006/10/05
      
      Re: Question about first-order arithmetic, george, 2006/10/03
      
      Re: Question about first-order arithmetic, george, 2006/10/06
      
      Re: Question about first-order arithmetic, george, 2006/10/02
      
      Re: Question about first-order arithmetic, Peter_Smith, 2006/10/02
      
      Re: Question about first-order arithmetic, george, 2006/10/02
- Re: Question about first-order arithmetic, george, 2006/10/02
- Re: Question about first-order arithmetic, george, 2006/10/02
  - Re: Question about first-order arithmetic, Aatu Koskensilta, 2006/10/02
    - Re: Question about first-order arithmetic, lugita15, 2006/10/02
      
      Re: Question about first-order arithmetic, Aatu Koskensilta, 2006/10/02
      
      Re: Question about first-order arithmetic, lugita15, 2006/10/03
      
      Re: Question about first-order arithmetic, Aatu Koskensilta, 2006/10/03
      
      Re: Question about first-order arithmetic, JEFFREY KETLAND, 2006/10/04
      
      Re: Question about first-order arithmetic, Peter_Smith, 2006/10/04
      
      Re: Question about first-order arithmetic, aatu . koskensilta, 2006/10/05
      
      Re: Question about first-order arithmetic, aatu . koskensilta, 2006/10/05
- Re: Question about first-order arithmetic, george, 2006/10/06
[FAQ, 99/07/28] Mathematical logic on the web, Boris 'pi' Piwinger, 2006/10/01
- Re: [FAQ, 99/07/28] Mathematical logic on the web, translogi@xxxxxxxxxxxxxx, 2006/10/02
Re: how to prove ~ ( P & Q) => ~P v ~Q, William Elliot, 2006/10/01
- Re: how to prove ~ ( P & Q) => ~P v ~Q, Peter_Smith, 2006/10/01
  - Re: how to prove ~ ( P & Q) => ~P v ~Q, translogi@xxxxxxxxxxxxxx, 2006/10/02
    - Re: how to prove ~ ( P & Q) => ~P v ~Q, Jack Campin - bogus address, 2006/10/02
- Re: how to prove ~ ( P & Q) => ~P v ~Q, Frederick Williams, 2006/10/05
Re: Foundations of Mathematics, Stephen Harris, 2006/09/30
- Re: Foundations of Mathematics, John Jones, 2006/10/01
  - Re: Foundations of Mathematics, Stephen Harris, 2006/10/01
    - Re: Foundations of Mathematics, John Jones, 2006/10/01
      
      Re: Foundations of Mathematics, Stephen Harris, 2006/10/01
      
      Re: Foundations of Mathematics, Jack Campin - bogus address, 2006/10/01
      
      Re: Foundations of Mathematics, John Jones, 2006/10/01
- Re: Foundations of Mathematics, Charlie-Boo, 2006/10/01
- Re: Foundations of Mathematics, Charlie-Boo, 2006/09/30
- Re: Foundations of Mathematics, Stephen Harris, 2006/10/01
  - Re: Foundations of Mathematics, John Jones, 2006/10/01
    - Re: Foundations of Mathematics, Stephen Harris, 2006/10/01
      
      Re: Foundations of Mathematics, John Jones, 2006/10/01
      
      Re: Foundations of Mathematics, Peter_Smith, 2006/10/01
      
      Re: Foundations of Mathematics, John Jones, 2006/10/01
      
      Re: Foundations of Mathematics, Stephen Harris, 2006/10/02
      
      Re: Foundations of Mathematics, Stephen Harris, 2006/10/02
      
      Re: Foundations of Mathematics, John Jones, 2006/10/02
      
      Re: Foundations of Mathematics, Daryl McCullough, 2006/10/02
      
      Re: Foundations of Mathematics, Charlie-Boo, 2006/10/02
      
      Re: Foundations of Mathematics, John Jones, 2006/10/02
      
      Re: Foundations of Mathematics, Charlie-Boo, 2006/10/02
      
      Re: Foundations of Mathematics, John Jones, 2006/10/03
      
      Re: Foundations of Mathematics, Charlie-Boo, 2006/10/19
  - Re: Foundations of Mathematics, Charlie-Boo, 2006/10/01
Re: My investigations into Godels Incompleteness Theorem, John Jones, 2006/09/30
- Re: My investigations into Godels Incompleteness Theorem, MoeBlee, 2006/10/02
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 2006/09/30
  - Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 2006/10/01
  - Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 2006/10/01
    - Re: My investigations into Godels Incompleteness Theorem, John Jones, 2006/10/01
      
      Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 2006/10/01
      
      Re: My investigations into Godels Incompleteness Theorem, John Jones, 2006/10/01
      
      Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 2006/10/01
      
      Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 2006/10/01
      
      Re: My investigations into Godels Incompleteness Theorem, John Jones, 2006/10/02
      
      Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 2006/10/02
      
      Re: My investigations into Godels Incompleteness Theorem, John Jones, 2006/10/02
      
      Re: My investigations into Godels Incompleteness Theorem, Alan Smaill, 2006/10/02
      
      Re: My investigations into Godels Incompleteness Theorem, John Jones, 2006/10/02
      
      Re: My investigations into Godels Incompleteness Theorem, Alan Smaill, 2006/10/02
      
      Re: My investigations into Godels Incompleteness Theorem, John Jones, 2006/10/02
      
      Re: My investigations into Godels Incompleteness Theorem, Alan Smaill, 2006/10/03
      
      Re: My investigations into Godels Incompleteness Theorem, John Jones, 2006/10/03
      
      Re: My investigations into Godels Incompleteness Theorem, MoeBlee, 2006/10/03
      
      Re: My investigations into Godels Incompleteness Theorem, John Jones, 2006/10/03
      
      Re: My investigations into Godels Incompleteness Theorem, MoeBlee, 2006/10/03
      
      Re: My investigations into Godels Incompleteness Theorem, John Jones, 2006/10/03
      
      Re: My investigations into Godels Incompleteness Theorem, MoeBlee, 2006/10/03
      
      Re: My investigations into Godels Incompleteness Theorem, MoeBlee, 2006/10/03
      
      Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 2006/10/04
      
      Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 2006/10/02
- Re: My investigations into Godels Incompleteness Theorem, Bhupinder Singh Anand, 2006/10/01
  - Re: My investigations into Godels Incompleteness Theorem, Bhupinder Singh Anand, 2006/10/02
- Re: My investigations into Godels Incompleteness Theorem, R. Srinivasan, 2006/10/01
  - Re: My investigations into Godels Incompleteness Theorem, John Jones, 2006/10/01
    - Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 2006/10/01
      
      Re: My investigations into Godels Incompleteness Theorem, John Jones, 2006/10/01
      
      Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 2006/10/01
      
      Re: My investigations into Godels Incompleteness Theorem, John Jones, 2006/10/01
      
      Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 2006/10/01
      
      Re: My investigations into Godels Incompleteness Theorem, John Jones, 2006/10/01
      
      Re: My investigations into Godels Incompleteness Theorem, Chris Menzel, 2006/10/01
      
      Re: My investigations into Godels Incompleteness Theorem, John Jones, 2006/10/01
      
      Re: My investigations into Godels Incompleteness Theorem, Chris Menzel, 2006/10/01
      
      Re: My investigations into Godels Incompleteness Theorem, John Jones, 2006/10/02
      
      Re: My investigations into Godels Incompleteness Theorem, Chris Menzel, 2006/10/02
      
      Re: My investigations into Godels Incompleteness Theorem, John Jones, 2006/10/02
      
      Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 2006/10/02
      
      Re: My investigations into Godels Incompleteness Theorem, David C . Ullrich, 2006/10/02
      
      Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 2006/10/02
      
      Re: My investigations into Godels Incompleteness Theorem, David C . Ullrich, 2006/10/03
      
      Re: My investigations into Godels Incompleteness Theorem, John Jones, 2006/10/02
      
      Re: My investigations into Godels Incompleteness Theorem, David C . Ullrich, 2006/10/03
      
      Re: My investigations into Godels Incompleteness Theorem, John Jones, 2006/10/03
      
      Re: My investigations into Godels Incompleteness Theorem, David C . Ullrich, 2006/10/04
      
      Re: My investigations into Godels Incompleteness Theorem, John Jones, 2006/10/02
      
      Re: My investigations into Godels Incompleteness Theorem, David C . Ullrich, 2006/10/03
      
      Re: My investigations into Godels Incompleteness Theorem, Stephen Harris, 2006/10/01
      
      Re: My investigations into Godels Incompleteness Theorem, John Jones, 2006/10/01
      
      Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 2006/10/02
      
      Re: My investigations into Godels Incompleteness Theorem, John Jones, 2006/10/02
      
      Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 2006/10/02
      
      Re: My investigations into Godels Incompleteness Theorem, Stephen Harris, 2006/10/03
      
      Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 2006/10/03
      
      Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 2006/10/01
      
      Re: My investigations into Godels Incompleteness Theorem, John Jones, 2006/10/01
      
      Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 2006/10/02
    - Re: My investigations into Godels Incompleteness Theorem, R. Srinivasan, 2006/10/01
      
      Re: My investigations into Godels Incompleteness Theorem, John Jones, 2006/10/02
- Re: My investigations into Godels Incompleteness Theorem, Bhupinder Singh Anand, 2006/10/02
  - Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 2006/10/02
    - Re: My investigations into Godels Incompleteness Theorem, Bhupinder Singh Anand, 2006/10/02