sci.logic (thread)

not simple enough for a village idiot, mitch, 2005/12/31
decidability results for relational logic, Adnan Aziz, 2005/12/29
Metamathematically True or False?, Charlie-Boo, 2005/12/29
- Message not available
  - Re: Metamathematically True or False?, Charlie-Boo, 2005/12/30
    - Re: Metamathematically True or False?, Torkel Franzen, 2005/12/30
      
      Re: Metamathematically True or False?, David C . Ullrich, 2005/12/30
      
      Re: Metamathematically True or False?, Torkel Franzen, 2005/12/30
      
      Re: Metamathematically True or False?, Charlie-Boo, 2005/12/30
      
      Re: Metamathematically True or False?, Torkel Franzen, 2005/12/30
      
      Message not available
      
      Re: Metamathematically True or False?, Torkel Franzen, 2005/12/30
      
      Message not available
      
      Re: Metamathematically True or False?, Torkel Franzen, 2005/12/30
Re: Predicativism and natural numbers, george, 2005/12/29
- Re: Predicativism and natural numbers, Aatu Koskensilta, 2005/12/29
logic professionals opinion - Geometry in the Bible Text, Boris, 2005/12/29
junk, Tomasz Dabrowski, 2005/12/28
using encoder as MUX, irenalt, 2005/12/28
- Re: using encoder as MUX, mkost, 2005/12/31
- Re: using encoder as MUX, mkost, 2005/12/31
- Re: using encoder as MUX, mkost, 2005/12/31
decidability and completeness, Per Freem, 2005/12/27
- Re: decidability and completeness, Torkel Franzen, 2005/12/28
  - Re: decidability and completeness, Per Freem, 2005/12/28
    - Re: decidability and completeness, Torkel Franzen, 2005/12/28
      
      Re: decidability and completeness, Per Freem, 2005/12/28
- Re: decidability and completeness, Michael De, 2005/12/28
  - Re: decidability and completeness, Jan Burse, 2005/12/29
    - Re: decidability and completeness, Michael De, 2005/12/29
grundlagen, mitch, 2005/12/26
- Re: grundlagen, george, 2005/12/28
- Re: grundlagen, G . Frege, 2005/12/28
  - Re: grundlagen, mitch, 2005/12/31
يا جماعة فى منـح تعليميـة مجانية فى مجال برمجة الكمبيوتر, Dr_mohamed_hassan_102, 2005/12/26
- يا جماعة فى منـح تعليميـة مجانية فى مجال برمجة الكمبيوتر, Dr_mohamed_hassan_102, 2005/12/26
Inverted iota in LaTeX, Michael De, 2005/12/26
What does 1+1=2 really mean?, stu, 2005/12/25
- Re: What does 1+1=2 really mean?, smnewberger, 2005/12/25
  - Re: What does 1+1=2 really mean?, Paul Holbach, 2005/12/26
- Re: What does 1+1=2 really mean?, Fish Huang, 2005/12/25
  - Re: What does 1+1=2 really mean?, Barb Knox, 2005/12/25
- Re: What does 1+1=2 really mean?, Douglas Eagleson, 2005/12/27
Propositional Variables "Yes" and "No", Gene Ledbetter, 2005/12/24
axiom of determinacy, Rupert, 2005/12/24
- Re: axiom of determinacy, José Carlos Santos, 2005/12/24
  - Re: axiom of determinacy, Rupert, 2005/12/24
    - Re: axiom of determinacy, José Carlos Santos, 2005/12/24
      
      Re: axiom of determinacy, Rupert, 2005/12/24
      
      Re: axiom of determinacy, José Carlos Santos, 2005/12/25
  - Re: axiom of determinacy, Herman Rubin, 2005/12/24
    - Re: axiom of determinacy, Rupert, 2005/12/25
      
      Re: axiom of determinacy, Herman Rubin, 2005/12/25
Kreisel and 1-consistency, Peter_Smith, 2005/12/21
- Re: Kreisel and 1-consistency, Aatu Koskensilta, 2005/12/21
  - Re: Kreisel and 1-consistency, Peter_Smith, 2005/12/21
  - Re: Kreisel and 1-consistency, Peter_Smith, 2005/12/21
    - Re: Kreisel and 1-consistency, Torkel Franzen, 2005/12/21
      
      Re: Kreisel and 1-consistency, Aatu Koskensilta, 2005/12/21
Name of logical fallacy - distorting evidence to fit theory?, john, 2005/12/19
- Re: Name of logical fallacy - distorting evidence to fit theory?, Anders Goeransson, 2005/12/19
- Re: Name of logical fallacy - distorting evidence to fit theory?, Tron, 2005/12/19
  - Re: Name of logical fallacy - distorting evidence to fit theory?, john, 2005/12/21
- Re: Name of logical fallacy - distorting evidence to fit theory?, Michael De, 2005/12/19
- Re: Name of logical fallacy - distorting evidence to fit theory?, William Elliot, 2005/12/20
- Re: Name of logical fallacy - distorting evidence to fit theory?, georgie, 2005/12/20
- Re: Name of logical fallacy - distorting evidence to fit theory?, Charlie-Boo, 2005/12/20
  - Re: Name of logical fallacy - distorting evidence to fit theory?, poopdeville, 2005/12/22
Which one is bigger?, oercim, 2005/12/19
Inductive and deductive practices, Lupus, 2005/12/19
- Re: Inductive and deductive practices, Tron, 2005/12/19
- Re: Inductive and deductive practices, Michael De, 2005/12/19
The formal and informal proofs, T.B., 2005/12/19
- Re: The formal and informal proofs, Charlie-Boo, 2005/12/19
  - Re: The formal and informal proofs, T.B., 2005/12/19
    - Re: The formal and informal proofs, Charlie-Boo, 2005/12/20
      
      Re: The formal and informal proofs, Torkel Franzen, 2005/12/20
      
      Re: The formal and informal proofs, Charlie-Boo, 2005/12/20
      
      Re: The formal and informal proofs, T.B., 2005/12/20
