sci.logic (date)

sci.logic (date)

[Thread Index] [Top] [All Lists]

May 30, 2006

Re: proof of undecidability of halting problem, David C . Ullrich, 07:02
Q: Constants and variables in models, un student, 05:39
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 04:53
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 04:43

May 29, 2006

Re: Third new law from the premises of syllogism, William Elliot, 22:51
Re: proof of undecidability of halting problem, MoeBlee, 22:29
Re: proof of undecidability of halting problem, Charlie-Boo, 22:29
Re: proof of undecidability of halting problem, MoeBlee, 22:10
Re: proof of undecidability of halting problem, Charlie-Boo, 21:51
Grammar based on lambda calculus, ernobe, 21:49
Re: proof of undecidability of halting problem, Charlie-Boo, 21:44
Third new law from the premises of syllogism, Conbra, 19:03
Re: Axioms of Boolean Algebra got from Concept Algebra, george, 18:03
Re: NEW ARGUMENT AGAINST STRONG AI. A CHALLENGE, abo, 14:19
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 13:03
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 12:51
Re: Vague or Ambiguous?, John Jones, 12:42
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 12:28
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 12:21
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 12:06
Re: Vague or Ambiguous?, H. J. Sander Bruggink, 10:21
Re: Vague or Ambiguous?, tjb, 09:30
Re: Vagueness Again, John Jones, 08:36
Re: Closing the antecedent, William Elliot, 07:48
Re: Closing the antecedent, John Jones, 07:27
Is this right? (New model from old...), David C . Ullrich, 07:11
NEW ARGUMENT AGAINST STRONG AI. A CHALLENGE, LauLuna, 06:42
Re: FO logic without equality, David C . Ullrich, 06:35
Re: Closing the antecedent, William Elliot, 06:34
Re: Closing the antecedent, John Jones, 04:51
Re: Axioms of Boolean Algebra got from Concept Algebra, george, 00:31
Re: Axioms of Boolean Algebra got from Concept Algebra, george, 00:07
Re: Axioms of Boolean Algebra got from Concept Algebra, Nam Nguyen, 00:05

May 28, 2006

Re: Axioms of Boolean Algebra got from Concept Algebra, Nam Nguyen, 23:58
Re: Vagueness Again, William Elliot, 22:29
Re: Integer Part (Floor) of Complex Number is A Real Number !!!!!!!!!!!, William Elliot, 22:23
Re: Discussion Relationship among Concept Algebra, Set Algebra and Logic Algebra, William Elliot, 22:21
Re: Closing the antecedent, William Elliot, 22:16
Re: FO logic without equality, Li Yi, 20:54
Re: FO logic without equality, Li Yi, 20:33
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 18:47
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 18:26
Closing the antecedent, John Jones, 18:21
Re: Axioms of Boolean Algebra got from Concept Algebra, george, 18:10
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 18:05
Re: FO logic without equality, george, 17:54
Re: Vague or Ambiguous?, Paul Holbach, 17:48
Re: FO logic without equality, george, 17:44
Re: Vague or Ambiguous?, tjb, 15:21
Re: Vague or Ambiguous?, Paul Holbach, 15:06
Re: Vague or Ambiguous?, Paul Holbach, 14:59
Re: Vague or Ambiguous?, tjb, 13:57
Vagueness Again, tjb, 13:40
Integer Part (Floor) of Complex Number is A Real Number !!!!!!!!!!!, Mohamed Al-Dabbagh, 11:26
Re: Axioms of Boolean Algebra got from Concept Algebra, george, 11:16
Re: FO logic without equality, David C . Ullrich, 09:36
Re: FO logic without equality, David C . Ullrich, 09:33
Re: Discussion Relationship among Concept Algebra, Set Algebra and Logic Algebra, Conbra, 09:32
Re: Vague or Ambiguous?, Peter Webb, 08:13
Re: Vague or Ambiguous?, William Elliot, 08:09
Re: Axioms of Boolean Algebra got from Concept Algebra, Bertie Reed, 07:48
Re: Axioms of Boolean Algebra got from Concept Algebra, Bertie Reed, 07:47
Re: Axioms of Boolean Algebra got from Concept Algebra, Bertie Reed, 07:38
Re: Axioms of Boolean Algebra got from Concept Algebra, Bertie Reed, 07:28
Re: Axioms of Boolean Algebra got from Concept Algebra, Bertie Reed, 07:24
Vague or Ambiguous?, tjb, 07:21
Re: Discussion Relationship among Concept Algebra, Set Algebra and Logic Algebra, William Elliot, 05:06
Re: Discussion Relationship among Concept Algebra, Set Algebra and Logic Algebra, Conbra, 04:40
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 04:38
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 04:14
Re: Axioms of Boolean Algebra got from Concept Algebra, Conbra, 04:10
Re: Why? [was Re: Cantor`s powerset theorem is false?], apoorv, 03:51
Re: Discussion Relationship among Concept Algebra, Set Algebra and Logic Algebra, William Elliot, 03:10
Discussion Relationship among Concept Algebra, Set Algebra and Logic Algebra, Conbra, 01:51

May 27, 2006

Re: Axioms of Boolean Algebra got from Concept Algebra, george, 23:27
Re: Axioms of Boolean Algebra got from Concept Algebra, george, 23:19
Re: Axioms of Boolean Algebra got from Concept Algebra, george, 23:10
Re: Axioms of Boolean Algebra got from Concept Algebra, george, 23:08
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 21:31
Re: Why?, MoeBlee, 21:21
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 20:55
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 20:53
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 20:49
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 20:43
Re: Axioms of Boolean Algebra got from Concept Algebra, george, 20:29
Re: FO logic without equality, Li Yi, 20:04
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 18:57
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 18:35
Re: Axioms of Boolean Algebra got from Concept Algebra, Barb Knox, 18:15
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 17:51
Re: Why? [was Re: Cantor`s powerset theorem is false?], Patrick, 16:47
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 15:56
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 15:49
Re: Why? [was Re: Cantor`s powerset theorem is false?], Jan Burse, 15:18
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 14:28
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 14:23
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 14:10
Re: Axioms of Boolean Algebra got from Concept Algebra, george, 13:24
Re: Why? [was Re: Cantor`s powerset theorem is false?], george, 13:15
Re: Why? [was Re: Cantor`s powerset theorem is false?], george, 13:10
Re: Why? [was Re: Cantor`s powerset theorem is false?], Paul Holbach, 11:03
Re: FO logic without equality, george, 10:36
Re: FO logic without equality, Li Yi, 08:31
Re: I need help understanding an example in Marker, Bertie Reed, 03:45
Re: Why? [was Re: Cantor`s powerset theorem is false?], apoorv, 02:59
Re: Why? [was Re: Cantor`s powerset theorem is false?], apoorv, 02:33

May 26, 2006

Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 17:56
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 17:53
Re: Why? [was Re: Cantor`s powerset theorem is false?], Russell Easterly, 17:23
Re: Why? [was Re: Cantor`s powerset theorem is false?], Ross A. Finlayson, 15:38
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 13:09
Re: FO logic without equality, David C . Ullrich, 07:36
Re: proof of undecidability of halting problem, David C . Ullrich, 07:29
Re: Why? [was Re: Cantor`s powerset theorem is false?], William of Ockham, 06:54
Re: I need help understanding an example in Marker, Achim Blumensath, 02:32
Re: Positive + Negative = Zero. ON + OFF = ?, Michael J�rgensen, 02:29
Re: Why? [was Re: Cantor`s powerset theorem is false?], William of Ockham, 02:26
Re: Why?, William of Ockham, 02:21
Re: Why?, William of Ockham, 02:21
Re: Torkel Franzén is dead, R. Srinivasan, 02:13
Re: Why? [was Re: Cantor`s powerset theorem is false?], Daryl McCullough, 01:03
Re: Why? [was Re: Cantor`s powerset theorem is false?], Barb Knox, 00:49
Re: Why? [was Re: Cantor`s powerset theorem is false?], Daryl McCullough, 00:28
Re: Why? [was Re: Cantor`s powerset theorem is false?], Newberry, 00:16

May 25, 2006

Re: Why? [was Re: Cantor`s powerset theorem is false?], Newberry, 23:49
Re: How do you set this thing?, Newberry, 23:39
Re: Can you please answer this?, Newberry, 23:38
FO logic without equality, Li Yi, 22:03
Discussion of the Operations on Concept Algebra, Set Algebra and Logic Algebra, Conbra, 21:16
Re: proof of undecidability of halting problem, MoeBlee, 20:53
Re: Validity in domains of a fixed cardinality, Pietro, 20:45
Re: proof of undecidability of halting problem, Charlie-Boo, 20:30
Re: Torkel Franzén is dead, MoeBlee, 20:22
Re: Torkel Franzén is dead, MoeBlee, 20:06
Re: Torkel Franzén is dead, Charlie-Boo, 20:00
Re: Torkel Franzén is dead, Charlie-Boo, 19:54
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 19:22
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 19:09
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 18:57
Re: Axioms of Boolean Algebra got from Concept Algebra, george, 18:49
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 18:47
Re: Axioms of Boolean Algebra got from Concept Algebra, Conbra, 17:49
Re: Why?, Daryl McCullough, 16:15
Re: Why?, MoeBlee, 16:04
Re: Why?, david petry, 16:02
Re: Why?, Daryl McCullough, 16:01
Re: Why?, Daryl McCullough, 15:58
Re: Why?, david petry, 15:52
Re: Why?, MoeBlee, 15:42
Re: Why?, MoeBlee, 15:32
Re: Why?, david petry, 15:13
Re: Why?, david petry, 15:11
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 14:55
Re: Why? [was Re: Cantor`s powerset theorem is false?], Patrick, 14:26
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 13:33
Re: Why? [was Re: Cantor`s powerset theorem is false?], george, 12:31
Re: Why? [was Re: Cantor`s powerset theorem is false?], george, 12:27
Re: Validity in domains of a fixed cardinality, Michael De, 12:21
Re: Axioms of Boolean Algebra got from Concept Algebra, george, 12:11
Re: Validity in domains of a fixed cardinality, Michael De, 12:07
Re: Why? [was Re: Cantor`s powerset theorem is false?], Daryl McCullough, 10:59
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 09:53
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 09:52
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 09:50
I need help understanding an example in Marker, blakman211, 09:37
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 09:35
Re: Why? [was Re: Cantor`s powerset theorem is false?], Patricia Shanahan, 09:04
Re: Your opinions, William Elliot, 08:29
Re: Axioms of Boolean Algebra got from Concept Algebra, William Elliot, 08:08
Re: Axioms of Boolean Algebra got from Concept Algebra, george, 07:53
Re: proof of undecidability of halting problem, Aatu Koskensilta, 07:41
Re: Validity in domains of a fixed cardinality, Aatu Koskensilta, 07:34
Re: Your opinions, Aatu Koskensilta, 07:30
Re: Validity in domains of a fixed cardinality, David C . Ullrich, 07:10
Re: Can you please answer this?, makc . the . great, 06:56
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 06:40
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 06:36
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 06:32
Re: Axioms of Boolean Algebra got from Concept Algebra, Conbra, 05:27
Re: Can you please answer this?, SAMVIT, 05:14
Re: Axioms of Boolean Algebra got from Concept Algebra, Conbra, 05:13
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 05:02
Re: Axioms of Boolean Algebra got from Concept Algebra, Conbra, 04:57
Re: Can you please answer this?, Barb Knox, 04:48
Discussion of first new law from the premises of syllogism, Conbra, 04:47
Re: Validity in domains of a fixed cardinality, Pietro, 04:42
Re: Can you please answer this?, SAMVIT, 03:36
Re: Axioms of Boolean Algebra got from Concept Algebra, Bertie Reed, 03:26
Re: society is a machine, people are robots, mikegordge, 03:14
Re: Why? [was Re: Cantor`s powerset theorem is false?], apoorv, 03:14
Re: Can you please answer this?, rtonyreeder, 03:00
Re: Why? [was Re: Cantor`s powerset theorem is false?], apoorv, 02:25
Validity in domains of a fixed cardinality, mordov, 02:11
Can you please answer this?, samvit . iit . kgp, 01:40
Re: Why?, Daryl McCullough, 01:30
Re: Why?, Daryl McCullough, 01:27
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 01:26
Re: Why?, MoeBlee, 01:14
Re: Axioms of Boolean Algebra got from Concept Algebra, Nam Nguyen, 01:07
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 00:59
Re: Axioms of Boolean Algebra got from Concept Algebra, Nam Nguyen, 00:58
Re: Why?, abo, 00:58
Re: Axioms of Boolean Algebra got from Concept Algebra, Nam Nguyen, 00:54
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 00:50
Re: society is a machine, people are robots, Brian Fletcher, 00:15

