sci.logic (thread)

stuck up in one simple problem, chander.prb@xxxxxxxxx, 2005/11/30
Turing and Godel, Mark-T, 2005/11/29
- Re: Turing and Godel, Rupert, 2005/11/29
  - Re: Turing and Godel, Torkel Franzen, 2005/11/30
a logic, a model, an isomorphism, an intention, mitch, 2005/11/28
Help writing a paper on Godel's Incompleteness Thorem, Scott, 2005/11/28
- Re: Help writing a paper on Godel's Incompleteness Thorem, logic-lurker, 2005/11/28
  - Re: Help writing a paper on Godel's Incompleteness Thorem, Bhartrhari, 2005/11/28
- Re: Help writing a paper on Godel's Incompleteness Thorem, David C . Ullrich, 2005/11/29
  - Re: Help writing a paper on Godel's Incompleteness Thorem, Scott, 2005/11/29
    - Re: Help writing a paper on Godel's Incompleteness Thorem, Ross A. Finlayson, 2005/11/30
    - Re: Help writing a paper on Godel's Incompleteness Thorem, David C . Ullrich, 2005/11/30
      
      Re: Help writing a paper on Godel's Incompleteness Thorem, Scott, 2005/11/30
      
      Re: Help writing a paper on Godel's Incompleteness Thorem, Torkel Franzen, 2005/11/30
      
      Re: Help writing a paper on Godel's Incompleteness Thorem, Chris Menzel, 2005/11/30
      
      Re: Help writing a paper on Godel's Incompleteness Thorem, Torkel Franzen, 2005/11/30
      
      Re: Help writing a paper on Godel's Incompleteness Thorem, Aatu Koskensilta, 2005/11/30
minimal element iff maximal element: how to prove?, MoeBlee, 2005/11/28
- Re: minimal element iff maximal element: how to prove?, Chris Menzel, 2005/11/28
  - Re: minimal element iff maximal element: how to prove?, MoeBlee, 2005/11/28
**theory-edge** mailing list, vznuri, 2005/11/27
Einstein's 'dark energy"., caesarjbsquitti, 2005/11/27
Are Logicians Naturally Logical?, William Elliot, 2005/11/27
- Re: Are Logicians Naturally Logical?, Frederick Williams, 2005/11/27
- Re: Are Logicians Naturally Logical?, G . Frege, 2005/11/27
  - Re: Are Logicians Naturally Logical?, William Elliot, 2005/11/29
    - Re: Are Logicians Naturally Logical?, G . Frege, 2005/11/29
      
      Re: Are Logicians Naturally Logical?, G . Frege, 2005/11/29
      
      Re: Are Logicians Naturally Logical?, G . Frege, 2005/11/29
      
      Re: Are Logicians Naturally Logical?, G . Frege, 2005/11/29
      
      Re: Are Logicians Naturally Logical?, G . Frege, 2005/11/29
- Re: Are Logicians Naturally Logical?, George Dance, 2005/11/27
  - Re: Are Logicians Naturally Logical?, G . Frege, 2005/11/27
Re: Universe Does Have An "Outside", nobody40, 2005/11/26
analytic function... need help., curtispro, 2005/11/25
- Re: analytic function... need help., David C . Ullrich, 2005/11/26
  - Re: analytic function... need help., curtispro, 2005/11/26
    - Re: analytic function... need help., curtispro, 2005/11/26
      
      Re: analytic function... need help., David C . Ullrich, 2005/11/27
      
      Re: analytic function... need help., Lee Rudolph, 2005/11/27
      
      Re: analytic function... need help., David C . Ullrich, 2005/11/28
      
      Re: analytic function... need help., Lee Rudolph, 2005/11/28
      
      Re: analytic function... need help., David C . Ullrich, 2005/11/29
UCLA Logic Colloquium, Dec 2, H. Enderton, 2005/11/25
conditional statement v.s. conditional probability?, littlebeam, 2005/11/25
- Re: conditional statement v.s. conditional probability?, Barb Knox, 2005/11/25
- Re: conditional statement v.s. conditional probability?, david petry, 2005/11/25
- Re: conditional statement v.s. conditional probability?, Miler, 2005/11/26
Re: Well Ordering the Reals, Robert Low, 2005/11/23
- Re: Well Ordering the Reals, Chris Menzel, 2005/11/23
  - Re: Well Ordering the Reals, Robert Low, 2005/11/23
    - Re: Well Ordering the Reals, Chris Menzel, 2005/11/23
      
      Re: Well Ordering the Reals, Robert Low, 2005/11/23
      
      Re: Well Ordering the Reals, Chris Menzel, 2005/11/23
      
      Re: Well Ordering the Reals, Robert Low, 2005/11/23
complete theory of Rationals, m s, 2005/11/23
- Re: complete theory of Rationals, Torkel Franzen, 2005/11/23
  - Re: complete theory of Rationals, m s, 2005/11/23
    - Re: complete theory of Rationals, Torkel Franzen, 2005/11/23
- Re: complete theory of Rationals, William Elliot, 2005/11/23
  - Re: complete theory of Rationals, m s, 2005/11/23
    - Re: complete theory of Rationals, William Elliot, 2005/11/23
      
      Re: complete theory of Rationals, Torkel Franzen, 2005/11/23
      
      Re: complete theory of Rationals, William Elliot, 2005/11/23
      
      Re: complete theory of Rationals, m s, 2005/11/23
Help with a problem, Robert Zimmerman, 2005/11/22
- Re: Help with a problem, Chris Menzel, 2005/11/23
  - Re: Help with a problem, Robert Zimmerman, 2005/11/23
    - Re: Help with a problem, William Elliot, 2005/11/23
      
      Re: Help with a problem, Torkel Franzen, 2005/11/23
      
      Re: Help with a problem, G . Frege, 2005/11/23
      
      Re: Help with a problem, William Elliot, 2005/11/24
      
      Re: Help with a problem, G . Frege, 2005/11/23
      
      Re: Help with a problem, William Elliot, 2005/11/24
      
      Re: Help with a problem, G . Frege, 2005/11/24
      
      Re: Help with a problem, G . Frege, 2005/11/24
      
      Re: Help with a problem, William Elliot, 2005/11/24
      
      Re: Help with a problem, G . Frege, 2005/11/25
      
      Re: Help with a problem, George Dance, 2005/11/23
      
      Re: Help with a problem, William Elliot, 2005/11/24
      
      Re: Help with a problem, George Dance, 2005/11/24
      
      Re: Help with a problem, William Elliot, 2005/11/24
      
      Re: Help with a problem, George Dance, 2005/11/24
      
      Re: Help with a problem, G . Frege, 2005/11/24
      
      Re: Help with a problem, William Elliot, 2005/11/24
      
      Re: Help with a problem, G . Frege, 2005/11/25
      
      Re: Help with a problem, George Dance, 2005/11/26
      
      Re: Help with a problem, G . Frege, 2005/11/26
      
      Re: Help with a problem, George Dance, 2005/11/26
      
      Re: Help with a problem, G . Frege, 2005/11/26
      
      Re: Help with a problem, George Dance, 2005/11/26
      
      Re: Help with a problem, G . Frege, 2005/11/26
      
      Re: Help with a problem, G . Frege, 2005/11/27
      
      Re: Help with a problem, Torkel Franzen, 2005/11/27
      
      Re: Help with a problem, G . Frege, 2005/11/25
      
      Re: Help with a problem, G . Frege, 2005/11/25
      
      Re: Help with a problem, G . Frege, 2005/11/25
      
      Re: Help with a problem, George Dance, 2005/11/26
      
      Re: Help with a problem, G . Frege, 2005/11/26
      
      Re: Help with a problem, William Elliot, 2005/11/27
      
      Re: Help with a problem, William Elliot, 2005/11/26
      
      Re: Help with a problem, G . Frege, 2005/11/26
      
      Re: Help with a problem, G . Frege, 2005/11/24
      
      Message not available
      Re: Help with a problem, G . Frege, 2005/11/25
      
      Message not available
      Re: Help with a problem, G . Frege, 2005/11/25
      
      Re: Help with a problem, George Dance, 2005/11/25
      
      Re: Help with a problem, Torkel Franzen, 2005/11/25
      
      Re: Help with a problem, G . Frege, 2005/11/25
      
      Re: Help with a problem, G . Frege, 2005/11/25
      
      Re: Help with a problem, George Dance, 2005/11/26
      
      Re: Help with a problem, Torkel Franzen, 2005/11/26
      
      Re: Help with a problem, G . Frege, 2005/11/25
      
      Re: Help with a problem, G . Frege, 2005/11/25
      
      Re: Help with a problem, Torkel Franzen, 2005/11/26
      
      Re: Help with a problem, G . Frege, 2005/11/25
      
      Re: Help with a problem, G . Frege, 2005/11/24
      
      Message not available
      
      Re: Help with a problem, G . Frege, 2005/11/24
      
      Re: Help with a problem, William Elliot, 2005/11/25
      
      Re: Help with a problem, George Dance, 2005/11/26
      
      Re: Help with a problem, George Dance, 2005/11/23
      
      Re: Help with a problem, G . Frege, 2005/11/25
      
      Re: Help with a problem, Robert Zimmerman, 2005/11/25
      
      Re: Help with a problem, G . Frege, 2005/11/25
      
      Re: Help with a problem, Robert Zimmerman, 2005/11/26
      
      Re: Help with a problem, G . Frege, 2005/11/26
      
      Re: Help with a problem, Robert Zimmerman, 2005/11/26
      
      Re: Help with a problem, George Dance, 2005/11/26
      
      Re: Help with a problem, Torkel Franzen, 2005/11/27
      
      Re: Help with a problem, George Dance, 2005/11/27
      
      Re: Help with a problem, Torkel Franzen, 2005/11/27
      
      Re: Help with a problem, George Dance, 2005/11/27
      
      Re: Help with a problem, Torkel Franzen, 2005/11/27
      
      Re: Help with a problem, George Dance, 2005/11/27
      
      Re: Help with a problem, Torkel Franzen, 2005/11/27
      
      Re: Help with a problem, George Dance, 2005/11/27
      
      Re: Help with a problem, Torkel Franzen, 2005/11/27
      
      Re: Help with a problem, George Dance, 2005/11/27
      
      Re: Help with a problem, Torkel Franzen, 2005/11/27
      
      Re: Help with a problem, George Dance, 2005/11/27
      
      Re: Help with a problem, G . Frege, 2005/11/27
      
      Re: Help with a problem, George Dance, 2005/11/27
      
      Re: Help with a problem, Torkel Franzen, 2005/11/27
      
      Re: Help with a problem, George Dance, 2005/11/27
      
      Re: Help with a problem, Torkel Franzen, 2005/11/27
      
      Re: Help with a problem, George Dance, 2005/11/27
      
      Re: Help with a problem, Torkel Franzen, 2005/11/27
      
      Re: Help with a problem, George Dance, 2005/11/27
      
      Re: Help with a problem, Torkel Franzen, 2005/11/27
      
      Re: Help with a problem, George Dance, 2005/11/27
      
      Re: Help with a problem, Torkel Franzen, 2005/11/28
      
      Re: Help with a problem, George Dance, 2005/11/28
      
      Re: Help with a problem, Torkel Franzen, 2005/11/29
      
      Re: Help with a problem, G . Frege, 2005/11/27
      
      Re: Help with a problem, George Dance, 2005/11/27
      
      Re: Help with a problem, G . Frege, 2005/11/27
      
      Re: Help with a problem, George Dance, 2005/11/27
      
      Re: Help with a problem, Torkel Franzen, 2005/11/27
      
      Re: Help with a problem, George Dance, 2005/11/27
      
      Re: Help with a problem, Torkel Franzen, 2005/11/27
      
      Re: Help with a problem, George Dance, 2005/11/26
      
      Re: Help with a problem, G . Frege, 2005/11/26
