sci.logic (date)

sci.logic (date)

[Thread Index] [Top] [All Lists]

December 31, 2006

Re: Uncomputable numbers are all in your head, Newberry, 12:07
Re: Eureka! Russell's set exists!!, Neil W Rickert, 10:56
Re: Can ZFC prove Addition is Associative?, stephen, 10:34
Re: Can ZFC prove Addition is Associative?, David C . Ullrich, 09:41
Re: How to copmute pi, Chris Smith, 09:40
Re: How to copmute pi, Dave Seaman, 07:54
Re: Uncomputable numbers are all in your head, David Bernier, 07:00
Re: Man, Mr. bush Jr. sure is wicked evil eh?, Taemon, 06:10
Re: Uncomputable numbers are all in your head, Newberry, 02:02
Eureka! Russell's set exists!!, Newberry, 01:39
Re: Uncomputable numbers are all in your head, Rupert, 00:58
Re: Man, Mr. bush Jr. sure is wicked evil eh?, Öjevind Lång, 00:54

December 30, 2006

Re: How to copmute pi, Chris Smith, 23:01
Re: How to copmute pi, Dave Seaman, 22:39
Re: Can ZFC prove Addition is Associative?, lugita15, 22:23
Re: How to copmute pi, Newberry, 21:45
Re: Uncomputable numbers are all in your head, Newberry, 21:39
Re: How long are the arms of Formalisms?, Nam Nguyen, 20:23
Re: How long are the arms of Formalisms?, David, 19:30
Re: Is FLT in the language of PA?, Rupert, 18:35
Re: Uncomputable numbers are all in your head, Rupert, 18:23
Re: Cantor's Proof FAQ, Virgil, 18:09
Re: Is FLT in the language of PA?, george, 17:59
Re: How long are the arms of Formalisms?, Peter_Smith, 17:59
Re: Can ZFC prove Addition is Associative?, Virgil, 17:58
Re: Can ZFC prove Addition is Associative?, Virgil, 17:53
Re: Can ZFC prove Addition is Associative?, stephen, 17:39
Re: Recent anti-semantic advances in Mathematics, David, 17:23
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 16:32
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 16:27
Re: Cantor's Proof FAQ, Albrecht, 16:19
Re: Can ZFC prove Addition is Associative?, Virgil, 16:08
Re: Can ZFC prove Addition is Associative?, Virgil, 16:04
Re: Can ZFC prove Addition is Associative?, Virgil, 16:02
Re: How long are the arms of Formalisms?, David, 14:02
Re: Can ZFC prove Addition is Associative?, Chris Menzel, 13:50
Re: Uncomputable numbers are all in your head, Newberry, 12:39
Re: Can ZFC prove Addition is Associative?, stephen, 10:38
Re: Can ZFC prove Addition is Associative?, stephen, 10:31
Re: Can ZFC prove Addition is Associative?, stephen, 10:13
Re: How long are the arms of Formalisms?, Peter_Smith, 10:09
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 09:13
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 09:09
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 09:06
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 08:53
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 08:44
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 08:40
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 08:24
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 07:58
Re: Is FLT in the language of PA?, Aatu Koskensilta, 06:26
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 06:10
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 06:01
Re: Man, Mr. bush Jr. sure is wicked evil eh?, Taemon, 05:57
Re: Uncomputable numbers are all in your head, Rupert, 05:49
Re: x = x, and the failure of proof, danielmryan, 04:18
Re: Man, Mr. bush Jr. sure is wicked evil eh?, Öjevind Lång, 01:08
Re: Existence, Self-identity and Uniqueness., William Elliot, 00:22

December 29, 2006

Re: Uncomputable numbers are all in your head, Newberry, 23:02
Re: Cantor's Proof FAQ, Rupert, 22:35
Re: Man, Mr. bush Jr. sure is wicked evil eh?, William Cloud Hicklin, 22:11
Re: How long are the arms of Formalisms?, David, 21:45
Re: How long are the arms of Formalisms?, David, 21:11
Re: Is FLT in the language of PA?, Rupert, 19:13
Chapter Two of Logic Algebra was released today, Conbra, 19:09
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 18:54
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 18:49
Re: Existence, Self-identity and Uniqueness., Jan Burse, 18:24
Re: How long are the arms of Formalisms?, Peter_Smith, 18:12
Re: How long are the arms of Formalisms?, David, 17:01
Re: Man, Mr. bush Jr. sure is wicked evil eh?, Öjevind Lång, 16:01
Re: How long are the arms of Formalisms?, Nam D. Nguyen, 15:57
Re: How long are the arms of Formalisms?, Nam D. Nguyen, 15:46
Re: Cantor's Proof FAQ, george, 15:42
Re: Cantor's Proof FAQ, george, 15:39
Re: Man, Mr. bush Jr. sure is wicked evil eh?, William Cloud Hicklin, 15:36
Re: Can ZFC prove Addition is Associative?, Virgil, 14:55
Re: Can ZFC prove Addition is Associative?, Virgil, 14:49
Re: Existence, Self-identity and Uniqueness., Chris Menzel, 14:29
Re: Can ZFC prove Addition is Associative?, MoeBlee, 14:04
Re: Can ZFC prove Addition is Associative?, David C. Ullrich, 13:45
Re: Can ZFC prove Addition is Associative?, David C. Ullrich, 13:39
Re: Can ZFC prove Addition is Associative?, MoeBlee, 12:42
Re: Can ZFC prove Addition is Associative?, lugita15, 12:23
Re: Can ZFC prove Addition is Associative?, stephen, 12:15
Re: Can ZFC prove Addition is Associative?, stephen, 12:09
Re: Can ZFC prove Addition is Associative?, stephen, 12:06
Re: Existence, Self-identity and Uniqueness., Owen, 11:59
Re: Is FLT in the language of PA?, aatu . koskensilta, 11:56
Re: Recent anti-semantic advances in Mathematics, Alan Smaill, 11:49
Re: Can ZFC prove Addition is Associative?, Chris Menzel, 11:45
Re: Constructive Proofs (Bishop), Alan Smaill, 11:30
Re: Existence, Self-identity and Uniqueness., Jan Burse, 11:23
Re: Cinderella Mathematics, Alan Smaill, 11:18
Re: How to copmute pi, Dave Seaman, 11:13
Re: How to copmute pi, Newberry, 11:06
Re: How to copmute pi, Dave Seaman, 11:01
Re: Existence, Self-identity and Uniqueness., Owen, 10:48
Re: Existence, Self-identity and Uniqueness., Owen, 10:44
Re: Can ZFC prove Addition is Associative?, David C . Ullrich, 10:28
Re: How to copmute pi, Newberry, 10:27
Re: Can ZFC prove Addition is Associative?, Lee Rudolph, 10:12
Re: Can ZFC prove Addition is Associative?, Chris Menzel, 10:00
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 09:49
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 09:19
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 08:58
Re: A Question About Consistent Theories, Bob Stewart, 08:10
Re: Existence, Self-identity and Uniqueness., William Elliot, 06:17
Re: How to copmute pi, David C . Ullrich, 05:34
Re: Can ZFC prove Addition is Associative?, David C . Ullrich, 05:30
Re: Cantor's proof for dummies!, wit, 05:12
Re: Uncomputable numbers are all in your head, Rupert, 05:05
Re: Uncomputable numbers are all in your head, |-|erc, 01:05
Re: Existence, Self-identity and Uniqueness., William Elliot, 01:01
Re: Existence, Self-identity and Uniqueness., William Elliot, 00:33
Re: Existence, Self-identity and Uniqueness., William Elliot, 00:30
Re: Cantor's proof for dummies!, |-|erc, 00:30
Re: Uncomputable numbers are all in your head, |-|erc, 00:18

December 28, 2006

Re: Uncomputable numbers are all in your head, David Bernier, 23:46
Re: Existence, Self-identity and Uniqueness., Chris Menzel, 22:42
Re: Existence, Self-identity and Uniqueness., Jan Burse, 20:00
Re: Cantor's proof for dummies!, The Ghost In The Machine, 19:36
Re: Uncomputable numbers are all in your head, The Ghost In The Machine, 19:34
Re: Uncomputable numbers are all in your head, |-|erc, 19:27
Re: Uncomputable numbers are all in your head, Rupert, 19:25
Re: Cantor's proof for dummies!, |-|erc, 19:23
Re: Uncomputable numbers are all in your head, Rupert, 19:22
Re: How to copmute pi, The Ghost In The Machine, 19:21
Re: Uncomputable numbers are all in your head, |-|erc, 19:13
Re: Uncomputable numbers are all in your head, |-|erc, 19:07
Re: Uncomputable numbers are all in your head, |-|erc, 19:03
Re: Existence, Self-identity and Uniqueness., G . Frege, 19:00
Re: How to copmute pi, Dave Seaman, 18:59
Re: Existence, Self-identity and Uniqueness., Jan Burse, 18:52
Re: How to copmute pi, Robert Israel, 18:47
Re: Cantor's proof for dummies!, The Ghost In The Machine, 18:42
Re: Uncomputable numbers are all in your head, Robert Maas, see http://tinyurl.com/uh3t, 16:32
Re: Can ZFC prove Addition is Associative?, MoeBlee, 16:03
Re: Uncomputable numbers are all in your head, Newberry, 15:56
Re: Can ZFC prove Addition is Associative?, MoeBlee, 15:45
Re: Can ZFC prove Addition is Associative?, MoeBlee, 15:41
Re: Can ZFC prove Addition is Associative?, MoeBlee, 15:38
Re: Can ZFC prove Addition is Associative?, MoeBlee, 15:35
Re: Can ZFC prove Addition is Associative?, MoeBlee, 15:14
Re: Can ZFC prove Addition is Associative?, MoeBlee, 15:07
Re: Can ZFC prove Addition is Associative?, stephen, 15:07
Re: Can ZFC prove Addition is Associative?, MoeBlee, 15:04
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 14:57
Re: Cantor's Proof FAQ, MoeBlee, 14:56
Re: Cantor's Proof FAQ, MoeBlee, 14:54
Re: Can ZFC prove Addition is Associative?, MoeBlee, 14:40
Re: Uncomputable numbers are all in your head, porky_pig_jr@xxxxxxxxxxx, 14:15
Re: Uncomputable numbers are all in your head, guenther vonKnakspot, 12:36
Re: Uncomputable numbers are all in your head, fishfry, 12:32
Re: Existence, Self-identity and Uniqueness., Chris Menzel, 12:16
Re: Existence, Self-identity and Uniqueness., Jan Burse, 11:05
Re: Existence, Self-identity and Uniqueness., Jan Burse, 11:04
Re: Existence, Self-identity and Uniqueness., Jan Burse, 10:59
Re: A Question About Consistent Theories, David C . Ullrich, 10:27
Re: Uncomputable numbers are all in your head, David Bernier, 08:58
Re: A Question About Consistent Theories, Bob Stewart, 08:52
Re: Existence, Self-identity and Uniqueness., William Elliot, 06:57
x = x, and the failure of proof, John Jones, 06:54
Re: Existence, Self-identity and Uniqueness., Jan Burse, 06:44
Re: Existence, Self-identity and Uniqueness., Jan Burse, 06:28
Re: Uncomputable numbers are all in your head, Rupert, 06:26
Re: Existence, Self-identity and Uniqueness., Jan Burse, 06:19
Re: Existence, Self-identity and Uniqueness., Owen, 06:17
Re: Existence, Self-identity and Uniqueness., Jan Burse, 06:09
Re: Existence, Self-identity and Uniqueness., Owen, 05:59
Re: Uncomputable numbers are all in your head, |-|erc, 05:32
Re: Uncomputable numbers are all in your head, Rupert, 05:17
Re: Godel again: 'This statement has no proof in any system' T/F, |-|erc, 05:14
Re: Existence, Self-identity and Uniqueness., Jan Burse, 05:00
Re: Is FLT in the language of PA?, Rupert, 04:59
Uncomputable numbers are all in your head, |-|erc, 04:37
Re: Existence, Self-identity and Uniqueness., William Elliot, 04:31
Re: Existence, Self-identity and Uniqueness., William Elliot, 04:11
Re: incompleteness and inconsistency, Manuel Bremer, 04:03
Re: description logic - axiomatic set theory, Manuel Bremer, 03:56
Re: Godel again: 'This statement has no proof in any system' T/F, Manuel Bremer, 03:50
Re: How to copmute pi, Dave Seaman, 02:02
Re: Cantor's Proof FAQ, Rupert, 01:44

