sci.logic (date)

sci.logic (date)

[Thread Index] [Top] [All Lists]

April 30, 2006

Re: The LOGICAL approach to Bible Code, Avi Norowitz, 15:14
Re: Need help to answer a boy genius., Charlie-Boo, 15:11
Re: Liar's Paradox in Godel's Theorem (newbie question), Charlie-Boo, 15:07
Re: Liar's Paradox in Godel's Theorem (newbie question), Charlie-Boo, 14:59
Re: Need help to answer a boy genius., Frederick Williams, 14:48
Re: Need help to answer a boy genius., Charlie-Boo, 14:36
Re: Need help to answer a boy genius., ludios, 14:28
Re: Where is the paradox in liar?, Daryl McCullough, 14:24
Re: Where is the paradox in liar?, Charlie-Boo, 14:09
Re: Where is the paradox in liar?, Charlie-Boo, 13:54
Re: Russell, Surprises and God (and a Quiz, naturally), Charlie-Boo, 13:26
Re: Where is the paradox in liar?, Daryl McCullough, 13:01
Re: Arithmetic with (only) exponentiation, Bertie Reed, 12:30
Where is the paradox in liar?, Newberry, 12:05
Re: Need help to answer a boy genius., abo, 11:43
Need help to answer a boy genius., ludios, 11:30
Re: A problem in first order logic, juanpool@xxxxxxxxx, 10:55
Re: A problem in first order logic, David C . Ullrich, 09:45
Re: A problem in first order logic, David C . Ullrich, 09:38
Re: Liar's Paradox in Godel's Theorem (newbie question), Aatu Koskensilta, 08:59
Re: Liar's Paradox in Godel's Theorem (newbie question), gundalav, 08:07
Re: Liar's Paradox in Godel's Theorem (newbie question), Aatu Koskensilta, 06:27
Re: Liar's Paradox in Godel's Theorem (newbie question), David Kinny, 05:47
Liar's Paradox in Godel's Theorem (newbie question), gundalav, 04:27
Re: The LOGICAL approach to Bible Code, q_q_anonymous@xxxxxxxxxxx, 02:42
Re: Fallacies, William Elliot, 00:13

April 29, 2006

Re: The LOGICAL approach to Bible Code, Avi Norowitz, 22:49
Re: What is the intuitive meaning of Goedel's undecidable statement?, Newberry, 20:42
Re: Question..., Barb Knox, 19:39
Fallacies, tjb, 19:07
"read-only Turing machines", Snis Pilbor, 18:41
Re: Arithmetic with (only) exponentiation, george, 16:09
Re: A problem in first order logic, Jan Burse, 13:17
Re: A problem in first order logic, juanpool@xxxxxxxxx, 12:33
Re: A problem in first order logic, juanpool@xxxxxxxxx, 12:21
A question of quantifiers, Herman Jurjus, 10:39
Re: A problem in first order logic, Jan Burse, 10:19
Re: A problem in first order logic, juanpool@xxxxxxxxx, 09:17
Re: Question..., Kevin Brubeck Unhammer, 08:28
Re: Undecible Arithmetic sentence?, Aatu Koskensilta, 06:58
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, David C . Ullrich, 06:41
Re: Question..., Barb Knox, 05:03
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, G . Frege, 04:15
Re: Question..., Logic Noob, 03:48

April 28, 2006

Re: Question..., Barb Knox, 23:42
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 22:40
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 22:24
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patricia Shanahan, 22:19
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 21:50
Question..., Logic Noob, 21:35
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 21:25
Re: Undecible Arithmetic sentence?, matthias, 20:27
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patricia Shanahan, 20:04
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patricia Shanahan, 19:43
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 19:37
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 18:29
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Ross A. Finlayson, 18:09
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patricia Shanahan, 17:48
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 17:37
Re: Arithmetic with (only) exponentiation, george, 17:22
Re: Arithmetic with (only) exponentiation, Nam Nguyen, 14:09
Re: Arithmetic with (only) exponentiation, Nam Nguyen, 12:38
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 12:14
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 11:58
Re: Arithmetic with (only) exponentiation, Jan Burse, 10:53
The Real Bible Code - Decoding in Real Time, borisg1, 10:42
Re: Arithmetic with (only) exponentiation, Charlie, 10:15
Re: Arithmetic with (only) exponentiation, Bertie Reed, 09:41
Re: Arithmetic with (only) exponentiation, Bertie Reed, 09:22
Re: Tarski's definition of infinity --- Help!, contradictions . for . all, 06:45
Re: Tarski's definition of infinity --- Help!, David C . Ullrich, 05:28
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, David C . Ullrich, 05:25
Tarski's definition of infinity --- Help!, contradictions . for . all, 03:01