May 24, 2006

Re: Why?, Daryl McCullough, 23:58
Re: Why?, Daryl McCullough, 23:52
Re: Why? [was Re: Cantor`s powerset theorem is false?], Newberry, 23:44
Re: How do you set this thing?, William Elliot, 23:38
Re: Why? [was Re: Cantor`s powerset theorem is false?], Newberry, 23:37
Re: Why?, david petry, 23:35
Re: Why?, david petry, 23:25
Re: Why? [was Re: Cantor`s powerset theorem is false?], Newberry, 23:25
Re: Why? [was Re: Cantor`s powerset theorem is false?], Newberry, 23:22
How do you set this thing?, Newberry, 23:14
Re: Axioms of Boolean Algebra got from Concept Algebra, William Elliot, 22:45
Re: Axioms of Boolean Algebra got from Concept Algebra, george, 19:50
Re: transitive closure, Pietro, 17:59
Re: Why?, Daryl McCullough, 17:58
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 17:43
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 17:42
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 17:36
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 17:35
omega consistency, kjd_72, 17:18
Re: Axioms of Boolean Algebra got from Concept Algebra, george, 16:49
Re: Positive + Negative = Zero. ON + OFF = ?, Ben Rudiak-Gould, 16:45
Re: Why?, Daryl McCullough, 16:44
Re: Why?, MoeBlee, 16:19
Re: Positive + Negative = Zero. ON + OFF = ?, Jumbie, 15:57
Re: Why?, david petry, 15:53
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 15:23
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 15:00
Re: Why? [was Re: Cantor`s powerset theorem is false?], Ross A. Finlayson, 13:31
Re: Positive + Negative = Zero. ON + OFF = ?, neo, 12:34
Re: Positive + Negative = Zero. ON + OFF = ?, z, 11:51
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 11:46
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 11:39
Re: society is a machine, people are robots, Kate , 10:29
Re: Axioms of Boolean Algebra got from Concept Algebra, Jan Burse, 10:28
Re: Positive + Negative = Zero. ON + OFF = ?, chris . hulan, 09:53
Re: transitive closure, Jan Burse, 09:53
Re: Your opinions, William Elliot, 09:23
Re: Positive + Negative = Zero. ON + OFF = ?, William Elliot, 08:58
Re: Your opinions, Aatu Koskensilta, 08:43
Positive + Negative = Zero. ON + OFF = ?, neo, 08:33
CFPart: DEON 2006, Eighth International Workshop on Deontic Logic in Computer Science, Jan Broersen, 08:30
Re: transitive closure, Aatu Koskensilta, 08:25
Re: transitive closure, David C . Ullrich, 08:00
Re: transitive closure, David C . Ullrich, 07:56
Re: Axioms of Boolean Algebra got from Concept Algebra, William Elliot, 07:22
Re: transitive closure, William Elliot, 07:17
Re: Why? [was Re: Cantor`s powerset theorem is false?], Daryl McCullough, 06:35
Axioms of Boolean Algebra got from Concept Algebra, Conbra, 06:03
Re: transitive closure, Li Yi, 05:26
Re: society is a machine, people are robots, Jack, 03:50
Re: Why? [was Re: Cantor`s powerset theorem is false?], Patrick, 02:16
Re: Why? [was Re: Cantor`s powerset theorem is false?], Patricia Shanahan, 01:22
Re: Why? [was Re: Cantor`s powerset theorem is false?], Patricia Shanahan, 01:11
Re: transitive closure, William Elliot, 00:43
Re: Why? [was Re: Cantor`s powerset theorem is false?], Newberry, 00:22
Re: Why? [was Re: Cantor`s powerset theorem is false?], Newberry, 00:14
Re: Why? [was Re: Cantor`s powerset theorem is false?], Newberry, 00:09

May 23, 2006

Re: Why? [was Re: Cantor`s powerset theorem is false?], Daryl McCullough, 23:55
Re: Why?, stevendaryl3016, 23:53
Re: Why?, Daryl McCullough, 23:14
Re: NF's Universal Set, Chris Menzel, 22:01
Re: Why?, MoeBlee, 21:46
transitive closure, Li Yi, 21:45
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 21:32
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 21:04
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 21:03
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 21:01
Re: Why?, david petry, 20:54
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 20:45
Re: NF's Universal Set, Paul Holbach, 20:14
Re: NF's Universal Set, Paul Holbach, 19:07
Re: Primitive Recursive Functions, References?, george, 17:04
Re: Why? [was Re: Cantor`s powerset theorem is false?], William of Ockham, 14:36
Re: Why?, MoeBlee, 14:36
Re: Why?, MoeBlee, 14:24
Re: Model Complete Theories, Bertie Reed, 14:21
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 13:20
Re: society is a machine, people are robots, Kate , 13:16
Re: Why?, Daryl McCullough, 12:32
Re: NF's Universal Set, Chris Menzel, 12:16
Re: Why?, Alan Smaill, 12:00
Re: Why?, Alan Smaill, 11:57
Re: NF's Universal Set, Paul Holbach, 08:05
Re: Why? [was Re: Cantor`s powerset theorem is false?], Daryl McCullough, 07:39
Re: Why? [was Re: Cantor`s powerset theorem is false?], Patrick, 06:20
Re: proof of undecidability of halting problem, David C . Ullrich, 06:02
Re: Why? [was Re: Cantor`s powerset theorem is false?], apoorv, 05:30
Re: Why? [was Re: Cantor`s powerset theorem is false?], apoorv, 05:30
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 04:34
Re: society is a machine, people are robots, Jack, 04:31
Re: society is a machine, people are robots, mikegordge, 02:41
Re: Why? [was Re: Cantor`s powerset theorem is false?], Newberry, 01:00
Re: society is a machine, people are robots, Immortalist, 00:16
Re: "Algorithmic Randomness, Quantum Physics, and Incompleteness", don . lotto, 00:15

May 22, 2006

Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 23:48
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 23:25
Re: Why? [was Re: Cantor`s powerset theorem is false?], Patricia Shanahan, 23:19
Re: proof of undecidability of halting problem, MoeBlee, 23:16
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 23:06
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 23:00
Re: society is a machine, people are robots, Kate , 22:57
Re: NF's Universal Set, Chris Menzel, 22:18
Re: omega-saturated models in Model Theory, blakman211, 21:06
Re: NF's Universal Set, Paul Holbach, 19:53
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 19:12
Re: society is a machine, people are robots, James Burns, 19:06
Re: Why? [was Re: Cantor`s powerset theorem is false?], Ross A. Finlayson, 18:28
Re: Why? [was Re: Cantor`s powerset theorem is false?], Daryl McCullough, 18:17
Re: society is a machine, people are robots, Kate , 17:45
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 16:57
Re: NF's Universal Set, Chris Menzel, 16:26
Re: Why? [was Re: Cantor`s powerset theorem is false?], William of Ockham, 14:57
Re: an FO problem, Pietro, 14:53
Re: NF's Universal Set, Daryl McCullough, 14:07
Re: NF's Universal Set, Paul Holbach, 14:04
Re: society is a machine, people are robots, Jack, 13:53
Re: NF's Universal Set, Paul Holbach, 13:48
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 13:26
Re: NF's Universal Set, Paul Holbach, 13:24
Re: Model Complete Theories, Bertie Reed, 12:39
Re: NF's Universal Set, Daryl McCullough, 12:23
Re: omega-saturated models in Model Theory, Bertie Reed, 12:08
NF's Universal Set, Paul Holbach, 11:28
Re: proof of undecidability of halting problem, Aatu Koskensilta, 10:34
Re: proof of undecidability of halting problem, Chris Menzel, 10:29
Re: Torkel Franzén is dead, Aatu Koskensilta, 10:19
Re: Torkel Franzén is dead, Aatu Koskensilta, 09:45
an FO problem, Li Yi, 09:40
Re: Need help to answer a boy genius., Patricia Shanahan, 09:39
Re: proof of undecidability of halting problem, David C . Ullrich, 08:14
Re: Need help to answer a boy genius., David C . Ullrich, 08:04
Re: Your opinions, William Elliot, 06:28
Re: Your opinions, Aatu Koskensilta, 05:41
Re: proof of undecidability of halting problem, Aatu Koskensilta, 05:27
Re: Need help to answer a boy genius., Aatu Koskensilta, 05:15
Re: proof of undecidability of halting problem, H. J. Sander Bruggink, 04:36
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 03:45
Re: Torkel Franzén is dead, Nam Nguyen, 02:22
Re: proof of undecidability of halting problem, Chris Menzel, 02:13
Re: Torkel Franzén is dead, MoeBlee, 02:10
Re: Why? [was Re: Cantor`s powerset theorem is false?], apoorv, 02:09
Re: Torkel Franzén is dead, MoeBlee, 02:02
Re: Torkel Franzén is dead, MoeBlee, 01:51
Re: Torkel Franzén is dead, MoeBlee, 01:27

May 21, 2006