Natural Negations, William Elliot, 2005/12/18
- Re: Natural Negations, Jan Burse, 2005/12/20
  - Re: Natural Negations, William Elliot, 2005/12/21
    - Re: Natural Negations, Jan Burse, 2005/12/21
      
      Re: Natural Negations, William Elliot, 2005/12/22
      
      Re: Natural Negations, Jan Burse, 2005/12/22
      
      Re: Natural Negations, William Elliot, 2005/12/23
      
      Re: Natural Negations, G . Frege, 2005/12/23
      
      Re: Natural Negations, William Elliot, 2005/12/23
  - Re: Natural Negations, Jan Burse, 2005/12/21
    - Re: Natural Negations, Jan Burse, 2005/12/24
      
      Re: Natural Negations, Jan Burse, 2005/12/24
      
      Re: Natural Negations, William Elliot, 2005/12/25
      
      Re: Natural Negations, Jan Burse, 2005/12/25
      
      Natural Negations, William Elliot, 2005/12/26
      
      Re: Natural Negations, Jan Burse, 2005/12/26
      
      Re: Natural Negations, Jan Burse, 2005/12/26
      
      Re: Natural Negations, William Elliot, 2005/12/26
      
      Re: Natural Negations, Jan Burse, 2005/12/26
      
      Re: Natural Negations, William Elliot, 2005/12/27
- Re: Natural Negations, Jan Burse, 2005/12/26
  - Re: Natural Negations, Jan Burse, 2005/12/30
ZFC means?, learninglogic, 2005/12/18
- Re: ZFC means?, G . Frege, 2005/12/18
  - Re: ZFC means?, learninglogic, 2005/12/18
    - Re: ZFC means?, learninglogic, 2005/12/19
      
      Re: ZFC means?, G . Frege, 2005/12/20
    - Re: ZFC means?, Chris Menzel, 2005/12/19
- Re: ZFC means?, Chris Menzel, 2005/12/18
- Re: ZFC means?, Charlie-Boo, 2005/12/20
  - Re: ZFC means?, Torkel Franzen, 2005/12/20
    - Re: ZFC means?, Charlie-Boo, 2005/12/20
      
      Re: ZFC means?, G . Frege, 2005/12/20
      
      Re: ZFC means?, Charlie-Boo, 2005/12/20
      
      Re: ZFC means?, G . Frege, 2005/12/20
      
      Re: ZFC means?, Charlie-Boo, 2005/12/21
      
      Re: ZFC means?, G . Frege, 2005/12/21
      
      Re: ZFC means?, Charlie-Boo, 2005/12/29
      
      Re: ZFC means?, Charlie-Boo, 2005/12/20
      
      Re: ZFC means?, David C . Ullrich, 2005/12/21
      
      Re: ZFC means?, Charlie-Boo, 2005/12/29
      
      Re: ZFC means?, G . Frege, 2005/12/29
      
      Re: ZFC means?, Barb Knox, 2005/12/29
      
      Re: ZFC means?, David C . Ullrich, 2005/12/30
How long does the customer waits ?, juanra, 2005/12/18
paradoxes, anbra1, 2005/12/18
- Re: paradoxes, Torkel Franzen, 2005/12/18
  - Re: paradoxes, Gene Ledbetter, 2005/12/18
- Re: paradoxes, david petry, 2005/12/18
- Re: paradoxes, Charlie-Boo, 2005/12/19
Babel Science, oldwetdog, 2005/12/17
- Re: Babel Science, William Elliot, 2005/12/17
- Re: Babel Science, Tron, 2005/12/17
order of magnitute(big Oh), oercim, 2005/12/17
- Re: order of magnitute(big Oh), William Elliot, 2005/12/17
  - Re: order of magnitute(big Oh), oercim, 2005/12/17
    - Re: order of magnitute(big Oh), William Elliot, 2005/12/17
      
      Re: order of magnitute(big Oh), oercim, 2005/12/20
Re: The MetaMathematical Theorem that Almost Was, Charlie-Boo, 2005/12/17
- Re: The MetaMathematical Theorem that Almost Was, george, 2005/12/18
Re: Informal theories versus formal theories., Charlie-Boo, 2005/12/16
About Consistency in 1st Order Theories., Nam Nguyen, 2005/12/16
- Re: About Consistency in 1st Order Theories., Chris Menzel, 2005/12/16
  - Re: About Consistency in 1st Order Theories., Nam Nguyen, 2005/12/16
    - Re: About Consistency in 1st Order Theories., Nam Nguyen, 2005/12/16
    - Re: About Consistency in 1st Order Theories., Chris Menzel, 2005/12/16
      
      Re: About Consistency in 1st Order Theories., Chris Menzel, 2005/12/16
      
      Re: About Consistency in 1st Order Theories., Peter Webb, 2005/12/17
      
      Re: About Consistency in 1st Order Theories., Nam Nguyen, 2005/12/18
      
      Re: About Consistency in 1st Order Theories., Nam Nguyen, 2005/12/18
      
      Re: About Consistency in 1st Order Theories., Chris Menzel, 2005/12/18
      
      Re: About Consistency in 1st Order Theories., Nam Nguyen, 2005/12/18
      
      Re: About Consistency in 1st Order Theories., David C . Ullrich, 2005/12/19
      
      Re: About Consistency in 1st Order Theories., Nam Nguyen, 2005/12/20
      
      Re: About Consistency in 1st Order Theories., David C . Ullrich, 2005/12/20
- Re: About Consistency in 1st Order Theories., William Elliot, 2005/12/16
- Re: About Consistency in 1st Order Theories., Aatu Koskensilta, 2005/12/16
  - Re: About Consistency in 1st Order Theories., Aatu Koskensilta, 2005/12/16
  - Re: About Consistency in 1st Order Theories., Charlie-Boo, 2005/12/16
    - Re: About Consistency in 1st Order Theories., Aatu Koskensilta, 2005/12/19