- Re: Help with a problem, George Dance, 2005/11/24
  - Re: Help with a problem, William Elliot, 2005/11/24
    - Re: Help with a problem, George Dance, 2005/11/24
  - Re: Help with a problem, G . Frege, 2005/11/25
    - Re: Help with a problem, George Dance, 2005/11/26
- Re: Help with a problem, G . Frege, 2005/11/25
question about categoricity, Per Freem, 2005/11/22
- Re: question about categoricity, Chris Menzel, 2005/11/22
  - Re: question about categoricity, Per Freem, 2005/11/22
    - Re: question about categoricity, Chris Menzel, 2005/11/22
    - Re: question about categoricity, george, 2005/11/23
      
      Re: question about categoricity, Per Freem, 2005/11/25
      
      Re: question about categoricity, Per Freem, 2005/11/25
      
      Re: question about categoricity, Torkel Franzen, 2005/11/26
      
      Re: question about categoricity, Chris Menzel, 2005/11/26
      
      Re: question about categoricity, Per Freem, 2005/11/26
      
      Re: question about categoricity, Torkel Franzen, 2005/11/27
      
      Re: question about categoricity, Per Freem, 2005/11/27
      
      Re: question about categoricity, Torkel Franzen, 2005/11/27
      
      Re: question about categoricity, Per Freem, 2005/11/28
      
      Re: question about categoricity, Torkel Franzen, 2005/11/28
      
      Re: question about categoricity, Chris Menzel, 2005/11/27
      
      Re: question about categoricity, Per Freem, 2005/11/28
      
      Re: question about categoricity, Chris Menzel, 2005/11/30
      
      Re: question about categoricity, Chris Menzel, 2005/11/26
"|-" and proofs, paul_bostonjp, 2005/11/22
- Re: "|-" and proofs, William Elliot, 2005/11/22
  - Re: "|-" and proofs, Torkel Franzen, 2005/11/22
    - Re: "|-" and proofs, William Elliot, 2005/11/22
      
      Re: "|-" and proofs, Torkel Franzen, 2005/11/22
      
      Re: "|-" and proofs, William Elliot, 2005/11/22
      
      Re: "|-" and proofs, Torkel Franzen, 2005/11/22
      
      Re: "|-" and proofs, William Elliot, 2005/11/23
      
      Re: "|-" and proofs, Torkel Franzen, 2005/11/23
      
      Re: "|-" and proofs, G . Frege, 2005/11/23
      
      Re: "|-" and proofs, William Elliot, 2005/11/23
  - Re: "|-" and proofs, Aatu Koskensilta, 2005/11/22
  - Re: "|-" and proofs, Daryl McCullough, 2005/11/22
    - Re: "|-" and proofs, G . Frege, 2005/11/22
      
      Re: "|-" and proofs, William Elliot, 2005/11/23
      
      Re: "|-" and proofs, G . Frege, 2005/11/23
      
      Re: "|-" and proofs, William Elliot, 2005/11/23
    - Re: "|-" and proofs, William Elliot, 2005/11/23
      
      Re: "|-" and proofs, Daryl McCullough, 2005/11/23
      
      Re: "|-" and proofs, William Elliot, 2005/11/23
      
      Re: "|-" and proofs, Torkel Franzen, 2005/11/23
      
      Re: "|-" and proofs, William Elliot, 2005/11/23
      
      Re: "|-" and proofs, Torkel Franzen, 2005/11/23
      
      Re: "|-" and proofs, William Elliot, 2005/11/23
      
      Re: "|-" and proofs, Torkel Franzen, 2005/11/23
      
      Re: "|-" and proofs, William Elliot, 2005/11/24
      
      Re: "|-" and proofs, Torkel Franzen, 2005/11/24
      
      Re: "|-" and proofs, William Elliot, 2005/11/24
      
      Re: "|-" and proofs, Torkel Franzen, 2005/11/24
      
      Re: "|-" and proofs, William Elliot, 2005/11/24
      
      Re: "|-" and proofs, Daryl McCullough, 2005/11/23
      
      Re: "|-" and proofs, Torkel Franzen, 2005/11/23
      
      Re: "|-" and proofs, William Elliot, 2005/11/23
      
      Re: "|-" and proofs, G . Frege, 2005/11/23
      
      Re: "|-" and proofs, William Elliot, 2005/11/24
      
      Re: "|-" and proofs, paul_bostonjp, 2005/11/24
      
      Re: "|-" and proofs, Daryl McCullough, 2005/11/24
      
      Re: "|-" and proofs, Torkel Franzen, 2005/11/25
      
      Re: "|-" and proofs, H. J. Sander Bruggink, 2005/11/23
      
      Re: "|-" and proofs, William Elliot, 2005/11/23
      
      Re: "|-" and proofs, Torkel Franzen, 2005/11/23
    - Re: "|-" and proofs, Aatu Koskensilta, 2005/11/24
  - Re: "|-" and proofs, H. J. Sander Bruggink, 2005/11/22
    - Re: "|-" and proofs, Torkel Franzen, 2005/11/22
      
      Re: "|-" and proofs, William Elliot, 2005/11/23
      
      Re: "|-" and proofs, Torkel Franzen, 2005/11/23
    - Re: "|-" and proofs, William Elliot, 2005/11/23
      
      Re: "|-" and proofs, H. J. Sander Bruggink, 2005/11/23
      
      Re: "|-" and proofs, William Elliot, 2005/11/23
- Re: "|-" and proofs, MoeBlee, 2005/11/22
first order model theory question, Per Freem, 2005/11/21
- Re: first order model theory question, Rupert, 2005/11/22
  - Re: first order model theory question, Per Freem, 2005/11/22
    - Re: first order model theory question, Rupert, 2005/11/22
      
      Re: first order model theory question, george, 2005/11/22
      
      Re: first order model theory question, Torkel Franzen, 2005/11/22
      
      Re: first order model theory question, Per Freem, 2005/11/22
      
      Re: first order model theory question, MoeBlee, 2005/11/22
      
      Re: first order model theory question, MoeBlee, 2005/11/22
      
      Re: first order model theory question, Rupert, 2005/11/22
      
      Re: first order model theory question, Per Freem, 2005/11/22
  - Re: first order model theory question, Chris Menzel, 2005/11/22
    - Re: first order model theory question, Rupert, 2005/11/22
      
      Re: first order model theory question, Torkel Franzen, 2005/11/22
      
      Re: first order model theory question, Rupert, 2005/11/22
      
      Re: first order model theory question, Torkel Franzen, 2005/11/22
      
      Re: first order model theory question, Rupert, 2005/11/22
      
      Re: first order model theory question, Chris Menzel, 2005/11/22
Who is the Biggest BS-er in Computer Science? (Vote here!), Charlie-Boo, 2005/11/21
- Re: Who is the Biggest BS-er in Computer Science? (Vote here!), porky_pig_jr@xxxxxxxxxxx, 2005/11/21
- Re: Who is the Biggest BS-er in Computer Science? (Vote here!), David Ames, 2005/11/21
Finest partition - exercise in Suppes's book, MoeBlee, 2005/11/19
- Re: Finest partition - exercise in Suppes's book, William Elliot, 2005/11/20
  - Re: Finest partition - exercise in Suppes's book, MoeBlee, 2005/11/20
  - Re: Finest partition - exercise in Suppes's book, MoeBlee, 2005/11/20
    - Re: Finest partition - exercise in Suppes's book, William Elliot, 2005/11/20
      
      Re: Finest partition - exercise in Suppes's book, MoeBlee, 2005/11/20
      
      Re: Finest partition - exercise in Suppes's book, William Elliot, 2005/11/20
      
      Re: Finest partition - exercise in Suppes's book, MoeBlee, 2005/11/21