Re: A Priori Science, Justin Roche, 23:13
Re: society is a machine, people are robots, Kate , 23:05
Re: Your opinions, William Elliot, 22:12
Re: Need help to answer a boy genius., The Ghost In The Machine, 22:00
Re: proof of undecidability of halting problem, Charlie-Boo, 21:31
Re: proof of undecidability of halting problem, Charlie-Boo, 21:16
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 20:05
Re: society is a machine, people are robots, Brian Fletcher, 19:39
Re: society is a machine, people are robots, Jim Burns, 18:32
Re: Why? [was Re: Cantor`s powerset theorem is false?], Newberry, 18:12
Re: proof of undecidability of halting problem, Chris Menzel, 18:07
Re: A Priori Science, Newberry, 18:01
Re: society is a machine, people are robots, Immortalist, 17:11
Re: society is a machine, people are robots, Immortalist, 17:07
Re: society is a machine, people are robots, mikegordge, 17:06
Re: society is a machine, people are robots, Immortalist, 17:04
Re: society is a machine, people are robots, Immortalist, 17:00
Re: proof of undecidability of halting problem, Charlie-Boo, 16:53
Re: society is a machine, people are robots, Immortalist, 16:49
Re: Torkel Franzén is dead, Charlie-Boo, 16:40
Re: society is a machine, people are robots, Denis Loubet, 16:35
Re: society is a machine, people are robots, Denis Loubet, 16:33
Re: proof of undecidability of halting problem, Charlie-Boo, 16:22
Re: proof of undecidability of halting problem, Chris Menzel, 16:05
Re: Why? [was Re: Cantor`s powerset theorem is false?], george, 15:55
Re: Why? [was Re: Cantor`s powerset theorem is false?], george, 15:47
Re: Torkel Franzén is dead, Charlie-Boo, 15:38
Re: society is a machine, people are robots, Jonathan . Roberts . uk, 13:27
Re: Torkel Franzén is dead, Nam Nguyen, 12:12
Re: society is a machine, people are robots, Sir Frederick, 11:53
Re: society is a machine, people are robots, Kate , 11:26
Re: Why? [was Re: Cantor`s powerset theorem is false?], Paul Holbach, 11:24
A Priori Science, Justin Roche, 10:21
Re: proof of undecidability of halting problem, Patricia Shanahan, 10:10
Re: proof of undecidability of halting problem, David C . Ullrich, 09:56
Re: society is a machine, people are robots, pbamvv@xxxxxxxxxxxxxx, 09:45
Re: society is a machine, people are robots, Brian Fletcher, 09:36
Re: society is a machine, people are robots, roastfreesteel, 07:12
Re: Your opinions, Aatu Koskensilta, 06:38
Re: Why? [was Re: Cantor`s powerset theorem is false?], William of Ockham, 06:15
Re: society is a machine, people are robots, Denis Loubet, 04:20
society is a machine, people are robots, Immortalist, 01:46
Re: proof of undecidability of halting problem, Chris Menzel, 01:12

May 20, 2006

Re: Your opinions, William Elliot, 23:22
Re: Model Complete Theories, blakman211, 22:43
Re: omega-saturated models in Model Theory, blakman211, 22:29
Re: Need help to answer a boy genius., Aatu Koskensilta, 20:56
Re: Torkel Franzén is dead, Aatu Koskensilta, 20:46
Re: Need help to answer a boy genius., Charlie-Boo, 20:40
Re: Torkel Franzén is dead, Charlie-Boo, 20:37
Re: Torkel Franzén is dead, Charlie-Boo, 20:26
Re: Plural Definite Descriptions, Paul Holbach, 20:14
Re: proof of undecidability of halting problem, Charlie-Boo, 20:14
Re: Why? [was Re: Cantor`s powerset theorem is false?], Aatu Koskensilta, 19:48
Re: Your opinions, Aatu Koskensilta, 19:40
Re: Torkel Franzén is dead, Aatu Koskensilta, 19:30
Re: Need help to answer a boy genius., Aatu Koskensilta, 19:27
Re: proof of undecidability of halting problem, Chris Menzel, 19:00
Re: Torkel Franzén is dead, Keith Ramsay, 18:49
Re: Why? [was Re: Cantor`s powerset theorem is false?], Jan Burse, 18:20
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 17:00
Re: Cantor`s powerset theorem is false?, Newberry, 16:47
Re: Re: Torkel Franzén is dead, Lester Zick, 16:43
Re: Re: Torkel Franzén is dead, Lester Zick, 16:43
Re: Cantor`s powerset theorem is false?, Newberry, 16:37
Re: Why? [was Re: Cantor`s powerset theorem is false?], Ross A. Finlayson, 16:11
Re: Torkel, Charlie-Boo, 16:04
Re: Why? [was Re: Cantor`s powerset theorem is false?], Ross A. Finlayson, 16:03
Re: Torkel Franzén is dead, Charlie-Boo, 16:00
Re: Torkel Franzén is dead, Robert Low, 15:46
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 15:18
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 15:10
Re: Torkel Franzén is dead, Charlie-Boo, 15:08
Re: Torkel Franzén is dead, Charlie-Boo, 14:35
Re: Torkel Franzén is dead, Charlie-Boo, 14:33
Re: Need help to answer a boy genius., Charlie-Boo, 14:19
Re: proof of undecidability of halting problem, Charlie-Boo, 14:12
Re: omega-saturated models in Model Theory, Bertie Reed, 12:50
RT!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!, NILS B�RJESSON, 07:18
Re: Simple predicate calculus proof, Toni Lassila, 07:15
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 07:09
The Real Bible Code. The Key is established and checked, borisg1, 06:19
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 05:35
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 05:30
Re: Why? [was Re: Cantor`s powerset theorem is false?], William of Ockham, 05:22
Re: Why? [was Re: Cantor`s powerset theorem is false?], Bertie Reed, 04:47
Re: Why? [was Re: Cantor`s powerset theorem is false?], Patrick, 03:15
Re: Why? [was Re: Cantor`s powerset theorem is false?], apoorv, 02:24
Re: Why? [was Re: Cantor`s powerset theorem is false?], apoorv, 02:17
Re: proof of undecidability of halting problem, The Ghost In The Machine, 01:00

May 19, 2006

Re: Your opinions, William Elliot, 23:39
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 20:24
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 19:39
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 19:24
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 19:12
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 19:07
Re: Baconian Idols Confuse Knowledge of Reality, Tron, 17:38
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 17:32
Re: Plural Definite Descriptions, Paul Holbach, 17:28
Re: Why? [was Re: Cantor`s powerset theorem is false?], Daryl McCullough, 17:22
Re: Why? [was Re: Cantor`s powerset theorem is false?], apoorv, 16:41
Re: Why? [was Re: Cantor`s powerset theorem is false?], Ross A. Finlayson, 16:25
Re: Model Complete Theories, Bertie Reed, 16:22
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 16:03
Re: Why? [was Re: Cantor`s powerset theorem is false?], apoorv, 15:54
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 15:17
Re: Why? [was Re: Cantor`s powerset theorem is false?], apoorv, 14:50
Re: Back and Forth Method, Bertie Reed, 13:32
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 13:24
Re: Why? [was Re: Cantor`s powerset theorem is false?], Chris Menzel, 13:16
Baconian Idols Confuse Knowledge of Reality, Immortalist, 12:48
Re: Your opinions, Chris Menzel, 11:52
Model Complete Theories, blakman211, 11:45
Re: Why? [was Re: Cantor`s powerset theorem is false?], Paul Holbach, 10:38
Re: Why? [was Re: Cantor`s powerset theorem is false?], Paul Holbach, 09:51
Re: Back and Forth Method, blakman211, 09:24
omega-saturated models in Model Theory, blakman211, 09:04
Re: Why? [was Re: Cantor`s powerset theorem is false?], apoorv, 08:29
(THE MASS)^3= H.h.h/G/c!!!!!!!!!!!!!!!!!!!!!!!!!!!!!, NILS B�RJESSON, 08:27
Re: Ordinal notations, Daryl McCullough, 06:38
Ordinal notations, Bill Taylor, 05:04
Re: Your opinions, William Elliot, 04:09
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 02:31
Re: Why? [was Re: Cantor`s powerset theorem is false?], apoorv, 01:45
Re: Why? [was Re: Cantor`s powerset theorem is false?], William of Ockham, 00:58
Re: Why? [was Re: Cantor`s powerset theorem is false?], William of Ockham, 00:54
Re: Your opinions, Chris Menzel, 00:48
Re: Plural Definite Descriptions, Chris Menzel, 00:44

May 18, 2006

Re: Your opinions, William Elliot, 22:45
Re: Discussion of Infix KIF on Stanford logic site, David Kinny, 22:29
Re: Plural Definite Descriptions, Paul Holbach, 20:42
Re: Why? [was Re: Cantor`s powerset theorem is false?], Bertie Reed, 20:12
Re: Plural Definite Descriptions, Paul Holbach, 19:40
Re: Why? [was Re: Cantor`s powerset theorem is false?], Ross A. Finlayson, 17:01
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 15:45
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 15:00
Re: Why? [was Re: Cantor`s powerset theorem is false?], Paul Holbach, 14:46
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 13:55
Re: Why? [was Re: Cantor`s powerset theorem is false?], Paul Holbach, 13:51
Re: Discussion of Infix KIF on Stanford logic site, Jan Burse, 13:36
Re: Discussion of Infix KIF on Stanford logic site, Jan Burse, 13:14
Re: Why? [was Re: Cantor`s powerset theorem is false?], Ross A. Finlayson, 12:29
Re: Simple predicate calculus proof, Owen, 10:09
Re: Why? [was Re: Cantor`s powerset theorem is false?], Patrick, 09:52
Re: Your opinions, Aatu Koskensilta, 09:17
Re: Your opinions, William Elliot, 08:41
Re: Your opinions, Aatu Koskensilta, 08:22
Re: Simple predicate calculus proof, Roberto Vescarelli, 06:27
Re: Simple predicate calculus proof, Roberto Vescarelli, 06:18
Re: Your opinions, Rupert, 06:15
Re: Simple predicate calculus proof, MoeBlee, 05:14
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 05:00
Simple predicate calculus proof, toni . lassila, 04:49
Re: Why? [was Re: Cantor`s powerset theorem is false?], apoorv, 03:57
THE PROTON RADIUS 28.5 FERMI!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!, NILS B�RJESSON, 03:17
Re: Your opinions, William Elliot, 00:01

May 17, 2006

Concept Algebra is the base of logic thinking, Conbra, 19:49
Re: Why? [was Re: Cantor`s powerset theorem is false?], William of Ockham, 17:47
Re: help with proving union of converse relations, MoeBlee, 17:43
help with proving union of converse relations, isaac2004, 17:17
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 17:16
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 17:02
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 16:46
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 16:26
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 16:07
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 15:40
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 15:29
Re: Primitive Recursive Functions, References?, RexButler, 15:29
Re: Why? [was Re: Cantor`s powerset theorem is false?], William of Ockham, 15:20
Re: Why? [was Re: Cantor`s powerset theorem is false?], William of Ockham, 15:16
Re: Plural Definite Descriptions, george, 15:02
Re: Why? [was Re: Cantor`s powerset theorem is false?], george, 14:56
Re: WANT TO MAKE $50,000.00 in 5 weeks, Einstein, 14:54
Re: Why? [was Re: Cantor`s powerset theorem is false?], george, 14:49
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 13:01
Primitive Recursive Functions, References?, george, 11:51
Re: Re: Torkel Franzén is dead, Lester Zick, 11:43
Re: Primitive Recursive Arithmetic and Computable Categories, george, 11:28
Re: Why? [was Re: Cantor`s powerset theorem is false?], Aatu Koskensilta, 11:15
Re: Why? [was Re: Cantor`s powerset theorem is false?], george, 11:06
Re: Why? [was Re: Cantor`s powerset theorem is false?], Paul Holbach, 10:04
Re: Your opinions, bargiax, 09:26
Some comments on Mathematical Objects and Mathematical Truth, Bhupinder Singh Anand, 07:21
Re: Your opinions, William Elliot, 07:02
Re: Your opinions, Rupert, 06:07
Your opinions, bargiax, 05:37
setting model for tendency analysis, fxfocc, 05:25
Re: Why? [was Re: Cantor`s powerset theorem is false?], Chris Menzel, 01:48
Re: Why? [was Re: Cantor`s powerset theorem is false?], William of Ockham, 01:44
Re: Why? [was Re: Cantor`s powerset theorem is false?], William of Ockham, 01:41
Re: Conservative extension of PA?, Nam Nguyen, 01:19

May 16, 2006

Re: Back and Forth Method, William Elliot, 23:27
Re: Torkel Franzén is dead, MoeBlee, 21:19
Re: Torkel Franzén is dead, MoeBlee, 21:08
Re: Why? [was Re: Cantor`s powerset theorem is false?], Paul Holbach, 20:55
Re: Why? [was Re: Cantor`s powerset theorem is false?], Jan Burse, 20:52
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 20:49
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 20:41
Re: Why? [was Re: Cantor`s powerset theorem is false?], Paul Holbach, 20:40
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 20:05
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 19:23
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 19:12
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 18:43
Re: Why? [was Re: Cantor`s powerset theorem is false?], Jan Burse, 18:40
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 18:33
Re: Why? [was Re: Cantor`s powerset theorem is false?], Jan Burse, 18:31
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 18:04
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 17:50
Re: Why? [was Re: Cantor`s powerset theorem is false?], Jan Burse, 17:29
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 17:22
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 16:50
Re: Primitive Recursive Arithmetic and Computable Categories, RexButler, 16:20
Re: Why? [was Re: Cantor`s powerset theorem is false?], William of Ockham, 14:49
Re: Torkel Franzén is dead, Aatu Koskensilta, 13:21
Re: Re: Torkel Franzén is dead, Lester Zick, 10:18
Re: Re: Torkel Franzén is dead, Lester Zick, 10:08
Re: Back and Forth Method, blakman211, 09:09
Re: Why? [was Re: Cantor`s powerset theorem is false?], georgie, 09:00
Re: Why? [was Re: Cantor`s powerset theorem is false?], georgie, 08:58
Re: Back and Forth Method, William Elliot, 08:27
Re: Back and Forth Method, blakman211, 07:54
Re: Why? [was Re: Cantor`s powerset theorem is false?], Bertie Reed, 07:49
Re: Back and Forth Method, David C . Ullrich, 06:39
Re: proof of undecidability of halting problem, David C . Ullrich, 06:37
Re: proof of undecidability of halting problem, H. J. Sander Bruggink, 05:58
Re: Why? [was Re: Cantor`s powerset theorem is false?], Anders Goeransson, 05:15
Re: Why? [was Re: Cantor`s powerset theorem is false?], Jan Burse, 03:49
Re: Torkel Franzén is dead, Robert Low, 03:24
Re: Why? [was Re: Cantor`s powerset theorem is false?], abo, 03:22
Re: Why? [was Re: Cantor`s powerset theorem is false?], William of Ockham, 01:57
Re: Why? [was Re: Cantor`s powerset theorem is false?], William of Ockham, 01:54
Re: Why? [was Re: Cantor`s powerset theorem is false?], Nam Nguyen, 00:35