- Re: About Consistency in 1st Order Theories., Aatu Koskensilta, 2005/12/20
  - Re: About Consistency in 1st Order Theories., Nam Nguyen, 2005/12/20
    - Re: About Consistency in 1st Order Theories., Aatu Koskensilta, 2005/12/20
      
      Re: About Consistency in 1st Order Theories., Nam Nguyen, 2005/12/20
      
      Re: About Consistency in 1st Order Theories., Aatu Koskensilta, 2005/12/20
      
      Re: About Consistency in 1st Order Theories., Nam Nguyen, 2005/12/20
      
      Re: About Consistency in 1st Order Theories., Nam Nguyen, 2005/12/20
      
      Re: About Consistency in 1st Order Theories., David C . Ullrich, 2005/12/21
      
      Re: About Consistency in 1st Order Theories., Nam Nguyen, 2005/12/22
      
      Re: About Consistency in 1st Order Theories., David C . Ullrich, 2005/12/22
      
      Re: About Consistency in 1st Order Theories., Aatu Koskensilta, 2005/12/21
      
      Re: About Consistency in 1st Order Theories., Nam Nguyen, 2005/12/21
      
      Re: About Consistency in 1st Order Theories., Aatu Koskensilta, 2005/12/21
      
      Re: About Consistency in 1st Order Theories., Nam Nguyen, 2005/12/21
      
      Re: About Consistency in 1st Order Theories., Aatu Koskensilta, 2005/12/22
120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], bradb, 2005/12/15
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 2005/12/16
  - Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], RobertSzefler, 2005/12/19
Re: Natural deduction?, Charlie-Boo, 2005/12/15
Call for Papers - The Journal of American Science, marslandpress, 2005/12/15
consistency strength, Rupert, 2005/12/15
Re: Martin Gardner's New Prediction Paradox, Rupert, 2005/12/15
- Re: Martin Gardner's New Prediction Paradox, Gene Ledbetter, 2005/12/18
  - Re: Martin Gardner's New Prediction Paradox, george, 2005/12/18
    - Re: Martin Gardner's New Prediction Paradox, Gene Ledbetter, 2005/12/21
      
      Re: Martin Gardner's New Prediction Paradox, Gene Ledbetter, 2005/12/30
      
      Re: Martin Gardner's New Prediction Paradox, Rupert, 2005/12/31
Re: Evaluation of article, Charlie-Boo, 2005/12/15
- Re: Evaluation of article, Torkel Franzen, 2005/12/15
  - Re: Evaluation of article, Tron, 2005/12/15
    - Re: Evaluation of article, Charlie-Boo, 2005/12/15
  - Re: Evaluation of article, Charlie-Boo, 2005/12/15
    - Re: Evaluation of article, Torkel Franzen, 2005/12/15
      
      Re: Evaluation of article, Charlie-Boo, 2005/12/15
      
      Re: Evaluation of article, Torkel Franzen, 2005/12/15
      
      Re: Evaluation of article, Charlie-Boo, 2005/12/16
      
      Re: Evaluation of article, Torkel Franzen, 2005/12/16
      
      Re: Evaluation of article, Charlie-Boo, 2005/12/16
      
      Re: Evaluation of article, Torkel Franzen, 2005/12/17
      
      Re: Evaluation of article, Charlie-Boo, 2005/12/17
      
      Re: Evaluation of article, Torkel Franzen, 2005/12/17
      
      Re: Evaluation of article, Charlie-Boo, 2005/12/17
      
      Re: Evaluation of article, Torkel Franzen, 2005/12/17
      
      Re: Evaluation of article, Charlie-Boo, 2005/12/17
      
      Re: Evaluation of article, Torkel Franzen, 2005/12/17
      
      Re: Evaluation of article, Charlie-Boo, 2005/12/17
      
      Re: Evaluation of article, Torkel Franzen, 2005/12/17
      
      Re: Evaluation of article, Charlie-Boo, 2005/12/17
      
      Re: Evaluation of article, Torkel Franzen, 2005/12/17
      
      Re: Evaluation of article, Charlie-Boo, 2005/12/17
      
      Re: Evaluation of article, Torkel Franzen, 2005/12/17
      
      Re: Evaluation of article, Charlie-Boo, 2005/12/18
      
      Re: Evaluation of article, Torkel Franzen, 2005/12/18
      
      Re: Evaluation of article, Charlie-Boo, 2005/12/18
      
      Re: Evaluation of article, Charlie-Boo, 2005/12/29
      
      Re: Evaluation of article, Torkel Franzen, 2005/12/29
      
      Re: Evaluation of article, Charlie-Boo, 2005/12/29