- Re: Finest partition - exercise in Suppes's book, smnewberger, 2005/11/21
  - Re: Finest partition - exercise in Suppes's book, MoeBlee, 2005/11/21
    - Re: Finest partition - exercise in Suppes's book, smnewberger, 2005/11/21
Informal theories versus formal theories., Starbles, 2005/11/18
- Re: Informal theories versus formal theories., Charlie-Boo, 2005/11/21
  - Re: Informal theories versus formal theories., Starbles, 2005/11/22
- Re: Informal theories versus formal theories., Jonathan Hoyle, 2005/11/21
  - Re: Informal theories versus formal theories., Starbles, 2005/11/22
    - Re: Informal theories versus formal theories., Aatu Koskensilta, 2005/11/23
      
      Re: Informal theories versus formal theories., Starbles, 2005/11/24
      
      Re: Informal theories versus formal theories., Aatu Koskensilta, 2005/11/26
      
      Re: Informal theories versus formal theories., Starbles, 2005/11/28
      
      Re: Informal theories versus formal theories., Aatu Koskensilta, 2005/11/29
    - Re: Informal theories versus formal theories., Jonathan Hoyle, 2005/11/27
      
      Re: Informal theories versus formal theories., Starbles, 2005/11/28
      
      Re: Informal theories versus formal theories., Jonathan Hoyle, 2005/11/28
      
      Re: Informal theories versus formal theories., Starbles, 2005/11/28
      
      Re: Informal theories versus formal theories., Jonathan Hoyle, 2005/11/28
      
      Re: Informal theories versus formal theories., Starbles, 2005/11/28
      
      Re: Informal theories versus formal theories., Jonathan Hoyle, 2005/11/29
What is the 1st order formal system known as PA?, Nam Nguyen, 2005/11/17
- Re: What is the 1st order formal system known as PA?, MoeBlee, 2005/11/18
  - Re: What is the 1st order formal system known as PA?, MoeBlee, 2005/11/18
  - Re: What is the 1st order formal system known as PA?, Nam Nguyen, 2005/11/18
    - Re: What is the 1st order formal system known as PA?, MoeBlee, 2005/11/18
- Re: What is the 1st order formal system known as PA?, Rupert, 2005/11/18
- Re: What is the 1st order formal system known as PA?, David C . Ullrich, 2005/11/18
  - Re: What is the 1st order formal system known as PA?, MoeBlee, 2005/11/18
    - Re: What is the 1st order formal system known as PA?, MoeBlee, 2005/11/18
    - Re: What is the 1st order formal system known as PA?, Rupert, 2005/11/19
      
      Re: What is the 1st order formal system known as PA?, MoeBlee, 2005/11/19
      
      Re: What is the 1st order formal system known as PA?, Rupert, 2005/11/19
      
      Re: What is the 1st order formal system known as PA?, MoeBlee, 2005/11/19
      
      Re: What is the 1st order formal system known as PA?, Rupert, 2005/11/20
      
      Re: What is the 1st order formal system known as PA?, MoeBlee, 2005/11/20
      
      Re: What is the 1st order formal system known as PA?, Rupert, 2005/11/20
      
      Re: What is the 1st order formal system known as PA?, MoeBlee, 2005/11/21
      
      Re: What is the 1st order formal system known as PA?, Rupert, 2005/11/21
      
      Re: What is the 1st order formal system known as PA?, MoeBlee, 2005/11/21
      
      Re: What is the 1st order formal system known as PA?, Rupert, 2005/11/21
      
      Re: What is the 1st order formal system known as PA?, MoeBlee, 2005/11/27
      
      Re: What is the 1st order formal system known as PA?, Rupert, 2005/11/29
      
      Re: What is the 1st order formal system known as PA?, MoeBlee, 2005/11/29
      
      Re: What is the 1st order formal system known as PA?, Rupert, 2005/11/19
      
      Re: What is the 1st order formal system known as PA?, MoeBlee, 2005/11/19
      
      Re: What is the 1st order formal system known as PA?, Rupert, 2005/11/20
      
      Re: What is the 1st order formal system known as PA?, MoeBlee, 2005/11/20
      
      Re: What is the 1st order formal system known as PA?, Rupert, 2005/11/20
      
      Re: What is the 1st order formal system known as PA?, MoeBlee, 2005/11/21
      
      Re: What is the 1st order formal system known as PA?, Rupert, 2005/11/21
    - Re: What is the 1st order formal system known as PA?, David C . Ullrich, 2005/11/20
      
      Re: What is the 1st order formal system known as PA?, Peter Webb, 2005/11/20
      
      Re: What is the 1st order formal system known as PA?, Rupert, 2005/11/20
      
      Re: What is the 1st order formal system known as PA?, MoeBlee, 2005/11/20
      
      Re: What is the 1st order formal system known as PA?, David C . Ullrich, 2005/11/21
      
      Re: What is the 1st order formal system known as PA?, MoeBlee, 2005/11/21
      
      Re: What is the 1st order formal system known as PA?, Aatu Koskensilta, 2005/11/21
      
      Re: What is the 1st order formal system known as PA?, MoeBlee, 2005/11/21
      
      Re: What is the 1st order formal system known as PA?, Aatu Koskensilta, 2005/11/21
      
      Re: What is the 1st order formal system known as PA?, MoeBlee, 2005/11/27
  - Re: What is the 1st order formal system known as PA?, Nam Nguyen, 2005/11/19
    - Re: What is the 1st order formal system known as PA?, Rupert, 2005/11/19
      
      Re: What is the 1st order formal system known as PA?, Nam Nguyen, 2005/11/23
      
      Re: What is the 1st order formal system known as PA?, Rupert, 2005/11/23
      
      Re: What is the 1st order formal system known as PA?, Nam Nguyen, 2005/11/23
      
      Re: What is the 1st order formal system known as PA?, Rupert, 2005/11/23
    - Re: What is the 1st order formal system known as PA?, David C . Ullrich, 2005/11/20
      
      Re: What is the 1st order formal system known as PA?, Nam Nguyen, 2005/11/22
      
      Re: What is the 1st order formal system known as PA?, Rupert, 2005/11/23
      
      Re: What is the 1st order formal system known as PA?, David C . Ullrich, 2005/11/23
      
      Re: What is the 1st order formal system known as PA?, Nam Nguyen, 2005/11/23
      
      Re: What is the 1st order formal system known as PA?, Nam Nguyen, 2005/11/23
      
      Re: What is the 1st order formal system known as PA?, Nam Nguyen, 2005/11/23
      
      Re: What is the 1st order formal system known as PA?, Rupert, 2005/11/23
      
      Re: What is the 1st order formal system known as PA?, Nam Nguyen, 2005/11/24
      
      Re: What is the 1st order formal system known as PA?, Rupert, 2005/11/24
      
      Re: What is the 1st order formal system known as PA?, David C . Ullrich, 2005/11/24
      
      Re: What is the 1st order formal system known as PA?, Nam Nguyen, 2005/11/25
      
      Re: What is the 1st order formal system known as PA?, Rupert, 2005/11/26
      
      Re: What is the 1st order formal system known as PA?, Nam Nguyen, 2005/11/27
      
      Re: What is the 1st order formal system known as PA?, Rupert, 2005/11/27
      
      Re: What is the 1st order formal system known as PA?, Nam Nguyen, 2005/11/28
      
      Re: What is the 1st order formal system known as PA?, Ross A. Finlayson, 2005/11/28
      
      Re: What is the 1st order formal system known as PA?, Nam Nguyen, 2005/11/28
      
      Re: What is the 1st order formal system known as PA?, Ross A. Finlayson, 2005/11/28
Penrose vs the Robot, Daryl McCullough, 2005/11/17
- Re: Penrose vs the Robot, abo, 2005/11/17
  - Re: Penrose vs the Robot, Daryl McCullough, 2005/11/17
  - Re: Penrose vs the Robot, Daryl McCullough, 2005/11/17
    - Re: Penrose vs the Robot, Helene . Boucher, 2005/11/17
      
      Re: Penrose vs the Robot, Daryl McCullough, 2005/11/17
      
      Re: Penrose vs the Robot, Helene . Boucher, 2005/11/17
      
      Re: Penrose vs the Robot, abo, 2005/11/18
      
      Re: Penrose vs the Robot, Daryl McCullough, 2005/11/18
      
      Re: Penrose vs the Robot, abo, 2005/11/18
      
      Re: Penrose vs the Robot, Daryl McCullough, 2005/11/18
      
      Re: Penrose vs the Robot, Helene . Boucher, 2005/11/18
      
      Re: Penrose vs the Robot, Daryl McCullough, 2005/11/18
      
      Re: Penrose vs the Robot, Helene . Boucher, 2005/11/18
      
      Re: Penrose vs the Robot, Daryl McCullough, 2005/11/18
- Re: Penrose vs the Robot, Starbles, 2005/11/17
  - Re: Penrose vs the Robot, Daryl McCullough, 2005/11/17