May 15, 2006

Re: Torkel, Charlie-Boo, 22:16
Re: Plural Definite Descriptions, Paul Holbach, 22:14
Re: Torkel Franzén is dead, Charlie-Boo, 22:14
Re: Torkel Franzén is dead, Charlie-Boo, 22:10
Re: Torkel Franzén is dead, Charlie-Boo, 22:03
Re: Torkel Franzén is dead, Charlie-Boo, 21:57
Re: Torkel, Paul Holbach, 21:57
Re: Torkel Franzén is dead, Charlie-Boo, 21:54
Re: Torkel Franzén is dead, Stephen Harris, 21:51
Re: Torkel, Charlie-Boo, 21:46
Re: Torkel Franzén is dead, Charlie-Boo, 21:42
Re: Torkel Franzén is dead, Charlie-Boo, 21:33
Re: Torkel Franzén is dead, Charlie-Boo, 21:27
Re: Liar's Paradox in Godel's Theorem (newbie question), Charlie-Boo, 21:21
Re: Back and Forth Method, William Elliot, 21:17
Re: proof of undecidability of halting problem, Charlie-Boo, 21:10
Re: Torkel Franzén is dead, Charlie-Boo, 21:07
Re: Re: Torkel Franzén is dead, Lester Zick, 19:23
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 18:25
Re: Why? [was Re: Cantor`s powerset theorem is false?], Jan Burse, 17:56
Re: Why? [was Re: Cantor`s powerset theorem is false?], Jan Burse, 17:55
Re: Why? [was Re: Cantor`s powerset theorem is false?], Chris Menzel, 17:22
Re: Why? [was Re: Cantor`s powerset theorem is false?], Chris Menzel, 17:18
Re: Why? [was Re: Cantor`s powerset theorem is false?], georgie, 17:14
Re: von Neumann's limitation of size, Daryl McCullough, 17:00
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 16:55
Re: von Neumann's limitation of size, Herman Rubin, 16:18
Re: Why? [was Re: Cantor`s powerset theorem is false?], William of Ockham, 16:14
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 15:33
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 15:27
Re: Why? [was Re: Cantor`s powerset theorem is false?], William of Ockham, 14:55
Re: Torkel Franzén is dead, MoeBlee, 14:53
Re: Why? [was Re: Cantor`s powerset theorem is false?], William of Ockham, 14:53
Re: Torkel Franzén is dead, Robert Low, 14:17
Re: Plural Definite Descriptions, Paul Holbach, 14:13
Re: Torkel Franzén is dead, Roger Johansson, 13:05
Back and Forth Method, blakman211, 13:02
Re: Re: Torkel Franzén is dead, Lester Zick, 11:41
Re: Re: Torkel Franzén is dead, Lester Zick, 11:36
Re: Re: Torkel Franzén is dead, Lester Zick, 11:34
Re: Re: Torkel Franzén is dead, Lester Zick, 11:33
Re: Why? [was Re: Cantor`s powerset theorem is false?], Patricia Shanahan, 10:02
Re: Torkel, Chris Menzel, 09:57
Re: Why? [was Re: Cantor`s powerset theorem is false?], Bertie Reed, 09:51
Re: Torkel Franzén is dead, Aatu Koskensilta, 09:43
Re: Torkel Franzén is dead, Aatu Koskensilta, 07:39
Re: Torkel Franzén is dead, Lee Rudolph, 07:36
Re: Theories and (denumerable) models, William Elliot, 07:13
Re: proof of undecidability of halting problem, David C . Ullrich, 06:31
Re: Liar's Paradox in Godel's Theorem (newbie question), David C . Ullrich, 06:27
Re: Torkel Franz�n is dead, David C . Ullrich, 06:16
Re: Primitive Recursive Arithmetic and Computable Categories, Rupert, 04:51
Re: Why? [was Re: Cantor`s powerset theorem is false?], Anders Goeransson, 04:43
Re: Where is the paradox in liar?, Charlie-Boo, 04:03
Re: Liar's Paradox in Godel's Theorem (newbie question), Charlie-Boo, 03:57
Re: Torkel Franzén is dead, Charlie-Boo, 03:52
Re: Theories and (denumerable) models, mordov, 00:37

May 14, 2006

Re: Torkel Franz�n is dead, N. Silver, 23:26
Re: Torkel Franzén is dead, Charlie-Boo, 23:17
Re: Liar's Paradox in Godel's Theorem (newbie question), Charlie-Boo, 23:12
Re: proof of undecidability of halting problem, Charlie-Boo, 23:04
Re: Torkel Franzén is dead, Charlie-Boo, 22:58
Re: Torkel Franzén is dead, Charlie-Boo, 22:52
Re: Re: Torkel Franzén is dead, Lester Zick, 22:43
Re: Re: Torkel Franzén is dead, Lester Zick, 22:43
Re: Re: Torkel Franzén is dead, Lester Zick, 22:43
Re: Re: Torkel Franzén is dead, Lester Zick, 22:43
Re: Re: Torkel Franzén is dead, Lester Zick, 22:43
Re: Re: Torkel Franzén is dead, Lester Zick, 22:43
Re: Re: Torkel Franzén is dead, Lester Zick, 22:43
Re: Torkel Franzén is dead, Charlie-Boo, 22:40
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 21:42
Re: Why? [was Re: Cantor`s powerset theorem is false?], Arturo Magidin, 21:10
Re: Why? [was Re: Cantor`s powerset theorem is false?], Chris Menzel, 20:50
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 19:52
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 19:38
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 19:28
Re: Torkel Franzén is dead, abo, 18:00
Re: Torkel Franzén is dead, Charlie-Boo, 17:56
Re: proof of undecidability of halting problem, Charlie-Boo, 17:48
Re: proof of undecidability of halting problem, Charlie-Boo, 17:44
Re: Torkel Franzén is dead, abo, 17:42
Re: Torkel Franzén is dead, Charlie-Boo, 17:37
Re: Torkel Franzén is dead, Charlie-Boo, 17:28
Re: Torkel Franzén is dead, Charlie-Boo, 17:23
Re: Torkel Franzén is dead, Charlie-Boo, 17:16
Re: Torkel Franzén is dead, abo, 17:11
Re: Why? [was Re: Cantor`s powerset theorem is false?], Gc, 17:07
Re: Torkel Franzén is dead, Charlie-Boo, 17:03
Re: Torkel Franzén is dead, Charlie-Boo, 17:01
Re: Torkel Franzén is dead, Charlie-Boo, 16:56
Re: Torkel Franzén is dead, abo, 16:56
Re: Why? [was Re: Cantor`s powerset theorem is false?], Jan Burse, 16:55
Re: Torkel Franzén is dead, Charlie-Boo, 16:49
Re: Torkel Franzén is dead, Charlie-Boo, 16:44
Re: Why? [was Re: Cantor`s powerset theorem is false?], Chris Menzel, 16:43
Re: Torkel Franzén is dead, Charlie-Boo, 16:39
Re: Why? [was Re: Cantor`s powerset theorem is false?], Jan Burse, 16:36
Re: Torkel Franzén is dead, Charlie-Boo, 16:30
Re: Why? [was Re: Cantor`s powerset theorem is false?], Gc, 16:29
Re: Torkel Franzén is dead, Charlie-Boo, 16:24
Re: Why? [was Re: Cantor`s powerset theorem is false?], Patricia Shanahan, 16:09
Re: Why? [was Re: Cantor`s powerset theorem is false?], Patricia Shanahan, 16:06
Re: Why? [was Re: Cantor`s powerset theorem is false?], Arturo Magidin, 15:57
Re: Why? [was Re: Cantor`s powerset theorem is false?], Arturo Magidin, 15:54
Re: Why? [was Re: Cantor`s powerset theorem is false?], Gc, 15:52
Re: Why? [was Re: Cantor`s powerset theorem is false?], Gc, 15:46
Re: "Algorithmic Randomness, Quantum Physics, and Incompleteness", Stephen Harris, 15:38
Re: Why? [was Re: Cantor`s powerset theorem is false?], Arturo Magidin, 14:12
Re: Why? [was Re: Cantor`s powerset theorem is false?], William of Ockham, 14:02
Re: von Neumann's limitation of size, Pierre Asselin, 13:52
Re: Why? [was Re: Cantor`s powerset theorem is false?], Gc, 11:48
Re: Why? [was Re: Cantor`s powerset theorem is false?], Chris Menzel, 11:45
Re: Why? [was Re: Cantor`s powerset theorem is false?], Patricia Shanahan, 11:01
Re: Why? [was Re: Cantor`s powerset theorem is false?], Daryl McCullough, 08:36
Re: Why? [was Re: Cantor`s powerset theorem is false?], Daryl McCullough, 08:19
Re: Primitive Recursive Arithmetic and Computable Categories, Aatu Koskensilta, 07:52
Re: proof of undecidability of halting problem, David C . Ullrich, 06:34
Re: Why? [was Re: Cantor`s powerset theorem is false?], Bertie Reed, 06:17
The Real Bible Code - Decoding in Real Time, borisg1, 05:36
Re: Why? [was Re: Cantor`s powerset theorem is false?], William of Ockham, 02:45

May 13, 2006

Re: Theories and (denumerable) models, William Elliot, 21:36
Re: Primitive Recursive Arithmetic and Computable Categories, george, 20:43
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 19:49
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 19:39
Re: Why? [was Re: Cantor`s powerset theorem is false?], Chris Menzel, 18:47
Re: proof of undecidability of halting problem, Jeff Barnett, 18:26
Re: proof of undecidability of halting problem, Patricia Shanahan, 17:06
"Algorithmic Randomness, Quantum Physics, and Incompleteness", Stephen Harris, 16:52
Re: proof of undecidability of halting problem, Aatu Koskensilta, 16:45
Re: proof of undecidability of halting problem, Per Freem, 16:24
Re: proof of undecidability of halting problem, Henrik, 16:03
Re: proof of undecidability of halting problem, Aatu Koskensilta, 15:58
proof of undecidability of halting problem, Per Freem, 15:21
Re: Theories and (denumerable) models, MoeBlee, 14:26
Re: Why? [was Re: Cantor`s powerset theorem is false?], Patrick, 14:03
Re: Why? [was Re: Cantor`s powerset theorem is false?], Patricia Shanahan, 13:54
Re: von Neumann's limitation of size, Aatu Koskensilta, 13:45
Re: Why? [was Re: Cantor`s powerset theorem is false?], Patricia Shanahan, 12:42
Re: Why? [was Re: Cantor`s powerset theorem is false?], Patrick, 12:07
Absolute+relative Truths: The duality of Truths. ©, caesarjbsquitti, 10:28
Re: Theories and (denumerable) models, David C . Ullrich, 09:54
Re: Why? [was Re: Cantor`s powerset theorem is false?], Patricia Shanahan, 09:13
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Daryl McCullough, 09:09
Re: Why? [was Re: Cantor`s powerset theorem is false?], Aatu Koskensilta, 05:06
Re: Why? [was Re: Cantor`s powerset theorem is false?], William of Ockham, 04:42
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Keith Ramsay, 04:09
Re: Why? [was Re: Cantor`s powerset theorem is false?], Nam Nguyen, 03:44
Re: Finite axiomatization of Bernays set theory?, Keith Ramsay, 03:41
Re: Why? [was Re: Cantor`s powerset theorem is false?], abo, 02:10
Re: Why? [was Re: Cantor`s powerset theorem is false?], Gc, 02:06
Re: Why? [was Re: Cantor`s powerset theorem is false?], abo, 02:03
Re: Why? [was Re: Cantor`s powerset theorem is false?], Patricia Shanahan, 01:53
Re: Why? [was Re: Cantor`s powerset theorem is false?], Patricia Shanahan, 01:53
Re: Why? [was Re: Cantor`s powerset theorem is false?], Gc, 01:15
Re: Theories and (denumerable) models, MoeBlee, 00:04