- Re: Evaluation of article, Tron, 2005/12/15
Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/14
- Re: Simple yet Profound Metatheorem, Dan Christensen, 2005/12/14
  - Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/15
    - Re: Simple yet Profound Metatheorem, Barb Knox, 2005/12/15
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/15
      
      Re: Simple yet Profound Metatheorem, H. J. Sander Bruggink, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, sradhakr, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, Barb Knox, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, sradhakr, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, H. J. Sander Bruggink, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, sradhakr, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, H. J. Sander Bruggink, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, sradhakr, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, H. J. Sander Bruggink, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, G . Frege, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, G . Frege, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, sradhakr, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, G . Frege, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, sradhakr, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, G . Frege, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, Torkel Franzen, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, sradhakr, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, Torkel Franzen, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, sradhakr, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, Torkel Franzen, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, G . Frege, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, sradhakr, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, G . Frege, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, Daryl McCullough, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, G . Frege, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, G . Frege, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, G . Frege, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, Torkel Franzen, 2005/12/17
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/17
      
      Re: Simple yet Profound Metatheorem, Torkel Franzen, 2005/12/17
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/17
      
      Re: Simple yet Profound Metatheorem, Torkel Franzen, 2005/12/17
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/17
      
      Re: Simple yet Profound Metatheorem, Torkel Franzen, 2005/12/17
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/17
      
      Re: Simple yet Profound Metatheorem, Torkel Franzen, 2005/12/17
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/17
      
      Re: Simple yet Profound Metatheorem, Torkel Franzen, 2005/12/17
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/17
      
      Re: Simple yet Profound Metatheorem, Torkel Franzen, 2005/12/17
      
      Re: Simple yet Profound Metatheorem, H. J. Sander Bruggink, 2005/12/20
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/20
      
      Re: Simple yet Profound Metatheorem, Torkel Franzen, 2005/12/20
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/21
      
      Re: Simple yet Profound Metatheorem, Torkel Franzen, 2005/12/21
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/21
      
      Re: Simple yet Profound Metatheorem, Torkel Franzen, 2005/12/21
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/29
      
      Re: Simple yet Profound Metatheorem, Daryl McCullough, 2005/12/21
      
      Re: Simple yet Profound Metatheorem, Daryl McCullough, 2005/12/21
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/29
      
      Re: Simple yet Profound Metatheorem, Daryl McCullough, 2005/12/29
      
      Re: Simple yet Profound Metatheorem, H. J. Sander Bruggink, 2005/12/20
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/20
      
      Re: Simple yet Profound Metatheorem, H. J. Sander Bruggink, 2005/12/20
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/20
      
      Re: Simple yet Profound Metatheorem, G . Frege, 2005/12/20
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/20
      
      Re: Simple yet Profound Metatheorem, G . Frege, 2005/12/20
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/21
      
      Re: Simple yet Profound Metatheorem, Daryl McCullough, 2005/12/20
      
      Re: Simple yet Profound Metatheorem, G . Frege, 2005/12/20
      
      Re: Simple yet Profound Metatheorem, Daryl McCullough, 2005/12/21
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/21
      
      Re: Simple yet Profound Metatheorem, Daryl McCullough, 2005/12/21
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/29
      
      Re: Simple yet Profound Metatheorem, Daryl McCullough, 2005/12/29
      
      Re: Simple yet Profound Metatheorem, H. J. Sander Bruggink, 2005/12/30
      
      Re: Simple yet Profound Metatheorem, H. J. Sander Bruggink, 2005/12/21
      
      Re: Simple yet Profound Metatheorem, H. J. Sander Bruggink, 2005/12/21
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/29
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/29
      
      Re: Simple yet Profound Metatheorem, H. J. Sander Bruggink, 2005/12/30
      
      Re: Simple yet Profound Metatheorem, G . Frege, 2005/12/20
      
      Re: Simple yet Profound Metatheorem, sradhakr, 2005/12/17
      
      Re: Simple yet Profound Metatheorem, Torkel Franzen, 2005/12/17
      
      Re: Simple yet Profound Metatheorem, sradhakr, 2005/12/18
      
      Re: Simple yet Profound Metatheorem, Torkel Franzen, 2005/12/18
      
      Re: Simple yet Profound Metatheorem, sradhakr, 2005/12/18
      
      Re: Simple yet Profound Metatheorem, Torkel Franzen, 2005/12/18
      
      Re: Simple yet Profound Metatheorem, sradhakr, 2005/12/23
      
      Re: Simple yet Profound Metatheorem, Torkel Franzen, 2005/12/23
      
      Re: Simple yet Profound Metatheorem, sradhakr, 2005/12/23
      
      Re: Simple yet Profound Metatheorem, Torkel Franzen, 2005/12/23
      
      Re: Simple yet Profound Metatheorem, sradhakr, 2005/12/23
      
      Re: Simple yet Profound Metatheorem, sradhakr, 2005/12/23
      
      Re: Simple yet Profound Metatheorem, Torkel Franzen, 2005/12/23
      
      Re: Simple yet Profound Metatheorem, G . Frege, 2005/12/23
      
      Re: Simple yet Profound Metatheorem, G . Frege, 2005/12/23
      
      Re: Simple yet Profound Metatheorem, sradhakr, 2005/12/23
      
      Re: Simple yet Profound Metatheorem, G . Frege, 2005/12/23
      
      Re: Simple yet Profound Metatheorem, sradhakr, 2005/12/23
      
      Re: Simple yet Profound Metatheorem, sradhakr, 2005/12/24
      
      Re: Simple yet Profound Metatheorem, G . Frege, 2005/12/24
      
      Re: Simple yet Profound Metatheorem, Daryl McCullough, 2005/12/17
      
      Re: Simple yet Profound Metatheorem, sradhakr, 2005/12/17
      
      Re: Simple yet Profound Metatheorem, sradhakr, 2005/12/17
      
      Re: Simple yet Profound Metatheorem, Daryl McCullough, 2005/12/18
      
      Re: Simple yet Profound Metatheorem, sradhakr, 2005/12/18
      
      Re: Simple yet Profound Metatheorem, Daryl McCullough, 2005/12/18
      
      Re: Simple yet Profound Metatheorem, sradhakr, 2005/12/19
      
      Re: Simple yet Profound Metatheorem, Daryl McCullough, 2005/12/19
      
      Re: Simple yet Profound Metatheorem, Aatu Koskensilta, 2005/12/19
      
      Re: Simple yet Profound Metatheorem, G . Frege, 2005/12/19
      
      Re: Simple yet Profound Metatheorem, G . Frege, 2005/12/16