- Re: Penrose vs the Robot, Rupert, 2005/11/18
  - Re: Penrose vs the Robot, Aatu Koskensilta, 2005/11/18
    - Re: Penrose vs the Robot, Rupert, 2005/11/18
      
      Re: Penrose vs the Robot, Daryl McCullough, 2005/11/18
      
      Re: Penrose vs the Robot, Aatu Koskensilta, 2005/11/19
  - Re: Penrose vs the Robot, Daryl McCullough, 2005/11/18
    - Re: Penrose vs the Robot, Rupert, 2005/11/18
      
      Re: Penrose vs the Robot, Daryl McCullough, 2005/11/18
      
      Re: Penrose vs the Robot, Rupert, 2005/11/18
      
      Re: Penrose vs the Robot, Daryl McCullough, 2005/11/18
      
      Re: Penrose vs the Robot, Rupert, 2005/11/19
      
      Re: Penrose vs the Robot, Daryl McCullough, 2005/11/19
      
      Re: Penrose vs the Robot, Aatu Koskensilta, 2005/11/21
      
      Re: Penrose vs the Robot, Rupert, 2005/11/21
      
      Re: Penrose vs the Robot, Daryl McCullough, 2005/11/21
      
      Re: Penrose vs the Robot, Rupert, 2005/11/22
      
      Re: Penrose vs the Robot, Daryl McCullough, 2005/11/22
      
      Re: Penrose vs the Robot, Rupert, 2005/11/22
      
      Message not available
      Re: Penrose vs the Robot, Rupert, 2005/11/22
      
      Re: Penrose vs the Robot, Daryl McCullough, 2005/11/23
      
      Re: Penrose vs the Robot, Rupert, 2005/11/23
      
      Re: Penrose vs the Robot, Aatu Koskensilta, 2005/11/24
      
      Re: Penrose vs the Robot, Daryl McCullough, 2005/11/24
      
      Re: Penrose vs the Robot, Rupert, 2005/11/24
      
      Re: Penrose vs the Robot, Daryl McCullough, 2005/11/24
      
      Re: Penrose vs the Robot, Rupert, 2005/11/24
      
      Re: Penrose vs the Robot, Daryl McCullough, 2005/11/24
      
      Re: Penrose vs the Robot, Rupert, 2005/11/24
      
      Re: Penrose vs the Robot, Daryl McCullough, 2005/11/25
      
      Re: Penrose vs the Robot, Rupert, 2005/11/26
      
      Re: Penrose vs the Robot, Stephen Harris, 2005/11/27
      
      Re: Penrose vs the Robot, Rupert, 2005/11/27
      
      Re: Penrose vs the Robot, Stephen Harris, 2005/11/29
      
      Re: Penrose vs the Robot, Daryl McCullough, 2005/11/27
      
      Re: Penrose vs the Robot, Rupert, 2005/11/28
      
      Re: Penrose vs the Robot, Daryl McCullough, 2005/11/28
      
      Re: Penrose vs the Robot, Rupert, 2005/11/28
      
      Re: Penrose vs the Robot, Daryl McCullough, 2005/11/29
      
      Re: Penrose vs the Robot, Rupert, 2005/11/29
      
      Re: Penrose vs the Robot, Daryl McCullough, 2005/11/29
      
      Re: Penrose vs the Robot, Rupert, 2005/11/29
      
      Re: Penrose vs the Robot, Daryl McCullough, 2005/11/29
      
      Re: Penrose vs the Robot, Rupert, 2005/11/30
      
      Re: Penrose vs the Robot, Daryl McCullough, 2005/11/30
      
      Re: Penrose vs the Robot, Stephen Harris, 2005/11/29
      
      Re: Penrose vs the Robot, Rupert, 2005/11/30
      
      Re: Penrose vs the Robot, Stephen Harris, 2005/11/25
    - Re: Penrose vs the Robot, george, 2005/11/19
Seminar by Richard Bornat on Separation Logic, 8 December 2005, 6pm, London, FACS FACTS Editor, 2005/11/17
The Power of the Pixel; 5 Years of Advertising at Only a Fraction of the Normal Cost., walter . alex, 2005/11/17
Re: ramified type theory, Owen, 2005/11/15
- Re: ramified type theory, Rupert, 2005/11/15
  - Re: ramified type theory, Chris Menzel, 2005/11/15
    - Re: ramified type theory, Rupert, 2005/11/16
    - Re: ramified type theory, Owen, 2005/11/16
      
      Re: ramified type theory, Owen, 2005/11/16
      
      Re: ramified type theory, G . Frege, 2005/11/16
      
      Re: ramified type theory, Owen, 2005/11/16
      
      Re: ramified type theory, G . Frege, 2005/11/16
      
      Re: ramified type theory, Owen, 2005/11/16
      
      Re: ramified type theory, G . Frege, 2005/11/16
      
      Re: ramified type theory, Owen, 2005/11/16
      
      Re: ramified type theory, G . Frege, 2005/11/16
      
      Re: ramified type theory, Nam Nguyen, 2005/11/16
      
      Re: ramified type theory, Owen, 2005/11/16
      
      Re: ramified type theory, Nam Nguyen, 2005/11/16
      
      Re: ramified type theory, Nam Nguyen, 2005/11/16
      
      Re: ramified type theory, Chris Menzel, 2005/11/16
      
      Re: ramified type theory, G . Frege, 2005/11/16
      
      Re: ramified type theory, Owen, 2005/11/16
      
      Re: ramified type theory, G . Frege, 2005/11/16
      
      Re: ramified type theory, Chris Menzel, 2005/11/16
      
      Re: ramified type theory, Owen, 2005/11/17
      
      Re: ramified type theory, Daryl McCullough, 2005/11/17
      
      Re: ramified type theory, Barb Knox, 2005/11/17
      
      Re: ramified type theory, Chris Menzel, 2005/11/17
      
      Re: ramified type theory, G . Frege, 2005/11/17
      
      Re: ramified type theory, G . Frege, 2005/11/17
      
      Re: ramified type theory, Chris Menzel, 2005/11/17
      
      Re: ramified type theory, G . Frege, 2005/11/17
      
      Re: ramified type theory, Owen, 2005/11/18
      
      Re: ramified type theory, David C . Ullrich, 2005/11/18
      
      Re: ramified type theory, G . Frege, 2005/11/18
      
      Re: ramified type theory, G . Frege, 2005/11/18
      
      Re: ramified type theory, G . Frege, 2005/11/18
      
      Re: ramified type theory, G . Frege, 2005/11/17
      
      Re: ramified type theory, G . Frege, 2005/11/18
      
      Re: ramified type theory, Chris Menzel, 2005/11/18
      
      Re: ramified type theory, Chris Menzel, 2005/11/16
      
      Re: ramified type theory, Owen, 2005/11/16
      
      Re: ramified type theory, G . Frege, 2005/11/16
      
      Re: ramified type theory, G . Frege, 2005/11/19
      
      Re: ramified type theory, Owen, 2005/11/20
      
      Re: ramified type theory, Chris Menzel, 2005/11/20
      
      Re: ramified type theory, Owen, 2005/11/20
      
      Re: ramified type theory, Chris Menzel, 2005/11/20
      
      Re: ramified type theory, David C . Ullrich, 2005/11/21
      
      Re: ramified type theory, G . Frege, 2005/11/16
      
      Re: ramified type theory, Rupert, 2005/11/16
      
      Re: ramified type theory, Chris Menzel, 2005/11/16
      
      Re: ramified type theory, Rupert, 2005/11/16
From Post to Penrose, Stephen Harris, 2005/11/15
- Re: From Post to Penrose, Rupert, 2005/11/16
- Re: From Post to Penrose, george, 2005/11/16
Tautology Elimination in Otter, Paul Sholtz, 2005/11/14
Notation of symbolic logic can be confusing!!! Computer-languages? LISP????, Daniel G. \"Govende\" McGrath, 2005/11/14
- Re: Notation of symbolic logic can be confusing!!! Computer-languages? LISP????, Cameron MacKinnon, 2005/11/14
  - Re: Notation of symbolic logic can be confusing!!! Computer-languages? LISP????, Iain McCracken, 2005/11/16
- Re: Notation of symbolic logic can be confusing!!! Computer-languages? LISP????, Pascal Bourguignon, 2005/11/14
  - Re: Notation of symbolic logic can be confusing!!! Computer-languages? LISP????, Daniel G. \"Govende\" McGrath, 2005/11/15
    - Re: Notation of symbolic logic can be confusing!!! Computer-languages? LISP????, Mark Tarver, 2005/11/18
    - Re: Notation of symbolic logic can be confusing!!! Computer-languages? LISP????, Daniel G. \"Govende\" McGrath, 2005/11/23
    - Re: Notation of symbolic logic can be confusing!!! Computer-languages? LISP????, Daniel G. \"Govende\" McGrath, 2005/11/28
    - Re: Notation of symbolic logic can be confusing!!! Computer-languages? LISP????, Daniel G. \"Govende\" McGrath, 2005/11/28
    - Re: Notation of symbolic logic can be confusing!!! Computer-languages? LISP????, Daniel G. \"Govende\" McGrath, 2005/11/28
    - Re: Notation of symbolic logic can be confusing!!! Computer-languages? LISP????, Daniel G. \"Govende\" McGrath, 2005/11/28
      
      Re: Notation of symbolic logic can be confusing!!! Computer-languages? LISP????, Coby Beck, 2005/11/28
      
      Re: Notation of symbolic logic can be confusing!!! Computer-languages? LISP????, Daniel G. \"Govende\" McGrath, 2005/11/29
      
      Re: Notation of symbolic logic can be confusing!!! Computer-languages? LISP????, Pascal Bourguignon, 2005/11/29
      
      Re: Notation of symbolic logic can be confusing!!! Computer-languages? LISP????, anamax, 2005/11/29
      
      Re: Notation of symbolic logic can be confusing!!! Computer-languages? LISP????, Alan Crowe, 2005/11/30
- Re: Notation of symbolic logic can be confusing!!! Computer-languages? LISP????, Tom Russ, 2005/11/14
  - Re: Notation of symbolic logic can be confusing!!! Computer-languages? LISP????, Chris Menzel, 2005/11/14