May 12, 2006

Re: Theories and (denumerable) models, george, 23:11
Re: Theories and (denumerable) models, george, 23:06
Re: Why? [was Re: Cantor`s powerset theorem is false?], george, 22:59
Re: Why? [was Re: Cantor`s powerset theorem is false?], george, 22:54
Re: Why? [was Re: Cantor`s powerset theorem is false?], Chris Menzel, 22:32
Re: Why? [was Re: Cantor`s powerset theorem is false?], Chris Menzel, 22:28
Re: Theories and (denumerable) models, Chris Menzel, 22:12
Re: Cantor`s powerset theorem is false?, Gc, 21:47
Re: Theories and (denumerable) models, William Elliot, 21:37
Re: Theories and (denumerable) models, mordov, 20:46
Re: Theories and (denumerable) models, MoeBlee, 20:06
Re: Theories and (denumerable) models, mordov, 19:43
Re: Theories and (denumerable) models, MoeBlee, 19:16
Re: Why? [was Re: Cantor`s powerset theorem is false?], Daryl McCullough, 19:09
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 18:28
Re: Theories and (denumerable) models, mordov, 18:26
Re: Why? [was Re: Cantor`s powerset theorem is false?], Arturo Magidin, 18:13
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 18:12
Re: Why? [was Re: Cantor`s powerset theorem is false?], MoeBlee, 18:03
Re: Why? [was Re: Cantor`s powerset theorem is false?], david petry, 17:42
Re: Theories and (denumerable) models, MoeBlee, 17:06
Re: Theories and (denumerable) models, MoeBlee, 16:56
Re: Deductions vs. Theorems, MoeBlee, 16:25
Re: Conservative extension of PA?, Nam Nguyen, 16:13
Re: Deductions vs. Theorems, Tom, 16:04
Re: Conservative extension of PA?, Aatu Koskensilta, 16:00
Re: Theories and (denumerable) models, Chris Menzel, 15:18
Re: Conservative extension of PA?, Gene Ward Smith, 14:44
Re: Deductions vs. Theorems, MoeBlee, 14:44
Re: Conservative extension of PA?, Gene Ward Smith, 14:32
Re: Deductions vs. Theorems, Tom, 13:49
Re: von Neumann's limitation of size, Jan Burse, 13:39
Re: Primitive Recursive Arithmetic and Computable Categories, RexButler, 13:09
Re: Cantor`s powerset theorem is false?, Arturo Magidin, 13:04
Re: Deductions vs. Theorems, MoeBlee, 12:05
Re: Theories and (denumerable) models, mordov, 11:56
Re: Theories and (denumerable) models, mordov, 11:50
Re: Conservative extension of PA?, Herman Rubin, 11:43
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Herman Rubin, 11:35
Re: Cantor`s powerset theorem is false?, Arturo Magidin, 11:31
Re: Cantor`s powerset theorem is false?, Arturo Magidin, 11:27
Re: Cantor`s powerset theorem is false?, Arturo Magidin, 11:26
Re: Why? [was Re: Cantor`s powerset theorem is false?], Ross A. Finlayson, 11:20
Re: Theories and (denumerable) models, Chris Menzel, 11:16
Why? [was Re: Cantor`s powerset theorem is false?], Patricia Shanahan, 10:06
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Daryl McCullough, 09:43
Re: Primitive Recursive Arithmetic and Computable Categories, Rupert, 08:22
Re: Theories and (denumerable) models, David C . Ullrich, 07:26
Re: Theories and (denumerable) models, David C . Ullrich, 07:13
Re: Cantor`s powerset theorem is false?, Gc, 06:32
Re: Cantor`s powerset theorem is false?, Gc, 05:56
Re: Theories and (denumerable) models, William Elliot, 04:40
Re: Conservative extension of PA?, Aatu Koskensilta, 04:23
Re: Cantor`s powerset theorem is false?, Gc, 04:09
Re: Cantor`s powerset theorem is false?, Gc, 04:01
Primitive Recursive Arithmetic and Computable Categories, RexButler, 01:38
Re: Deductions vs. Theorems, Tom, 01:36
Re: Cantor`s powerset theorem is false?, Gc, 01:34
Theories and (denumerable) models, mordov, 01:12
Re: Deductions vs. Theorems, MoeBlee, 00:27
Re: Cantor`s powerset theorem is false?, Gc, 00:19
Re: Cantor`s powerset theorem is false?, Gc, 00:09
Re: Deductions vs. Theorems, MoeBlee, 00:00

May 11, 2006

Re: Cantor`s powerset theorem is false?, Gc, 23:43
Re: Deductions vs. Theorems, William Elliot, 23:10
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, MoeBlee, 22:59
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, MoeBlee, 22:53
Re: Cantor`s powerset theorem is false?, Patricia Shanahan, 22:38
Re: Cantor`s powerset theorem is false?, Gc, 21:55
Deductions vs. Theorems, Tom, 21:39
Re: Conservative extension of PA?, Nam Nguyen, 19:30
Conservative extension of PA?, Gene Ward Smith, 19:14
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Gene Ward Smith, 18:03
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Chris Menzel, 18:01
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Herman Rubin, 16:07
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 15:55
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Gene Ward Smith, 15:52
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patricia Shanahan, 14:59
Re: Cantor's theorem:, MoeBlee, 13:39
Re: Cantor`s powerset theorem is false?, William of Ockham, 13:33
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, MoeBlee, 13:27
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Herman Rubin, 12:56
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Chris Menzel, 12:55
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 12:45
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 12:17
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 12:09
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, erland, 11:31
Re: Plural Definite Descriptions, H. J. Sander Bruggink, 11:22
Re: Torkel Franzén is dead, Aatu Koskensilta, 11:11
Re: It is Lester's Fault was Re: Torkel Franzén is dead, Lester Zick, 10:50
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 10:24
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Paul Holbach, 10:17
Re: Torkel Franzén is dead, Aatu Koskensilta, 09:54
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Paul Holbach, 09:50
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Paul Holbach, 09:25
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Paul Holbach, 09:02
Re: Cantor's theorem:, Chris Menzel, 08:56
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Chris Menzel, 08:51
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Paul Holbach, 08:06
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patrick, 07:38
Re: Cantor`s powerset theorem is false?, Patrick, 07:22
Re: Problems with proof (propositional calculus), David C . Ullrich, 07:20
Re: Problems with proof (propositional calculus), David C . Ullrich, 07:19
Re: Problems with proof (propositional calculus), David C . Ullrich, 07:17
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, MoeBlee, 06:31
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, MoeBlee, 06:26
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, MoeBlee, 06:07
Re: Problems with proof (propositional calculus), un student, 05:51
Re: Problems with proof (propositional calculus), William Elliot, 05:45
Cantor's theorem:, MoeBlee, 05:26
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, MoeBlee, 05:19
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, MoeBlee, 04:47
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Chris Menzel, 02:13
Re: Cantor`s powerset theorem is false?, Gc, 02:06
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Bill Taylor, 01:30
Cantor`s powerset theorem is false?, Gc, 01:29
An Existence Theorem, symphony, 00:10

May 10, 2006

Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patricia Shanahan, 23:52
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 22:26
Re: It is Lester's Fault was Re: Torkel Franzén is dead, none, 20:10
Re: 1-1 recursive functions and sets, Rupert, 19:08
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Paul Holbach, 16:13
Re: It is Lester's Fault was Re: Torkel Franzén is dead, Lester Zick, 16:07
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Chris Menzel, 15:28
Re: Problems with proof (propositional calculus), Brian M. Scott, 14:30
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Lee Rudolph, 14:21
Re: Plural Definite Descriptions, Paul Holbach, 14:20
Re: Plural Definite Descriptions, Owen, 14:13
Re: Plural Definite Descriptions, Paul Holbach, 14:03
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Paul Holbach, 13:57
Re: Lindenbaum's lemma, MoeBlee, 13:51
Re: Lindenbaum's lemma, MoeBlee, 13:46
It is Lester's Fault was Re: Torkel Franzén is dead, Robert J. Kolker, 12:38
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Herman Rubin, 12:25
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Chris Menzel, 11:44
Re: Plural Definite Descriptions, H. J. Sander Bruggink, 11:35
Re: Plural Definite Descriptions, Chris Menzel, 11:29
Re: Torkel Franzén is dead, none, 11:25
Re: Re: Torkel Franzén is dead, Lester Zick, 11:08
Re: Re: Torkel Franzén is dead, Lester Zick, 11:02
Re: Re: Torkel Franzén is dead, Lester Zick, 10:47
Re: Re: Torkel Franzén is dead, Lester Zick, 10:43
Re: Re: Torkel Franzén is dead, Lester Zick, 10:35
Re: Re: Torkel Franzén is dead, Lester Zick, 10:23
Re: Plural Definite Descriptions, Paul Holbach, 10:16
Re: Problems with proof (propositional calculus), Alan Smaill, 10:14
Re: Problems with proof (propositional calculus), un student, 10:09
Re: Re: Torkel Franzén is dead, Lester Zick, 10:09
Re: Re: Torkel Franzén is dead, Lester Zick, 10:02
Re: Re: Torkel Franzén is dead, Lester Zick, 10:00
Re: Re: Torkel Franzén is dead, Lester Zick, 09:50
Re: Re: Torkel Franzén is dead, Lester Zick, 09:48
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Paul Holbach, 09:45
Re: Problems with proof (propositional calculus), David C . Ullrich, 09:36
Re: Torkel Franz�n is dead, David C . Ullrich, 09:31
Re: Problems with proof (propositional calculus), un student, 08:24
Re: Problems with proof (propositional calculus), un student, 08:15
Re: Problems with proof (propositional calculus), David C . Ullrich, 08:12
Re: Plural Definite Descriptions, Owen, 07:52
Re: Problems with proof (propositional calculus), William Elliot, 05:52
Re: Problems with proof (propositional calculus), un student, 02:50
Problems with proof (propositional calculus), William Elliot, 02:13
Re: 1-1 recursive functions and sets, Per Freem, 01:18
Re: 1-1 recursive functions and sets, Rupert, 01:07
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 00:33
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 00:11
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 00:06

May 09, 2006

Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 23:54
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 23:47
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 23:35
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patrick, 23:14
Re: Torkel Franzén is dead, Charlie-Boo, 22:55
1-1 recursive functions and sets, Per Freem, 22:54
Re: Torkel Franzén is dead, Charlie-Boo, 22:45
Re: Torkel Franzén is dead, Charlie-Boo, 22:39
Re: Torkel Franzén is dead, Charlie-Boo, 22:35
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 22:31
Re: Torkel Franzén is dead, Charlie-Boo, 22:30
Re: Torkel Franzén is dead, Charlie-Boo, 22:27
Re: Torkel Franzén is dead, Charlie-Boo, 22:25
Re: Torkel Franzén is dead, Charlie-Boo, 22:21
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 22:20
Re: Torkel Franzén is dead, Charlie-Boo, 22:18
Re: Torkel Franzén is dead, Charlie-Boo, 22:07
Re: Torkel Franzén is dead, Charlie-Boo, 21:59
Re: Torkel Franzén is dead, Charlie-Boo, 21:54
Re: Torkel Franzén is dead, Charlie-Boo, 21:52
Re: Torkel Franzén is dead, Charlie-Boo, 21:46
Re: Torkel Franzén is dead, Charlie-Boo, 21:40
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, MoeBlee, 19:19
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, MoeBlee, 19:13
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Barb Knox, 18:58
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), george, 15:03
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, G . Frege, 15:01
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, G . Frege, 14:54
Re: Can this theory T exist?, Nam Nguyen, 13:11
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, MoeBlee, 12:36
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Herman Rubin, 12:24
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), george, 10:42
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patricia Shanahan, 10:27
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Barb Knox, 03:33
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, MoeBlee, 02:56
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, MoeBlee, 02:50
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, MoeBlee, 02:44
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, G . Frege, 02:43
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, MoeBlee, 02:40
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, MoeBlee, 02:26
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patricia Shanahan, 00:54
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 00:28

May 08, 2006

Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 23:55
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patricia Shanahan, 23:53
Re: Plural Definite Descriptions, Chris Menzel, 23:32
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patricia Shanahan, 23:09
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 22:29
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 22:25
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 22:21
Re: Re: Torkel Franzén is dead, Lester Zick, 21:50
Re: Re: Torkel Franzén is dead, Lester Zick, 21:40
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Paul Holbach, 20:40
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), george, 20:11
Re: Finite axiomatization of Bernays set theory?, Chris Menzel, 19:58
Re: Plural Definite Descriptions, Paul Holbach, 18:46
Re: von Neumann's limitation of size, Jan Burse, 18:38
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Paul Holbach, 18:00
Re: von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), george, 17:32
Re: Can this theory T exist?, Pietro, 17:25
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patricia Shanahan, 17:20
Re: Plural Definite Descriptions, Paul Holbach, 17:14
Re: Torkel Franzén is dead, MoeBlee, 17:14
Re: Torkel Franzén is dead, MoeBlee, 17:07
Re: Plural Definite Descriptions, Paul Holbach, 17:07
Re: Finite axiomatization of Bernays set theory?, Daryl McCullough, 16:53
Re: Re: Torkel Franzén is dead, Lester Zick, 16:47
Re: Plural Definite Descriptions, MoeBlee, 15:56
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patricia Shanahan, 15:18
Re: Plural Definite Descriptions, Chris Menzel, 15:17
Re: Torkel Franzén is dead, Craig Feinstein, 15:15
Re: Torkel Franzén is dead, MoeBlee, 15:09
Re: Finite axiomatization of Bernays set theory?, Chris Menzel, 15:05
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 14:54
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, MoeBlee, 14:42
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, MoeBlee, 14:33
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, MoeBlee, 14:23
Re: Re: Torkel Franzén is dead, Lester Zick, 14:05
Re: Re: Torkel Franzén is dead, Lester Zick, 14:05
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, MoeBlee, 13:53
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, MoeBlee, 13:44
Re: Plural Definite Descriptions, Paul Holbach, 13:20
Re: Plural Definite Descriptions, Paul Holbach, 12:41
Plural Definite Descriptions, Paul Holbach, 12:32
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 12:17
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 12:10
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 11:56
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 11:54
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 11:47
Re: Re: Torkel Franzén is dead, Lester Zick, 11:10
Re: Re: Torkel Franzén is dead, Lester Zick, 11:09
Re: Re: Torkel Franzén is dead, Lester Zick, 11:00
Re: Re: Torkel Franzén is dead, Lester Zick, 10:57
Re: Re: Torkel Franzén is dead, Lester Zick, 10:53
Re: Re: Torkel Franzén is dead, Lester Zick, 10:50
Re: Re: Torkel Franzén is dead, Lester Zick, 10:45
Re: Finite axiomatization of Bernays set theory?, Daryl McCullough, 10:34
Re: Re: Torkel Franzén is dead, Lester Zick, 10:33
Re: Re: Torkel Franzén is dead, Lester Zick, 10:32
Re: Re: Torkel Franzén is dead, Lester Zick, 10:25
Re: Re: Torkel Franzén is dead, Lester Zick, 10:24
Re: Torkel Franzén is dead, Lester Zick, 10:23
Re: Can this theory T exist?, David C . Ullrich, 09:18
Re: Liar's Paradox in Godel's Theorem (newbie question), David C . Ullrich, 09:16
Re: Torkel Franz�n is dead, David C . Ullrich, 09:13
Re: Torkel Franz�n is dead, David C . Ullrich, 09:10
Re: Torkel Franzén is dead, Timothy Murphy, 09:02
Re: Finite axiomatization of Bernays set theory?, Aatu Koskensilta, 07:44
Re: Need help to answer a boy genius., Aatu Koskensilta, 04:33
Re: Axiomatizations of set theory, Chris Menzel, 03:17
Re: Axiomatizations of set theory, Nam Nguyen, 01:09
Re: Lindenbaum's lemma, mordov, 00:37

May 07, 2006

Re: set theories, Chris Menzel, 23:37
Re: Need help to answer a boy genius., Charlie-Boo, 22:12
Re: Finite axiomatization of Bernays set theory?, Gene Ward Smith, 22:07
Re: Need help to answer a boy genius., Charlie-Boo, 22:06
Re: Torkel Franzén is dead, Charlie-Boo, 21:56
Re: set theories, Charlie-Boo, 21:48
Re: Torkel Franzén is dead, stephen, 21:30
Re: set theories, Frederick Williams, 21:21
Re: Torkel Franzén is dead, MoeBlee, 21:20
Re: Finite axiomatization of Bernays set theory?, Daryl McCullough, 21:12
Re: Torkel Franzén is dead, MoeBlee, 21:11
Re: Torkel Franzén is dead, MoeBlee, 21:02
Re: Torkel Franzén is dead, MoeBlee, 21:00
Re: Torkel Franzén is dead, MoeBlee, 20:58
Re: Torkel Franzén is dead, MoeBlee, 20:53
Re: Can this theory T exist?, Nam Nguyen, 20:52
Re: Finite axiomatization of Bernays set theory?, Aatu Koskensilta, 19:56
Re: Finite axiomatization of Bernays set theory?, Jan Burse, 19:40
Re: Finite axiomatization of Bernays set theory?, Aatu Koskensilta, 19:35
Re: Finite axiomatization of Bernays set theory?, Jan Burse, 19:25
Re: Finite axiomatization of Bernays set theory?, Aatu Koskensilta, 19:22
Re: Finite axiomatization of Bernays set theory?, Jan Burse, 19:16
von Neumann's limitation of size (was: Finite axiomatization of Bernays set theory?), Pierre Asselin, 19:13
Re: Finite axiomatization of Bernays set theory?, Jan Burse, 19:12
Re: Finite axiomatization of Bernays set theory?, Aatu Koskensilta, 19:09
Re: Finite axiomatization of Bernays set theory?, george, 19:04
Re: Torkel Franzén is dead, MoeBlee, 18:27
Re: Torkel Franzén is dead, MoeBlee, 18:11
Re: Torkel Franzén is dead, MoeBlee, 18:06
Re: Finite axiomatization of Bernays set theory?, Gene Ward Smith, 17:53
Re: Finite axiomatization of Bernays set theory?, Jan Burse, 17:42
Re: Finite axiomatization of Bernays set theory?, Gene Ward Smith, 17:37
Re: Finite axiomatization of Bernays set theory?, Aatu Koskensilta, 17:14
Re: Finite axiomatization of Bernays set theory?, Herman Rubin, 17:13
Re: Finite axiomatization of Bernays set theory?, Aatu Koskensilta, 17:12
Re: Finite axiomatization of Bernays set theory?, Jan Burse, 17:05
Re: Finite axiomatization of Bernays set theory?, Jan Burse, 17:03
Re: set theories, Charlie-Boo, 16:48
Re: Torkel Franzén is dead, Charlie-Boo, 16:41
Re: Torkel Franzén is dead, Charlie-Boo, 16:37
Re: Torkel Franzén is dead, Charlie-Boo, 16:32
Re: Re: Torkel Franzén is dead, Lester Zick, 16:30
Re: Torkel Franzén is dead, Charlie-Boo, 16:28
Re: Re: Torkel Franzén is dead, Lester Zick, 16:26
Re: Re: Torkel Franzén is dead, Lester Zick, 16:25
Re: Finite axiomatization of Bernays set theory?, Aatu Koskensilta, 16:25
Re: Torkel Franzén is dead, MoeBlee, 16:22
Re: Liar's Paradox in Godel's Theorem (newbie question), Charlie-Boo, 16:22
Re: Re: Torkel Franzén is dead, Lester Zick, 16:19
Re: Torkel Franzén is dead, MoeBlee, 16:19
Re: Re: Torkel Franzén is dead, Lester Zick, 16:18
Re: Re: Torkel Franzén is dead, Lester Zick, 16:16
Re: Finite axiomatization of Bernays set theory?, Jan Burse, 16:15
Re: Torkel Franzén is dead, MoeBlee, 16:14
Re: Re: Torkel Franzén is dead, Lester Zick, 16:10
Re: set theories, Charlie-Boo, 16:09
Re: Torkel Franzén is dead, Lester Zick, 16:03
Re: Torkel Franzén is dead, Lester Zick, 15:59
Re: Torkel Franzén is dead, Charlie-Boo, 15:52
Re: Torkel Franzén is dead, Charlie-Boo, 15:50
Re: Torkel Franzén is dead, Charlie-Boo, 15:47
Re: Help with Mathematical Induction, MoeBlee, 15:45
Re: Torkel Franzén is dead, Charlie-Boo, 15:43
Re: Torkel Franzén is dead, Charlie-Boo, 15:40
Re: Torkel Franzén is dead, Wolf Kirchmeir, 15:38
Re: Torkel Franzén is dead, Charlie-Boo, 15:38
Re: Torkel Franzén is dead, Wolf Kirchmeir, 15:34
Re: Torkel Franzén is dead, Charlie-Boo, 15:34
Re: Torkel Franzén is dead, Charlie-Boo, 15:19
Re: Re: Torkel Franzén is dead, Lester Zick, 14:43
Re: Finite axiomatization of Bernays set theory?, Aatu Koskensilta, 14:40
Re: Is platonism in math correct?, Dan Christensen, 14:17
Re: Re: Torkel Franzén is dead, Lester Zick, 13:41
Re: Re: Torkel Franzén is dead, Lester Zick, 13:39
Re: Re: Torkel Franzén is dead, Lester Zick, 13:33
Re: Re: Torkel Franzén is dead, Lester Zick, 13:32
Re: Re: Torkel Franzén is dead, Lester Zick, 13:30
Re: Re: Torkel Franzén is dead, Lester Zick, 13:25
Re: Re: Torkel Franzén is dead, Lester Zick, 13:24
Re: Help with Mathematical Induction, Jean-Claude Arbaut, 13:24
Re: Re: Torkel Franzén is dead, Lester Zick, 13:23
Re: Help with Mathematical Induction, Patricia Shanahan, 13:19
Re: Re: Torkel Franzén is dead, Lester Zick, 13:15
Re: Re: Torkel Franzén is dead, Lester Zick, 13:13
Re: Re: Torkel Franzén is dead, Lester Zick, 13:10
Re: Re: Torkel Franzén is dead, Lester Zick, 13:06
Re: Re: Torkel Franzén is dead, Lester Zick, 13:06
Re: Help with Mathematical Induction, Frederick Williams, 13:04
Re: Re: Torkel Franzén is dead, Lester Zick, 13:00
Re: Re: Torkel Franzén is dead, Lester Zick, 12:59
Re: Re: Torkel Franzén is dead, Lester Zick, 12:58
Re: models of arithmetic and incompleteness, george, 12:52
Re: Help with Mathematical Induction, Frederick Williams, 12:51
Re: Torkel Franzén is dead, Lester Zick, 12:37
Re: Help with Mathematical Induction, Brent Ritchie, 12:36
Re: Re: Torkel Franzén is dead, Lester Zick, 12:25
Re: Finite axiomatization of Bernays set theory?, george, 12:09
Re: Help with Mathematical Induction, juanpool@xxxxxxxxx, 11:50
Re: Help with Mathematical Induction, Patricia Shanahan, 10:48
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patricia Shanahan, 10:47
Re: set theories, Frederick Williams, 10:17
Re: Torkel Franzén is dead, Charlie-Boo, 09:52
Re: Torkel Franzén is dead, Charlie-Boo, 09:48
Re: Torkel Franzén is dead, Charlie-Boo, 09:40
Re: Torkel Franzén is dead, Charlie-Boo, 09:32
Re: Torkel Franzén is dead, Charlie-Boo, 09:27
Re: Torkel Franzén is dead, Charlie-Boo, 09:18
Re: Torkel Franzén is dead, Charlie-Boo, 09:14
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Jean-Claude Arbaut, 09:01
Re: Torkel Franzén is dead, Charlie-Boo, 08:54
Re: Finite axiomatization of Bernays set theory?, Daryl McCullough, 08:53
Re: Torkel Franzén is dead, Lee Rudolph, 08:34
Re: Torkel Franzén is dead, Aatu Koskensilta, 08:32
Re: Can this theory T exist?, David C . Ullrich, 08:18
Re: Torkel Franzén is dead, Aatu Koskensilta, 08:11
Re: Torkel Franzén is dead, Charlie-Boo, 08:08
Re: Torkel Franzén is dead, Charlie-Boo, 07:49
Re: Torkel Franzén is dead, Charlie-Boo, 07:43
Re: Axiom schema of separation, Jan Burse, 07:31
Re: Torkel Franzén is dead, Charlie-Boo, 07:24
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, MoeBlee, 07:17
Re: Help with Mathematical Induction, Jean-Claude Arbaut, 06:10
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Jean-Claude Arbaut, 05:35
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Jean-Claude Arbaut, 05:29
Re: Help with Mathematical Induction, William Elliot, 05:27
Re: Finite axiomatization of Bernays set theory?, george, 04:19
Re: Axiom schema of separation, george, 04:12
Re: Axiomatizations of set theory, george, 04:10
Re: Axiomatizations of set theory, george, 04:04
Re: Axiomatizations of set theory, george, 04:03
Re: Axiomatizations of set theory, Nam Nguyen, 03:53
Re: Help with Mathematical Induction, MoeBlee, 03:40
Re: Lindenbaum's lemma, MoeBlee, 03:16
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 03:14
Re: Axiomatizations of set theory, george, 02:59
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 02:54
Re: Finite axiomatization of Bernays set theory?, george, 02:34
Re: Help with Mathematical Induction, MoeBlee, 02:21
Re: Lindenbaum's lemma, mordov, 02:14
Re: Axiomatizations of set theory, MoeBlee, 01:51
Help with Mathematical Induction, Brent Ritchie, 01:33
Re: Finite axiomatization of Bernays set theory?, MoeBlee, 01:32
Re: Axiomatizations of set theory, Chris Menzel, 01:23
Re: Torkel Franzén is dead, MoeBlee, 01:16
Re: Torkel Franzén is dead, MoeBlee, 01:10
Re: Torkel Franzén is dead, Charlie-Boo, 00:54
Re: Torkel Franzén is dead, MoeBlee, 00:45
Re: Torkel Franzén is dead, Charlie-Boo, 00:38
Re: Torkel Franzén is dead, MoeBlee, 00:33
Re: Torkel Franzén is dead, Charlie-Boo, 00:24
Re: Torkel Franzén is dead, Charlie-Boo, 00:18
Re: Torkel Franzén is dead, Charlie-Boo, 00:03

May 06, 2006

Re: Torkel Franzén is dead, MoeBlee, 22:36
Re: Need help to answer a boy genius., Stephen Harris, 22:36
Re: Torkel Franzén is dead, MoeBlee, 22:25
Re: Torkel Franzén is dead, MoeBlee, 22:03
Re: Torkel Franzén is dead, MoeBlee, 21:59
Re: Torkel Franzén is dead, MoeBlee, 21:54
Re: Torkel Franzén is dead, MoeBlee, 21:41
Re: Re: Torkel Franzén is dead, Lester Zick, 21:41
Re: Axiomatizations of set theory, MoeBlee, 21:35
Re: Finite axiomatization of Bernays set theory?, MoeBlee, 21:19
Re: Finite axiomatization of Bernays set theory?, MoeBlee, 21:17
Re: Torkel Franzén is dead, MoeBlee, 21:05
Re: Finite axiomatization of Bernays set theory?, Jan Burse, 20:35
Re: Finite axiomatization of Bernays set theory?, Jan Burse, 20:33
Re: Finite axiomatization of Bernays set theory?, Jan Burse, 20:32
Re: Finite axiomatization of Bernays set theory?, Jan Burse, 20:27
Can this theory T exist?, Nam Nguyen, 20:18
Re: Axiom schema of separation, Jan Burse, 20:00
Re: Finite axiomatization of Bernays set theory?, Daryl McCullough, 19:46
Re: Torkel Franzén is dead, MoeBlee, 19:45
Re: Need help to answer a boy genius., zzbunker@xxxxxxxxxxxx, 19:03
Re: Axiomatizations of set theory, Chris Menzel, 18:40
Re: models of arithmetic and incompleteness, Per Freem, 18:31
Set of valid sentences vs set of valid sentences of a language L, MoeBlee, 17:38
Axiom schema of separation, MoeBlee, 16:48
Re: Finite axiomatization of Bernays set theory?, MoeBlee, 16:35
Finite axiomatization of Bernays set theory?, MoeBlee, 16:30
Axiomatizations of set theory, MoeBlee, 16:23
Re: Torkel Franzén is dead, Chris Menzel, 16:03
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 15:20
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, MoeBlee, 14:53
Re: Torkel Franz�n is dead, David C . Ullrich, 14:42
Re: Torkel Franz�n is dead, David C . Ullrich, 14:39
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Jan Burse, 14:14
Re: Re: Torkel Franzén is dead, Lester Zick, 14:14
Re: Torkel Franzén is dead, Charlie-Boo, 14:07
Re: Torkel Franzén is dead, Lester Zick, 14:04
Re: Torkel Franzén is dead, Charlie-Boo, 14:04
Re: Torkel Franzén is dead, Lester Zick, 14:03
Re: Torkel Franzén is dead, Wolf Kirchmeir, 13:59
Re: Torkel Franzén is dead, Lester Zick, 13:59
Re: Torkel Franzén is dead, Lester Zick, 13:57
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Jan Burse, 13:54
Re: Re: Torkel Franzén is dead, Lester Zick, 13:54
Re: Torkel Franzén is dead, Wolf Kirchmeir, 13:53
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Jan Burse, 13:51
Re: Re: Torkel Franzén is dead, Lester Zick, 13:48
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Jan Burse, 13:45
Re: Re: Torkel Franzén is dead, Lester Zick, 13:44
Re: Re: Torkel Franzén is dead, Lester Zick, 13:40
Re: Re: Torkel Franzén is dead, Lester Zick, 13:34
Re: Re: Torkel Franzén is dead, Lester Zick, 13:29
Re: Re: Torkel Franzén is dead, Lester Zick, 13:29
Re: Re: Torkel Franzén is dead, Lester Zick, 12:52
Re: Re: Torkel Franzén is dead, Lester Zick, 11:57
Re: Torkel Franzén is dead, Aatu Koskensilta, 11:29
Re: Torkel Franzén is dead, Aatu Koskensilta, 11:26
Re: Torkel Franzén is dead, Charlie-Boo, 11:17
Re: Torkel Franzén is dead, Charlie-Boo, 11:11
Re: Torkel Franzén is dead, Charlie-Boo, 11:08
Re: Torkel Franzén is dead, Charlie-Boo, 11:00
Re: Torkel Franzén is dead, Charlie-Boo, 10:38
Re: Torkel Franzén is dead, stephen, 10:36
Re: Torkel Franzén is dead, Charlie-Boo, 10:19
Re: Torkel Franzén is dead, Charlie-Boo, 10:08
Re: Torkel Franzén is dead, Charlie-Boo, 10:03
Re: Interpreting valid quantificational formulas, Owen, 10:02
Re: Torkel Franzén is dead, Charlie-Boo, 09:59
Re: Torkel Franzén is dead, Charlie-Boo, 09:51
Re: Torkel Franzén is dead, Charlie-Boo, 09:48
Re: Torkel Franzén is dead, Charlie-Boo, 09:38
Re: Torkel Franzén is dead, Charlie-Boo, 09:28
Re: Torkel Franzén is dead, Wolf Kirchmeir, 09:24
Re: Torkel Franzén is dead, Charlie-Boo, 09:12
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Aatu Koskensilta, 08:39
Re: set theories, Aatu Koskensilta, 08:33
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Jean-Claude Arbaut, 07:34
Re: Torkel Franz�n is dead, Glen M. Sizemore, 06:07
Re: Torkel Franzén is dead, Herman Jurjus, 06:07
Re: models of arithmetic and incompleteness, William Elliot, 05:52
Re: Time has two direct, William Elliot, 05:35
Re: Torkel Franzén is dead, William of Ockham, 05:28
Re: Time has two directions, brodix, 05:20

May 05, 2006

Re: Time has two directions, William Elliot, 23:35
Re: recursively enumerable sets, Per Freem, 22:49
Re: recursively enumerable sets, Per Freem, 22:49
models of arithmetic and incompleteness, Per Freem, 22:48
Re: Torkel Franzén is dead, Robert J. Kolker, 21:58
Re: Torkel Franzén is dead, Robert J. Kolker, 21:57
Re: Time has two directions, brodix, 21:06
Re: Torkel Franzén is dead, MoeBlee, 20:27
Re: Torkel Franzén is dead, Wolf Kirchmeir, 20:03
Re: recursively enumerable sets, MoeBlee, 19:45
Re: Torkel Franzén is dead, Chris Menzel, 19:40
Re: recursively enumerable sets, Per Freem, 19:30
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patricia Shanahan, 19:15
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, MoeBlee, 18:55
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 18:43
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 18:42
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, MoeBlee, 18:38
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, MoeBlee, 18:27
Re: Torkel Franzén is dead, MoeBlee, 18:14
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 17:46
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 17:43
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Jean-Claude Arbaut, 17:36
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 17:34
Re: Torkel Franzén is dead, MoeBlee, 17:33
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 17:26
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patricia Shanahan, 17:23
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 17:17
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 17:14
Re: recursively enumerable sets, MoeBlee, 16:58
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 16:54
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 16:51
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 16:46
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 16:44
Re: Where is the paradox in liar?, george, 16:33
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 16:13
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 16:12
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 16:08
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 16:03
Re: set theories, Frederick Williams, 16:03
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 16:00
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 15:57
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 15:50
Re: set theories, MoeBlee, 14:52
Re: recursively enumerable sets, MoeBlee, 14:34
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Ross A. Finlayson, 13:35
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, juanpool@xxxxxxxxx, 12:56
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 12:13
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 12:02
Re: Re: Torkel Franzén is dead, Lester Zick, 12:02
Re: set theories, Paul Holbach, 12:00
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 11:58
Re: set theories, Frederick Williams, 11:48
Re: Re: Torkel Franzén is dead, Lester Zick, 11:29
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, juanpool@xxxxxxxxx, 11:27
Re: Re: Torkel Franzén is dead, Lester Zick, 11:26
Re: Is platonism in math correct?, Paul Holbach, 10:35
Re: recursively enumerable sets, Per Freem, 10:09
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patricia Shanahan, 09:58
Re: set theories, Newberry, 09:55
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 09:40
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, juanpool@xxxxxxxxx, 09:11
Re: It's almost May ... and we need your help for the Love of God!, CaveCanis, 06:37
Re: Torkel Franzén is dead, William of Ockham, 06:07
Re: Time has two directions, William Elliot, 05:57
Re: Time has two directions, brodix, 05:46
Re: Torkel Franzén is dead, MoeBlee, 04:54
Re: Torkel Franzén is dead, MoeBlee, 04:42
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, MoeBlee, 04:22
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, MoeBlee, 04:16
Re: set theories, MoeBlee, 03:40
Re: set theories, MoeBlee, 03:27
Re: recursively enumerable sets, MoeBlee, 03:10
Re: Lindenbaum's lemma, MoeBlee, 02:58
Re: Lindenbaum's lemma, MoeBlee, 02:41
Re: set theories, William Elliot, 01:15
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, magidin@xxxxxxxxxxxxxx, 00:41
Re: Is platonism in math correct?, Dan Christensen, 00:31
set theories, Mark-T, 00:20
Re: Where is the paradox in liar?, Newberry, 00:04

May 04, 2006

Re: Time has two directions, William Elliot, 23:49
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 22:22
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, George Greene, 22:21
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 21:33
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 21:33
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 21:33
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 21:33
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 21:33
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 21:33
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 21:33
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 21:33
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 21:33
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 21:33
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 21:33
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 21:33
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 21:33
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 21:28
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 21:22
recursively enumerable sets, Per Freem, 21:17
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 21:14
Re: Is platonism in math correct?, Paul Holbach, 20:59
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 20:53
Re: Is platonism in math correct?, Paul Holbach, 20:39
Correction (Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion), Jan Burse, 19:54
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Jan Burse, 19:52
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 19:43
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 18:15
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 17:57
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 17:13
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 17:09
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 16:28
Re: Interpreting valid quantificational formulas, Aatu Koskensilta, 16:00
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 15:54
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 15:45
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 15:40
Re: Torkel Franzén is dead, Lester Zick, 14:24
Re: Torkel Franzén is dead, Lester Zick, 14:24
Re: Re: Torkel Franzén is dead, Lester Zick, 14:24
Re: Interpreting valid quantificational formulas, mordov, 14:23
Re: Interpreting valid quantificational formulas, mordov, 14:16
Re: Interpreting valid quantificational formulas, Aatu Koskensilta, 14:03
Re: Interpreting valid quantificational formulas, Chris Menzel, 13:46
Re: Time has two directions, brodix, 13:34
Lindenbaum's lemma, mordov, 13:31
Interpreting valid quantificational formulas, mordov, 12:38
Re: graduate study in logic and foundations, Frederick Williams, 11:57
Re: Torkel Franzén is dead, Wolf Kirchmeir, 10:43
Re: Liar's Paradox in Godel's Theorem (newbie question), David C . Ullrich, 09:23
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 09:17
Re: Torkel Franzén is dead, LordBeotian, 09:16
Re: graduate study in logic and foundations, abo, 09:01
Re: graduate study in logic and foundations, matthias, 08:43
Re: Where is the paradox in liar?, Paul Holbach, 07:33
Re: Time has two directions, William Elliot, 05:50
Re: geometry algorithm, laura, 05:37
Re: geometry algorithm, laura, 05:36
Re: Time has two directions, brodix, 05:14
Re: graduate study in logic and foundations, abo, 03:20
Re: graduate study in logic and foundations, Kapil, 02:57
Re: Where is the paradox in liar?, Aatu Koskensilta, 01:37
Re: Where is the paradox in liar?, abo, 01:21
Re: Where is the paradox in liar?, Newberry, 00:50
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patricia Shanahan, 00:14
Re: Time has two directions, William Elliot, 00:10

May 03, 2006

Re: Re: Torkel Franzén is dead, Curt Welch, 21:52
Re: Russell, Surprises and God (and a Quiz, naturally), Charlie-Boo, 20:47
Re: Torkel Franzén is dead, Chris Menzel, 20:42
Re: Where is the paradox in liar?, Charlie-Boo, 20:40
Re: Where is the paradox in liar?, Charlie-Boo, 20:37
Re: Liar's Paradox in Godel's Theorem (newbie question), Charlie-Boo, 20:33
Re: Torkel Franzén is dead, Charlie-Boo, 20:26
Re: Torkel Franzén is dead, Rupert, 20:04
Re: Torkel Franzén is dead, Phil Carmody, 18:38
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 18:30
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 17:48
Re: Recommendations for a certain kind of logic intro..., Jack Campin - bogus address, 17:39
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 17:23
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 17:18
Any help?, Tron, 17:16
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 16:59
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 16:51
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 15:55
Time has two directions, brodix, 12:17
Re: Where is the paradox in liar?, abo, 11:50
Re: Where is the paradox in liar?, H. J. Sander Bruggink, 10:44
Re: Where is the paradox in liar?, Paul Holbach, 10:03
Re: Where is the paradox in liar?, Newberry, 09:59
Re: Where is the paradox in liar?, george, 09:31
Re: Russell, Surprises and God (and a Quiz, naturally), H. J. Sander Bruggink, 09:02
Recommendations for a certain kind of logic intro..., tayss_temp2, 08:23
Re: Liar's Paradox in Godel's Theorem (newbie question), David C . Ullrich, 08:22
Re: Where is the paradox in liar?, Aatu Koskensilta, 07:41
Re: Need help to answer a boy genius., Aatu Koskensilta, 07:10
Re: Need help to answer a boy genius., Frederick Williams, 06:02
Re: Torkel Franzén is dead, Charlie-Boo, 01:57
Re: Russell, Surprises and God (and a Quiz, naturally), Charlie-Boo, 01:48
Re: Russell, Surprises and God (and a Quiz, naturally), Charlie-Boo, 01:48
Re: Russell, Surprises and God (and a Quiz, naturally), Charlie-Boo, 01:26
Re: Where is the paradox in liar?, Charlie-Boo, 01:13
Re: Where is the paradox in liar?, Charlie-Boo, 01:08
Re: Where is the paradox in liar?, abo, 01:03
Re: Need help to answer a boy genius., Charlie-Boo, 00:45
Re: Need help to answer a boy genius., Charlie-Boo, 00:42
Re: Need help to answer a boy genius., Charlie-Boo, 00:39
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 00:31
Re: Need help to answer a boy genius., Charlie-Boo, 00:30
Re: Need help to answer a boy genius., Charlie-Boo, 00:30
Re: Need help to answer a boy genius., Charlie-Boo, 00:24
Re: Need help to answer a boy genius., Charlie-Boo, 00:11
Re: Need help to answer a boy genius., Charlie-Boo, 00:11
Re: Liar's Paradox in Godel's Theorem (newbie question), Charlie-Boo, 00:02

May 02, 2006

Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 23:43
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 23:28
Re: geometry algorithm, waveletter, 23:09
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 23:05
Re: Need help to answer a boy genius., ccghzhu, 22:48
Re: Where is the paradox in liar?, Newberry, 22:14
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 20:58
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 19:59
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 18:27
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 16:54
Re: Where is the paradox in liar?, david petry, 15:28
Re: Arithmetic with (only) exponentiation, Bertie Reed, 14:44
Re: Where is the paradox in liar?, abo, 10:47
Re: Need help to answer a boy genius., Frederick Williams, 10:04
Re: Where is the paradox in liar?, Newberry, 10:00
Re: Need help to answer a boy genius., Frederick Williams, 09:44
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 09:38
Re: Where is the paradox in liar?, Paul Holbach, 09:15
Re: Where is the paradox in liar?, abo, 04:24
Re: Torkel Franzén is dead, Red, 04:22
Re: Need help to answer a boy genius., Stephen Harris, 03:46
Re: Need help to answer a boy genius., Stephen Harris, 02:58
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, G . Frege, 02:32
Re: Where is the paradox in liar?, abo, 01:34
Re: Liar's Paradox in Godel's Theorem (newbie question), Aatu Koskensilta, 00:28

May 01, 2006

Re: geometry algorithm, William Elliot, 23:59
Re: Where is the paradox in liar?, Newberry, 22:43
Re: Where is the paradox in liar?, Newberry, 22:40
Re: Where is the paradox in liar?, Newberry, 22:15
Re: Need help to answer a boy genius., ludios, 20:53
Re: Arithmetic with (only) exponentiation, Nam Nguyen, 18:57
Re: Where is the paradox in liar?, david petry, 18:48
Re: Riemann Hypothesis in PA, Gene Ward Smith, 18:47
graduate study in logic and foundations, John Starrett, 17:54
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 17:45
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 17:42
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 17:32
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 17:15
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 17:03
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 16:57
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 16:50
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 16:44
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 16:40
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 16:39
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 16:37
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 16:35
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 16:30
Riemann Hypothesis in PA, Colin, 16:23
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 16:16
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 16:12
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 16:10
Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 15:59
Re: Where is the paradox in liar?, Paul Holbach, 12:33
Re: Where is the paradox in liar?, Paul Holbach, 12:21
Re: Where is the paradox in liar?, H. J. Sander Bruggink, 10:42
Re: Where is the paradox in liar?, Newberry, 10:19
Re: Where is the paradox in liar?, Newberry, 10:12
Re: Where is the paradox in liar?, Newberry, 10:10
Re: Need help to answer a boy genius., Aatu Koskensilta, 10:09
Re: Need help to answer a boy genius., Frederick Williams, 09:50
Re: Need help to answer a boy genius., juanpool@xxxxxxxxx, 09:41
Re: geometry algorithm, laura, 09:19
Re: Liar's Paradox in Godel's Theorem (newbie question), David C . Ullrich, 07:50
Re: Where is the paradox in liar?, Paul Holbach, 07:43
Re: Where is the paradox in liar?, Paul Holbach, 07:38
Re: Where is the paradox in liar?, Daryl McCullough, 07:24
Re: Where is the paradox in liar?, H. J. Sander Bruggink, 07:21
Re: Where is the paradox in liar?, Daryl McCullough, 07:16
Re: Where is the paradox in liar?, Barb Knox, 06:44
Re: geometry algorithm, William Elliot, 06:44
Re: Russell, Surprises and God (and a Quiz, naturally), H. J. Sander Bruggink, 06:27
Re: Where is the paradox in liar?, Herman Jurjus, 06:26
Re: Where is the paradox in liar?, H. J. Sander Bruggink, 05:51
geometry algorithm, laura, 05:06
Re: Need help to answer a boy genius., Charlie-Boo, 04:01
Re: Where is the paradox in liar?, abo, 01:51
Re: Where is the paradox in liar?, abo, 01:17
Re: Where is the paradox in liar?, abo, 01:12

April 30, 2006

Re: Where is the paradox in liar?, Newberry, 21:17
Re: Need help to answer a boy genius., Charlie-Boo, 20:47
It's almost May ... and we need your help for the Love of God!, CaveCanis, 20:38
Re: Where is the paradox in liar?, david petry, 20:11
[FAQ, 99/07/28] Mathematical logic on the web, Boris 'pi' Piwinger, 20:03
Re: Liar's Paradox in Godel's Theorem (newbie question), Charlie-Boo, 19:47
Re: Need help to answer a boy genius., Patrick, 19:18
Re: What is the intuitive meaning of Goedel's undecidable statement?, Charlie-Boo, 19:12
Re: Liar's Paradox in Godel's Theorem (newbie question), Aatu Koskensilta, 19:08
Re: Need help to answer a boy genius., Charlie-Boo, 19:04
Re: Liar's Paradox in Godel's Theorem (newbie question), Charlie-Boo, 18:48
Re: Where is the paradox in liar?, Charlie-Boo, 18:42
Re: Where is the paradox in liar?, Newberry, 18:32
Re: Need help to answer a boy genius., Patrick, 18:29
Re: Liar's Paradox in Godel's Theorem (newbie question), Aatu Koskensilta, 18:25
Re: Where is the paradox in liar?, Charlie-Boo, 18:25
Re: Liar's Paradox in Godel's Theorem (newbie question), Charlie-Boo, 18:07
Re: A problem in first order logic, Jan Burse, 17:17
Re: The LOGICAL approach to Bible Code, q_q_anonymous@xxxxxxxxxxx, 17:16
Re: Where is the paradox in liar?, abo, 17:09
Re: Where is the paradox in liar?, Newberry, 16:48
Re: What is the intuitive meaning of Goedel's undecidable statement?, Newberry, 16:31
Re: A problem in first order logic, juanpool@xxxxxxxxx, 16:26
Re: Liar's Paradox in Godel's Theorem (newbie question), Aatu Koskensilta, 16:20
Re: Where is the paradox in liar?, abo, 16:13
Re: Russell, Surprises and God (and a Quiz, naturally), Charlie-Boo, 16:07
Re: Where is the paradox in liar?, Newberry, 16:01
Re: What is the intuitive meaning of Goedel's undecidable statement?, Charlie-Boo, 15:21