December 27, 2006

Re: How to copmute pi, Newberry, 23:28
Re: Is FLT in the language of PA?, Rupert, 23:28
Re: How to copmute pi, Newberry, 23:17
Why is Cantor a target for cranks?, galathaea, 22:59
Re: How to copmute pi, Chris Smith, 22:47
Re: How to copmute pi, Chris Smith, 22:38
Re: How to copmute pi, Dave Seaman, 22:37
Re: How to copmute pi, Newberry, 21:52
Re: Can ZFC prove Addition is Associative?, Chris Menzel, 20:15
Re: Recent anti-semantic advances in Mathematics, John Jones, 18:15
Re: Can ZFC prove Addition is Associative?, stephen, 17:06
Re: Recent anti-semantic advances in Mathematics, Peter_Smith, 16:52
Re: A Question About Consistent Theories, David C . Ullrich, 16:42
Re: Cantor's proof for dummies!, John Jones, 16:13
Re: Recent anti-semantic advances in Mathematics, John Jones, 16:05
Re: Can ZFC prove Addition is Associative?, stephen, 15:57
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 15:45
Re: Cantor's proof for dummies!, george, 15:41
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 15:40
Re: Recent anti-semantic advances in Mathematics, Peter_Smith, 15:36
Re: How to copmute pi, Dave Seaman, 15:36
Re: How to copmute pi, Newberry, 15:28
Re: How to copmute pi, John Jones, 15:25
Re: Recent anti-semantic advances in Mathematics, george, 15:23
Re: Recent anti-semantic advances in Mathematics, John Jones, 15:22
Re: Recent anti-semantic advances in Mathematics, John Jones, 15:19
Re: How to copmute pi, Newberry, 15:18
Re: A Question About Consistent Theories, aatu . koskensilta, 15:14
Re: Recent anti-semantic advances in Mathematics, John Jones, 15:10
Re: A Question About Consistent Theories, David C . Ullrich, 15:07
Re: A Question About Consistent Theories, aatu . koskensilta, 14:48
Re: A Question About Consistent Theories, Bob Stewart, 14:41
Re: Existence, Self-identity and Uniqueness., Jan Burse, 13:40
Re: A Question About Consistent Theories, aatu . koskensilta, 12:57
Re: Is FLT in the language of PA?, Daryl McCullough, 12:42
Existence, Self-identity and Uniqueness., Owen, 12:32
Re: Is FLT in the language of PA?, Daryl McCullough, 12:10
Re: Cantor's Proof FAQ, george, 11:42
Re: Is FLT in the language of PA?, george, 11:35
Re: Can't get more crappy than this, Dava, 11:31
Re: Recent anti-semantic advances in Mathematics, george, 11:11
Re: Recent anti-semantic advances in Mathematics, Daryl McCullough, 10:55
Re: How to copmute pi, Chris Smith, 10:34
Re: Recent anti-semantic advances in Mathematics, Peter_Smith, 10:26
Re: How to copmute pi, David C . Ullrich, 08:31
Re: How to copmute pi, David C . Ullrich, 08:28
Re: How to copmute pi, David C . Ullrich, 08:27
Re: A Question About Consistent Theories, David C . Ullrich, 08:25
Recent anti-semantic advances in Mathematics, John Jones, 08:20
Re: A Question About Consistent Theories, David C . Ullrich, 08:18
Re: How to copmute pi, Jaap Spies, 06:45
Re: How to copmute pi, Rupert, 06:35
Re: How to copmute pi, |-|erc, 02:21
Re: How to copmute pi, Newberry, 01:34
Re: How to copmute pi, Chris Smith, 00:22

December 26, 2006

Re: How to copmute pi, Newberry, 21:57
Re: How to copmute pi, Jan Burse, 20:45
Re: How to copmute pi, Jan Burse, 20:23
Re: How to copmute pi, Rupert, 20:17
Re: How to copmute pi, Jan Burse, 19:51
Re: How to copmute pi, Rupert, 19:39
Re: How to copmute pi, Jan Burse, 19:36
Re: Constructive Proofs (Bishop), Jan Burse, 19:33
Re: Constructive Proofs (Bishop), guyontheinet, 18:27
Re: How to copmute pi, Konrad Viltersten, 18:05
Re: How to copmute pi, John Jones, 18:04
Re: How to copmute pi, John Jones, 18:00
Re: How to copmute pi, John Jones, 17:59
Re: Can ZFC prove Addition is Associative?, David Marcus, 17:59
Re: How to copmute pi, Gib Bogle, 17:51
Re: Can ZFC prove Addition is Associative?, David Marcus, 17:45
Re: How to copmute pi, Chris Smith, 17:42
Re: How to copmute pi, The poster formerly known as Colleyville Alan, 17:39
Re: How to copmute pi, John Jones, 17:38
Re: How to copmute pi, Gib Bogle, 17:28
Re: Can ZFC prove Addition is Associative?, stephen, 17:20
Re: How to copmute pi, John Jones, 17:17
Re: Can ZFC prove Addition is Associative?, stephen, 17:16
Re: How to copmute pi, Chris Smith, 16:20
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 16:19
Re: How to copmute pi, John Jones, 16:16
How to copmute pi, Newberry, 16:02
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 15:31
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 15:09
Re: Cantor's proof for dummies!, Agent 666, 14:37
Re: Constructive Proofs (Bishop), Jan Burse, 14:19
Re: Can ZFC prove Addition is Associative?, David Marcus, 13:27
Re: A Question About Consistent Theories, Bob Stewart, 11:31
Re: Can ZFC prove Addition is Associative?, Bill Hale, 11:24
Re: How long are the arms of Formalisms?, Aatu Koskensilta, 10:43
Re: Is FLT in the language of PA?, Aatu Koskensilta, 10:41
Re: A Question About Consistent Theories, Aatu Koskensilta, 10:10
A Question About Consistent Theories, Bob Stewart, 09:44
Re: Can ZFC prove Addition is Associative?, Norman Megill, 09:20
Re: Can ZFC prove Addition is Associative?, David C . Ullrich, 09:04
Re: Can ZFC prove Addition is Associative?, David C . Ullrich, 08:49
Re: Can ZFC prove Addition is Associative?, David C . Ullrich, 08:42
Re: Can ZFC prove Addition is Associative?, David C . Ullrich, 08:38
Re: Can ZFC prove Addition is Associative?, David C . Ullrich, 08:37
Re: Can't get more crappy than this, John Jones, 08:07
Re: Wittgenstein and pi, Rupert, 07:30
Re: Cantor's proof for dummies!, Autymn D. C., 07:30
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 07:16
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 06:41
Re: Can't get more crappy than this, Dava, 06:23
Re: How long are the arms of Formalisms?, Peter_Smith, 05:11
Cantor's proof for dummies!, |-|erc, 04:37
Re: How long are the arms of Formalisms?, Nam Nguyen, 04:31
Re: How long are the arms of Formalisms?, Nam Nguyen, 04:23
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 03:43
Re: Wittgenstein and pi, Gc, 03:26
Re: Is FLT in the language of PA?, Daryl McCullough, 02:48
Re: Is FLT in the language of PA?, Daryl McCullough, 02:26
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 02:12
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 02:09
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 01:49
Re: Wittgenstein and pi, abo, 01:46
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 01:38
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 01:29
Re: Can ZFC prove Addition is Associative?, CBTuee@xxxxxxxxx, 00:55
Re: How long are the arms of Formalisms?, Aatu Koskensilta, 00:23
Re: Wittgenstein and pi, Aatu Koskensilta, 00:12
Wittgenstein and pi, Rupert, 00:05

December 25, 2006

Re: an essentially non-constructive existence proof, Aatu Koskensilta, 23:53
Re: an essentially non-constructive existence proof, Rupert, 23:49
Re: an essentially non-constructive existence proof, Aatu Koskensilta, 23:18
an essentially non-constructive existence proof, Rupert, 22:58
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 22:40
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 22:29
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 22:28
Re: Can ZFC prove Addition is Associative?, hale, 22:26
Re: Can ZFC prove Addition is Associative?, CBTuee@xxxxxxxxx, 22:20
Re: Can ZFC prove Addition is Associative?, CBTuee@xxxxxxxxx, 22:18
Re: Can ZFC prove Addition is Associative?, Dik T. Winter, 22:13
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 22:07
Re: Can ZFC prove Addition is Associative?, Bill Hale, 22:03
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 22:01
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 21:56
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 21:45
Re: Can ZFC prove Addition is Associative?, Dik T. Winter, 21:44
Re: Can ZFC prove Addition is Associative?, hale, 21:43
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 21:34
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 21:25
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 21:18
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 21:17
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 21:15
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 21:14
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 21:13
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 21:07
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 21:06
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 21:02
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 20:58
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 20:53
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 20:49
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 20:06
Re: Can ZFC prove Addition is Associative?, Lee Rudolph, 20:04
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 20:03
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 19:52
Re: How long are the arms of Formalisms?, Peter_Smith, 19:40
Re: How long are the arms of Formalisms?, Peter_Smith, 19:40
Constructive Proofs (Bishop), guyontheinet, 19:39
Re: Is FLT in the language of PA?, Rupert, 19:33
Re: Can ZFC prove Addition is Associative?, Peter_Smith, 19:29
Re: Is FLT in the language of PA?, george, 19:03
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 18:42
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 18:31
Re: Can ZFC prove Addition is Associative?, David Marcus, 18:23
Re: Can ZFC prove Addition is Associative?, David Marcus, 18:10
Re: Can ZFC prove Addition is Associative?, David Marcus, 18:07
Re: Can ZFC prove Addition is Associative?, Chris Menzel, 15:56
Re: Can ZFC prove Addition is Associative?, Chris Menzel, 15:46
Cinderella Mathematics, John Jones, 15:29
Re: How long are the arms of Formalisms?, Nam Nguyen, 13:47
Re: ATOMIC THEORY; replacing "things" with "matter" and now "energy", Phineas T Puddleduck, 12:52
ATOMIC THEORY; replacing "things" with "matter" and now "energy", a_plutonium, 11:58
Re: the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, Tonico, 11:41
Re: Can ZFC prove Addition is Associative?, Arturo Magidin, 11:24
Re: without this syllogism mathematics is incomplete Re: the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, T Wake, 11:14
Re: Can ZFC prove Addition is Associative?, David C . Ullrich, 10:25
Re: refine even more the Atomic theory by replacing thing with "matter" Re: without this syllogism mathematics is incomplete Re: the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, Phineas T Puddleduck, 09:52
Re: cleaning up the Logic of the Atomic theory Re: worthwhile objection Re: without this syllogism mathematics is incomplete Re: the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, Phineas T Puddleduck, 09:51
Re: cleaning up the Logic of the Atomic theory Re: worthwhile objection Re: without this syllogism mathematics is incomplete Re: the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, Phineas T Puddleduck, 09:51
Re: without this syllogism mathematics is incomplete Re: the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, Phineas T Puddleduck, 09:44
Re: without this syllogism mathematics is incomplete Re: the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, Phineas T Puddleduck, 09:43
Re: without this syllogism mathematics is incomplete Re: the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, Phineas T Puddleduck, 09:42
Re: the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, Autymn D. C., 08:39
Re: Is FLT in the language of PA?, Rupert, 08:38
Re: Can't get more crappy than this, John Jones, 07:26
Re: Can ZFC prove Addition is Associative?, Lee Rudolph, 07:19
applying the Democritus statement of Atomic theory Re:, a_plutonium, 06:41
Re: Can ZFC prove Addition is Associative?, David C . Ullrich, 06:17
Re: How long are the arms of Formalisms?, John Jones, 06:17
phup, John Jones, 06:09
refine even more the Atomic theory by replacing thing with "matter" Re: without this syllogism mathematics is incomplete Re: the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, a_plutonium, 05:39
Re: without this syllogism mathematics is incomplete Re: the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, T Wake, 05:06
cleaning up the Logic of the Atomic theory Re: worthwhile objection Re: without this syllogism mathematics is incomplete Re: the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, a_plutonium, 04:44
Re: without this syllogism mathematics is incomplete Re: the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, Proginoskes, 03:17
Re: correcting Euclid's proof of the Infinitude of Primes which leads to an easy proof of the Infinitude of Twin Primes; both Dik Winter and Chris Heckman have failed attempts, G . Frege, 02:54
worthwhile objection Re: without this syllogism mathematics is incomplete Re: the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, a_plutonium, 01:19
Re: Can ZFC prove Addition is Associative?, Virgil, 00:13
Re: Can ZFC prove Addition is Associative?, Virgil, 00:07
Re: Can ZFC prove Addition is Associative?, Virgil, 00:02