April 27, 2006

Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, William Elliot, 23:26
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Jan Burse, 19:32
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Jan Burse, 19:30
Re: Plc and Pnuematics/Hydraulics, Frederick Williams, 17:52
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, G . Frege, 17:14
Re: Arithmetic with (only) exponentiation, Bertie Reed, 16:27
Re: Arithmetic with (only) exponentiation, Nam Nguyen, 16:03
Re: Arithmetic with (only) exponentiation, george, 15:59
Re: Arithmetic with (only) exponentiation, Nam Nguyen, 15:52
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 15:40
Re: Arithmetic with (only) exponentiation, george, 15:38
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Jan Burse, 15:21
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patricia Shanahan, 15:12
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Jan Burse, 15:09
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 14:58
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 14:31
Plc and Pnuematics/Hydraulics, purebling, 14:26
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 13:50
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Chris Menzel, 12:43
Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 12:08
Re: A problem in first order logic, juanpool@xxxxxxxxx, 11:57
Re: Arithmetic with (only) exponentiation, Bertie Reed, 11:41
Re: Undecible Arithmetic sentence?, Daryl McCullough, 10:38
Re: Undecible Arithmetic sentence?, Aatu Koskensilta, 10:35
Re: Undecible Arithmetic sentence?, Aatu Koskensilta, 10:20
Re: A problem in first order logic, David C . Ullrich, 07:47
Re: What is the intuitive meaning of Goedel's undecidable statement?, Jan Burse, 07:09
Re: What is the intuitive meaning of Goedel's undecidable statement?, Jan Burse, 07:03
Re: What is the intuitive meaning of Goedel's undecidable statement?, Jan Burse, 07:00
Re: What is the intuitive meaning of Goedel's undecidable statement?, Jan Burse, 06:56
Re: The LOGICAL approach to Bible Code, q_q_anonymous@xxxxxxxxxxx, 06:41
Categorical?, Bill Taylor, 02:59
Undecible Arithmetic sentence?, Bill Taylor, 02:16

April 26, 2006

Re: Lambda Abstraction, William Elliot, 23:36
Re: Lambda Abstraction, William Elliot, 23:32
Re: What is the intuitive meaning of Goedel's undecidable statement?, george, 23:02
Re: Arithmetic with (only) exponentiation, george, 22:48
Re: The LOGICAL approach to Bible Code, Avi Norowitz, 22:24
Re: Arithmetic with (only) exponentiation, george, 22:06
Re: Lambda Abstraction, Sebastian Zimmer, 11:50
Re: A problem in first order logic, juanpool@xxxxxxxxx, 11:39
Re: Lambda Abstraction, H. J. Sander Bruggink, 11:04
Re: A problem in first order logic, David C . Ullrich, 06:22
Re: Russell, Surprises and God (and a Quiz, naturally), David C . Ullrich, 06:16
Re: Russell, Surprises and God (and a Quiz, naturally), H. J. Sander Bruggink, 05:27
Re: Arithmetic with (only) exponentiation, Bertie Reed, 03:24

April 25, 2006

Re: Russell, Surprises and God (and a Quiz, naturally), Charlie-Boo, 21:18
Re: Arithmetic with (only) exponentiation, george, 18:41
Re: The LOGICAL approach to Bible Code, q_q_anonymous, 18:30
Re: Arithmetic with (only) exponentiation, Bertie Reed, 14:02
Re: Russell, Surprises and God (and a Quiz, naturally), Charlie-Boo, 13:27
Re: Russell, Surprises and God (and a Quiz, naturally), Charlie-Boo, 13:22
Wikipedia error about consistency of PA, george, 12:38
Re: Russell, Surprises and God (and a Quiz, naturally), george, 12:16
Re: Lambda Abstraction, Sebastian Zimmer, 11:25
Re: rPA - Relativistic Peano Arithmetic, Nam Nguyen, 09:35
Re: A problem in first order logic, juanpool@xxxxxxxxx, 08:50
Notice of new publications of potential interest to historians of logic, irvanellis@xxxxxxxxx, 08:48
Re: Russell, Surprises and God (and a Quiz, naturally), David C . Ullrich, 06:41
Re: "Surviving the strongest.", Aatu Koskensilta, 06:21
Re: rPA - Relativistic Peano Arithmetic, William Elliot, 04:28
Re: Lambda Abstraction, William Elliot, 04:27
Re: rPA - Relativistic Peano Arithmetic, Nam Nguyen, 02:01
Re: rPA - Relativistic Peano Arithmetic, Nam Nguyen, 01:35

April 24, 2006