- Re: Notation of symbolic logic can be confusing!!! Computer-languages? LISP????, Dan Christensen, 2005/11/14
- Re: Notation of symbolic logic can be confusing!!! Computer-languages? LISP????, David Steuber, 2005/11/15
- Re: Notation of symbolic logic can be confusing!!! Computer-languages? LISP????, Kaz Kylheku, 2005/11/15
i-C&P CONFERENCE -last call, Colin . Schmidt, 2005/11/13
There can be no non-spatial proposition?, Tom, 2005/11/13
- Re: There can be no non-spatial proposition?, Starbles, 2005/11/14
  - Re: There can be no non-spatial proposition?, Tom, 2005/11/14
    - Re: There can be no non-spatial proposition?, David C . Ullrich, 2005/11/14
      
      Re: There can be no non-spatial proposition?, Tom, 2005/11/14
      
      Re: There can be no non-spatial proposition?, David C . Ullrich, 2005/11/15
      
      Re: There can be no non-spatial proposition?, Tom, 2005/11/15
      
      Re: There can be no non-spatial proposition?, David C . Ullrich, 2005/11/16
      
      Re: There can be no non-spatial proposition?, Tom, 2005/11/16
UCLA Logic Colloquium, Nov 18, H. Enderton, 2005/11/11
The reciprocal of zero isn't even infinity., Starbles, 2005/11/11
- Re: The reciprocal of zero isn't even infinity., David C . Ullrich, 2005/11/11
  - Re: The reciprocal of zero isn't even infinity., Starbles, 2005/11/11
    - Re: The reciprocal of zero isn't even infinity., David C . Ullrich, 2005/11/12
  - Re: The reciprocal of zero isn't even infinity., Lee Rudolph, 2005/11/11
Three Theorems of Godel, Helene . Boucher, 2005/11/10
- Re: Three Theorems of Godel, Jesse F. Hughes, 2005/11/10
  - Re: Three Theorems of Godel, zzbunker, 2005/11/10
    - Re: Three Theorems of Godel, Starbles, 2005/11/18
  - Re: Three Theorems of Godel, Helene . Boucher, 2005/11/10
    - Re: Three Theorems of Godel, zzbunker, 2005/11/10
      
      Re: Three Theorems of Godel, Jesse F. Hughes, 2005/11/11
      
      Re: Three Theorems of Godel, Torkel Franzen, 2005/11/11
- Re: Three Theorems of Godel, Torkel Franzen, 2005/11/10
  - Re: Three Theorems of Godel, Helene . Boucher, 2005/11/11
    - Re: Three Theorems of Godel, Torkel Franzen, 2005/11/11
      
      Re: Three Theorems of Godel, Helene . Boucher, 2005/11/11
      
      Re: Three Theorems of Godel, Torkel Franzen, 2005/11/11
      
      Re: Three Theorems of Godel, Rupert, 2005/11/11
      
      Re: Three Theorems of Godel, Torkel Franzen, 2005/11/12
  - Re: Three Theorems of Godel, Ross A. Finlayson, 2005/11/11
    - Re: Three Theorems of Godel, Helene . Boucher, 2005/11/11
      
      Re: Three Theorems of Godel, Ross A. Finlayson, 2005/11/11
      
      Re: Three Theorems of Godel, Helene . Boucher, 2005/11/12
      
      Re: Three Theorems of Godel, Ross A. Finlayson, 2005/11/12
      
      Re: Three Theorems of Godel, Helene . Boucher, 2005/11/12
      
      Re: Three Theorems of Godel, Ross A. Finlayson, 2005/11/12
      
      Re: Three Theorems of Godel, Helene . Boucher, 2005/11/12
      
      Re: Three Theorems of Godel, Ross A. Finlayson, 2005/11/12
      
      Message not available
      Message not available
      Re: Three Theorems of Godel, Ross A. Finlayson, 2005/11/13
      
      Re: Three Theorems of Godel, Ross A. Finlayson, 2005/11/13
      
      Re: Three Theorems of Godel, Starbles, 2005/11/18
      
      Re: Three Theorems of Godel, Ross A. Finlayson, 2005/11/18
      
      Re: Three Theorems of Godel, �a\\/b, 2005/11/13
      
      Re: Three Theorems of Godel, petersr1088, 2005/11/17
      
      Re: Three Theorems of Godel, Shmuel (Seymour J.) Metz, 2005/11/12
      
      Re: Three Theorems of Godel, H. Enderton, 2005/11/15
      
      Re: Three Theorems of Godel, Helene . Boucher, 2005/11/15
      
      Re: Three Theorems of Godel, Aatu Koskensilta, 2005/11/15
      
      Re: Three Theorems of Godel, Aatu Koskensilta, 2005/11/16
      
      Re: Three Theorems of Godel, H. Enderton, 2005/11/17
      
      Re: Three Theorems of Godel, MoeBlee, 2005/11/17
      
      Re: Three Theorems of Godel, Rupert, 2005/11/17
      
      Re: Three Theorems of Godel, MoeBlee, 2005/11/18
      
      Re: Three Theorems of Godel, Chris Menzel, 2005/11/18
      
      Re: Three Theorems of Godel, MoeBlee, 2005/11/18
      
      Re: Three Theorems of Godel, Chris Menzel, 2005/11/19
      
      Re: Three Theorems of Godel, MoeBlee, 2005/11/19
      
      Re: Three Theorems of Godel, Chris Menzel, 2005/11/19
      
      Re: Three Theorems of Godel, MoeBlee, 2005/11/20
      
      Re: Three Theorems of Godel, Torkel Franzen, 2005/11/20
      
      Re: Three Theorems of Godel, MoeBlee, 2005/11/20
      
      Re: Three Theorems of Godel, Torkel Franzen, 2005/11/20
      
      Re: Three Theorems of Godel, Chris Menzel, 2005/11/20
      
      Re: Three Theorems of Godel, MoeBlee, 2005/11/21
      
      Re: Three Theorems of Godel, Starbles, 2005/11/18
      
      Re: Three Theorems of Godel, Rupert, 2005/11/18
      
      Re: Three Theorems of Godel, H. Enderton, 2005/11/18
      
      Re: Three Theorems of Godel, Herman Jurjus, 2005/11/19
The MetaMathematical Theorem that Almost Was, Charlie-Boo, 2005/11/10
- Re: The MetaMathematical Theorem that Almost Was, george, 2005/11/10
  - Re: The MetaMathematical Theorem that Almost Was, Charlie-Boo, 2005/11/10
    - Re: The MetaMathematical Theorem that Almost Was, george, 2005/11/13
    - Re: The MetaMathematical Theorem that Almost Was, george, 2005/11/13
      
      Re: The MetaMathematical Theorem that Almost Was, Charlie-Boo, 2005/11/15