December 24, 2006

Re: Can ZFC prove Addition is Associative?, Virgil, 23:54
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 23:16
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 23:13
Re: without this syllogism mathematics is incomplete Re: the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, a_plutonium, 23:06
Re: without this syllogism mathematics is incomplete Re: the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, a_plutonium, 22:36
Re: Can ZFC prove Addition is Associative?, Dik T. Winter, 22:28
Re: without this syllogism mathematics is incomplete Re: the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, a_plutonium, 22:27
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 21:49
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 21:47
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 21:38
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 21:38
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 21:20
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 21:18
Re: Can ZFC prove Addition is Associative?, David Marcus, 21:17
Re: Can ZFC prove Addition is Associative?, David Marcus, 21:13
Re: Can ZFC prove Addition is Associative?, David Marcus, 21:11
Re: Can ZFC prove Addition is Associative?, David Marcus, 21:08
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 21:08
Re: Can ZFC prove Addition is Associative?, David Marcus, 21:05
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 21:04
Re: Can ZFC prove Addition is Associative?, Bill Hale, 20:48
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 20:40
Re: without this syllogism mathematics is incomplete Re: the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, Phineas T Puddleduck, 19:04
Re: Can ZFC prove Addition is Associative?, stephen, 18:12
Re: without this syllogism mathematics is incomplete Re: the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, T Wake, 17:44
Re: Can ZFC prove Addition is Associative?, Lee Rudolph, 16:15
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 16:09
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 16:04
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 15:58
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 15:53
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 15:50
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 15:46
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 15:29
Re: How long are the arms of Formalisms?, Aatu Koskensilta, 15:23
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 15:09
Re: without this syllogism mathematics is incomplete Re: the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, Phineas T Puddleduck, 15:06
Re: without this syllogism mathematics is incomplete Re: the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, Phineas T Puddleduck, 15:05
Re: without this syllogism mathematics is incomplete Re: the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, Phineas T Puddleduck, 15:05
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 14:57
Re: Can ZFC prove Addition is Associative?, David C . Ullrich, 14:57
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 14:44
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 14:36
Re: Can ZFC prove Addition is Associative?, Virgil, 14:20
Re: Can ZFC prove Addition is Associative?, Virgil, 14:18
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 14:18
Re: Can ZFC prove Addition is Associative?, Virgil, 14:16
Re: Can ZFC prove Addition is Associative?, Virgil, 14:13
Re: Can ZFC prove Addition is Associative?, Virgil, 14:12
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 14:10
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 14:06
Re: Can ZFC prove Addition is Associative?, stephen, 14:03
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 13:59
Re: without this syllogism mathematics is incomplete Re: the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, a_plutonium, 13:48
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 13:42
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 13:40
Re: Can ZFC prove Addition is Associative?, Virgil, 13:29
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 13:20
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 13:07
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 13:04
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 12:59
Re: the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, a_plutonium, 12:52
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 12:47
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 12:47
Re: without this syllogism mathematics is incomplete Re: the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, Phineas T Puddleduck, 12:44
without this syllogism mathematics is incomplete Re: the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, a_plutonium, 12:43
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 12:40
Re: How long are the arms of Formalisms?, Nam Nguyen, 12:28
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 11:40
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 11:21
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 11:17
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 11:13
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 11:04
Re: Can ZFC prove Addition is Associative?, David C . Ullrich, 11:02
Re: Can ZFC prove Addition is Associative?, Peter_Smith, 11:02
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 10:58
Re: the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, Mike, 10:51
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 10:48
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 10:41
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 10:31
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 10:18
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 10:15
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 10:15
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 10:03
Re: Can ZFC prove Addition is Associative?, Peter_Smith, 09:58
Re: the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, Bob Kolker, 09:55
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 09:48
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 09:46
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 09:25
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 08:27
Re: Can ZFC prove Addition is Associative?, David C . Ullrich, 07:50
Re: Can ZFC prove Addition is Associative?, David C . Ullrich, 07:42
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 04:39
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 03:46
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 03:42
Re: the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, George, 03:38
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 03:32
the world's most finest Logical Syllogism; if this is not universal, then nothing is universal, a_plutonium, 03:10
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 02:48
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 02:22
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 02:20
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 02:12
Re: Can ZFC prove Addition is Associative?, David Marcus, 01:57
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 01:50
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 01:34
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 01:27
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 01:25
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 01:18
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 01:12

December 23, 2006

Re: Cantor's Proof FAQ, Ross A. Finlayson, 23:47
Re: Provability vs. Entailment, Lash Rambo, 21:30
Re: Cantor's Proof FAQ, Dave Seaman, 18:12
Re: Can't get more crappy than this, Dava, 15:37
Re: Cantor's Proof FAQ, Ross A. Finlayson, 15:23
Re: How long are the arms of Formalisms?, John Jones, 15:01
Re: How long are the arms of Formalisms?, Nam Nguyen, 14:52
Re: How long are the arms of Formalisms?, John Jones, 14:23
Re: Is FLT in the language of PA?, george, 14:06
Re: How long are the arms of Formalisms?, Nam Nguyen, 13:49
Re: How long are the arms of Formalisms?, Nam Nguyen, 13:28
Re: How long are the arms of Formalisms?, John Jones, 13:24
Re: How long are the arms of Formalisms?, John Jones, 13:20
Re: How long are the arms of Formalisms?, John Jones, 13:05
Re: How long are the arms of Formalisms?, John Jones, 13:02
Re: How long are the arms of Formalisms?, John Jones, 12:54
Re: How long are the arms of Formalisms?, Peter_Smith, 12:15
Re: Can ZFC prove Addition is Associative?, aatu . koskensilta, 12:13
Re: Can ZFC prove Addition is Associative?, David Marcus, 12:06
Re: Is FLT in the language of PA?, george, 11:58
Re: Is FLT in the language of PA?, george, 11:51
Re: Is FLT in the language of PA?, george, 11:47
Re: How long are the arms of Formalisms?, Nam Nguyen, 11:46
Re: Why is Cantor a target for cranks?, george, 11:42
Re: Cantor's Proof FAQ, george, 11:34
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 09:09
Re: Can ZFC prove Addition is Associative?, lugita15, 07:24
Re: Can ZFC prove Addition is Associative?, David C . Ullrich, 06:58
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 05:27
Re: Cantor's Proof FAQ, Andrew Usher, 04:21
Re: How long are the arms of Formalisms?, Peter_Smith, 04:12
Re: Can ZFC prove Addition is Associative?, David Marcus, 03:12
Re: Can ZFC prove Addition is Associative?, David Marcus, 03:08
Re: Can ZFC prove Addition is Associative?, David Marcus, 03:05
Re: How long are the arms of Formalisms?, David, 01:42
Re: How long are the arms of Formalisms?, David, 01:36
Re: care givers of paralyzed children, William Elliot, 01:05
Re: Cantor's Proof FAQ, Virgil, 00:55
Re: Cantor's Proof FAQ, Virgil, 00:49

December 22, 2006

Re: Cantor's Proof FAQ, Jesse F. Hughes, 22:53
Re: Cantor's Proof FAQ, Newberry, 22:45
Re: Can ZFC prove Addition is Associative?, David Marcus, 22:10
Re: Can ZFC prove Addition is Associative?, David Marcus, 22:09
Re: Can ZFC prove Addition is Associative?, David Marcus, 22:07
Re: Cantor's Proof FAQ, Jesse F. Hughes, 22:02
care givers of paralyzed children, lindaglenn, 21:59
Re: Cantor's Proof FAQ, Newberry, 21:49
The Chapter One (Logic Algebra) of Part Three in book "Concept Algebra" has released at web side, Conbra, 21:42
Re: Cantor's Proof FAQ, Ross A. Finlayson, 21:34
Re: Cantor's Proof FAQ, Ross A. Finlayson, 21:19
Re: Cantor's Proof FAQ, Jesse F. Hughes, 20:50
Re: Cantor's Proof FAQ, Newberry, 20:39
Re: Cantor's Proof FAQ, MoeBlee, 20:17
Re: How long are the arms of Formalisms?, Nam Nguyen, 20:13
Re: Cantor's Proof FAQ, lugita15, 20:08
Re: Can ZFC prove Addition is Associative?, MoeBlee, 20:08
Re: Can ZFC prove Addition is Associative?, MoeBlee, 20:06
Re: Can ZFC prove Addition is Associative?, MoeBlee, 20:04
Re: Can ZFC prove Addition is Associative?, MoeBlee, 19:53
Re: Can ZFC prove Addition is Associative?, MoeBlee, 19:47
Re: Cantor's Proof FAQ, Ross A. Finlayson, 19:47
Re: How long are the arms of Formalisms?, Peter_Smith, 19:35
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 19:06
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 19:03
Re: How long are the arms of Formalisms?, Nam Nguyen, 18:03
Re: How long are the arms of Formalisms?, David, 17:55
Re: Can ZFC prove Addition is Associative?, Virgil, 16:59
Re: Can ZFC prove Addition is Associative?, Virgil, 16:57
Re: Can ZFC prove Addition is Associative?, Virgil, 16:56
Re: Cantor's Proof FAQ, Virgil, 16:50
Re: Cantor's Proof FAQ, Virgil, 16:47
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 16:47
Re: Can ZFC prove Addition is Associative?, stephen, 16:42
Re: How long are the arms of Formalisms?, Nam Nguyen, 16:41
Re: Can ZFC prove Addition is Associative?, stephen, 16:39
Re: Can ZFC prove Addition is Associative?, stephen, 16:38
Re: Cantor's Proof FAQ, lugita15, 16:37
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 16:30
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 16:28
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 16:27
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 16:25
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 16:23
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 16:06
Re: Can ZFC prove Addition is Associative?, stephen, 16:03
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 16:02
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 16:00
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 15:55
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 15:51
Re: Can ZFC prove Addition is Associative?, stephen, 15:51
Re: Cantor's Proof FAQ, Albrecht, 15:50
Re: Can ZFC prove Addition is Associative?, Virgil, 15:49
Re: How long are the arms of Formalisms?, David, 15:47
Re: Can ZFC prove Addition is Associative?, Virgil, 15:47
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 15:44
Re: How long are the arms of Formalisms?, David, 15:43
Re: Cantor's Proof FAQ, Albrecht, 15:43
Re: Can ZFC prove Addition is Associative?, stephen, 15:43
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 15:42
Re: Can ZFC prove Addition is Associative?, Virgil, 15:38
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 15:35
Re: How long are the arms of Formalisms?, John Jones, 15:34
Re: Can ZFC prove Addition is Associative?, Virgil, 15:33
Re: Can ZFC prove Addition is Associative?, Virgil, 15:29
Re: Can ZFC prove Addition is Associative?, Han . deBruijn, 15:26
Re: Can ZFC prove Addition is Associative?, Virgil, 15:18
Re: Can ZFC prove Addition is Associative?, Virgil, 15:17
Re: Can ZFC prove Addition is Associative?, Virgil, 15:14
Re: Can ZFC prove Addition is Associative?, Virgil, 15:10
Re: Can ZFC prove Addition is Associative?, Virgil, 15:07
Re: Can ZFC prove Addition is Associative?, Virgil, 15:01
Re: Can ZFC prove Addition is Associative?, Virgil, 14:56
Re: Can ZFC prove Addition is Associative?, Chris Menzel, 14:45
Re: How long are the arms of Formalisms?, Nam Nguyen, 14:39
How long are the arms of Formalisms?, John Jones, 13:38
Re: Can ZFC prove Addition is Associative?, Virgil, 13:35
Re: Can ZFC prove Addition is Associative?, Virgil, 13:29
Re: Can ZFC prove Addition is Associative?, Virgil, 13:27
Re: Can ZFC prove Addition is Associative?, David Marcus, 13:16
Re: Can ZFC prove Addition is Associative?, cbrown, 13:14
Re: Can ZFC prove Addition is Associative?, Chris Menzel, 13:09
Re: Can ZFC prove Addition is Associative?, cbrown, 13:06
Re: Can ZFC prove Addition is Associative?, David Marcus, 13:04
Re: Can ZFC prove Addition is Associative?, cbrown, 12:58
Re: Can ZFC prove Addition is Associative?, Chris Menzel, 12:48
Re: Can ZFC prove Addition is Associative?, Chris Menzel, 12:43
Re: Can ZFC prove Addition is Associative?, Chris Menzel, 12:21
Re: Can ZFC prove Addition is Associative?, Chris Menzel, 11:58
Re: Can ZFC prove Addition is Associative?, David C . Ullrich, 11:36
Re: Can ZFC prove Addition is Associative?, David C . Ullrich, 11:34
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 11:12
Re: Why is Cantor a target for cranks?, R. Srinivasan, 11:05
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 10:57
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 10:47
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 10:33
Re: Why is Cantor a target for cranks?, R. Srinivasan, 10:31
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 10:21
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 10:18
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 10:14
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 10:13
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 10:10
Re: Why is Cantor a target for cranks?, R. Srinivasan, 10:10
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 10:05
Re: Can ZFC prove Addition is Associative?, stephen, 10:00
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 10:00
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 09:55
Re: Can ZFC prove Addition is Associative?, stephen, 09:43
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 09:41
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 09:38
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 09:33
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 09:25
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 09:24
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 09:23
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 09:21
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 09:09
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 09:06
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 09:01
Re: Can ZFC prove Addition is Associative?, Chip Eastham, 08:56
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 08:55
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 08:51
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 08:43
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 08:35
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 08:27
Re: Can ZFC prove Addition is Associative?, A N Niel, 08:23
Re: Can ZFC prove Addition is Associative?, stephen, 08:23
Re: Can ZFC prove Addition is Associative?, stephen, 08:20
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 08:19
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 08:17
Re: Can ZFC prove Addition is Associative?, David C . Ullrich, 08:01
Re: Can ZFC prove Addition is Associative?, hagman, 07:51
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 07:46
Get free sudoku game, sudoku9981, 07:45
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 07:39
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 07:35
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 07:35
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 07:32
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 07:28
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 07:22
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 07:15
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 07:02
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 06:52
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 06:51
Re: Can ZFC prove Addition is Associative?, lugita15, 06:33
Re: Can ZFC prove Addition is Associative?, lugita15, 06:27
Re: Can ZFC prove Addition is Associative?, cbrown, 05:18
Re: Can ZFC prove Addition is Associative?, cbrown, 05:11
Re: Can ZFC prove Addition is Associative?, CBTuee@xxxxxxxxx, 05:07
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 04:51
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 04:46
Re: Can ZFC prove Addition is Associative?, cbrown, 04:45
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 04:36
Re: Can ZFC prove Addition is Associative?, hagman, 04:34
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 04:19
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 03:56
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 03:46
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 03:40
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 03:38
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 03:29
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 03:29
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 03:26
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 03:23
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 03:15
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 03:13
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 03:12
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 03:11
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 03:08
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 03:01
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 03:00
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 02:18
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 02:13
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 02:09
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 01:58
Re: the error in Godels proof, herbzet, 01:54
Re: existentially quantified conditionals at 1st order ?, herbzet, 01:54
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 01:54
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 01:51
Re: Cantor's Proof FAQ, Ross A. Finlayson, 01:43
Re: Can't get more Logical than this, Michael Gray, 01:42
Re: Can't get more Logical than this, Michael Gray, 01:41
Re: Can ZFC prove Addition is Associative?, Nam Nguyen, 01:39
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 01:38
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 01:32
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 01:26
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 01:23
Re: Can ZFC prove Addition is Associative?, Nam Nguyen, 01:02
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 00:13
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 00:02
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 00:01