Re: Russell, Surprises and God (and a Quiz, naturally), Charlie-Boo, 20:56
Re: Torkel Franzén is dead, tchow, 16:21
Re: Torkel Franzén is dead, Ross A. Finlayson, 15:44
rPA - Relativistic Peano Arithmetic, Nam Nguyen, 14:20
Re: Lambda Abstraction, Sebastian Zimmer, 12:32
Dinosaurs and a Historic Climate Change Meteorite., caesarjbsquitti, 12:14
Re: Lambda Abstraction, H. J. Sander Bruggink, 10:11
Re: Jesus's AB blood on the Shroud of Turin and Suderian; questions, Frederick Williams, 08:20
Re: Russell, Surprises and God (and a Quiz, naturally), H. J. Sander Bruggink, 07:46
Re: Russell, Surprises and God (and a Quiz, naturally), David C . Ullrich, 06:52
Re: Math Logic?, holdemaa, 03:52
Re: Torkel Franzén is dead, Nam Nguyen, 03:18
Re: Torkel Franzén is dead, Nam Nguyen, 02:32

April 23, 2006

Re: What is the intuitive meaning of Goedel's undecidable statement?, Charlie-Boo, 22:57
Re: Torkel Franzén is dead, george, 22:38
Re: Torkel Franzén is dead, george, 22:31
Re: Russell, Surprises and God (and a Quiz, naturally), Charlie-Boo, 22:21
Re: Russell, Surprises and God (and a Quiz, naturally), Charlie-Boo, 22:14
Re: Arithmetic with (only) exponentiation, george, 21:44
Re: Arithmetic with (only) exponentiation, george, 21:30
Re: Torkel Franzén is dead, Paul Holbach, 21:20
Re: Torkel Franzén is dead, david petry, 19:45
BIOCHIP --->>> VERY BAD !!!, okay, 16:59
Re: Is platonism in math correct?, Jan Burse, 13:34
Re: Is platonism in math correct?, Jan Burse, 13:23
Re: Is platonism in math correct?, Jan Burse, 13:16
Re: Lambda Abstraction, William Elliot, 08:35
Lambda Abstraction, Sebastian Zimmer, 03:51
Re: Jesus's AB blood on the Shroud of Turin and Suderian; questions, a_plutonium, 03:30

April 22, 2006

Re: Torkel Franz�n is dead, JXStern, 21:54
Re: Arithmetic with (only) exponentiation, quasi, 18:45
Re: Arithmetic with (only) exponentiation, A N Niel, 17:06
Re: Jesus's AB blood on the Shroud of Turin and Suderian; questions, John Ahlstrom, 16:03
Arithmetic with (only) exponentiation, Colin, 14:38
Re: Torkel Franzén is dead, Phil Carmody, 13:15
Re: An example of an axiomatizable complete non-categorical second order theory?, matthias, 13:04
Re: Re: Torkel Franzén is dead, Lester Zick, 11:47
Re: Torkel Franzén is dead, William of Ockham, 11:03
Re: Torkel Franzén is dead, William of Ockham, 11:00
Re: W+1,W-1 and the infinitude of twin primes, ken.quirici@xxxxxxxxxx, 10:47
An example of an axiomatizable complete non-categorical second order theory?, Aatu Koskensilta, 09:01
Re: A problem in first order logic, David C . Ullrich, 08:04
2SAT, 2DM, and Bin Packing, MARICA.MARIUS@xxxxxxxxx, 07:17

April 21, 2006

Re: W+1,W-1 and the infinitude of twin primes, David Kinny, 22:26
W+1,W-1 and the infinitude of twin primes, ken.quirici@xxxxxxxxxx, 20:39
Re: What is the intuitive meaning of Goedel's undecidable statement?, Daryl McCullough, 17:22
Re: What is the intuitive meaning of Goedel's undecidable statement?, Nam Nguyen, 16:49
Re: Goodstein's Theorem, Aatu Koskensilta, 16:01
Re: Torkel Franzén is dead, cbrown, 15:04
Re: Torkel Franzén is dead, Alon Amit, 13:44
A problem in first order logic, juanpool@xxxxxxxxx, 13:35
A problem in first order logic, juanpool@xxxxxxxxx, 13:33
Re: Torkel Franzén is dead, Robert Kolker, 13:29
Re: What is the intuitive meaning of Goedel's undecidable statement?, Daryl McCullough, 12:56
Re: What is the intuitive meaning of Goedel's undecidable statement?, Nam Nguyen, 12:35
Re: Torkel Franzén is dead, erland, 06:26
Re: "Surviving the strongest.", Tommy Pedersen, 05:20
Re: Math Logic?, Bertie Reed, 04:50
Re: What is the intuitive meaning of Goedel's undecidable statement?, Barb Knox, 03:50
Re: What is the intuitive meaning of Goedel's undecidable statement?, Nam Nguyen, 02:33

