sci.logic (date)

sci.logic (date)

[Thread Index] [Top] [All Lists]

March 31, 2006

Re: Possible world semantics, Frederick Williams, 12:25
Re: Possible world semantics, Paul Holbach, 12:24
Re: Possible world semantics, Jan Burse, 10:47
Re: Possible world semantics, Frederick Williams, 08:20
Re: Possible world semantics, Sundar, 07:18
Re: FOL theories and models - A "peculiar" situation, Bertie Reed, 05:17
Re: Possible world semantics, Frederick Williams, 04:15

March 30, 2006

Possible world semantics, Sundar, 22:35
Re: Goldbach Conjecture - A metaphor, Nam Nguyen, 17:50
Re: Goedel incompl. theorems, george, 15:21
Re: Goldbach Conjecture - A metaphor, george, 14:56
Re: The KIF system (Knowledge Interchange Format), Don Geddis, 14:07
FOL theories and models - A "peculiar" situation, Nam Nguyen, 13:48
Re: Countable Ordinals, Andrew J Bacon, 06:13

March 29, 2006

Re: Countable Ordinals, Stephen J. Herschkorn, 21:09
Re: Countable Ordinals, matthias, 21:03
Countable Ordinals, Andrew J Bacon, 20:45
Re: Goldbach Conjecture - A metaphor, Nam Nguyen, 19:59
Re: Goldbach Conjecture - A metaphor, george, 18:35
Re: Goldbach Conjecture - A metaphor, Nam Nguyen, 17:55
Re: The KIF system (Knowledge Interchange Format), Chris Menzel, 12:19
Re: recursively enumerable sets, waveletter, 02:16
Re: Game Outcome, tjb, 00:49

March 28, 2006

Re: recursively enumerable sets, waveletter, 22:35
Re: every semidecidable set contains decidable subset?, Daryl McCullough, 12:57
Re: every semidecidable set contains decidable subset?, george, 11:44
Re: every semidecidable set contains decidable subset?, Daryl McCullough, 07:16
Re: recursively enumerable sets, waveletter, 02:20
Re: Goedel incompl. theorems, waveletter, 01:33
Re: Goedel incompl. theorems, waveletter, 00:44

March 27, 2006

every semidecidable set contains decidable subset?, Per Freem, 22:17

March 26, 2006

independent axiomatization, Li Yi, 04:20

March 25, 2006

Game Outcome, tjb, 22:31
Re: Goedel incompl. theorems, Henrik, 17:52
Re: Goldbach Conjecture - A metaphor, Nam Nguyen, 13:02
Re: recursively enumerable sets, Per Freem, 12:28
Re: Maximal/ly, Frederick Williams, 12:21
Goldbach Conjecture - A metaphor, Nam Nguyen, 12:21

March 24, 2006