December 21, 2006

Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 23:54
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 23:54
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 23:46
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 23:30
Re: PARADOXES AND STATES OF AFFAIRS, Rupert, 23:30
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 23:24
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 23:23
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 23:19
Re: PARADOXES AND STATES OF AFFAIRS, huangxienchen, 23:17
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 23:15
Re: PARADOXES AND STATES OF AFFAIRS, Rupert, 22:48
Re: Can ZFC prove Addition is Associative?, Chip Eastham, 22:34
Re: Why is Cantor a target for cranks?, Newberry, 22:32
Re: Why is Cantor a target for cranks?, Newberry, 22:29
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 22:22
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 22:19
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 22:14
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 22:07
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 22:03
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 21:57
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 21:49
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 21:48
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 21:44
Re: Cantor's Proof FAQ, Gc, 21:35
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 21:33
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 21:32
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 21:26
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 21:25
Re: Can ZFC prove Addition is Associative?, Chip Eastham, 21:10
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 21:09
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 21:09
Re: Cantor's Proof FAQ, Ross A. Finlayson, 20:51
Re: Cantor's Proof FAQ, Virgil, 20:46
Re: Can ZFC prove Addition is Associative?, hale, 20:22
Re: Cantor's Proof FAQ, MoeBlee, 20:14
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 20:02
Re: PARADOXES AND STATES OF AFFAIRS, |-|erc, 19:58
Re: Can't get more Logical than this, Rich Corinthian Leather, 19:53
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 19:49
Re: Cantor's Proof FAQ, MoeBlee, 19:46
Re: the error in Godels proof, Aatu Koskensilta, 19:45
Re: Can't get more Logical than this, Bill M, 19:44
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 19:34
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 19:30
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 19:28
Re: the error in Godels proof, Peter_Smith, 19:22
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 19:21
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 19:14
Re: Can't get more Logical than this, Greywolf, 19:08
Re: Can ZFC prove Addition is Associative?, Peter_Smith, 19:08
Re: Cantor's Proof FAQ, Gc, 18:54
Re: Can ZFC prove Addition is Associative?, MoeBlee, 18:14
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 18:12
Re: Can ZFC prove Addition is Associative?, mathtalk, 18:04
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 18:00
Re: Can't get more crappy than this, John Jones, 17:35
Re: Cantor's Proof FAQ, lugita15, 17:27
Re: Cantor's Proof FAQ, lugita15, 17:27
Re: Can ZFC prove Addition is Associative?, MoeBlee, 17:18
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 16:25
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 16:22
Re: Cantor's Proof FAQ, Dave Seaman, 16:06
Re: Can't get more Logical than this, Rev. Karl E. Taylor, 15:39
Re: Cantor's Proof FAQ, Virgil, 15:36
Re: Can ZFC prove Addition is Associative?, Lee Rudolph, 15:35
Re: Can't get more Logical than this, Michael Gray, 15:31
Re: Cantor's Proof FAQ, george, 15:30
Re: Can ZFC prove Addition is Associative?, Virgil, 15:26
Re: Can't get more Logical than this, J Forbes, 15:24
Re: Can ZFC prove Addition is Associative?, Virgil, 15:19
Re: the error in Godels proof, george, 15:16
Re: Can ZFC prove Addition is Associative?, Virgil, 15:13
Re: the error in Godels proof, george, 15:12
Re: the error in Godels proof, george, 15:03
Re: Cantor's Proof FAQ, george, 14:57
Re: Can't get more Logical than this, Rev. Karl E. Taylor, 14:54
Re: Can't get more Logical than this, Brian Westley, 14:35
Re: Can ZFC prove Addition is Associative?, MoeBlee, 14:23
Re: Can't get more Logical than this, Rev. Karl E. Taylor, 14:12
Re: Can't get more Logical than this, panamfloyd, 13:36
Re: Can ZFC prove Addition is Associative?, abo, 13:20
Re: Can't get more Logical than this, ernobe, 13:15
Re: Cantor's Proof FAQ, MoeBlee, 13:05
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 12:49
Re: Can ZFC prove Addition is Associative?, MoeBlee, 12:38
Re: Can ZFC prove Addition is Associative?, stephen, 12:35
Re: Can ZFC prove Addition is Associative?, MoeBlee, 12:35
Re: Can ZFC prove Addition is Associative?, stephen, 12:10
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 11:37
Re: PARADOXES AND STATES OF AFFAIRS, LauLuna, 10:23
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 10:15
Re: PARADOXES AND STATES OF AFFAIRS, LauLuna, 10:12
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 10:11
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 10:04
Can't get more Logical than this, Dava, 09:49
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 09:45
Re: Can ZFC prove Addition is Associative?, aatu . koskensilta, 09:27
Re: Cantor's Proof FAQ, Albrecht, 09:05
Re: Which Makes Most Sense?, Peter T. Daniels, 08:50
Re: Can ZFC prove Addition is Associative?, Lee Rudolph, 08:25
Re: Why is Cantor a target for cranks?, R. Srinivasan, 08:22
Re: Can ZFC prove Addition is Associative?, David C . Ullrich, 07:31
Re: Can ZFC prove Addition is Associative?, David C . Ullrich, 07:29
Re: Can ZFC prove Addition is Associative?, David C . Ullrich, 07:22
Re: Cantor's Proof FAQ, lugita15, 06:38
Re: Cantor's Proof FAQ, Andrew Usher, 06:29
Re: Cantor's Proof FAQ, lugita15, 06:24
Re: PARADOXES AND STATES OF AFFAIRS, aatu . koskensilta, 06:17
Re: PARADOXES AND STATES OF AFFAIRS, Rupert, 05:35
Re: PARADOXES AND STATES OF AFFAIRS, aatu . koskensilta, 05:23
Re: PARADOXES AND STATES OF AFFAIRS, Rupert, 05:19
Re: Can ZFC prove Addition is Associative?, Peter_Smith, 05:11
Re: PARADOXES AND STATES OF AFFAIRS, Rupert, 04:52
Re: PARADOXES AND STATES OF AFFAIRS, aatu . koskensilta, 04:49
Re: Can ZFC prove Addition is Associative?, aatu . koskensilta, 04:37
Re: PARADOXES AND STATES OF AFFAIRS, |-|erc, 04:23
Re: Can ZFC prove Addition is Associative?, Peter_Smith, 04:10
Re: PARADOXES AND STATES OF AFFAIRS, Rupert, 04:08
Re: Can ZFC prove Addition is Associative?, Peter_Smith, 04:00
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 03:55
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 03:48
Re: Can ZFC prove Addition is Associative?, aatu . koskensilta, 03:46
Re: the error in Godels proof, aatu . koskensilta, 03:39
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 03:33
Re: PARADOXES AND STATES OF AFFAIRS, |-|erc, 03:31
Re: Cantor's Proof FAQ, Ross A. Finlayson, 03:31
Re: Cantor's Proof FAQ, |-|erc, 03:23
Re: Which Makes Most Sense?, Arne Dehli Halvorsen, 02:45
Re: Cantor's Proof FAQ, Virgil, 02:41
PARADOXES AND STATES OF AFFAIRS, LauLuna, 02:38
Re: existentially quantified conditionals at 1st order ?, Nam Nguyen, 02:22
Re: Cantor's Proof FAQ, |-|erc, 02:10
Re: Cantor's Proof FAQ, Virgil, 01:31
Re: existentially quantified conditionals at 1st order ?, herbzet, 01:31
Re: the error in Godels proof, herbzet, 01:30
Re: Cantor's Proof FAQ, Virgil, 01:25
Re: Cantor's Proof FAQ, Gc, 00:54
Re: Is FLT in the language of PA?, Rupert, 00:45
Re: Cantor's Proof FAQ, Rupert, 00:38

December 20, 2006