- Re: Simple yet Profound Metatheorem, William Elliot, 2005/12/14
  - Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/15
    - Re: Simple yet Profound Metatheorem, William Elliot, 2005/12/15
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/15
      
      Re: Simple yet Profound Metatheorem, William Elliot, 2005/12/15
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/15
- Re: Simple yet Profound Metatheorem, David C . Ullrich, 2005/12/15
  - Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/15
    - Re: Simple yet Profound Metatheorem, David C . Ullrich, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/16
      
      Re: Simple yet Profound Metatheorem, David C . Ullrich, 2005/12/17
      
      Re: Simple yet Profound Metatheorem, G . Frege, 2005/12/17
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/19
      
      Re: Simple yet Profound Metatheorem, David C . Ullrich, 2005/12/19
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/20
      
      Re: Simple yet Profound Metatheorem, G . Frege, 2005/12/20
      
      Re: Simple yet Profound Metatheorem, David C . Ullrich, 2005/12/21
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/29
      
      Re: Simple yet Profound Metatheorem, Daryl McCullough, 2005/12/17
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2005/12/18
- Re: Simple yet Profound Metatheorem, Frederick Williams, 2005/12/16
Re: Idempotence and reflexivity, Ken Pledger, 2005/12/14
- Re: Idempotence and reflexivity, george, 2005/12/14
- Re: Idempotence and reflexivity, Tron, 2005/12/14
  - Re: Idempotence and reflexivity, george, 2005/12/14
Re: What do we call ...?, Tron, 2005/12/14
- Re: What do we call ...?, Ken Pledger, 2005/12/14
Adam and Eve Rode Dinosaurs to Church, mmmkaycomputer, 2005/12/12
is such that equal to <=== ?, kobu . selva, 2005/12/12
- Re: is such that equal to <=== ?, David C . Ullrich, 2005/12/13
  - Re: is such that equal to <=== ?, kobu . selva, 2005/12/13
    - Re: is such that equal to <=== ?, David C . Ullrich, 2005/12/14
      
      Re: is such that equal to <=== ?, adamarthurfilter@xxxxxxxxx, 2005/12/14
      
      Re: is such that equal to <=== ?, David C . Ullrich, 2005/12/15
- Re: is such that equal to <=== ?, Keith Ramsay, 2005/12/16
- Re: is such that equal to <=== ?, Michael De, 2005/12/18
square of sums, oercim, 2005/12/12
Question about Cardinality and Proper Classes, Daryl McCullough, 2005/12/12
- Re: Question about Cardinality and Proper Classes, Chris Menzel, 2005/12/12
  - Re: Question about Cardinality and Proper Classes, Chris Menzel, 2005/12/13
Just say no, naturally., William Elliot, 2005/12/11
- Re: Just say no, naturally., george, 2005/12/13
question about upward lowenheim-skolem, Per Freem, 2005/12/10
- question about upward lowenheim-skolem, Per Freem, 2005/12/10
  - Re: question about upward lowenheim-skolem, Achim Blumensath, 2005/12/14
A question on FOL inference, Nam Nguyen, 2005/12/08
- Re: A question on FOL inference, MoeBlee, 2005/12/08
  - Re: A question on FOL inference, Nam Nguyen, 2005/12/08
    - Re: A question on FOL inference, David C . Ullrich, 2005/12/09
      
      Re: A question on FOL inference, Nam Nguyen, 2005/12/09
      
      Re: A question on FOL inference, Nam Nguyen, 2005/12/09
      
      Re: A question on FOL inference, Nam Nguyen, 2005/12/09
      
      Re: A question on FOL inference, David C . Ullrich, 2005/12/10
      
      Re: A question on FOL inference, Nam Nguyen, 2005/12/10
      
      Re: A question on FOL inference, Nam Nguyen, 2005/12/10
      
      Re: A question on FOL inference, David C . Ullrich, 2005/12/11
      
      Re: A question on FOL inference, Nam Nguyen, 2005/12/11
      
      Re: A question on FOL inference, Nam Nguyen, 2005/12/11
      
      Re: A question on FOL inference, Nam Nguyen, 2005/12/11
      
      Re: A question on FOL inference, george, 2005/12/11
      
      Re: A question on FOL inference, Nam Nguyen, 2005/12/12
      
      Re: A question on FOL inference, David C . Ullrich, 2005/12/13
      
      Re: A question on FOL inference, Nam Nguyen, 2005/12/13
      
      Re: A question on FOL inference, H. J. Sander Bruggink, 2005/12/14
      
      Re: A question on FOL inference, David C . Ullrich, 2005/12/14
      
      Message not available
      Message not available
      Re: A question on FOL inference, Nam Nguyen, 2005/12/14
      
      Re: A question on FOL inference, Nam Nguyen, 2005/12/14
      
      Message not available
      Re: A question on FOL inference, Nam Nguyen, 2005/12/14
      
      Re: A question on FOL inference, Nam Nguyen, 2005/12/14
      
      Re: A question on FOL inference, Nam Nguyen, 2005/12/15
      
      Re: A question on FOL inference, Nam Nguyen, 2005/12/15
      
      Re: A question on FOL inference, David C . Ullrich, 2005/12/12
      
      Re: A question on FOL inference, Keith Ramsay, 2005/12/11
      
      Re: A question on FOL inference, Nam Nguyen, 2005/12/12
      
      Re: A question on FOL inference, Nam Nguyen, 2005/12/12
Magic Numbers, Gary, 2005/12/08
A simple but peculiar proof!, Nam Nguyen, 2005/12/08
- Re: A simple but peculiar proof!, Nam Nguyen, 2005/12/09
MOREMONEY, dad_bucks, 2005/12/08
GCH in the absence of Power Set Axiom, Daryl McCullough, 2005/12/07
sentences with infinite models and equivalence relations, Per Freem, 2005/12/06
- Re: sentences with infinite models and equivalence relations, Torkel Franzen, 2005/12/07
  - Re: sentences with infinite models and equivalence relations, Per Freem, 2005/12/07
    - Re: sentences with infinite models and equivalence relations, Torkel Franzen, 2005/12/07
      
      Re: sentences with infinite models and equivalence relations, Per Freem, 2005/12/08
      
      Re: sentences with infinite models and equivalence relations, Torkel Franzen, 2005/12/08
      
      Re: sentences with infinite models and equivalence relations, Per Freem, 2005/12/08
      
      Re: sentences with infinite models and equivalence relations, Torkel Franzen, 2005/12/08
      
      Re: sentences with infinite models and equivalence relations, Per Freem, 2005/12/08
      
      Re: sentences with infinite models and equivalence relations, Torkel Franzen, 2005/12/08
      
      Re: sentences with infinite models and equivalence relations, Per Freem, 2005/12/10