- Re: The MetaMathematical Theorem that Almost Was, Rupert, 2005/11/11
  - Re: The MetaMathematical Theorem that Almost Was, george, 2005/11/13
    - Re: The MetaMathematical Theorem that Almost Was, MoeBlee, 2005/11/13
      
      Re: The MetaMathematical Theorem that Almost Was, Rupert, 2005/11/14
      
      Re: The MetaMathematical Theorem that Almost Was, MoeBlee, 2005/11/14
      
      Re: The MetaMathematical Theorem that Almost Was, Rupert, 2005/11/14
      
      Re: The MetaMathematical Theorem that Almost Was, MoeBlee, 2005/11/14
      
      Re: The MetaMathematical Theorem that Almost Was, Rupert, 2005/11/14
      
      Re: The MetaMathematical Theorem that Almost Was, MoeBlee, 2005/11/15
      
      Re: The MetaMathematical Theorem that Almost Was, Torkel Franzen, 2005/11/15
      
      Re: The MetaMathematical Theorem that Almost Was, MoeBlee, 2005/11/15
      
      Re: The MetaMathematical Theorem that Almost Was, MoeBlee, 2005/11/15
      
      Re: The MetaMathematical Theorem that Almost Was, MoeBlee, 2005/11/15
      
      Re: The MetaMathematical Theorem that Almost Was, MoeBlee, 2005/11/15
      
      Re: The MetaMathematical Theorem that Almost Was, george, 2005/11/17
      
      Re: The MetaMathematical Theorem that Almost Was, MoeBlee, 2005/11/17
      
      Re: The MetaMathematical Theorem that Almost Was, george, 2005/11/23
      
      Re: The MetaMathematical Theorem that Almost Was, MoeBlee, 2005/11/24
      
      Re: The MetaMathematical Theorem that Almost Was, george, 2005/11/23
      
      Re: The MetaMathematical Theorem that Almost Was, george, 2005/11/16
      
      Re: The MetaMathematical Theorem that Almost Was, MoeBlee, 2005/11/17
      
      Re: The MetaMathematical Theorem that Almost Was, MoeBlee, 2005/11/17
      
      tedious sledding re set existence in FOL, george, 2005/11/17
      
      Re: tedious sledding re set existence in FOL, Daryl McCullough, 2005/11/17
      
      Re: tedious sledding re set existence in FOL, Torkel Franzen, 2005/11/17
      
      Re: tedious sledding re set existence in FOL, Daryl McCullough, 2005/11/17
      
      Re: tedious sledding re set existence in FOL, MoeBlee, 2005/11/17
      
      Re: tedious sledding re set existence in FOL, Daryl McCullough, 2005/11/17
      
      Re: tedious sledding re set existence in FOL, MoeBlee, 2005/11/17
      
      Re: tedious sledding re set existence in FOL, george, 2005/11/19
      
      Re: tedious sledding re set existence in FOL, Torkel Franzen, 2005/11/17
      
      Re: tedious sledding re set existence in FOL, Daryl McCullough, 2005/11/17
      
      Re: tedious sledding re set existence in FOL, george, 2005/11/19
      
      Re: tedious sledding re set existence in FOL, george, 2005/11/19
      
      Re: tedious sledding re set existence in FOL, MoeBlee, 2005/11/20
      
      Re: tedious sledding re set existence in FOL, MoeBlee, 2005/11/20
      
      Re: tedious sledding re set existence in FOL, Charlie-Boo, 2005/11/21
      
      Re: tedious sledding re set existence in FOL, MoeBlee, 2005/11/22
      
      Re: tedious sledding re set existence in FOL, MoeBlee, 2005/11/20
      
      Re: tedious sledding re set existence in FOL, MoeBlee, 2005/11/17
      
      Re: tedious sledding re set existence in FOL, george, 2005/11/17
      
      Re: tedious sledding re set existence in FOL, MoeBlee, 2005/11/17
      
      Re: tedious sledding re set existence in FOL, MoeBlee, 2005/11/18
      
      Re: tedious sledding re set existence in FOL, george, 2005/11/20
      
      Re: tedious sledding re set existence in FOL, MoeBlee, 2005/11/20
      
      Re: tedious sledding re set existence in FOL, G . Frege, 2005/11/20
      
      Re: tedious sledding re set existence in FOL, george, 2005/11/20
      
      Re: tedious sledding re set existence in FOL, G . Frege, 2005/11/20
      
      Re: tedious sledding re set existence in FOL, george, 2005/11/23
      
      Re: tedious sledding re set existence in FOL, george, 2005/11/23
      
      Re: tedious sledding re set existence in FOL, MoeBlee, 2005/11/23
      
      Re: tedious sledding re set existence in FOL, george, 2005/11/23
      
      Re: tedious sledding re set existence in FOL, MoeBlee, 2005/11/24
      
      Re: tedious sledding re set existence in FOL, george, 2005/11/24
      
      Re: tedious sledding re set existence in FOL, MoeBlee, 2005/11/27
      
      Re: tedious sledding re set existence in FOL, george, 2005/11/17
      
      Re: tedious sledding re set existence in FOL, MoeBlee, 2005/11/17
      
      Re: tedious sledding re set existence in FOL, george, 2005/11/18
      
      Re: tedious sledding re set existence in FOL, MoeBlee, 2005/11/18
      
      Re: tedious sledding re set existence in FOL, george, 2005/11/20
      
      Re: tedious sledding re set existence in FOL, MoeBlee, 2005/11/20
      
      Re: tedious sledding re set existence in FOL, MoeBlee, 2005/11/21
      
      Re: tedious sledding re set existence in FOL, george, 2005/11/23
      
      Re: tedious sledding re set existence in FOL, MoeBlee, 2005/11/24
      
      Re: tedious sledding re set existence in FOL, george, 2005/11/24
      
      Re: The MetaMathematical Theorem that Almost Was, Rupert, 2005/11/17
      
      Re: The MetaMathematical Theorem that Almost Was, MoeBlee, 2005/11/17
      
      Re: The MetaMathematical Theorem that Almost Was, Rupert, 2005/11/18
    - Re: The MetaMathematical Theorem that Almost Was, Rupert, 2005/11/14
    - Re: The MetaMathematical Theorem that Almost Was, Charlie-Boo, 2005/11/21
      
      Re: The MetaMathematical Theorem that Almost Was, Barb Knox, 2005/11/21
      
      Re: The MetaMathematical Theorem that Almost Was, Rupert, 2005/11/21
      
      Re: The MetaMathematical Theorem that Almost Was, george, 2005/11/22
- Re: The MetaMathematical Theorem that Almost Was, computer, 2005/11/12
  - Re: The MetaMathematical Theorem that Almost Was, G . Frege, 2005/11/12
    - Re: The MetaMathematical Theorem that Almost Was, computer, 2005/11/12
  - Re: The MetaMathematical Theorem that Almost Was, Chris Menzel, 2005/11/12
    - Re: The MetaMathematical Theorem that Almost Was, computer, 2005/11/12
Godel's theorem is uninteresting?, ken.quirici@xxxxxxxxxx, 2005/11/10
- Re: Godel's theorem is uninteresting?, Charlie-Boo, 2005/11/10
  - Re: Godel's theorem is uninteresting?, ken.quirici@xxxxxxxxxx, 2005/11/10
- Re: Godel's theorem is uninteresting?, george, 2005/11/10
Godel's theorem is invalid?, LordBeotian, 2005/11/09
- Re: Godel's theorem is invalid?, Torkel Franzen, 2005/11/09
  - Re: Godel's theorem is invalid?, LordBeotian, 2005/11/09
    - Re: Godel's theorem is invalid?, Torkel Franzen, 2005/11/09
      
      Re: Godel's theorem is invalid?, LordBeotian, 2005/11/09
      
      Re: Godel's theorem is invalid?, Torkel Franzen, 2005/11/09
      
      Re: Godel's theorem is invalid?, LordBeotian, 2005/11/09
      
      Re: Godel's theorem is invalid?, Charlie-Boo, 2005/11/10
      
      Re: Godel's theorem is invalid?, LordBeotian, 2005/11/10
      
      Re: Godel's theorem is invalid?, Charlie-Boo, 2005/11/10
      
      Re: Godel's theorem is invalid?, LordBeotian, 2005/11/11
    - Re: Godel's theorem is invalid?, David C . Ullrich, 2005/11/10
      
      Re: Godel's theorem is invalid?, Charlie-Boo, 2005/11/10
- Re: Godel's theorem is invalid?, Daryl McCullough, 2005/11/09
  - Re: Godel's theorem is invalid?, george, 2005/11/09
    - Re: Godel's theorem is invalid?, Torkel Franzen, 2005/11/09
      
      Re: Godel's theorem is invalid?, george, 2005/11/09
      
      Message not available
      
      Re: Godel's theorem is invalid?, sradhakr, 2005/11/10
      
      Re: Godel's theorem is invalid?, Daryl McCullough, 2005/11/10
      
      Re: Godel's theorem is invalid?, sradhakr, 2005/11/10
      
      Re: Godel's theorem is invalid?, Daryl McCullough, 2005/11/10
      
      Re: Godel's theorem is invalid?, george, 2005/11/10
      
      Re: Godel's theorem is invalid?, Charlie-Boo, 2005/11/10
      
      Re: Godel's theorem is invalid?, george, 2005/11/10
      
      Re: Godel's theorem is invalid?, sradhakr, 2005/11/11
      
      Re: Godel's theorem is invalid?, Charlie-Boo, 2005/11/11
      
      Re: Godel's theorem is invalid?, sradhakr, 2005/11/11
      
      Re: Godel's theorem is invalid?, Charlie-Boo, 2005/11/11
      
      Re: Godel's theorem is invalid?, sradhakr, 2005/11/13
      
      Re: Godel's theorem is invalid?, Barb Knox, 2005/11/13
      
      Re: Godel's theorem is invalid?, sradhakr, 2005/11/13
      
      Re: Godel's theorem is invalid?, Barb Knox, 2005/11/13
      
      Re: Godel's theorem is invalid?, sradhakr, 2005/11/13
      
      Re: Godel's theorem is invalid?, Chris Menzel, 2005/11/13
      
      Re: Godel's theorem is invalid?, sradhakr, 2005/11/14
      
      Re: Godel's theorem is invalid?, Charlie-Boo, 2005/11/15
      
      Re: Godel's theorem is invalid?, Charlie-Boo, 2005/11/15
      
      Re: Godel's theorem is invalid?, sradhakr, 2005/11/18
      
      Re: Godel's theorem is invalid?, Charlie-Boo, 2005/11/21
      
      Re: Godel's theorem is invalid?, sradhakr, 2005/11/24
      
      Re: Godel's theorem is invalid?, Charlie-Boo, 2005/11/15
      
      Re: Godel's theorem is invalid?, Charlie-Boo, 2005/11/15
      
      Re: Godel's theorem is invalid?, Charlie-Boo, 2005/11/21
      
      Re: Godel's theorem is invalid?, sradhakr, 2005/11/11
      
      Re: Godel's theorem is invalid?, Charlie-Boo, 2005/11/11
      
      Re: Godel's theorem is invalid?, Charlie-Boo, 2005/11/10
      
      Re: Godel's theorem is invalid?, george, 2005/11/10
      
      Re: Godel's theorem is invalid?, Charlie-Boo, 2005/11/10
      
      Re: Godel's theorem is invalid?, george, 2005/11/10
      
      Re: Godel's theorem is invalid?, sradhakr, 2005/11/11
      
      Re: Godel's theorem is invalid?, george, 2005/11/10
      
      Message not available
      
      Re: Godel's theorem is invalid?, george, 2005/11/10
      
      Re: Godel's theorem is invalid?, Torkel Franzen, 2005/11/10
      
      Re: Godel's theorem is invalid?, george, 2005/11/10
      
      Re: Godel's theorem is invalid?, Torkel Franzen, 2005/11/10
      
      Re: Godel's theorem is invalid?, sradhakr, 2005/11/11
      
      Re: Godel's theorem is invalid?, Torkel Franzen, 2005/11/11
      
      Re: Godel's theorem is invalid?, Daryl McCullough, 2005/11/11
      
      Re: Godel's theorem is invalid?, Chris Menzel, 2005/11/11
      
      Re: Godel's theorem is invalid?, David C . Ullrich, 2005/11/12
      
      Re: Godel's theorem is invalid?, sradhakr, 2005/11/13
      
      Re: Godel's theorem is invalid?, David C . Ullrich, 2005/11/13
      
      Re: Godel's theorem is invalid?, sradhakr, 2005/11/13
      
      Re: Godel's theorem is invalid?, Charlie-Boo, 2005/11/10
      
      Message not available
      
      Re: Godel's theorem is invalid?, Charlie-Boo, 2005/11/10
      
      Re: Godel's theorem is invalid?, george, 2005/11/10
      
      Re: Godel's theorem is invalid?, Charlie-Boo, 2005/11/10
      
      Re: Godel's theorem is invalid?, sradhakr, 2005/11/10
      
      Re: Godel's theorem is invalid?, sradhakr, 2005/11/10
      
      Re: Godel's theorem is invalid?, Daryl McCullough, 2005/11/10
      
      Re: Godel's theorem is invalid?, sradhakr, 2005/11/10
      
      Re: Godel's theorem is invalid?, Daryl McCullough, 2005/11/10
      
      Re: Godel's theorem is invalid?, george, 2005/11/10
      
      Re: Godel's theorem is invalid?, Charlie-Boo, 2005/11/10
      
      Re: Godel's theorem is invalid?, sradhakr, 2005/11/11
      
      Re: Godel's theorem is invalid?, Daryl McCullough, 2005/11/11
      
      Re: Godel's theorem is invalid?, sradhakr, 2005/11/11
      
      Re: Godel's theorem is invalid?, Daryl McCullough, 2005/11/11
      
      Re: Godel's theorem is invalid?, sradhakr, 2005/11/12
      
      Re: Godel's theorem is invalid?, Daryl McCullough, 2005/11/12
      
      Re: Godel's theorem is invalid?, �a\\/b, 2005/11/13
      
      Re: Godel's theorem is invalid?, Daryl McCullough, 2005/11/13
      
      Re: Godel's theorem is invalid?, sradhakr, 2005/11/13
      
      Re: Godel's theorem is invalid?, Charlie-Boo, 2005/11/11
      
      Re: Godel's theorem is invalid?, sradhakr, 2005/11/11
      
      Re: Godel's theorem is invalid?, Charlie-Boo, 2005/11/11
      
      Re: Godel's theorem is invalid?, sradhakr, 2005/11/11
      
      Re: Godel's theorem is invalid?, Charlie-Boo, 2005/11/11
      
      Re: Godel's theorem is invalid?, Charlie-Boo, 2005/11/10
      
      Re: Godel's theorem is invalid?, Charlie-Boo, 2005/11/10
    - Re: Godel's theorem is invalid?, Charlie-Boo, 2005/11/10