April 20, 2006

Re: Math Logic?, Patricia Shanahan, 23:34
Re: Goodstein's Theorem, Bhupinder Singh Anand, 22:35
Re: Math Logic?, holdemaa, 22:18
Re: Math Logic?, Patricia Shanahan, 21:39
Re: Torkel Franzén is dead, Phil Carmody, 20:04
Re: Torkel Franzén is dead, Chris Menzel, 19:26
Re: Torkel Franz�n is dead, G . Frege, 19:20
Re: Torkel Franz�n is dead, Tim Peters, 17:51
Re: Torkel Franzén is dead, NM Public, 16:04
Re: Math Logic?, holdemaa, 15:19
Re: Torkel Franzén is dead, Patrick, 15:12
Re: Torkel Franzén is dead, R. Srinivasan, 14:51
Re: Torkel Franzén is dead, Hero, 14:44
Re: Torkel Franzén is dead, MoeBlee, 14:26
Re: Torkel Franz�n is dead, The World Wide Wade, 13:39
Re: Torkel Franzén is dead, Daniel Innala Ahlmark, 12:52
Re: Torkel Franzén is dead, Wolf Kirchmeir, 12:22
Re: Torkel Franzén is dead, Lester Zick, 11:21
Re: Torkel Franzén is dead, Aatu Koskensilta, 10:26
Re: Torkel Franzén is dead, Nam Nguyen, 10:18
Re: Math Logic?, Patricia Shanahan, 10:17
Re: "Surviving the strongest.", Aatu Koskensilta, 09:46
Re: Torkel Franzén is dead, gowan4@xxxxxxxxxxx, 09:37
Torkel Franzén is dead, erland, 09:27
Re: Math Logic?, Frederick Williams, 07:43
Math Logic?, holdemaa, 03:17

April 19, 2006

Re: Palindromic movie, Jack Campin - bogus address, 19:41
Re: natural deduction (2nd try), G . Frege, 15:50
Re: natural deduction, G . Frege, 15:44
Re: natural deduction (2nd try), G . Frege, 15:32
Re: natural deduction (2nd try), G . Frege, 15:15
Re: "Surviving the strongest.", Tommy Pedersen, 14:47
Re: A couple of mini meta theorems., Frederick Williams, 13:25
Re: A couple of mini meta theorems., Frederick Williams, 13:14
Re: A couple of mini meta theorems., Nam Nguyen, 13:10
Re: A couple of mini meta theorems., Nam Nguyen, 12:31
Re: A couple of mini meta theorems., Aatu Koskensilta, 11:31
Re: "Surviving the strongest.", Aatu Koskensilta, 09:12
"Surviving the strongest.", Tommy Pedersen, 08:07
Re: A couple of mini meta theorems., Nam Nguyen, 02:10
Re: natural deduction (2nd try), William Elliot, 01:10

April 18, 2006

Re: Jesus's AB blood on the Shroud of Turin and Suderian; questions, hope4peace6669@xxxxxxxxx, 21:51
Re: A couple of mini meta theorems., Nam Nguyen, 19:56
Re: Complete ordered field and induction., Bertie Reed, 17:33
Re: A couple of mini meta theorems., Aatu Koskensilta, 16:01
Re: A couple of mini meta theorems., george, 15:01
Re: Exclusiv-or, alexander.stuckenholz@xxxxxxxxx, 14:12
Re: A couple of mini meta theorems., Nam Nguyen, 13:58
Re: A couple of mini meta theorems., Frederick Williams, 13:32
Re: Exclusiv-or, Frederick Williams, 13:08
Re: Jesus's AB blood on the Shroud of Turin and Suderian; questions, a_plutonium, 13:04
Re: A couple of mini meta theorems., Nam Nguyen, 12:58
Re: A couple of mini meta theorems., Nam Nguyen, 12:55
Re: natural deduction (2nd try), Amicus, 09:50
Exclusiv-or, alexander.stuckenholz@xxxxxxxxx, 09:46
Re: natural deduction (2nd try), Amicus, 09:44
Re: natural deduction (2nd try), G . Frege, 08:41
Re: natural deduction (2nd try), William Elliot, 08:38
Re: natural deduction (2nd try), William Elliot, 08:27
Re: natural deduction (2nd try), G . Frege, 07:47
Re: natural deduction (2nd try), G . Frege, 07:41
Re: natural deduction (2nd try), G . Frege, 07:34
Re: natural deduction, H. J. Sander Bruggink, 05:48
Re: natural deduction (2nd try), William Elliot, 05:46
natural deduction (2nd try), fooby, 05:30
Re: natural deduction, H. J. Sander Bruggink, 05:12
Re: natural deduction, fooby, 04:31
Re: natural deduction, William Elliot, 04:18
Re: A couple of mini meta theorems., Aatu Koskensilta, 03:24
The Real Bible Code hides logical sequence of Images., borisg1, 03:08
natural deduction, fooby, 02:40
Re: How to calculate a geometric ratio from a known sum of geometric progression to 23 terms 4408 and a fist number 901?, kopn, 01:16