sentences with infinite models and equivalence classes, Per Freem, 2005/12/06
- Re: sentences with infinite models and equivalence classes, H. Enderton, 2005/12/08
  - Re: sentences with infinite models and equivalence classes, Per Freem, 2005/12/08
    - Re: sentences with infinite models and equivalence classes, Aatu Koskensilta, 2005/12/09
      
      Re: sentences with infinite models and equivalence classes, Per Freem, 2005/12/09
      
      Re: sentences with infinite models and equivalence classes, Aatu Koskensilta, 2005/12/09
      
      Re: sentences with infinite models and equivalence classes, Per Freem, 2005/12/09
      
      Re: sentences with infinite models and equivalence classes, Torkel Franzen, 2005/12/10
      
      Re: sentences with infinite models and equivalence classes, abo, 2005/12/10
      
      Re: sentences with infinite models and equivalence classes, Torkel Franzen, 2005/12/10
      
      Re: sentences with infinite models and equivalence classes, abo, 2005/12/10
      
      Re: sentences with infinite models and equivalence classes, Torkel Franzen, 2005/12/10
      
      Re: sentences with infinite models and equivalence classes, abo, 2005/12/10
      
      Re: sentences with infinite models and equivalence classes, Torkel Franzen, 2005/12/10
very quick question on embeddings, Per Freem, 2005/12/05
- Message not available
  - Re: very quick question on embeddings, Per Freem, 2005/12/06
    - Re: very quick question on embeddings, Torkel Franzen, 2005/12/07
Question on the power set axiom, Herman Jurjus, 2005/12/05
- Re: Question on the power set axiom, William Elliot, 2005/12/05
  - Re: Question on the power set axiom, Torkel Franzen, 2005/12/05
    - Re: Question on the power set axiom, William Elliot, 2005/12/05
      
      Re: Question on the power set axiom, Torkel Franzen, 2005/12/05
      
      Re: Question on the power set axiom, David C . Ullrich, 2005/12/06
      
      Re: Question on the power set axiom, William Elliot, 2005/12/06
      
      Re: Question on the power set axiom, David C . Ullrich, 2005/12/06
      
      Re: Question on the power set axiom, William Elliot, 2005/12/06
      
      Re: Question on the power set axiom, Daryl McCullough, 2005/12/07
    - Re: Question on the power set axiom, Daryl McCullough, 2005/12/06
      
      Re: Question on the power set axiom, george, 2005/12/06
      
      Re: Question on the power set axiom, Daryl McCullough, 2005/12/06
      
      Re: Question on the power set axiom, David C . Ullrich, 2005/12/07
      
      Re: Question on the power set axiom, Daryl McCullough, 2005/12/07
      
      Re: Question on the power set axiom, Daryl McCullough, 2005/12/07
      
      Re: Question on the power set axiom, David C . Ullrich, 2005/12/08
      
      Re: Question on the power set axiom, Daryl McCullough, 2005/12/08
      
      Re: Question on the power set axiom, Torkel Franzen, 2005/12/08
      
      Re: Question on the power set axiom, Daryl McCullough, 2005/12/08
      
      Re: Question on the power set axiom, Torkel Franzen, 2005/12/08
      
      Re: Question on the power set axiom, David C . Ullrich, 2005/12/09
      
      Re: Question on the power set axiom, Daryl McCullough, 2005/12/09
      
      Re: Question on the power set axiom, David C . Ullrich, 2005/12/10
      
      Message not available
      Re: Question on the power set axiom, Chris Menzel, 2005/12/12
- Message not available
  - Re: Question on the power set axiom, Daryl McCullough, 2005/12/12
    - Re: Question on the power set axiom, Keith Ramsay, 2005/12/13
      
      Re: Question on the power set axiom, Herman Jurjus, 2005/12/13
      
      Re: Question on the power set axiom, Torkel Franzen, 2005/12/13
      
      Re: Question on the power set axiom, Herman Jurjus, 2005/12/13
      
      Re: Question on the power set axiom, Torkel Franzen, 2005/12/13
      
      Re: Question on the power set axiom, Herman Jurjus, 2005/12/15
      
      Re: Question on the power set axiom, Torkel Franzen, 2005/12/15
      
      Re: Question on the power set axiom, Herman Jurjus, 2005/12/15
      
      Re: Question on the power set axiom, Torkel Franzen, 2005/12/15
      
      Re: Question on the power set axiom, Anders Goeransson, 2005/12/15
      
      Re: Question on the power set axiom, Torkel Franzen, 2005/12/15
    - Re: Question on the power set axiom, george, 2005/12/13
      
      Re: Question on the power set axiom, Barb Knox, 2005/12/13
      
      Re: Question on the power set axiom, george, 2005/12/14
- Message not available
  - Message not available
    - Re: Question on the power set axiom, Herman Jurjus, 2005/12/15
      
      Re: Question on the power set axiom, Rupert, 2005/12/15
      
      Re: Question on the power set axiom, Herman Jurjus, 2005/12/15
      
      Re: Question on the power set axiom, Torkel Franzen, 2005/12/15
      
      Re: Question on the power set axiom, Rupert, 2005/12/15
      
      Re: Question on the power set axiom, Torkel Franzen, 2005/12/15
      
      Re: Question on the power set axiom, Rupert, 2005/12/16
      
      Re: Question on the power set axiom, Torkel Franzen, 2005/12/16
      
      Re: Question on the power set axiom, Daryl McCullough, 2005/12/16
      
      Re: Question on the power set axiom, Rupert, 2005/12/15
      
      Re: Question on the power set axiom, Keith Ramsay, 2005/12/16
      
      Re: Question on the power set axiom, Herman Jurjus, 2005/12/16
      
      Re: Question on the power set axiom, Daryl McCullough, 2005/12/16
      
      Re: Question on the power set axiom, Torkel Franzen, 2005/12/16
      
      Re: Question on the power set axiom, Herman Jurjus, 2005/12/16
      
      Re: Question on the power set axiom, Torkel Franzen, 2005/12/16
      
      Re: Question on the power set axiom, Herman Jurjus, 2005/12/20
      
      Re: Question on the power set axiom, Rupert, 2005/12/16