- Re: Godel's theorem is invalid?, Charlie-Boo, 2005/11/10
Natural deduction?, Torkel Franzen, 2005/11/09
- Re: Natural deduction?, G . Frege, 2005/11/09
  - Re: Natural deduction?, Dan Christensen, 2005/11/09
    - Re: Natural deduction?, G . Frege, 2005/11/10
      
      Re: Natural deduction?, Charlie-Boo, 2005/11/15
    - Re: Natural deduction?, Charlie-Boo, 2005/11/15
      
      Re: Natural deduction?, Dan Christensen, 2005/11/15
      
      Re: Natural deduction?, Charlie-Boo, 2005/11/21
      
      Re: Natural deduction?, Dan Christensen, 2005/11/21
  - Re: Natural deduction?, Charlie-Boo, 2005/11/15
  - Re: Natural deduction?, George Dance, 2005/11/25
    - Re: Natural deduction?, G . Frege, 2005/11/25
      
      Re: Natural deduction?, George Dance, 2005/11/26
      
      Re: Natural deduction?, G . Frege, 2005/11/26
      
      Re: Natural deduction?, George Dance, 2005/11/27
      
      Re: Natural deduction?, G . Frege, 2005/11/27
      
      Re: Natural deduction?, George Dance, 2005/11/27
      
      Re: Natural deduction?, G . Frege, 2005/11/27
- Re: Natural deduction?, G . Frege, 2005/11/09
  - Re: Natural deduction?, G . Frege, 2005/11/10
- Re: Natural deduction?, G . Frege, 2005/11/24
  - Re: Natural deduction?, George Dance, 2005/11/25
    - Re: Natural deduction?, G . Frege, 2005/11/25
      
      Re: Natural deduction?, G . Frege, 2005/11/25
Re: logic on the web, MoeBlee, 2005/11/08
interpretation from english to predicate logic, sikari . h, 2005/11/08
- Re: interpretation from english to predicate logic, Stephen Montgomery-Smith, 2005/11/08
- Re: interpretation from english to predicate logic, Shmuel (Seymour J.) Metz, 2005/11/09
proving transfinite induction in PA, Rupert, 2005/11/07
- Re: proving transfinite induction in PA, Torkel Franzen, 2005/11/09
Proof theoretical strength of induction up to epsilon-0, Aatu Koskensilta, 2005/11/07
- Re: Proof theoretical strength of induction up to epsilon-0, Torkel Franzen, 2005/11/09
  - Re: Proof theoretical strength of induction up to epsilon-0, Aatu Koskensilta, 2005/11/09
Intro book on Set Theory., RoxPureblood, 2005/11/07
- Re: Intro book on Set Theory., Aatu Koskensilta, 2005/11/07
- Re: Intro book on Set Theory., Dan Christensen, 2005/11/07
2nd SIPTA School on Imprecise Probabilities, Enrique Miranda, 2005/11/07
Conference with specialist on Russell (d. VERNANT) -last call, Colin . Schmidt, 2005/11/07
i-C&P "Computers + Philosophy" int'l conference -LAST CALL (1000+150 wds.), Colin . Schmidt, 2005/11/07
God is way beyond logic and reasoning, sam_icon, 2005/11/06
- Re: God is way beyond logic and reasoning, William Elliot, 2005/11/07
  - Re: God is way beyond logic and reasoning, Charlie-Boo, 2005/11/10
Re: Zermelo-Fraenkel Theory Of Sets, Lee Rudolph, 2005/11/05
Re: ring/field/algebra, george, 2005/11/04
Stone's Theorem, Colin, 2005/11/04
- Re: Stone's Theorem, Torkel Franzen, 2005/11/04
- Re: Stone's Theorem, Herman Rubin, 2005/11/05
- Re: Stone's Theorem, george, 2005/11/10
Re: Poem on halting problem, Poldie, 2005/11/04
CSR-2006: Call For Papers, CSR-2006, 2005/11/04
proof is the inverse process of inference, |-|erc, 2005/11/03
- Re: proof is the inverse process of inference, raydpratt, 2005/11/03
  - Re: proof is the inverse process of inference, |-|erc, 2005/11/03
- Re: proof is the inverse process of inference, zzbunker@xxxxxxxxxxxx, 2005/11/03
Re: OK, WHAT theory can't you prove? Name one that isn't G., b92057, 2005/11/02
- Re: OK, WHAT theory can't you prove? Name one that isn't G., b92057, 2005/11/02
Re: Question on upwards LST, poopdeville, 2005/11/02
- Re: Question on upwards LST, Robert Low, 2005/11/02
  - Re: Question on upwards LST, Chris Menzel, 2005/11/02
    - Re: Question on upwards LST, Robert Low, 2005/11/03
    - Re: Question on upwards LST, David C . Ullrich, 2005/11/03
      
      Re: Question on upwards LST, Robert Low, 2005/11/03
Re: =, H. Enderton, 2005/11/01
- Re: =, Owen, 2005/11/02
  - Re: =, H. Enderton, 2005/11/02
    - Re: =, Owen, 2005/11/02
      
      Re: =, george, 2005/11/02
      
      Re: =, Owen, 2005/11/03
      
      Re: =, george, 2005/11/03
      
      Re: =, Owen, 2005/11/05
      
      Re: =, george, 2005/11/05
      
      Re: =, george, 2005/11/13
      
      Re: =, Charlie-Boo, 2005/11/15
      
      Re: =, Charlie-Boo, 2005/11/21
      
      Re: =, george, 2005/11/23
      
      Re: =, H. Enderton, 2005/11/03
      
      Re: =, george, 2005/11/03
      
      Re: =, george, 2005/11/08
      
      Re: =, george, 2005/11/13
      
      Re: =, george, 2005/11/18
Foundation and transitivity, Jean-Pierre MERX, 2005/11/01
- Re: Foundation and transitivity, Rupert, 2005/11/01
- Re: Foundation and transitivity, Stephen J. Herschkorn, 2005/11/02
  - Re: Foundation and transitivity, Jean-Pierre MERX, 2005/11/02
    - Re: Foundation and transitivity, WW, 2005/11/05
- Re: Foundation and transitivity, Stephen J. Herschkorn, 2005/11/02
Venn Diagram of a Numerical Syllogism?, raydpratt, 2005/11/01
- Re: Venn Diagram of a Numerical Syllogism?, Poldie, 2005/11/04
  - Re: Venn Diagram of a Numerical Syllogism?, raydpratt, 2005/11/11
nonstandard models of PA, Bill Taylor, 2005/11/01
- Re: nonstandard models of PA, William Elliot, 2005/11/01
- Re: nonstandard models of PA, H. Enderton, 2005/11/01
- nonstandard models of PA, Bill Taylor, 2005/11/01
  - Re: nonstandard models of PA, William Elliot, 2005/11/02
  - Re: nonstandard models of PA, Aatu Koskensilta, 2005/11/02
  - Re: nonstandard models of PA, Alex R, 2005/11/03
God is a paradox., Starbles, 2005/10/31
- Re: God is a paradox., Torkel Franzen, 2005/10/31
  - Re: God is a paradox., Starbles, 2005/11/01
    - Re: God is a paradox., Torkel Franzen, 2005/11/01
      
      Re: God is a paradox., Starbles, 2005/11/01
      
      Re: God is a paradox., Rupert, 2005/11/02
      
      Re: God is a paradox., Torkel Franzen, 2005/11/02
      
      Re: God is a paradox., |-|erc, 2005/11/02
      
      Re: God is a paradox., Charlie-Boo, 2005/11/15