April 17, 2006

Re: Goodstein's Theorem, Rupert, 20:47
Re: How to calculate a geometric ratio from a known sum of geometric progression to 23 terms 4408 and a fist number 901?, Barb Knox, 20:27
Re: A question on "sufficiently large"., Daryl McCullough, 19:18
A couple of mini meta theorems., Nam Nguyen, 19:10
Re: A question on "sufficiently large"., Nam Nguyen, 18:25
The Logical Foundations of Mathematics, redmaster, 16:42
Re: A question on "sufficiently large"., Daryl McCullough, 13:30
Re: logical implication with quantifiers, Owen, 12:29
A question on "sufficiently large"., Nam Nguyen, 12:13
How to calculate a geometric ratio from a known sum of geometric progression to 23 terms 4408 and a fist number 901?, kopn, 10:19

April 16, 2006

Re: Goodstein's Theorem, Bhupinder Singh Anand, 15:24
Re: Jesus's AB blood on the Shroud of Turin and Suderian; questions, hope4peace6669@xxxxxxxxx, 14:22
Re: Jesus's AB blood on the Shroud of Turin and Suderian; questions, a_plutonium, 13:28
Re: Jesus's AB blood on the Shroud of Turin and Suderian; questions, a_plutonium, 13:19
Re: Jesus's AB blood on the Shroud of Turin and Suderian; questions, a_plutonium, 13:03
Re: Jesus's AB blood on the Shroud of Turin and Suderian; questions, Frederick Williams, 11:03
Re: Koenig's Lemma, David C . Ullrich, 09:15
Re: logical implication with quantifiers, G . Frege, 07:54
Re: Goodstein's Theorem, Peter_Smith, 07:46
Jesus's AB blood on the Shroud of Turin and Suderian; questions, a_plutonium, 00:23

April 15, 2006

Re: Goodstein's Theorem, matthias, 20:00
Goodstein's Theorem, Peter_Smith, 19:26
Re: The LOGICAL approach to Bible Code, Tommy Pedersen, 18:24
Re: The LOGICAL approach to Bible Code, Tommy Pedersen, 16:59
Re: solutions for Iraq war, Iran and NorthKorea nuclear weapons building; M.A.D. Fleet, a_plutonium, 13:17
Re: Koenig's Lemma, matthias, 11:52
Re: Koenig's Lemma, Li Yi, 09:09
Re: Koenig's Lemma, David C . Ullrich, 07:39
Re: interpolation theorem of propositional logic, David C . Ullrich, 07:38
Re: interpolation theorem of propositional logic, David C . Ullrich, 07:35
Re: interpolation theorem of propositional logic, David C . Ullrich, 07:34

April 14, 2006

Re: interpolation theorem of propositional logic, matthias, 14:47
Re: interpolation theorem of propositional logic, Frederick Williams, 14:26
Re: interpolation theorem of propositional logic, Frederick Williams, 14:01
Re: interpolation theorem of propositional logic, matthias, 13:35
Re: interpolation theorem of propositional logic, Frederick Williams, 13:01
Re: interpolation theorem of propositional logic, Jan Burse, 09:52
Koenig's Lemma, Li Yi, 09:48
Re: interpolation theorem of propositional logic, Jan Burse, 09:47
Re: interpolation theorem of propositional logic, Jan Burse, 09:32
Re: interpolation theorem of propositional logic, David C . Ullrich, 06:32
Re: interpolation theorem of propositional logic, David C . Ullrich, 06:28

April 13, 2006