The Epimenides Paradox, Gene Ledbetter, 2005/12/04
- Re: The Epimenides Paradox, Gene Ledbetter, 2005/12/06
  - Re: The Epimenides Paradox, Torkel Franzen, 2005/12/06
realizing and omitting types, Per Freem, 2005/12/03
- Re: realizing and omitting types, Torkel Franzen, 2005/12/04
  - Re: realizing and omitting types, Per Freem, 2005/12/04
    - Re: realizing and omitting types, Torkel Franzen, 2005/12/05
      
      Re: realizing and omitting types, Per Freem, 2005/12/05
      
      Re: realizing and omitting types, Per Freem, 2005/12/11
      
      Re: realizing and omitting types, Torkel Franzen, 2005/12/12
      
      Re: realizing and omitting types, Per Freem, 2005/12/12
      
      Re: realizing and omitting types, Torkel Franzen, 2005/12/12
      
      Re: realizing and omitting types, Per Freem, 2005/12/12
      
      Re: realizing and omitting types, Torkel Franzen, 2005/12/12
      
      Re: realizing and omitting types, Per Freem, 2005/12/12
      
      Re: realizing and omitting types, Torkel Franzen, 2005/12/12
      
      Re: realizing and omitting types, Per Freem, 2005/12/12
      
      Re: realizing and omitting types, Torkel Franzen, 2005/12/12
Re: a logic, a model, an isomorphism, an intention, george, 2005/12/03
- Re: a logic, a model, an isomorphism, an intention, george, 2005/12/03
  - Re: a logic, a model, an isomorphism, an intention, David C . Ullrich, 2005/12/04
    - Re: a logic, a model, an isomorphism, an intention, george, 2005/12/06
      
      Re: a logic, a model, an isomorphism, an intention, mitch, 2005/12/10
      
      Re: a logic, a model, an isomorphism, an intention, george, 2005/12/11
      
      Re: a logic, a model, an isomorphism, an intention, mitch, 2005/12/10
      
      Re: a logic, a model, an isomorphism, an intention, george, 2005/12/11
      
      Re: a logic, a model, an isomorphism, an intention, Gerry Myerson, 2005/12/12
      
      Re: a logic, a model, an isomorphism, an intention, george, 2005/12/12
      
      Re: a logic, a model, an isomorphism, an intention, Torkel Franzen, 2005/12/12
      
      Re: a logic, a model, an isomorphism, an intention, george, 2005/12/13
      
      Re: a logic, a model, an isomorphism, an intention, David C . Ullrich, 2005/12/14
      
      Re: a logic, a model, an isomorphism, an intention, Gerry Myerson, 2005/12/12
      
      Re: a logic, a model, an isomorphism, an intention, george, 2005/12/14
- Re: a logic, a model, an isomorphism, an intention, george, 2005/12/12
Learning Logic and Set Theory, Derek Smith, 2005/12/02
- Re: Learning Logic and Set Theory, Torkel Franzen, 2005/12/02
- Re: Learning Logic and Set Theory, MoeBlee, 2005/12/02
- Re: Learning Logic and Set Theory, Dan Christensen, 2005/12/02
- Re: Learning Logic and Set Theory, smnewberger, 2005/12/02
- Re: Learning Logic and Set Theory, george, 2005/12/03
  - Re: Learning Logic and Set Theory, Aatu Koskensilta, 2005/12/03
    - Re: Learning Logic and Set Theory, Derek Smith, 2005/12/03
      
      Re: Learning Logic and Set Theory, Barb Knox, 2005/12/03
      
      Re: Learning Logic and Set Theory, Torkel Franzen, 2005/12/03
      
      Re: Learning Logic and Set Theory, george, 2005/12/06
      
      Re: Learning Logic and Set Theory, Keith Ramsay, 2005/12/04
    - Re: Learning Logic and Set Theory, george, 2005/12/22
      
      Re: Learning Logic and Set Theory, Torkel Franzen, 2005/12/22
      
      Re: Learning Logic and Set Theory, george, 2005/12/23
      
      Re: Learning Logic and Set Theory, Torkel Franzen, 2005/12/23
      
      Re: Learning Logic and Set Theory, Daryl McCullough, 2005/12/24
      
      Re: Learning Logic and Set Theory, george, 2005/12/27
      
      Re: Learning Logic and Set Theory, Daryl McCullough, 2005/12/27
      
      Re: Learning Logic and Set Theory, Daryl McCullough, 2005/12/27
      
      Re: Learning Logic and Set Theory, george, 2005/12/28
      
      Re: Learning Logic and Set Theory, David C . Ullrich, 2005/12/29
      
      Re: Learning Logic and Set Theory, Daryl McCullough, 2005/12/29
      
      Re: Learning Logic and Set Theory, Daryl McCullough, 2005/12/29
      
      Re: Learning Logic and Set Theory, Daryl McCullough, 2005/12/30
      
      Re: Learning Logic and Set Theory, Aatu Koskensilta, 2005/12/23
      
      Re: Learning Logic and Set Theory, george, 2005/12/23
      
      Re: Learning Logic and Set Theory, Keith Ramsay, 2005/12/24
      
      Re: Learning Logic and Set Theory, george, 2005/12/23