Re: Can ZFC prove Addition is Associative?, Chip Eastham, 23:51
Re: Cantor's Proof FAQ, |-|erc, 23:41
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 23:13
Re: Can ZFC prove Addition is Associative?, Virgil, 22:41
Re: Can ZFC prove Addition is Associative?, Virgil, 22:40
Re: Which Makes Most Sense?, Peter T. Daniels, 22:34
Re: Which Makes Most Sense?, Barb Knox, 22:29
Re: Can ZFC prove Addition is Associative?, Herman Rubin, 21:37
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 21:04
Aluminum causes Alzheimers ?, caesarjbsquitti, 20:51
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 20:22
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 20:20
Re: Can ZFC prove Addition is Associative?, MoeBlee, 20:15
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 19:37
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 19:23
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 19:20
Re: Is FLT in the language of PA?, Rupert, 19:02
Re: Cantor's Proof FAQ, lugita15, 18:53
Re: Can ZFC prove Addition is Associative?, David C . Ullrich, 18:16
Re: Can ZFC prove Addition is Associative?, MoeBlee, 17:34
Re: Can ZFC prove Addition is Associative?, ledaiman, 17:00
Re: Can ZFC prove Addition is Associative?, hagman, 16:57
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 16:55
Re: Cantor's Proof FAQ, MoeBlee, 16:55
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 16:51
Re: Is FLT in the language of PA?, Daryl McCullough, 16:30
Re: Is FLT in the language of PA?, george, 15:48
Re: Cantor's Proof FAQ, Jesse F. Hughes, 15:16
Re: inference rules for predicate logic, tohentoon, 15:12
Re: Cantor's Proof FAQ, MoeBlee, 15:03
Re: Can ZFC prove Addition is Associative?, MoeBlee, 14:55
Re: Why is Cantor a target for cranks?, Nam Nguyen, 14:53
Re: Can ZFC prove Addition is Associative?, Virgil, 14:23
Re: Can ZFC prove Addition is Associative?, Virgil, 14:18
Re: Cantor's Proof FAQ, Virgil, 14:10
Re: Why is Cantor a target for cranks?, Daryl McCullough, 13:57
Re: Why is Cantor a target for cranks?, R. Srinivasan, 12:26
Re: Why is Cantor a target for cranks?, R. Srinivasan, 12:19
Re: Can ZFC prove Addition is Associative?, aatu . koskensilta, 10:58
Re: Cantor's Proof FAQ, Albrecht, 10:05
Re: Can ZFC prove Addition is Associative?, Lee Rudolph, 09:26
Re: Why is Cantor a target for cranks?, Newberry, 09:14
Re: Why is Cantor a target for cranks?, Nick, 09:08
Re: Can ZFC prove Addition is Associative?, David C . Ullrich, 08:45
Re: Is FLT in the language of PA?, Rupert, 08:29
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 08:26
Re: Is FLT in the language of PA?, Rupert, 08:25
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 08:20
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 08:06
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 07:41
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 07:24
Re: Can ZFC prove Addition is Associative?, aatu . koskensilta, 06:59
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 06:48
Re: Is FLT in the language of PA?, Daryl McCullough, 06:46
Re: the error in Godels proof, aatu . koskensilta, 05:33
Re: the error in Godels proof, aatu . koskensilta, 05:22
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 04:20
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 04:08
Re: existentially quantified conditionals at 1st order ?, Nam Nguyen, 02:40
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 01:59
Re: existentially quantified conditionals at 1st order ?, herbzet, 01:54
Re: Can ZFC prove Addition is Associative?, Virgil, 00:14
Re: Can ZFC prove Addition is Associative?, Virgil, 00:12
Re: Can ZFC prove Addition is Associative?, Virgil, 00:11
Re: Can ZFC prove Addition is Associative?, Virgil, 00:09
Re: Can ZFC prove Addition is Associative?, Virgil, 00:07
Re: Can ZFC prove Addition is Associative?, Virgil, 00:05
Re: Can ZFC prove Addition is Associative?, Virgil, 00:02
Re: Can ZFC prove Addition is Associative?, Virgil, 00:00

December 19, 2006

Re: Can ZFC prove Addition is Associative?, Virgil, 23:57
Re: Can ZFC prove Addition is Associative?, Virgil, 23:55
Re: Can ZFC prove Addition is Associative?, Virgil, 23:53
Re: Can ZFC prove Addition is Associative?, Virgil, 23:52
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 20:00
Re: Can ZFC prove Addition is Associative?, MoeBlee, 19:27
Re: Can ZFC prove Addition is Associative?, lugita15, 19:25
Re: Can ZFC prove Addition is Associative?, MoeBlee, 19:14
Re: Is FLT in the language of PA?, lugita15, 19:12
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 19:09
Re: Cantor's Proof FAQ, lugita15, 18:39
Re: Cantor's Proof FAQ, lugita15, 18:34
Re: Why is Cantor a target for cranks?, galathaea, 18:32
Re: Can ZFC prove Addition is Associative?, MoeBlee, 18:22
Re: Can ZFC prove Addition is Associative?, lugita15, 18:17
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 17:53
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 17:43
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 17:32
Re: Can ZFC prove Addition is Associative?, Peter_Smith, 17:02
Re: Can ZFC prove Addition is Associative?, MoeBlee, 16:48
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 16:42
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 16:38
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 16:35
Re: Can ZFC prove Addition is Associative?, Herman Rubin, 16:33
Re: Can ZFC prove Addition is Associative?, Herman Rubin, 16:00
Re: Can ZFC prove Addition is Associative?, Herman Rubin, 15:52
Re: Is FLT in the language of PA?, george, 15:51
Re: Proving uncountability of reals, Frederick Williams, 15:40
Re: Is FLT in the language of PA?, george, 15:39
Re: Wanted gay boyfriend 17 years old up str/Hr, Frederick Williams, 15:36
Re: existentially quantified conditionals at 1st order ?, george, 15:30
Re: Cantor's Proof FAQ, Randy Poe, 15:25
Re: Cantor's Proof FAQ, george, 15:22
Re: Cantor's Proof FAQ, george, 15:20
Re: Cantor's Proof FAQ, Virgil, 14:57
Re: Cantor's Proof FAQ, Randy Poe, 14:53
Re: Is FLT in the language of PA?, george, 14:51
Re: Cantor's Proof FAQ, george, 14:40
Re: Wanted gay boyfriend 17 years old up str/Hr, george, 14:22
Re: Can ZFC prove Addition is Associative?, george, 14:19
Re: Can ZFC prove Addition is Associative?, george, 14:16
Re: Can ZFC prove Addition is Associative?, Mitch, 14:12
Re: Why is Cantor a target for cranks?, george, 14:03
Re: Can ZFC prove Addition is Associative?, Chris Menzel, 12:47
Re: Can ZFC prove Addition is Associative?, MoeBlee, 12:43
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 12:22
Re: The plan to release the book "Concept Algebra", sureshfernando, 12:09
Re: Can ZFC prove Addition is Associative?, aatu . koskensilta, 12:06
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 11:16
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 10:47
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 10:42
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 10:40
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 10:16
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 10:13
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 10:07
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 10:04
Re: Can ZFC prove Addition is Associative?, george, 10:04
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 10:03
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 09:55
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 09:49
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 09:43
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 09:36
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 09:29
Re: Why is Cantor a target for cranks?, R. Srinivasan, 09:21
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 08:58
Re: the error in Godels proof, zzbunker@xxxxxxxxxxxx, 07:44
Proving uncountability of reals, JN, 06:22
Re: Can ZFC prove Addition is Associative?, zzbunker@xxxxxxxxxxxx, 05:25
Re: Can ZFC prove Addition is Associative?, Lee Rudolph, 05:23
Re: Can ZFC prove Addition is Associative?, Virgil, 03:35
Re: Can ZFC prove Addition is Associative?, Virgil, 03:31
Re: Can ZFC prove Addition is Associative?, Virgil, 03:24
Re: Can ZFC prove Addition is Associative?, Virgil, 03:19
Re: Can ZFC prove Addition is Associative?, Virgil, 03:14
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 03:11
Re: Can ZFC prove Addition is Associative?, Virgil, 03:10
Re: Can ZFC prove Addition is Associative?, Virgil, 03:09
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 03:08
Re: Can ZFC prove Addition is Associative?, Virgil, 03:03
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 02:55
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 02:48
Re: Why is Cantor a target for cranks?, R. Srinivasan, 02:45
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 02:05
Re: existentially quantified conditionals at 1st order ?, herbzet, 02:04
Re: the error in Godels proof, herbzet, 01:59
Re: the error in Godels proof, herbzet, 01:59
Re: the error in Godels proof, herbzet, 01:58
Re: the error in Godels proof, herbzet, 01:58
Re: Why is Cantor a target for cranks?, R. Srinivasan, 01:56
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 01:56
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 01:47
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 01:37
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 01:31
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 01:28
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 01:19
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 01:06
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 00:50
Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 00:13

December 18, 2006

Re: Can ZFC prove Addition is Associative?, Aatu Koskensilta, 23:46
Re: Wanted gay boyfriend 17 years old up str/Hr, herbzet, 18:43
Re: existentially quantified conditionals at 1st order ?, george, 15:27
Re: Can ZFC prove Addition is Associative?, MoeBlee, 12:37
Re: Question about model with most little domain, Frederick Williams, 09:58
Re: Godel again: 'This statement has no proof in any system' T/F, aatu . koskensilta, 06:12
Re: Godel again: 'This statement has no proof in any system' T/F, Rupert, 05:53
Re: Question about model with most little domain, William Elliot, 04:28
Re: Question about model with most little domain, aatu . koskensilta, 04:24
Re: Wanted gay boyfriend 17 years old up str/Hr, William Elliot, 04:09
Re: Godel again: 'This statement has no proof in any system' T/F, aatu . koskensilta, 03:47
Re: Can ZFC prove Addition is Associative?, Virgil, 02:38
Re: Provability vs. Entailment, G . Frege, 01:59
Re: Can ZFC prove Addition is Associative?, Michael Press, 01:26
Re: Godel again: 'This statement has no proof in any system' T/F, Rupert, 00:57
Re: Godel again: 'This statement has no proof in any system' T/F, Rupert, 00:29

December 17, 2006

Re: Wanted gay boyfriend 17 years old up str/Hr, Arturo Magidin, 23:13
Re: Question about model with most little domain, William Elliot, 22:21
Re: Can ZFC prove Addition is Associative?, MoeBlee, 18:38
Re: Can ZFC prove Addition is Associative?, lugita15, 18:31
Re: Can ZFC prove Addition is Associative?, MoeBlee, 18:20
Re: Can ZFC prove Addition is Associative?, MoeBlee, 18:15
Re: Can ZFC prove Addition is Associative?, MoeBlee, 18:09
Re: Can ZFC prove Addition is Associative?, Virgil, 17:34
Re: Can ZFC prove Addition is Associative?, Virgil, 17:29
Re: What is the cause of motion?, Malrassic Park, 16:53
Re: existentially quantified conditionals at 1st order ?, hagman, 16:16
Re: Godel again: 'This statement has no proof in any system' T/F, abo, 15:48
Re: Godel again: 'This statement has no proof in any system' T/F, abo, 15:29
Re: Can ZFC prove Addition is Associative?, aatu . koskensilta, 15:28
Re: Godel again: 'This statement has no proof in any system' T/F, aatu . koskensilta, 15:20
Re: Godel again: 'This statement has no proof in any system' T/F, abo, 15:11
Re: Why is Cantor a target for cranks?, Daryl McCullough, 15:10
Re: Can ZFC prove Addition is Associative?, abo, 15:03
Re: Can ZFC prove Addition is Associative?, Chris Menzel, 14:47
Re: Why is Cantor a target for cranks?, george, 14:37
Re: Wanted gay boyfriend 17 years old up str/Hr, aatu . koskensilta, 14:31
Re: Wanted gay boyfriend 17 years old up str/Hr, The Ghost In The Machine, 13:30
Re: Question about model with most little domain, aatu . koskensilta, 13:22
Re: Can ZFC prove Addition is Associative?, aatu . koskensilta, 12:58
Re: Godel again: 'This statement has no proof in any system' T/F, lugita15, 12:52
Re: existentially quantified conditionals at 1st order ?, george, 12:37
Re: Godel again: 'This statement has no proof in any system' T/F, aatu . koskensilta, 12:35
Re: Can ZFC prove Addition is Associative?, aatu . koskensilta, 12:31
Re: Provability vs. Entailment, george, 12:26
Wanted gay boyfriend 17 years old up str/Hr, Arturo Magidin, 12:16
Re: Can ZFC prove Addition is Associative?, Mitch, 09:57
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 09:50
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 09:46
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 09:44
Re: Can ZFC prove Addition is Associative?, lugita15, 09:35
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 08:38
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 08:31
Question about model with most little domain, sylsau, 08:13
Re: Provability vs. Entailment, Lash Rambo, 04:26
Re: Can ZFC prove Addition is Associative?, Robert Maas, see http://tinyurl.com/uh3t, 04:05
Re: Can ZFC prove Addition is Associative?, Robert Maas, see http://tinyurl.com/uh3t, 03:38
Re: Can ZFC prove Addition is Associative?, Robert Maas, see http://tinyurl.com/uh3t, 03:15
Re: Can ZFC prove Addition is Associative?, Robert Maas, see http://tinyurl.com/uh3t, 03:05
Re: Provability vs. Entailment, G . Frege, 02:50
Re: Provability vs. Entailment, Lash Rambo, 02:34