Re: Godel's incompleteness theorem vs Church's/Turings work, Peter_Smith, 18:25
Re: Complete ordered field and induction., MoeBlee, 14:26
Re: solutions for Iraq war, Iran and NorthKorea nuclear weapons building; M.A.D. Fleet, a_plutonium, 13:27
Re: Godel's incompleteness theorem vs Church's/Turings work, george, 12:42
Re: What is the intuitive meaning of Goedel's undecidable statement?, george, 12:33
Re: What is the intuitive meaning of Goedel's undecidable statement?, george, 12:23
Re: solutions for Iraq war, Iran and NorthKorea nuclear weapons building; M.A.D. Fleet, Frederick Williams, 10:53
Re: A question on Kleene's and other classics, contradictions . for . all, 08:52
Re: Complete ordered field and induction., Alan Smaill, 07:51
Re: interpolation theorem of propositional logic, Jan Burse, 07:30
Re: interpolation theorem of propositional logic, Jan Burse, 07:24
Re: interpolation theorem of propositional logic, David C . Ullrich, 07:01
Re: Russell, Surprises and God (and a Quiz, naturally), David C . Ullrich, 06:56
The LOGICAL approach to Bible Code, borisg1, 06:28
Re: What is the intuitive meaning of Goedel's undecidable statement?, Bhupinder Singh Anand, 00:46

April 12, 2006

Re: Russell, Surprises and God (and a Quiz, naturally), Chris Menzel, 23:09
Re: logical implication with quantifiers, Kevin Chill, 22:24
Re: hyperspace, William Elliot, 21:57
Re: A question on Kleene's and other classics, Peter_Smith, 17:38
Re: logical implication with quantifiers, Owen, 17:36
Re: Complete ordered field and induction., MoeBlee, 17:34
Re: A question on Kleene's and other classics, matthias, 16:45
Re: A question on Kleene's and other classics, matthias, 16:32
Re: What is the intuitive meaning of Goedel's undecidable statement?, Charlie-Boo, 15:22
Re: A question on Kleene's and other classics, MoeBlee, 15:02
Re: Russell, Surprises and God (and a Quiz, naturally), Charlie-Boo, 14:25
Re: logical implication with quantifiers, MoeBlee, 13:50
solutions for Iraq war, Iran and NorthKorea nuclear weapons building; M.A.D. Fleet, a_plutonium, 13:01
Re: compactness implies completeness?, Jan Burse, 11:17
Re: Complete ordered field and induction., Alan Smaill, 11:01
hyperspace, humano, 10:40
Re: compactness implies completeness?, H. J. Sander Bruggink, 10:25
A question on Kleene's and other classics, contradictions . for . all, 10:02
building a "hybrid" and dynamic mathematical space, Alvaro . Castro . Castilla, 08:10
Re: interpolation theorem of propositional logic, Jan Burse, 07:29
Re: Russell, Surprises and God (and a Quiz, naturally), David C . Ullrich, 07:20
Re: interpolation theorem of propositional logic, David C . Ullrich, 07:01
Re: logical implication with quantifiers, Kevin Chill, 02:20
Re: What is the intuitive meaning of Goedel's undecidable statement?, Bhupinder Singh Anand, 00:55

April 11, 2006

Re: logical implication with quantifiers, Ken Pledger, 23:04
Re: logical implication with quantifiers, MoeBlee, 21:53
Re: logical implication with quantifiers, G . Frege, 19:34
Re: logical implication with quantifiers, Kevin Chill, 19:08
Re: logical implication with quantifiers, Patricia Shanahan, 18:52
Re: logical implication with quantifiers, MoeBlee, 17:23
logical implication with quantifiers, Kevin Chill, 16:42
Re: Russell, Surprises and God (and a Quiz, naturally), Charlie-Boo, 14:29
Re: A question about proofs of the Second Incompleteness Theorem., Charlie-Boo, 14:06
What is the intuitive meaning of Goedel's undecidable statement?, mikeh106, 11:43
What is the intuitive meaning of Goedel's undecidable statement?, mikeh106, 11:42
Re: A Simple "Proof" of Fermat's Last Theorem, Jan Burse, 09:48
Re: A Simple "Proof" of Fermat's Last Theorem, Jan Burse, 09:37
Re: A Simple "Proof" of Fermat's Last Theorem, Jan Burse, 09:08
Re: A Simple "Proof" of Fermat's Last Theorem, juanpool@xxxxxxxxx, 08:29
interpolation theorem of propositional logic, Li Yi, 06:36
Re: A Simple "Proof" of Fermat's Last Theorem, Jan Burse, 03:28

April 10, 2006