- Re: God is a paradox., |-|erc, 2005/11/01
  - Re: God is a paradox., Nick, 2005/11/01
  - Re: God is a paradox., Charlie-Boo, 2005/11/15
- Re: God is a paradox., georgie, 2005/11/16
[FAQ, 99/07/28] Mathematical logic on the web, Boris 'pi' Piwinger, 2005/10/31
Penrose's reply to Chalmers, Rupert, 2005/10/31
- Re: Penrose's reply to Chalmers, Rupert, 2005/10/31
  - Re: Penrose's reply to Chalmers, Rupert, 2005/10/31
    - Re: Penrose's reply to Chalmers, Rupert, 2005/11/01
- Re: Penrose's reply to Chalmers, george, 2005/10/31
  - Re: Penrose's reply to Chalmers, Rupert, 2005/10/31
- Re: Penrose's reply to Chalmers, Torkel Franzen, 2005/10/31
  - Re: Penrose's reply to Chalmers, Rupert, 2005/10/31
- Re: Penrose's reply to Chalmers, Daryl McCullough, 2005/10/31
  - Re: Penrose's reply to Chalmers, Rupert, 2005/11/01
    - Re: Penrose's reply to Chalmers, Daryl McCullough, 2005/11/01
      
      Re: Penrose's reply to Chalmers, Rupert, 2005/11/01
- Re: Penrose's reply to Chalmers, abo, 2005/11/01
  - Re: Penrose's reply to Chalmers, Torkel Franzen, 2005/11/01
    - Message not available
      
      Re: Penrose's reply to Chalmers, Rupert, 2005/11/01
      
      Re: Penrose's reply to Chalmers, abo, 2005/11/01
      
      Re: Penrose's reply to Chalmers, Rupert, 2005/11/01
      
      Re: Penrose's reply to Chalmers, abo, 2005/11/01
      
      Re: Penrose's reply to Chalmers, Torkel Franzen, 2005/11/01
      
      Re: Penrose's reply to Chalmers, Rupert, 2005/11/01
      
      Re: Penrose's reply to Chalmers, abo, 2005/11/02
      
      Re: Penrose's reply to Chalmers, Rupert, 2005/11/02
      
      Re: Penrose's reply to Chalmers, abo, 2005/11/02
      
      Re: Penrose's reply to Chalmers, Rupert, 2005/11/02
      
      Re: Penrose's reply to Chalmers, abo, 2005/11/02
      
      Re: Penrose's reply to Chalmers, Torkel Franzen, 2005/11/02
      
      Re: Penrose's reply to Chalmers, abo, 2005/11/02
      
      Re: Penrose's reply to Chalmers, Torkel Franzen, 2005/11/02
      
      Re: Penrose's reply to Chalmers, abo, 2005/11/02
      
      Re: Penrose's reply to Chalmers, Torkel Franzen, 2005/11/02
      
      Re: Penrose's reply to Chalmers, abo, 2005/11/02
      
      Re: Penrose's reply to Chalmers, Torkel Franzen, 2005/11/02
      
      Re: Penrose's reply to Chalmers, abo, 2005/11/02
      
      Re: Penrose's reply to Chalmers, Torkel Franzen, 2005/11/02
      
      Re: Penrose's reply to Chalmers, Aatu Koskensilta, 2005/11/02
      
      Re: Penrose's reply to Chalmers, Rupert, 2005/11/02
      
      Re: Penrose's reply to Chalmers, Daryl McCullough, 2005/11/02
      
      Re: Penrose's reply to Chalmers, abo, 2005/11/02
      
      Re: Penrose's reply to Chalmers, abo, 2005/11/02
      
      Re: Penrose's reply to Chalmers, Daryl McCullough, 2005/11/02
      
      Re: Penrose's reply to Chalmers, abo, 2005/11/02
      
      Re: Penrose's reply to Chalmers, Rupert, 2005/11/02
      
      Re: Penrose's reply to Chalmers, abo, 2005/11/02
      
      Re: Penrose's reply to Chalmers, Rupert, 2005/11/02
      
      Re: Penrose's reply to Chalmers, abo, 2005/11/02
      
      Re: Penrose's reply to Chalmers, Rupert, 2005/11/02
      
      Re: Penrose's reply to Chalmers, abo, 2005/11/02
      
      Re: Penrose's reply to Chalmers, Rupert, 2005/11/02
      
      Re: Penrose's reply to Chalmers, abo, 2005/11/02
    - Re: Penrose's reply to Chalmers, Daryl McCullough, 2005/11/01
      
      Re: Penrose's reply to Chalmers, Torkel Franzen, 2005/11/01
      
      Re: Penrose's reply to Chalmers, abo, 2005/11/01
      
      Re: Penrose's reply to Chalmers, Daryl McCullough, 2005/11/01
      
      Re: Penrose's reply to Chalmers, abo, 2005/11/01
      
      Re: Penrose's reply to Chalmers, Daryl McCullough, 2005/11/01
      
      Re: Penrose's reply to Chalmers, Rupert, 2005/11/01
      
      Re: Penrose's reply to Chalmers, abo, 2005/11/02
      
      Re: Penrose's reply to Chalmers, Daryl McCullough, 2005/11/02
      
      Re: Penrose's reply to Chalmers, abo, 2005/11/02
      
      Re: Penrose's reply to Chalmers, Rupert, 2005/11/02
      
      Re: Penrose's reply to Chalmers, Daryl McCullough, 2005/11/02
      
      Re: Penrose's reply to Chalmers, Rupert, 2005/11/03
      
      Re: Penrose's reply to Chalmers, Stephen Harris, 2005/11/03
      
      Re: Penrose's reply to Chalmers, JEFFREY KETLAND, 2005/11/04
      
      Re: Penrose's reply to Chalmers, Torkel Franzen, 2005/11/01
      
      Message not available
      
      Re: Penrose's reply to Chalmers, Stephen Harris, 2005/11/02
  - Re: Penrose's reply to Chalmers, Rupert, 2005/11/01
  - Message not available
    - Re: Penrose's reply to Chalmers, abo, 2005/11/01
      
      Re: Penrose's reply to Chalmers, Torkel Franzen, 2005/11/01
      
      Re: Penrose's reply to Chalmers, Rupert, 2005/11/01
      
      Re: Penrose's reply to Chalmers, abo, 2005/11/01
- Message not available
  - Re: Penrose's reply to Chalmers, Daryl McCullough, 2005/11/02
    - Re: Penrose's reply to Chalmers, Rupert, 2005/11/02
      
      Re: Penrose's reply to Chalmers, Daryl McCullough, 2005/11/02
      
      Re: Penrose's reply to Chalmers, Stephen Harris, 2005/11/03
      
      Re: Penrose's reply to Chalmers, Daryl McCullough, 2005/11/03
      
      Re: Penrose's reply to Chalmers, Stephen Harris, 2005/11/03
      
      Re: Penrose's reply to Chalmers, Stephen Harris, 2005/11/03
      
      Re: Penrose's reply to Chalmers, Rupert, 2005/11/03
      
      Re: Penrose's reply to Chalmers, Daryl McCullough, 2005/11/03
      
      Re: Penrose's reply to Chalmers, Rupert, 2005/11/03
      
      Re: Penrose's reply to Chalmers, Daryl McCullough, 2005/11/04
      
      Re: Penrose's reply to Chalmers, abo, 2005/11/03
      
      Re: Penrose's reply to Chalmers, Daryl McCullough, 2005/11/03
      
      Re: Penrose's reply to Chalmers, abo, 2005/11/03
      
      Re: Penrose's reply to Chalmers, Daryl McCullough, 2005/11/03
      
      Re: Penrose's reply to Chalmers, abo, 2005/11/03
      
      Re: Penrose's reply to Chalmers, Daryl McCullough, 2005/11/03
      
      Re: Penrose's reply to Chalmers, abo, 2005/11/03
      
      Re: Penrose's reply to Chalmers, Rupert, 2005/11/03
      
      Re: Penrose's reply to Chalmers, Torkel Franzen, 2005/11/04
      
      Re: Penrose's reply to Chalmers, abo, 2005/11/04
      
      Re: Penrose's reply to Chalmers, Torkel Franzen, 2005/11/04
      
      Re: Penrose's reply to Chalmers, abo, 2005/11/04
      
      Re: Penrose's reply to Chalmers, Daryl McCullough, 2005/11/04
      
      Re: Penrose's reply to Chalmers, Torkel Franzen, 2005/11/04
      
      Re: Penrose's reply to Chalmers, Daryl McCullough, 2005/11/04
      
      Re: Penrose's reply to Chalmers, Nam Nguyen, 2005/11/04
      
      Re: Penrose's reply to Chalmers, Keith Ramsay, 2005/11/05
      
      Re: Penrose's reply to Chalmers, Daryl McCullough, 2005/11/05
      
      Re: Penrose's reply to Chalmers, Stephen Harris, 2005/11/05
      
      Re: Penrose's reply to Chalmers, Stephen Harris, 2005/11/05
      
      Re: Penrose's reply to Chalmers, Torkel Franzen, 2005/11/05
      
      Re: Penrose's reply to Chalmers, Daryl McCullough, 2005/11/05
      
      Re: Penrose's reply to Chalmers, Torkel Franzen, 2005/11/05
      
      Re: Penrose's reply to Chalmers, Daryl McCullough, 2005/11/05
      
      Re: Penrose's reply to Chalmers, Torkel Franzen, 2005/11/05
      
      Re: Penrose's reply to Chalmers, abo, 2005/11/05