December 16, 2006

Re: Can ZFC prove Addition is Associative?, Daryl McCullough, 22:00
Re: Can ZFC prove Addition is Associative?, Herman Rubin, 21:33
The plan to release the book "Concept Algebra", Conbra, 20:02
Looking for Big Cocks, Arturo Magidin, 19:34
Re: Can ZFC prove Addition is Associative?, MoeBlee, 19:30
Re: Can ZFC prove Addition is Associative?, MoeBlee, 19:27
Re: Can ZFC prove Addition is Associative?, MoeBlee, 19:20
Re: Can ZFC prove Addition is Associative?, MoeBlee, 19:07
Re: Cantor's Proof FAQ, Dave Seaman, 18:59
Re: Can ZFC prove Addition is Associative?, MoeBlee, 18:23
Re: Can ZFC prove Addition is Associative?, MoeBlee, 18:20
Re: Can ZFC prove Addition is Associative?, MoeBlee, 18:16
Re: Can ZFC prove Addition is Associative?, MoeBlee, 17:58
Re: Godel again: 'This statement has no proof in any system' T/F, Rupert, 17:56
Re: Godel again: 'This statement has no proof in any system' T/F, Rupert, 17:53
Re: Can ZFC prove Addition is Associative?, Chris Menzel, 17:44
Re: Cantor's Proof FAQ, lugita15, 16:44
Re: Can ZFC prove Addition is Associative?, Chris Menzel, 16:36
Re: Can ZFC prove Addition is Associative?, Virgil, 15:56
Re: Can ZFC prove Addition is Associative?, Virgil, 15:54
Re: Can ZFC prove Addition is Associative?, Virgil, 15:50
Re: Can ZFC prove Addition is Associative?, Virgil, 15:39
Re: Can ZFC prove Addition is Associative?, Virgil, 15:30
Re: Can ZFC prove Addition is Associative?, Virgil, 15:24
Re: Can ZFC prove Addition is Associative?, Virgil, 15:21
Re: existentially quantified conditionals at 1st order ?, george, 14:22
Re: Cantor's Proof FAQ, george, 14:09
Re: Can ZFC prove Addition is Associative?, David C . Ullrich, 13:09
Re: Can ZFC prove Addition is Associative?, Mitch, 10:36
Re: Cantor's Proof FAQ, Newberry, 10:18
Re: Godel again: 'This statement has no proof in any system' T/F, abo, 10:12
Re: Can ZFC prove Addition is Associative?, abo, 09:45
Re: Godel again: 'This statement has no proof in any system' T/F, aatu . koskensilta, 09:41
Re: Godel again: 'This statement has no proof in any system' T/F, William Hughes, 09:37
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 09:34
Re: Can ZFC prove Addition is Associative?, aatu . koskensilta, 09:06
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 09:03
Re: Cantor's Proof FAQ, lugita15, 08:20
Re: Can ZFC prove Addition is Associative?, aatu . koskensilta, 08:06
Re: Can ZFC prove Addition is Associative?, aatu . koskensilta, 07:53
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 07:31
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 07:24
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 07:20
Re: Provability vs. Entailment, Jan Burse, 07:15
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 07:15
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 07:09
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 07:03
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 07:02
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 06:59
Re: Provability vs. Entailment, aatu . koskensilta, 06:40
Re: Can ZFC prove Addition is Associative?, aatu . koskensilta, 06:35
Re: Can ZFC prove Addition is Associative?, aatu . koskensilta, 06:31
Re: Godel again: 'This statement has no proof in any system' T/F, aatu . koskensilta, 06:25
Re: Provability vs. Entailment, wilemien@xxxxxxxxxxxxxx, 06:25
Re: Provability vs. Entailment, aatu . koskensilta, 06:19
Re: Which Makes Most Sense?, Ruud Harmsen, 05:42
Re: Provability vs. Entailment, G . Frege, 05:36
Provability vs. Entailment, Lash Rambo, 02:57
Re: Can ZFC prove Addition is Associative?, Chris Menzel, 01:51
Re: Godel again: 'This statement has no proof in any system' T/F, |-|erc, 00:48
Re: Godel again: 'This statement has no proof in any system' T/F, Rupert, 00:14
Re: Godel again: 'This statement has no proof in any system' T/F, |-|erc, 00:06

December 15, 2006

Re: Cantor's Proof FAQ, |-|erc, 23:47
Re: Which Makes Most Sense?, Peter T. Daniels, 23:31
Re: Cantor's Proof FAQ, Virgil, 23:27
Re: Can ZFC prove Addition is Associative?, Virgil, 23:18
Re: Godel again: 'This statement has no proof in any system' T/F, Rupert, 23:15
Re: Can ZFC prove Addition is Associative?, Virgil, 23:09
Re: Can ZFC prove Addition is Associative?, Virgil, 23:05
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 23:02
Re: Can ZFC prove Addition is Associative?, Virgil, 23:02
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 23:01
Re: Cantor's Proof FAQ, Newberry, 23:01
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 22:59
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 22:58
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 22:57
Re: Can ZFC prove Addition is Associative?, Chip Eastham, 22:56
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 22:51
Re: Can ZFC prove Addition is Associative?, Virgil, 22:48
Re: Can ZFC prove Addition is Associative?, Virgil, 22:45
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 22:44
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 22:44
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 22:41
Re: Cantor's Proof FAQ, |-|erc, 22:36
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 22:35
Godel again: 'This statement has no proof in any system' T/F, |-|erc, 22:34
Re: Cantor's Proof FAQ, Virgil, 22:29
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 22:28
Re: Cantor's Proof FAQ, |-|erc, 22:28
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 21:36
The First 37 Branches of Computer Science Generated by CBL, Charlie-Boo, 21:33
Re: Can ZFC prove Addition is Associative?, G . Frege, 21:32
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 21:25
Re: Can ZFC prove Addition is Associative?, Chris Menzel, 21:24
Re: Can ZFC prove Addition is Associative?, MoeBlee, 21:22
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 21:14
Re: Can ZFC prove Addition is Associative?, Chris Menzel, 21:14
Re: Cantor's Proof FAQ, MoeBlee, 20:56
Re: Proper class.Proper class ?, Keith Ramsay, 20:12
Re: Cantor's Proof FAQ, Newberry, 19:48
Re: Which Makes Most Sense?, Colin Fine, 19:28
Re: Which Makes Most Sense?, Colin Fine, 19:24
Re: Cantor's Proof FAQ, Virgil, 17:53
Re: Which Makes Most Sense?, Barbara Bailey, 16:43
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 16:33
Re: Can ZFC prove Addition is Associative?, Darren, 16:07
Re: Can ZFC prove Addition is Associative?, MoeBlee, 16:02
Re: Can ZFC prove Addition is Associative?, MoeBlee, 15:57
Re: Which Makes Most Sense?, Peter T. Daniels, 15:52
Re: Can ZFC prove Addition is Associative?, lugita15, 15:46
Re: Can ZFC prove Addition is Associative?, lugita15, 15:41
Re: Can ZFC prove Addition is Associative?, lugita15, 15:40
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 15:37
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 15:34
Re: Which Makes Most Sense?, Prisoner at War, 15:30
Re: Which Makes Most Sense?, Prisoner at War, 15:25
Re: Can ZFC prove Addition is Associative?, MoeBlee, 15:21
Re: Can ZFC prove Addition is Associative?, Jesse F. Hughes, 15:18
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 15:17
Re: Which Makes Most Sense?, Barbara Bailey, 15:16
Re: Which Makes Most Sense?, Prisoner at War, 15:16
Re: Can ZFC prove Addition is Associative?, MoeBlee, 15:15
Re: Can ZFC prove Addition is Associative?, Arturo Magidin, 15:13
Re: Which Makes Most Sense?, Peter T. Daniels, 15:13
Re: Can ZFC prove Addition is Associative?, Arturo Magidin, 15:04
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 15:03
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 14:59
Re: Can ZFC prove Addition is Associative?, Arturo Magidin, 14:24
Re: Finding models to a formula, Konrad Viltersten, 14:12
Re: Can ZFC prove Addition is Associative?, Alan Smaill, 14:00
Re: Cantor's Proof FAQ, Arturo Magidin, 13:55
Re: Can ZFC prove Addition is Associative?, MoeBlee, 13:49
Re: existentially quantified conditionals at 1st order ?, Alan Smaill, 13:47
Re: Can ZFC prove Addition is Associative?, MoeBlee, 13:35
Re: Can ZFC prove Addition is Associative?, Michael Stemper, 13:34
Re: Cantor's Proof FAQ, Bob Kolker, 13:34
Re: Can ZFC prove Addition is Associative?, Mitch, 13:22
Re: Can ZFC prove Addition is Associative?, MoeBlee, 13:19
Re: Can ZFC prove Addition is Associative?, MoeBlee, 13:15
Re: Can ZFC prove Addition is Associative?, MoeBlee, 13:11
Re: Can ZFC prove Addition is Associative?, MoeBlee, 13:09
Re: Can ZFC prove Addition is Associative?, Dave Seaman, 12:51
Re: chemistry, Frederick Williams, 12:50
Re: Which Makes Most Sense?, Frederick Williams, 12:49
Re: Synthesis of Mathematics and Religion, CBTuee@xxxxxxxxx, 12:43
Re: Which Makes Most Sense?, Prisoner at War, 12:39
Re: Can ZFC prove Addition is Associative?, CBTuee@xxxxxxxxx, 12:36
Re: Can ZFC prove Addition is Associative?, CBTuee@xxxxxxxxx, 12:33
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 12:32
Re: Can ZFC prove Addition is Associative?, CBTuee@xxxxxxxxx, 12:21
Re: Synthesis of Mathematics and Religion, guenther vonKnakspot, 12:21
Re: Can ZFC prove Addition is Associative?, Arturo Magidin, 12:19
Re: Can ZFC prove Addition is Associative?, CBTuee@xxxxxxxxx, 12:14
Re: Can ZFC prove Addition is Associative?, Dave Seaman, 12:12
Re: Can ZFC prove Addition is Associative?, Arturo Magidin, 12:12
Re: Can ZFC prove Addition is Associative?, Dave L. Renfro, 12:06
Re: Can ZFC prove Addition is Associative?, Dave L. Renfro, 12:05
Re: Can ZFC prove Addition is Associative?, Dave L. Renfro, 12:04
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 12:02
Re: Cantor's Proof FAQ, Arturo Magidin, 11:59
Re: Can ZFC prove Addition is Associative?, CBTuee@xxxxxxxxx, 11:52
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 11:46
Re: Can ZFC prove Addition is Associative?, Herman Rubin, 11:45
Re: Can ZFC prove Addition is Associative?, Dave L. Renfro, 11:43
Re: Synthesis of Mathematics and Religion, Charlie-Boo, 11:39
Re: Can ZFC prove Addition is Associative?, Herman Rubin, 11:33
Re: Synthesis of Mathematics and Religion, guenther vonKnakspot, 11:31
Re: Which Makes Most Sense?, Prisoner at War, 11:31
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 11:26
Re: Can ZFC prove Addition is Associative?, Dave Seaman, 11:20
Re: Which Makes Most Sense?, Prisoner at War, 11:14
chemistry, shamsheramu@xxxxxxxxx, 11:07
Re: Which Makes Most Sense?, Prisoner at War, 11:06
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 11:05
Re: Can ZFC prove Addition is Associative?, Dave Seaman, 10:23
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 10:03
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 10:01
Re: Can ZFC prove Addition is Associative?, Charlie-Boo, 09:55
Re: Can ZFC prove Addition is Associative?, Bob Kolker, 09:50
Re: Can ZFC prove Addition is Associative?, Chip Eastham, 09:48
Re: Synthesis of Mathematics and Religion, Charlie-Boo, 09:37
Re: Can ZFC prove Addition is Associative?, DmitryKovtun, 09:36
Can ZFC prove Addition is Associative?, Charlie-Boo, 09:27
Re: Average vs. Median, Charlie-Boo, 09:06
Re: existentially quantified conditionals at 1st order ?, Alan Smaill, 07:12
Re: Cantor's Proof FAQ, lugita15, 06:36
Re: Cantor's Proof FAQ, lugita15, 06:33
Re: Cantor's Proof FAQ, lugita15, 06:30
Re: Cantor's Proof FAQ, |-|erc, 04:08
Re: Cantor's Proof FAQ, Virgil, 03:33
Re: Cantor's Proof FAQ, |-|erc, 02:45
Re: Cantor's Proof FAQ, Virgil, 01:40
Re: incompleteness and inconsistency, Nam Nguyen, 01:37
Re: incompleteness and inconsistency, Nam Nguyen, 00:45