Re: Complete ordered field and induction., Rupert, 20:42
Re: A Simple "Proof" of Fermat's Last Theorem, juanpool@xxxxxxxxx, 15:50
Re: A Simple "Proof" of Fermat's Last Theorem, juanpool@xxxxxxxxx, 15:48
Re: A Simple "Proof" of Fermat's Last Theorem, Jan Burse, 12:57
Re: A Simple "Proof" of Fermat's Last Theorem, Jan Burse, 12:55
Re: A Simple "Proof" of Fermat's Last Theorem, Jan Burse, 12:49
Re: A Simple "Proof" of Fermat's Last Theorem, juanpool@xxxxxxxxx, 12:15
Re: A Simple "Proof" of Fermat's Last Theorem, juanpool@xxxxxxxxx, 12:08
Re: compactness implies completeness?, Jan Burse, 09:28
Re: compactness implies completeness?, Frederick Williams, 08:47
Re: Complete ordered field and induction., Frederick Williams, 08:29
compactness implies completeness?, Li Yi, 08:24
minimum counterexample help, isaac_2004, 04:21
minimum counterexample help, isaac_2004, 04:20
minimum counterexample help, isaac_2004, 04:19
minimum counterexample help, isaac_2004, 04:18
minimum counterexample help, isaac_2004, 04:18
Re: question about solving proofs through math, isaac_2004, 04:11
Re: question about solving proofs through math, isaac_2004, 04:11
Re: "Countably Well-Ordered" ?, Bill Taylor, 02:05

April 09, 2006

Re: A question about proofs of the Second Incompleteness Theorem., Rupert, 23:17
Re: Godel's incompleteness theorem vs Church's/Turings work, Rupert, 23:09
Re: Complete ordered field and induction., Rupert, 23:05
Re: Complete ordered field and induction., Rupert, 23:03
Re: question about solving proofs through math, The Ghost In The Machine, 21:58
Re: question about solving proofs through math, isaac_2004, 18:21
Re: Occam's Razor applied to the Historical Jesus, Jan Burse, 17:26
Re: Occam's Razor applied to the Historical Jesus, Jan Burse, 17:23
Re: "Countably Well-Ordered" ?, Frederick Williams, 17:10
Re: "Countably Well-Ordered" ?, Daryl McCullough, 16:41
Re: "Countably Well-Ordered" ?, Chris Menzel, 14:36
Re: Occam's Razor applied to the Historical Jesus, a_plutonium, 14:05
Re: A Simple "Proof" of Fermat's Last Theorem, Jan Burse, 12:43
Re: A Simple "Proof" of Fermat's Last Theorem, Jan Burse, 12:32
Re: Godel's incompleteness theorem vs Church's/Turings work, kjd_72, 10:50
Halting Problem (Halting Game) Question, dankirsh, 10:02
A Simple "Proof" of Fermat's Last Theorem, contradictions . for . all, 08:22
Re: Godel's incompleteness theorem vs Church's/Turings work, Frederick Williams, 06:05
Re: "Countably Well-Ordered" ?, Bill Taylor, 01:29

April 08, 2006

Re: Occam's Razor applied to the Historical Jesus, Tron, 21:00
Godel's incompleteness theorem vs Church's/Turings work, falcon, 16:16
Re: What kind/type of "argument" is this, kjd_72, 15:36
What kind/type of "argument" is this, HarryTruman, 15:16
Re: A question about proofs of the Second Incompleteness Theorem., Jeff Barnett, 11:47
Re: Occam's Razor applied to the Historical Jesus, Howard, 08:38
Occam's Razor applied to the Historical Jesus, a_plutonium, 04:45
Re: A question about proofs of the Second Incompleteness Theorem., kjd_72, 01:05

April 07, 2006

Re: question about solving proofs through math, William Elliot, 23:29
Re: Russell, Surprises and God (and a Quiz, naturally), donstockbauer, 23:04
Re: question about solving proofs through math, Barb Knox, 22:36
question about solving proofs through math, isaac_2004, 19:36
Re: A question about proofs of the Second Incompleteness Theorem., Pierre Asselin, 19:33
Re: Russell, Surprises and God (and a Quiz, naturally), Chris Menzel, 12:47
Re: A question about proofs of the Second Incompleteness Theorem., Frederick Williams, 11:37
Russell, Surprises and God (and a Quiz, naturally), Charlie-Boo, 11:25
Re: A question about proofs of the Second Incompleteness Theorem., Charlie-Boo, 11:22
Re: Complete ordered field and induction., Frederick Williams, 08:38
Re: What are Inductive Turing Machines, juanpool@xxxxxxxxx, 08:37
Re: Complete ordered field and induction., David C . Ullrich, 06:34
Re: "Countably Well-Ordered" ?, David C . Ullrich, 06:30
Re: "Countably Well-Ordered" ?, David C . Ullrich, 06:26
Re: "Countably Well-Ordered" ?, David Libert, 02:02
Re: A question about proofs of the Second Incompleteness Theorem., Jeff Barnett, 00:02

April 06, 2006