p implies (not p implies everything), Peter Buus, 2005/12/01
- Re: p implies (not p implies everything), Arturo Magidin, 2005/12/01
- Re: p implies (not p implies everything), G . Frege, 2005/12/01
  - Re: p implies (not p implies everything), Torkel Franzen, 2005/12/02
    - Re: p implies (not p implies everything), Lee Rudolph, 2005/12/02
  - Re: p implies (not p implies everything), G . Frege, 2005/12/02
    - Re: p implies (not p implies everything), G . Frege, 2005/12/02
      
      Re: p implies (not p implies everything), Torkel Franzen, 2005/12/03
      
      Re: p implies (not p implies everything), Peter B, 2005/12/03
      
      Re: p implies (not p implies everything), G . Frege, 2005/12/06
      
      Re: p implies (not p implies everything), G . Frege, 2005/12/03
- Re: p implies (not p implies everything), David C . Ullrich, 2005/12/02
- Re: p implies (not p implies everything), Dan Christensen, 2005/12/02
Re: Well Ordering the Reals, Anders Goeransson, 2005/12/01
- Re: Well Ordering the Reals, Daryl McCullough, 2005/12/01
  - Re: Well Ordering the Reals, Aatu Koskensilta, 2005/12/01
    - Re: Well Ordering the Reals, Daryl McCullough, 2005/12/01
      
      Re: Well Ordering the Reals, Aatu Koskensilta, 2005/12/01
      
      Re: Well Ordering the Reals, Daryl McCullough, 2005/12/01
      
      Re: Well Ordering the Reals, abo, 2005/12/01
      
      Re: Well Ordering the Reals, Chris Menzel, 2005/12/01
      
      Re: Well Ordering the Reals, Daryl McCullough, 2005/12/01
      
      Re: Well Ordering the Reals, Chris Menzel, 2005/12/02
      
      Re: Well Ordering the Reals, G . Frege, 2005/12/02
      
      Re: Well Ordering the Reals, Daryl McCullough, 2005/12/02
      
      Re: Well Ordering the Reals, Chris Menzel, 2005/12/02
      
      Re: Well Ordering the Reals, Aatu Koskensilta, 2005/12/03
      
      Re: Well Ordering the Reals, Daryl McCullough, 2005/12/03
      
      Re: Well Ordering the Reals, Ross A. Finlayson, 2005/12/03
  - Re: Well Ordering the Reals, Anders Goeransson, 2005/12/01
Re: What is the 1st order formal system known as PA?, Nam Nguyen, 2005/12/01
- Re: What is the 1st order formal system known as PA?, Nam Nguyen, 2005/12/01
- Re: What is the 1st order formal system known as PA?, Rupert, 2005/12/01
Re: Are Logicians Naturally Logical?, G . Frege, 2005/11/30
- Are Logicians Naturally Logical?, William Elliot, 2005/12/01
  - Re: Are Logicians Naturally Logical?, G . Frege, 2005/12/03
  - Re: Are Logicians Naturally Logical?, G . Frege, 2005/12/04
    - Are Logicians Naturally Logical?, William Elliot, 2005/12/05
      
      Re: Are Logicians Naturally Logical?, G . Frege, 2005/12/05
- Re: Are Logicians Naturally Logical?, G . Frege, 2005/12/04
Re: Turing and Godel, Rupert, 2005/11/30
- Re: Turing and Godel, Torkel Franzen, 2005/11/30
- Re: Turing and Godel, Aatu Koskensilta, 2005/12/01
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/12/06
  - Re: Penrose vs the Robot, Daryl McCullough, 2005/12/07
    - Re: Penrose vs the Robot, abo, 2005/12/07
      
      Re: Penrose vs the Robot, Daryl McCullough, 2005/12/07
      
      Re: Penrose vs the Robot, abo, 2005/12/07
      
      Re: Penrose vs the Robot, Daryl McCullough, 2005/12/07
      
      Re: Penrose vs the Robot, abo, 2005/12/07
      
      Re: Penrose vs the Robot, Daryl McCullough, 2005/12/07
      
      Re: Penrose vs the Robot, abo, 2005/12/07
      
      Re: Penrose vs the Robot, Stephen Harris, 2005/12/08
      
      Re: Penrose vs the Robot, abo, 2005/12/08
      
      Re: Penrose vs the Robot, Stephen Harris, 2005/12/08
      
      Re: Penrose vs the Robot, abo, 2005/12/09
      
      Re: Penrose vs the Robot, Stephen Harris, 2005/12/09
      
      Re: Penrose vs the Robot, abo, 2005/12/09
      
      Re: Penrose vs the Robot, Stephen Harris, 2005/12/09
REMINDER:BCS-FACS Evening Seminar by Richard Bornat on Separation Logic, 8 December 2005, 6pm, London, FACS FACTS Editor, 2005/11/30
Re: Help writing a paper on Godel's Incompleteness Thorem, Patrick, 2005/11/30
- Re: Help writing a paper on Godel's Incompleteness Thorem, Scott, 2005/12/01
  - Re: Help writing a paper on Godel's Incompleteness Thorem, Aatu Koskensilta, 2005/12/01
    - Re: Help writing a paper on Godel's Incompleteness Thorem, Nam Nguyen, 2005/12/02
      
      Re: Help writing a paper on Godel's Incompleteness Thorem, Scott, 2005/12/02
      
      Re: Help writing a paper on Godel's Incompleteness Thorem, Scott, 2005/12/02
      
      Re: Help writing a paper on Godel's Incompleteness Thorem, Nam Nguyen, 2005/12/02
      
      Re: Help writing a paper on Godel's Incompleteness Thorem, David C . Ullrich, 2005/12/03
      
      Re: Help writing a paper on Godel's Incompleteness Thorem, Ross A. Finlayson, 2005/12/06
      
      Re: Help writing a paper on Godel's Incompleteness Thorem, David C . Ullrich, 2005/12/03
  - Re: Help writing a paper on Godel's Incompleteness Thorem, David C . Ullrich, 2005/12/02
  - Re: Help writing a paper on Godel's Incompleteness Thorem, Nathan Gilbert, 2005/12/18