December 14, 2006

Re: Cantor's Proof FAQ, Newberry, 22:41
Re: Cantor's Proof FAQ, |-|erc, 21:27
Re: Which Makes Most Sense?, Peacenik, 21:19
Re: Finding models to a formula, William Elliot, 20:47
Cantor's Proof FAQ, lugita15, 17:33
Re: Which Makes Most Sense?, Flying Tortoise, 15:42
Finding models to a formula, Konrad Viltersten, 14:48
Re: Which Makes Most Sense?, Herman Rubin, 14:00
existentially quantified conditionals at 1st order ?, george, 13:41
Re: the error in Godels proof, R. Srinivasan, 11:37
Re: Which Makes Most Sense?, Colin Fine, 10:41
Which Makes Most Sense?, Prisoner at War, 10:00
Re: the error in Godels proof, Daryl McCullough, 09:30
Re: the error in Godels proof, Daryl McCullough, 08:26
Re: the error in Godels proof, lugita15, 06:19
Re: the error in Godels proof, R. Srinivasan, 02:20
Re: the error in Godels proof, Rupert, 02:10
Re: Small automated theorem proving problem, Lash Rambo, 00:43

December 13, 2006

Re: Synthesis of Mathematics and Religion, Mike, 21:20
Re: the error in Godels proof, herbzet, 20:16
Re: the error in Godels proof, herbzet, 20:13
Re: the error in Godels proof, herbzet, 20:11
Re: the error in Godels proof, herbzet, 20:11
Synthesis of Mathematics and Religion, Charlie-Boo, 15:03
Re: the error in Godels proof, george, 09:33
Re: Small automated theorem proving problem, george, 09:25
Re: How to prove (Ax)(Fx & Gx) <--> ~(Ex) (Fx -> ~Gx) ?, wilemien@xxxxxxxxxxxxxx, 09:13
Re: Proving "a OR !a", wilemien@xxxxxxxxxxxxxx, 08:59
Re: the error in Godels proof, Rupert, 06:55
biotechnology, rushieswar, 01:34
biotechnology, rushieswar, 01:33
biotechnology, rushieswar, 01:33
biotechnology, rushieswar, 01:32
Re: Is Richard Dawkins gay?, George Dance, 00:04

December 12, 2006

Re: the error in Godels proof, Chris Menzel, 22:16
Re: What is the cause of motion?, Immortalist, 21:05
Re: the error in Godels proof, Rupert, 20:06
Re: the error in Godels proof, Chris Menzel, 19:11
Re: the error in Godels proof, lugita15, 18:09
Re: the error in Godels proof, Jacko, 17:01
Re: the error in Godels proof, Rupert, 16:46
Re: the error in Godels proof, Rupert, 16:42
Re: Small automated theorem proving problem, Lash Rambo, 16:06
Re: the error in Godels proof, Chris Menzel, 14:40
Re: the error in Godels proof, aatu . koskensilta, 12:07
Re: the error in Godels proof, Daryl McCullough, 09:46
Re: the error in Godels proof, george, 09:34
Re: the error in Godels proof, george, 09:29
Re: the error in Godels proof, Aatu Koskensilta, 08:32
Re: the error in Godels proof, george, 08:12
Re: the error in Godels proof, Chris Menzel, 07:19
Re: the error in Godels proof, Daryl McCullough, 07:06
Re: the error in Godels proof, Chris Menzel, 07:06
Re: the error in Godels proof, Daryl McCullough, 07:03
Re: the error in Godels proof, Daryl McCullough, 06:55
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, David C . Ullrich, 06:47
Re: incompleteness and inconsistency, lugita15, 06:35
Re: the error in Godels proof, Nam Nguyen, 02:57
Re: the error in Godels proof, Nam Nguyen, 02:22
Re: incompleteness and inconsistency, Nam Nguyen, 00:01

December 11, 2006

Re: the error in Godels proof, Rupert, 22:30
Re: the error in Godels proof, Aatu Koskensilta, 22:12
Re: the error in Godels proof, Rupert, 21:58
Re: the error in Godels proof, Rupert, 21:56
Re: the error in Godels proof, Chris Menzel, 21:07
Re: Small automated theorem proving problem, george, 20:36
Re: the error in Godels proof, herbzet, 20:08
Re: the error in Godels proof, herbzet, 20:07
Re: How to prove (Ax)(Fx & Gx) <--> ~(Ex) (Fx -> ~Gx) ?, Peter_Smith, 19:15
Re: Small automated theorem proving problem, Markus Triska, 18:10
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, abo, 17:13
Re: Small automated theorem proving problem, Lash Rambo, 16:58
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, LauLuna, 16:23
Re: AXIOM., John Jones, 14:58
Re: What is the model for this information, John Jones, 14:48
Re: Proving "a OR !a", Jan Burse, 14:38
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, abo, 14:37
Re: inference rules for predicate logic, Jan Burse, 14:05
Re: Proving "a OR !a", Konrad Viltersten, 13:13
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, LauLuna, 12:50
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, LauLuna, 12:06
Re: AXIOM., R. Srinivasan, 11:23
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, David C . Ullrich, 11:08
Re: inference rules for predicate logic, Peter_Smith, 07:47
Proving "a OR !a", Konrad Viltersten, 07:27
Re: Proving "a OR !a", translogi@xxxxxxxxxxxxxx, 07:26
Re: What is the model for this information, Konrad Viltersten, 07:24
How to prove (Ax)(Fx & Gx) <--> ~(Ex) (Fx -> ~Gx) ?, translogi@xxxxxxxxxxxxxx, 07:24
Re: inference rules for predicate logic, translogi@xxxxxxxxxxxxxx, 07:08
Re: Attention, Charlie-Boo, Aatu Koskensilta, 07:05
Re: What is the model for this information, William Elliot, 06:07
Re: What is the model for this information, William Elliot, 04:37
Re: he catalogue of Concept Algebra is releases, William Elliot, 04:27
he catalogue of Concept Algebra is releases, Conbra, 03:13
فضيحة ام مشاري بالنسيم((بالصور)) والي يعرفها لا يستر عليها, هنادي, 03:13
Re: What is the model for this information, Konrad Viltersten, 00:31
Re: What is the model for this information, Konrad Viltersten, 00:23

December 10, 2006

Re: axioms of mathematical logic, Keith Ramsay, 23:42
Re: the error in Godels proof, Rupert, 21:44
Re: Small automated theorem proving problem, george, 21:36
Re: Small automated theorem proving problem, george, 21:24
Re: the error in Godels proof, Newberry, 20:31
Re: axioms of mathematical logic, Keith Ramsay, 19:57
Re: Small automated theorem proving problem, Lash Rambo, 19:37
Re: What is the model for this information, John Jones, 19:16
Re: incompleteness and inconsistency, lugita15, 19:11
Re: AXIOM., William Elliot, 18:59
Re: What is the model for this information, William Elliot, 18:53
Re: Small automated theorem proving problem, Markus Triska, 18:22
AXIOM., John Jones, 17:54
Re: incompleteness and inconsistency, Rupert, 16:57
Re: Small automated theorem proving problem, george, 16:50
Re: Small automated theorem proving problem, george, 16:47
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, abo, 16:31
Re: Proper class.Proper class ?, george, 16:17
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, LauLuna, 15:55
Re: the error in Godels proof, Chris Menzel, 15:05
Re: Absolutely undecidable statements, Aatu Koskensilta, 14:32
Re: the error in Godels proof, Chris Menzel, 13:10
Re: Attention, Charlie-Boo, Chris Menzel, 12:50
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, LauLuna, 11:56
What is the model for this information, Konrad Viltersten, 11:56
Re: the error in Godels proof, Aatu Koskensilta, 11:41
Re: the error in Godels proof, Newberry, 11:29
Re: incompleteness and inconsistency, lugita15, 09:35
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, abo, 09:34
Re: the error in Godels proof, Aatu Koskensilta, 09:02
Re: the error in Godels proof, Daryl McCullough, 08:15
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, David C . Ullrich, 08:04
Re: axioms of mathematical logic, David C . Ullrich, 08:01
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, LauLuna, 06:43
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, LauLuna, 06:15
Re: the error in Godels proof, Rupert, 04:50
Re: incompleteness and inconsistency, Rupert, 04:46
Re: the error in Godels proof, herbzet, 02:08
Re: the error in Godels proof, herbzet, 02:07
Re: Attention, Charlie-Boo, herbzet, 02:07
Re: the error in Godels proof, Newberry, 01:31
Re: The foreword of book "Concept Algebra" has been released, Conbra, 00:59

December 09, 2006

Re: incompleteness and inconsistency, lugita15, 22:04
Re: Cut elimination ....thanks guys!, Aatu Koskensilta, 20:05
Re: The foreword of book "Concept Algebra" has been released, Conbra, 19:47
Re: The foreword of book "Concept Algebra" has been released, Conbra, 19:37
Re: incompleteness and inconsistency, Rupert, 19:22
Re: inference rules for predicate logic, Peter_Smith, 17:46
Re: Cut elimination ....thanks guys!, Peter_Smith, 16:52
Re: incompleteness and inconsistency, lugita15, 16:47
Re: Average vs. Median, Lash Rambo, 16:42
Re: Small automated theorem proving problem, Lash Rambo, 15:42
Re: Small automated theorem proving problem, Lash Rambo, 15:35
Re: the error in Godels proof, Chris Menzel, 15:26
Re: Attention, Charlie-Boo, Chris Menzel, 14:45
Re: Axiom of Infinity, apoorv, 14:19
Re: Average vs. Median, Roger, 13:34
Re: inference rules for predicate logic, Jan Burse, 11:55
Re: inference rules for predicate logic, Jan Burse, 11:46
Re: incompleteness and inconsistency, Nam Nguyen, 11:34
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, abo, 09:40
Re: incompleteness and inconsistency, lugita15, 09:34
Re: how technical is Einstein's book on relativity?, lugita15, 09:09
Re: Cut elimination, lugita15, 09:00
Re: inference rules for predicate logic, lugita15, 08:45
Re: inference rules for predicate logic, Jan Burse, 08:19
Re: inference rules for predicate logic, Jan Burse, 08:15
inference rules for predicate logic, translogi@xxxxxxxxxxxxxx, 08:03
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, LauLuna, 07:20
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, LauLuna, 07:16
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, LauLuna, 07:09
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, LauLuna, 07:08
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, LauLuna, 06:25
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, LauLuna, 06:16
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, LauLuna, 06:13
Re: Cut elimination, Jan Burse, 05:43
Re: Cut elimination, Aatu Koskensilta, 05:29
Re: Proper class.Proper class ?, Keith Ramsay, 02:47
Re: the error in Godels proof, Nam Nguyen, 01:44
Re: incompleteness and inconsistency, Nam Nguyen, 00:22

December 08, 2006