Re: Goedel incompl. theorems, george, 20:38
Re: Goedel incompl. theorems, george, 20:17
Re: Goedel incompl. theorems, Henrik, 17:38
Re: Universal Programming Lanaguage, The Ghost In The Machine, 14:30
KIF: Knowledge Interchange Format (was: Re: Dan's first attempt at a LISP-based "artificial symbolic language"), Daniel al-Autistiqui, 13:26
Re: Maximal/ly, Frederick Williams, 09:32
Re: Maximal/ly, David C . Ullrich, 06:43

March 23, 2006

Re: Maximal/ly, William Elliot, 22:41
Re: Primitive Recursive Arithmetic - formulation?, MoeBlee, 16:33
Re: Primitive Recursive Arithmetic - formulation?, Daryl McCullough, 15:38
Re: Three door problem, Arturo Magidin, 14:27
Three door problem, peterlavington, 14:15
Re: Primitive Recursive Arithmetic - formulation?, MoeBlee, 13:38
Re: Primitive Recursive Arithmetic - formulation?, MoeBlee, 13:33
Maximal/ly, Frederick Williams, 13:02
Re: Universal Programming Lanaguage, H. J. Sander Bruggink, 12:33
Re: Universal Programming Lanaguage, Frederick Williams, 11:18
Re: Universal Programming Lanaguage, H. J. Sander Bruggink, 07:50
Universal Programming Lanaguage, edward . meinert, 03:00
Re: pages 76-125; History of Euclid Proof of Infinitude of Primes from Ancient Greek to year 2006, Robert Low, 02:51
pages 76-125; History of Euclid Proof of Infinitude of Primes from Ancient Greek to year 2006, a_plutonium, 02:34

March 22, 2006

Re: Skolemization and quantifier dependencies, george, 14:21
Re: recursively enumerable sets, waveletter, 11:51
Re: Z set theory - predicative or impredicative?, Daryl McCullough, 11:29
Re: Z set theory - predicative or impredicative?, R. Srinivasan, 01:31
Re: Z set theory - predicative or impredicative?, Bill Taylor, 01:20

March 21, 2006

Re: Primitive Recursive Arithmetic - formulation?, Daryl McCullough, 11:55
Re: I have a question about Godel's proof ..., juanpool@xxxxxxxxx, 09:49
Re: I have a question about Godel's proof ..., waveletter, 02:15

March 20, 2006

Primitive Recursive Arithmetic - formulation?, MoeBlee, 23:35
Re: Goedel incompl. theorems, george, 20:35
Re: Harvey Friedman on Cantorian pseudomathematics, george, 20:15
Re: Z set theory - predicative or impredicative?, Daryl McCullough, 18:07
Re: Goedel incompl. theorems, zakvald, 14:43
Re: Z set theory - predicative or impredicative?, MoeBlee, 14:41
recursively enumerable sets, Per Freem, 14:12
Re: I have a question about Godel's proof ..., juanpool@xxxxxxxxx, 14:06
Re: Goedel incompl. theorems, zakvald, 13:58
Re: Goedel incompl. theorems, zakvald, 13:43
Re: I have a question about Godel's proof ..., Daryl McCullough, 11:00
Re: I have a question about Godel's proof ..., juanpool@xxxxxxxxx, 10:19

March 19, 2006

Re: Skolemization and quantifier dependencies, Michael De, 20:37
Re: I have a question about Godel's proof ..., waveletter, 14:47
Re: Skolemization and quantifier dependencies, george, 12:25
Re: Goedel incompl. theorems, george, 12:12
Re: Goedel incompl. theorems, george, 12:00
Re: I have a question about Godel's proof ..., waveletter, 01:54

March 18, 2006

Re: I have a question about Godel's proof ..., Daryl McCullough, 20:14
Re: I have a question about Godel's proof ..., Rupert, 19:02
Re: I have a question about Godel's proof ..., juanpool@xxxxxxxxx, 10:02
Re: problem, davide, 04:50

March 17, 2006

Re: Modal Logic and natural deduction...., Jeff Rubard, 17:05
Re: Henderton or Mendelson, Chris Menzel, 15:08
I have a question about Godel's proof ..., juanpool@xxxxxxxxx, 14:43
Re: Modal Logic and natural deduction...., Frederick Williams, 10:29
Re: Modal Logic and natural deduction...., Antonio Martini, 09:24
Re: Henderton or Mendelson, ali_tofigh, 06:32
Re: Henderton or Mendelson, ali_tofigh, 06:28
Re: Modal Logic and natural deduction...., Chris Menzel, 01:50

March 16, 2006

Re: George Berkeley opposing material substances, Barb Knox, 19:59
Re: George Berkeley opposing material substances, Tron, 18:45
Re: Modal Logic and natural deduction...., jeffrubard, 17:56
Re: George Berkeley opposing material substances, Frederick Williams, 15:25
Re: Goedel incompl. theorems, Henrik, 14:46
Psychological Test on Personal Orientation, ggroups, 14:04
Re: Goedel incompl. theorems, Kilgore Trout, 13:56
Re: Lemmon-style natural deduction and modal logic, Frederick Williams, 12:54
Re: Dansrules.lsip, Daniel al-Autistiqui, 12:53
Re: Goedel incompl. theorems, george, 12:44
Re: Dansassertions.lsip, Daniel al-Autistiqui, 11:23
Re: George Berkeley opposing material substances, Tron, 11:06
Re: Modal Logic and natural deduction...., Antonio Martini, 08:43
Re: George Berkeley opposing material substances, Frederick Williams, 08:03
Re: George Berkeley opposing material substances, Frederick Williams, 07:41
Re: Henderton or Mendelson, smnewberger, 04:14
Re: Dansassertions.lsip, Jan Burse, 03:41
Re: Modal Logic and natural deduction...., Chris Menzel, 01:50
Re: Modal Logic and natural deduction...., Chris Menzel, 01:39
Re: Goedel incompl. theorems, waveletter, 01:24
Re: Modal Logic and natural deduction...., jeffrubard, 01:23
Re: Goedel incompl. theorems, waveletter, 01:19
Re: Goedel incompl. theorems, William Elliot, 01:04
Re: Goedel incompl. theorems, waveletter, 00:28
Re: Goedel incompl. theorems, waveletter, 00:14

March 15, 2006

Re: Goedel incompl. theorems, zakvald, 21:05
Re: Goedel incompl. theorems, Chris Menzel, 18:31
Re: gggggggggg, Tim, 17:56
gggggggggg, yusufislam123, 17:30
gggggggggg, yusufislam123, 17:30
CFP: LCC'06 - Workshop on Logic and Computational Complexity, Jim Royer, 15:23
Re: Dansrules.lsip, Kaz Kylheku, 15:02
Re: George Berkeley opposing material substances, Tron, 14:43
Re: George Berkeley opposing material substances, Mandie, 13:53
George Berkeley opposing material substances, mandiemohsenzadegan, 13:50
Dansassertions.lsip, Daniel al-Autistiqui, 12:57
Dansrules.lsip, Daniel al-Autistiqui, 12:57
Dan's first attempt at a LISP-based "artificial symbolic language", Daniel al-Autistiqui, 12:56
Re: Henderton or Mendelson, Frederick Williams, 09:18
Re: Modal Logic and natural deduction...., Antonio Martini, 05:49
Re: Goedel incompl. theorems, William Elliot, 03:49
Re: Henderton or Mendelson, Chris Menzel, 03:14
Re: Goedel incompl. theorems, Chris Menzel, 03:10
Re: Modal Logic and natural deduction...., Immortalist, 01:01

March 14, 2006

Re: Goedel incompl. theorems, waveletter, 23:43
Henderton or Mendelson, ali_tofigh, 18:41
Re: Comparing Proofs of Rosser's 1936 Theorem, H. J. Sander Bruggink, 05:57
Re: Comparing Proofs of Rosser's 1936 Theorem, David C . Ullrich, 05:12

March 13, 2006

Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 20:03
Goedel incompl. theorems, zakvald, 19:24
Re: Skolemization and quantifier dependencies, Daryl McCullough, 16:33
Re: Skolemization and quantifier dependencies, Barb Knox, 15:47
Re: Comparing Proofs of Rosser's 1936 Theorem, Chris Menzel, 14:38
Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 13:40
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 13:34
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 13:05
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 12:30
Lemmon-style natural deduction and modal logic, Antonio Martini, 11:32
Re: Comparing Proofs of Rosser's 1936 Theorem, H. J. Sander Bruggink, 11:01
Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 10:52
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 10:39
Re: Skolemization and quantifier dependencies, Daryl McCullough, 10:31
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 09:55
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 09:49
Re: truth/falsity of sentences in first-order logic, Charlie-Boo, 09:39
Church's Thesis and Generalized Church's Thesis, Peter_Smith, 07:40
Re: Comparing Proofs of Rosser's 1936 Theorem, David C . Ullrich, 07:18
Re: Comparing Proofs of Rosser's 1936 Theorem, David C . Ullrich, 07:05
Re: Comparing Proofs of Rosser's 1936 Theorem, David C . Ullrich, 06:58
Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 06:54
Re: Comparing Proofs of Rosser's 1936 Theorem, H. J. Sander Bruggink, 06:23
Re: truth/falsity of sentences in first-order logic, H. J. Sander Bruggink, 06:12
Logic - Open Access Publications, Giandomenico Sica, 05:41
Re: Skolemization and quantifier dependencies, Aatu Koskensilta, 05:36

March 12, 2006

Re: Skolemization and quantifier dependencies, Michael De, 23:54
Re: Axioms for the real numbers, G . Frege, 20:00
Re: Skolemization and quantifier dependencies, Aatu Koskensilta, 19:26
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 18:52
Re: A Definition of an Algorithm, george, 13:14
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 09:37
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 09:30
Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 08:26
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 08:11
Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 08:07
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 07:42
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 07:31
Re: Comparing Proofs of Rosser's 1936 Theorem, David C . Ullrich, 07:28
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 07:27
Re: Comparing Proofs of Rosser's 1936 Theorem, David C . Ullrich, 07:26

March 11, 2006

Re: A Definition of an Algorithm, noson, 23:48
Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 23:28
Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 22:53
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 22:41
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 22:25
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 22:07
Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 21:59
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 21:40
Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 21:34
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 21:32
Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 21:00
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 20:48
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 20:36
Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 18:36
Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 18:25
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 16:42
Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 14:27
Re: Wierd Truth Table, The Ghost In The Machine, 14:00
Re: problem, The Ghost In The Machine, 14:00
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 13:11
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 12:57
Re: truth/falsity of sentences in first-order logic, Nam Nguyen, 12:43
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 12:40
Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 10:27
Re: truth/falsity of sentences in first-order logic, Bertie Reed, 09:13
problem, davide, 08:30
Re: Comparing Proofs of Rosser's 1936 Theorem, David C . Ullrich, 07:39
Re: truth/falsity of sentences in first-order logic, Nam Nguyen, 05:35

March 10, 2006

Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 23:28
Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 18:38
Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 18:36
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 15:40
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 15:37
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 15:34
Re: truth/falsity of sentences in first-order logic, Charlie-Boo, 15:17
Re: Duals of Smullyan trees, Michael De, 15:01
Re: Duals of Smullyan trees, Jan Burse, 13:32
Re: Skolemization and quantifier dependencies, Michael De, 13:18
Duals of Smullyan trees, Michael De, 13:07
Re: Defining Tautologies, Tom Adams, 08:51

March 09, 2006

Re: A Definition of an Algorithm and its relation to Hilbert's 10th, george, 13:21
Re: Defining Tautologies, Tom Adams, 08:40
Re: Defining Tautologies, waveletter, 03:27
Re: Sorry Godel - All Truths are Provable, R. Srinivasan, 02:58
Re: truth/falsity of sentences in first-order logic, Nam Nguyen, 01:34
Re: Sorry Godel - All Truths are Provable, R. Srinivasan, 01:02

March 08, 2006

Re: Defining Tautologies, Jan Burse, 20:33
Re: Defining Tautologies, smnewberger, 17:25
Re: Sorry Godel - All Truths are Provable, george, 16:30
Re: Sorry Godel - All Truths are Provable, Rupert, 05:25
Arithmetical statements that apply to cryptography and are undecidable in PA, Giovanni Lagnese, 01:39
Re: Sorry Godel - All Truths are Provable, R. Srinivasan, 01:23

March 07, 2006

Re: Google weirdness, Ken Pledger, 17:43
Re: Sorry Godel - All Truths are Provable, george, 16:13
Google weirdness, Ken Quirici, 14:11
Re: truth/falsity of sentences in first-order logic, H. J. Sander Bruggink, 11:24
Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 09:23
Re: Sorry Godel - All Truths are Provable, Jan Burse, 08:08
Re: Sorry Godel - All Truths are Provable, Jan Burse, 08:01
Re: Sorry Godel - All Truths are Provable, R. Srinivasan, 07:55
Re: Sorry Godel - All Truths are Provable, Rupert, 05:49
Re: truth/falsity of sentences in first-order logic, Nam Nguyen, 01:15

March 06, 2006

How to use the rules of the Socratic Method in our search for truth, romain . angeles, 23:17
Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 20:49
Re: Sorry Godel - All Truths are Provable, Jan Burse, 20:41
Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 19:53
Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 19:52
Re: Sorry Godel - All Truths are Provable, Jan Burse, 19:46
Re: Sorry Godel - All Truths are Provable, Jan Burse, 19:43
Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 19:26
Re: Sorry Godel - All Truths are Provable, Jan Burse, 19:14
Re: Sorry Godel - All Truths are Provable, Jan Burse, 19:08
Re: Sorry Godel - All Truths are Provable, Rupert, 19:06
Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 18:59
Re: Sorry Godel - All Truths are Provable, Jan Burse, 18:51
Re: Sorry Godel - All Truths are Provable, Jan Burse, 18:45
Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 18:22
Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 18:20
Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 18:19
Re: Sorry Godel - All Truths are Provable, Rupert, 18:19
Re: Sorry Godel - All Truths are Provable, Jan Burse, 18:13
Re: Sorry Godel - All Truths are Provable, Jan Burse, 18:12
Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 18:10
Re: Sorry Godel - All Truths are Provable, Jan Burse, 18:04
Re: Sorry Godel - All Truths are Provable, Jan Burse, 18:02
Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 17:36
Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 17:35
Re: Sorry Godel - All Truths are Provable, Rupert, 17:25
Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 17:16
Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 17:14
Re: Sorry Godel - All Truths are Provable, Jan Burse, 17:09
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 17:06
Re: Sorry Godel - All Truths are Provable, Jan Burse, 17:05
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 16:57
Re: Sorry Godel - All Truths are Provable, Jan Burse, 16:56
Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 15:59
Re: Sorry Godel - All Truths are Provable, Rupert, 15:57
Re: Sorry Godel - All Truths are Provable, Jan Burse, 15:49
Re: Sorry Godel - All Truths are Provable, Jan Burse, 15:48
Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 15:41
Re: Sorry Godel - All Truths are Provable, Jan Burse, 15:33
Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 15:24
Re: Sorry Godel - All Truths are Provable, Jan Burse, 14:56
Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 14:15
Re: A historical question concerning the "Nicod Stroke", G . Frege, 12:42
Re: Sorry Godel - All Truths are Provable, Jan Burse, 10:21
Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 08:35
Re: Defining Tautologies, Tom, 07:51
Re: Comparing Proofs of Rosser's 1936 Theorem, David C . Ullrich, 07:39
Re: A historical question concerning the "Nicod Stroke", Daniel M. Ryan, 07:23
Re: A historical question concerning the "Nicod Stroke", Daniel M. Ryan, 07:18
Re: A historical question concerning the "Nicod Stroke", H. J. Sander Bruggink, 06:52
Re: Sorry Godel - All Truths are Provable, Rupert, 06:27
Re: A historical question concerning the "Nicod Stroke", William Elliot, 06:05
Re: truth/falsity of sentences in first-order logic, H. J. Sander Bruggink, 05:53
A historical question concerning the "Nicod Stroke", Daniel M. Ryan, 04:21
Re: Sorry Godel - All Truths are Provable, Jan Burse, 04:13
Re: Defining Tautologies, Aatu Koskensilta, 02:50
Re: Sorry Godel - All Truths are Provable, Rupert, 00:16

March 05, 2006

Re: Wierd Truth Table, Protoman, 23:41
Re: Wierd Truth Table, The Ghost In The Machine, 23:00
Re: Wierd Truth Table, Jeffrey Ketland, 22:20
Re: Wierd Truth Table, Protoman, 21:09
Re: Wierd Truth Table, The Ghost In The Machine, 21:00
Re: Sorry Godel - All Truths are Provable, Jan Burse, 18:40
Re: Wierd Truth Table, Protoman, 18:21
Re: Sorry Godel - All Truths are Provable, Rupert, 17:04
Defining Tautologies, Tom, 14:13
Re: Wierd Truth Table, The Ghost In The Machine, 14:00
Re: Wierd Truth Table, Protoman, 12:53
Re: Wierd Truth Table, Jeffrey Ketland, 12:48
Re: Sorry Godel - All Truths are Provable, Charlie-Boo, 12:48
Re: Sorry Godel - All Truths are Provable, Charlie-Boo, 12:32
Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 12:07
Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 12:04
Re: Wierd Truth Table, Owen, 12:03
Re: Wierd Truth Table, Owen, 08:36
Re: Wierd Truth Table, Protoman, 08:13
Re: Wierd Truth Table, Roberto Vescarelli, 07:41
Re: Comparing Proofs of Rosser's 1936 Theorem, David C . Ullrich, 06:43
Re: Wierd Truth Table, William Elliot, 06:32
Re: Wierd Truth Table, Protoman, 05:59
Re: Wierd Truth Table, William Elliot, 05:55
Re: Sorry Godel - All Truths are Provable, Rupert, 03:08
Wierd Truth Table, Protoman, 03:01
Re: Comparing Proofs of Rosser's 1936 Theorem, Jan Burse, 00:00

March 04, 2006

Re: Comparing Proofs of Rosser's 1936 Theorem, Jan Burse, 23:28
Re: Sorry Godel - All Truths are Provable, Charlie-Boo, 20:28
Further Reduction of the General Incompleteness Principle, Charlie-Boo, 20:18
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 20:08
Re: Sorry Godel - All Truths are Provable, Rupert, 20:04
Re: IPP - proof and question, ken.quirici@xxxxxxxxxx, 20:03
Re: Comparing Proofs of Rosser's 1936 Theorem, Jan Burse, 20:00
Re: Comparing Proofs of Rosser's 1936 Theorem, Jan Burse, 19:53
IPP - proof and question, ken.quirici@xxxxxxxxxx, 18:14
Re: Skolemization and quantifier dependencies, Michael De, 18:06
Re: A Definition of an Algorithm and its relation to Hilbert's 10th, Aatu Koskensilta, 17:05
Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 14:41
Re: Skolemization and quantifier dependencies, Keith Ramsay, 13:59
Re: A Definition of an Algorithm and its relation to Hilbert's 10th, Nathan Gilbert, 13:37
Re: Comparing Proofs of Rosser's 1936 Theorem, David C . Ullrich, 09:55

March 03, 2006

Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 23:29
Re: Skolemization and quantifier dependencies, Ross A. Finlayson, 23:12
Re: truth/falsity of sentences in first-order logic, Chris Menzel, 23:07
Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 18:52
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 17:56
Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 17:01
Re: All Metamathematical Incompleteness (Godel, Rosser, Smullyan) in one simple Proof - Amazing!, Charlie-Boo, 16:03
Re: All Metamathematical Incompleteness (Godel, Rosser, Smullyan) in one simple Proof - Amazing!, Charlie-Boo, 15:44
Re: All Metamathematical Incompleteness (Godel, Rosser, Smullyan) in one simple Proof - Amazing!, Colin, 15:37
Re: Sorry Godel - All Truths are Provable, Charlie-Boo, 15:34
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 15:29
Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 14:54
Re: Sorry Godel - All Truths are Provable, Charlie-Boo, 14:31
Re: truth/falsity of sentences in first-order logic, Charlie-Boo, 14:17
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 13:51
Re: Skolemization and quantifier dependencies, Ross A. Finlayson, 13:47
Re: truth/falsity of sentences in first-order logic, Charlie-Boo, 13:45
Re: Skolemization and quantifier dependencies, Aatu Koskensilta, 13:11
Re: Skolemization and quantifier dependencies, Michael De, 12:53
Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 11:14
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 09:42
Re: Skolemization and quantifier dependencies, Aatu Koskensilta, 07:30
Re: truth/falsity of sentences in first-order logic, H. J. Sander Bruggink, 06:14
Skolemization and quantifier dependencies, Michael De, 01:27

March 02, 2006

Re: Proving induction, Charlie-Boo, 23:25
(t-table and t-trees) vs. ND, studylogic06, 23:16
Re: Ad hominem [summary] ping Denis Loubet, Paul Hovnanian P.E., 20:57
Re: truth/falsity of sentences in first-order logic, Chris Menzel, 15:37
Re: Corresponding Material Conditionals, studylogic06, 15:27
Re: Corresponding Material Conditionals, studylogic06, 15:22
Re: truth/falsity of sentences in first-order logic, Aatu Koskensilta, 14:05
Re: truth/falsity of sentences in first-order logic, Charlie-Boo, 13:31
All Metamathematical Incompleteness (Godel, Rosser, Smullyan) in one simple Proof - Amazing!, Charlie-Boo, 12:57
Re: natural deduction, Manuel Bremer, 12:14
Re: natural deduction, Chris Menzel, 11:47
Re: A Definition of an Algorithm, Rob Arthan, 11:47
natural deduction, fooby, 11:37
Re: truth/falsity of sentences in first-order logic, Bertie Reed, 10:23
Re: truth/falsity of sentences in first-order logic, H. J. Sander Bruggink, 08:22
Re: Corresponding Material Conditionals, G . Frege, 03:27
Corresponding Material Conditionals, studylogic06, 01:56

March 01, 2006

Re: Sorry Godel - All Truths are Provable, Charlie-Boo, 22:51
Re: Sorry Godel - All Truths are Provable, William Elliot, 22:37
Re: Sorry Godel - All Truths are Provable, Chris Menzel, 21:13
Re: Sorry Godel - All Truths are Provable, Jan Burse, 19:46
Re: Sorry Godel - All Truths are Provable, Michael De, 19:34
Re: Sorry Godel - All Truths are Provable, Rupert, 18:47
Re: Sorry Godel - All Truths are Provable, Rupert, 18:46
Re: Sorry Godel - All Truths are Provable, Daryl McCullough, 18:43
Re: Sorry Godel - All Truths are Provable, Jan Burse, 18:06
Re: Sorry Godel - All Truths are Provable, Charlie-Boo, 16:14
Re: Sorry Godel - All Truths are Provable, Charlie-Boo, 16:07
Re: Sorry Godel - All Truths are Provable, Daryl McCullough, 14:55
Re: truth/falsity of sentences in first-order logic, Charlie-Boo, 14:47
Re: Sorry Godel - All Truths are Provable, Chris Menzel, 13:44
Re: Sorry Godel - All Truths are Provable, Manuel Bremer, 12:08
Sorry Godel - All Truths are Provable, Charlie-Boo, 11:50
Re: truth/falsity of sentences in first-order logic, David C . Ullrich, 05:07
Re: truth/falsity of sentences in first-order logic, David C . Ullrich, 05:06
Re: Arithmetic without the Successor Axiom, Proginoskes, 03:05

February 28, 2006

Re: Arithmetical hierarchy notation question, matthias, 21:27
Arithmetical hierarchy notation question, Snis Pilbor, 21:16
[FAQ, 99/07/28] Mathematical logic on the web, Boris 'pi' Piwinger, 20:03