Re: "Countably Well-Ordered" ?, fred . galvin, 22:43
Re: Universal Programming Lanaguage, David Kinny, 21:52
Re: What are Inductive Turing Machines, Jim, 20:02
A question about proofs of the Second Incompleteness Theorem., kjd_72, 18:45
Re: Universal Programming Lanaguage, Edward Meinert, 18:39
Re: What are Inductive Turing Machines, juanpool@xxxxxxxxx, 16:21
Re: FOL theories and models - A "peculiar" situation, Nam Nguyen, 15:33
Re: What are Inductive Turing Machines, Jim, 13:23
Re: Complete ordered field and induction., Frederick Williams, 11:42
Re: Complete ordered field and induction., Frederick Williams, 11:26
Re: What are Inductive Turing Machines, juanpool@xxxxxxxxx, 11:04
Re: "Countably Well-Ordered" ?, David C . Ullrich, 09:40
Re: Complete ordered field and induction., David C . Ullrich, 09:25

April 05, 2006

Re: Goedel incompl. theorems, matthias, 20:55
Re: Goedel incompl. theorems, george, 19:12
Re: "Countably Well-Ordered" ?, george, 19:04
Re: Is Go"del's Proof Constructive?, Peter_Smith, 17:47
Is Go"del's Proof Constructive?, unitset, 16:06
What are Inductive Turing Machines, juanpool@xxxxxxxxx, 16:04
CFPart: Deontic Logic in Computer Science (DEON2006), Henry Prakken, 12:11
Re: The True Story on Root Solving. DEDICATED TO ALL YOUNG MATH STUDENTS, Jan Burse, 10:43
Re: The True Story on Root Solving. DEDICATED TO ALL YOUNG MATH STUDENTS, arithmonic, 09:33
Re: "Countably Well-Ordered" ?, Herman Jurjus, 08:33
New newsgroup Logic updated daily visit, leeran, 05:58
Re: The True Story on Root Solving. DEDICATED TO ALL YOUNG MATH STUDENTS, Jan Burse, 04:51
Re: The True Story on Root Solving. DEDICATED TO ALL YOUNG MATH STUDENTS, arithmonic, 00:24
Re: The True Story on Root Solving. DEDICATED TO ALL YOUNG MATH STUDENTS, arithmonic, 00:12

April 04, 2006

Re: Want a free video game system, macdeezy, 21:17
Re: A simple cause for complex disease., caesarjbsquitti, 14:00
Re: Goedel incompl. theorems, matthias, 07:39
Re: "Countably Well-Ordered" ?, matthias, 07:05
Re: "Countably Well-Ordered" ?, David C . Ullrich, 06:54
Re: "Countably Well-Ordered" ?, William Elliot, 04:20
Re: "Countably Well-Ordered" ?, Patricia Shanahan, 02:24
New scinence news group, abukase1, 01:55
CHARGE!, NILS B�RJESSON, 01:28
"Countably Well-Ordered" ?, Bill Taylor, 01:20

April 03, 2006

A puzzle..., Munsey, 23:39
Re: Fuzzy logic., Starbles, 21:54
Re: Godel's original proof of completeness, LISP, 18:28
Re: Fuzzy logic., Colin, 15:11
Godel's original proof of completeness, LISP, 08:49
Re: Fuzzy logic., Herman Jurjus, 05:56
Re: FOL theories and models - A "peculiar" situation, Nam Nguyen, 03:38

April 02, 2006

Re: Want a free video game system, Aatu Koskensilta, 20:58
Re: Want a free video game system, Frederick Williams, 13:12
Re: Goedel incompl. theorems, Henrik, 13:07
Re: A simple cause for complex disease., Frederick Williams, 07:45
Want a free video game system, macdeezy, 00:23

April 01, 2006

Re: Possible world semantics, Chris Menzel, 22:24
Re: The True Story on Root Solving. DEDICATED TO ALL YOUNG MATH STUDENTS, Jan Burse, 21:09
Re: The True Story on Root Solving. DEDICATED TO ALL YOUNG MATH STUDENTS, Jan Burse, 20:16
Fuzzy logic., Starbles, 17:25
The True Story on Root Solving. DEDICATED TO ALL YOUNG MATH STUDENTS, arithmonic, 17:20
A simple cause for complex disease., caesarjbsquitti, 15:40
Re: Possible world semantics, Sundar, 05:53
Re: FOL theories and models - A "peculiar" situation, Bertie Reed, 01:48
Re: Possible world semantics, waveletter, 00:33

March 31, 2006

Re: Possible world semantics, Sundar, 23:16
[FAQ, 99/07/28] Mathematical logic on the web, Boris 'pi' Piwinger, 19:03
Re: FOL theories and models - A "peculiar" situation, Nam Nguyen, 17:50
Re: Possible world semantics, Frederick Williams, 17:45
Re: Possible world semantics, Barb Knox, 17:08