Re: Axiom of Infinity, William Elliot, 22:13
Re: Attention, Charlie-Boo, herbzet, 21:34
Re: Attention, Charlie-Boo, herbzet, 21:13
Re: Attention, Charlie-Boo, herbzet, 21:13
Re: the error in Godels proof, herbzet, 21:12
Re: The foreword of book "Concept Algebra" has been released, Jan Burse, 20:59
Re: The foreword of book "Concept Algebra" has been released, Jan Burse, 20:55
Re: Newbie help: Hintikka's lemma., Dominc Mulligan, 19:37
Re: Cut elimination, Peter_Smith, 19:08
Re: Cut elimination, Jan Burse, 18:55
Re: The foreword of book "Concept Algebra" has been released, Jan Burse, 18:35
Re: Cut elimination, Frederick Williams, 18:29
Re: Small automated theorem proving problem, Jonathan Hoyle, 17:48
Re: Small automated theorem proving problem, george, 16:48
Re: Small automated theorem proving problem, george, 16:34
Re: Small automated theorem proving problem, george, 15:59
Re: Small automated theorem proving problem, george, 15:54
Re: Small automated theorem proving problem, george, 15:45
Re: Newbie help: Hintikka's lemma., Peter_Smith, 15:43
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, Charlie-Boo, 15:33
The foreword of book "Concept Algebra" has been released, Conbra, 15:24
Re: incompleteness and inconsistency, lugita15, 15:21
Re: Cut elimination, Charlie-Boo, 15:19
Re: Rice to Set Theory: No Universal Set, no Russell Set (and others), Charlie-Boo, 15:15
Cut elimination, Peter_Smith, 15:12
Cut elimination, Peter_Smith, 15:11
Re: Attention, Charlie-Boo, Peter_Smith, 14:51
Re: Newbie help: Hintikka's lemma., Peter_Smith, 14:43
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, Grouchy, 13:16
Re: The foreword of book "Concept Algebra" has been released, Jan Burse, 12:35
Re: The foreword of book "Concept Algebra" has been released, Jan Burse, 12:27
Re: Rice to Set Theory: No Universal Set, no Russell Set (and others), chauhdary . engg87, 11:30
Newbie help: Hintikka's lemma., dpm_edinburgh, 11:06
Re: axioms of mathematical logic, Frederick Williams, 11:01
Re: axioms of mathematical logic, Charlie-Boo, 09:41
Rice to Set Theory: No Universal Set, no Russell Set (and others), Charlie-Boo, 09:29
Re: axioms of mathematical logic, David C . Ullrich, 09:09
Re: Axiom of Infinity, apoorv, 07:18
Re: Small automated theorem proving problem, sanderbruggink, 05:14
Re: The foreword of book "Concept Algebra" has been released, Conbra, 02:11
Re: Axiom of Infinity, William Elliot, 01:50
Re: Axiom of Infinity, apoorv, 01:42
Re: incompleteness and inconsistency, Nam Nguyen, 01:14

December 07, 2006

Re: the error in Godels proof, Rupert, 22:25
Re: Average vs. Median, Charlie-Boo, 22:09
Re: The foreword of book "Concept Algebra" has been released, Charlie-Boo, 21:55
Re: The foreword of book "Concept Algebra" has been released, Charlie-Boo, 21:44
Re: incompleteness and inconsistency, Rupert, 19:44
Re: The foreword of book "Concept Algebra" has been released, Conbra, 19:14
Re: The foreword of book "Concept Algebra" has been released, Conbra, 19:05
Re: The foreword of book "Concept Algebra" has been released, Conbra, 18:53
Re: Small automated theorem proving problem, Lash Rambo, 17:00
Average vs. Median, Roger, 16:44
Re: Small automated theorem proving problem, Lash Rambo, 16:34
Re: The foreword of book "Concept Algebra" has been released, Jan Burse, 15:57
Re: incompleteness and inconsistency, lugita15, 15:07
Re: The foreword of book "Concept Algebra" has been released, Charlie-Boo, 14:34
Re: axioms of mathematical logic, MoeBlee, 14:20
Re: Attention, Charlie-Boo, Charlie-Boo, 14:15
Re: axioms of mathematical logic, Charlie-Boo, 14:09
Re: axioms of mathematical logic, MoeBlee, 12:48
Re: Small automated theorem proving problem, Charlie-Boo, 09:04
Re: Small automated theorem proving problem, Alan Smaill, 06:53
Re: The foreword of book "Concept Algebra" has been released, Nimish Shah, 06:48
The foreword of book "Concept Algebra" has been released, Conbra, 02:43
Re: Small automated theorem proving problem, Lash Rambo, 02:05
The foreword of book "Concept Algebra" has been released, Conbra, 01:47
Re: the error in Godels proof, Nam Nguyen, 01:20
Re: the error in Godels proof, herbzet, 00:55
Re: the error in Godels proof, herbzet, 00:55
Re: Attention, Charlie-Boo, herbzet, 00:54
Re: incompleteness and inconsistency, Nam Nguyen, 00:26
Re: incompleteness and inconsistency, Rupert, 00:11
Re: Axiom of Infinity, William Elliot, 00:07
Re: incompleteness and inconsistency, Nam Nguyen, 00:05

December 06, 2006

Re: Undecidability for every sound theory., Rupert, 22:32
Re: incompleteness and inconsistency, Rupert, 22:31
Re: axioms of mathematical logic, Charlie-Boo, 21:15
Re: axioms of mathematical logic, MoeBlee, 21:07
Re: axioms of mathematical logic, MoeBlee, 21:05
Re: Undecidability for every sound theory., lugita15, 20:37
Re: incompleteness and inconsistency, lugita15, 20:25
Re: incompleteness and inconsistency, lugita15, 20:25
Re: incompleteness and inconsistency, lugita15, 20:25
Re: Small automated theorem proving problem, Charlie-Boo, 20:16
Re: axioms of mathematical logic, Charlie-Boo, 19:59
Re: incompleteness and inconsistency, Rupert, 19:11
Re: Undecidability for every sound theory., Rupert, 19:09
Re: Undecidability for every sound theory., Stephen Harris, 18:53
Re: incompleteness and inconsistency, lugita15, 17:21
Re: Undecidability for every sound theory., Rupert, 17:02
Re: Small automated theorem proving problem, Lash Rambo, 16:11
Re: Undecidability for every sound theory., lugita15, 16:09
Re: axioms of mathematical logic, Chris Menzel, 13:12
Re: axioms of mathematical logic, MoeBlee, 12:55
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, Charlie-Boo, 12:31
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, Charlie-Boo, 12:20
Re: Small automated theorem proving problem, george, 12:08
Axiom of Infinity, apoorv, 12:07
Re: Attention, Charlie-Boo, Charlie-Boo, 12:04
Re: axioms of mathematical logic, Charlie-Boo, 11:45
Re: axioms of mathematical logic, David C . Ullrich, 09:16
Re: Undecidability for every sound theory., Stephen Harris, 07:06
Re: the error in Godels proof, Daryl McCullough, 07:04
Re: Undecidability for every sound theory., Stephen Harris, 06:50
Re: the error in Godels proof, Denis Feldmann, 05:16
Small automated theorem proving problem, Lash Rambo, 04:56
Re: Undecidability for every sound theory., Rupert, 04:28
Re: Undecidability for every sound theory., Stephen Harris, 03:47
Re: the error in Godels proof, herbzet, 03:36
Re: Undecidability for every sound theory., Stephen Harris, 03:29
Re: the error in Godels proof, herbzet, 03:23
Attention, Charlie-Boo, herbzet, 03:22
Re: Undecidability for every sound theory., Rupert, 03:22
Re: Undecidability for every sound theory., Stephen Harris, 03:03

December 05, 2006

Re: Is FLT in the language of PA?, Daryl McCullough, 23:34
Re: Undecidability for every sound theory., Atreides, 23:22
Re: incompleteness and inconsistency, Rupert, 18:48
Re: Undecidability for every sound theory., lugita15, 18:39
Re: incompleteness and inconsistency, lugita15, 18:29
Re: Is FLT in the language of PA?, Rupert, 18:12
Re: axioms of mathematical logic, Charlie-Boo, 17:42
Re: Turing vs. Godel (Newbie Question), Charlie-Boo, 17:37
Re: incompleteness and inconsistency, Rupert, 16:17
Undecidability for every sound theory., Atreides, 15:10
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, abo, 14:21
Re: incompleteness and inconsistency, lugita15, 13:43
Re: incompleteness and inconsistency, lugita15, 13:32
Re: the error in Godels proof, Gc, 13:06
Re: Is FLT in the language of PA?, george, 11:25
Nomenclature and Terminology - Inertial movement, vlcek, 08:36
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, David C . Ullrich, 08:11
Re: the error in Godels proof, Aatu Koskensilta, 05:44
Re: the error in Godels proof, Lee Rudolph, 05:12
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, abo, 01:29
Re: incompleteness and inconsistency, Rupert, 01:14
Re: incompleteness and inconsistency, Rupert, 01:13

December 04, 2006

Re: Frege's axioms - any answers?, William Elliot, 23:09
Re: the error in Godels proof, MoeBlee, 23:08
Re: the error in Godels proof, |-|erc, 23:06
Re: incompleteness and inconsistency, Nam Nguyen, 22:50
Re: the error in Godels proof, Newberry, 22:49
Re: incompleteness and inconsistency, Nam Nguyen, 22:41
Re: incompleteness and inconsistency, Rupert, 22:26
Re: incompleteness and inconsistency, Rupert, 22:25
Re: incompleteness and inconsistency, Nam Nguyen, 22:25
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, LauLuna, 19:12
Re: Frege's axioms - any answers?, Paul Holbach, 18:18
Re: Incompatibility of Computationalism and Consistent Bivalent Logic, abo, 16:14
Incompatibility of Computationalism and Consistent Bivalent Logic, LauLuna, 12:52
Re: the error in Godels proof, george, 12:09
Re: incompleteness and inconsistency, lugita15, 12:01
Re: the error in Godels proof, lugita15, 11:49
Frege's axioms - any answers?, monibeam, 11:25
Re: the error in Godels proof, Felix Rawlings, 10:59
Re: the error in Godels proof, George Dance, 09:08
Re: the error in Godels proof, George Dance, 08:59
Re: Turing vs. Godel (Newbie Question), Alan Smaill, 06:12
Re: the error in Godels proof, Aatu Koskensilta, 05:44
Re: the error in Godels proof, Lee Rudolph, 05:23
Have physicists found the God?, socratus, 04:10
Re: the error in Godels proof, Aatu Koskensilta, 03:33
Re: the error in Godels proof, Proginoskes, 03:13
Re: the error in Godels proof, |-|erc, 02:09
Re: the error in Godels proof, |-|erc, 01:56

December 03, 2006

Re: the error in Godels proof, Proginoskes, 21:03
Re: the error in Godels proof, Bob Kolker, 19:46
Re: the error in Godels proof, |-|erc, 19:41
Re: the error in Godels proof, Newberry, 17:21
Re: the error in Godels proof, george, 14:51
Re: the error in Godels proof, Gc, 14:30
Re: the error in Godels proof, David Marcus, 12:42
Re: the error in Godels proof, Rupert, 05:21
Re: the error in Godels proof, Ross A. Finlayson, 05:03
Re: the error in Godels proof, |-|erc, 05:01
Re: the error in Godels proof, |-|erc, 04:59
Re: the error in Godels proof, Rupert, 04:45
Re: the error in Godels proof, David Bernier, 04:24
Re: the error in Godels proof, |-|erc, 04:03
Re: the error in Godels proof, |-|erc, 03:58
Re: the error in Godels proof, Rupert, 03:20
Re: the error in Godels proof, Proginoskes, 02:10
Re: the error in Godels proof, David Marcus, 01:56
the error in Godels proof, |-|erc, 01:42

December 02, 2006

Re: The Hero's Journey (Plotting) Along 12 Steps, Immortalist, 14:38
Re: The Hero's Journey (Plotting) Along 12 Steps, Immortalist, 14:36
Re: request for help, abo, 13:13
Re: The Hero's Journey (Plotting) Along 12 Steps, Tron, 08:32
Re: The Hero's Journey (Plotting) Along 12 Steps, Mark D J., 00:10

December 01, 2006

Re: Turing vs. Godel (Newbie Question), Charlie-Boo, 17:09
Re: Proper class.Proper class ?, george, 16:46
The Hero's Journey (Plotting) Along 12 Steps, Immortalist, 13:06
Re: Turing vs. Godel (Newbie Question), Alan Smaill, 06:34
Re: axioms of mathematical logic, David C . Ullrich, 06:23
Re: axioms of mathematical logic, David C . Ullrich, 06:21
Re: axioms of mathematical logic, David C . Ullrich, 06:17
request for help, Saurav, 04:16

November 30, 2006

Re: incompleteness and inconsistency, Nam Nguyen, 23:32
Re: Simple way to multiply big numbers (video), William Elliot, 23:02
[FAQ, 99/07/28] Mathematical logic on the web, Boris 'pi' Piwinger, 20:03
Re: axioms of mathematical logic, Chris Menzel, 13:56