sci.logic (date)
August 31, 2006
- Re: How big is infinity?, MoeBlee, 15:59
- Re: How big is infinity?, Lester Zick, 15:50
- Re: How big is infinity?, Lester Zick, 15:48
- Re: How big is infinity?, Lester Zick, 15:46
- Re: How big is infinity?, Lester Zick, 15:45
- Re: How big is infinity?, Lester Zick, 15:40
- Re: How big is infinity?, Lester Zick, 15:25
- Re: Definition of God, Robibnikoff, 15:17
- Re: How big is infinity?, Randy Poe, 15:17
- Re: Definition of God, Robibnikoff, 15:17
- Re: Definition of God, Robibnikoff, 15:16
- Re: Definition of God, Robibnikoff, 15:15
- Re: How big is infinity?, Lester Zick, 14:59
- Re: How big is infinity?, Lester Zick, 14:53
- Re: How big is infinity?, Randy Poe, 14:51
- Re: How big is infinity?, Lester Zick, 14:50
- Re: How big is infinity?, Lester Zick, 14:48
- Re: How big is infinity?, Virgil, 14:47
- Re: How big is infinity?, Lester Zick, 14:46
- Re: Definition of God, Christopher A . Lee, 14:44
- Re: How big is infinity?, Lester Zick, 14:43
- Re: How big is infinity?, Lester Zick, 14:43
- Re: How big is infinity?, Virgil, 14:42
- Re: How big is infinity?, Lester Zick, 14:41
- Re: How big is infinity?, Lester Zick, 14:35
- Re: How big is infinity?, Lester Zick, 14:34
- Re: How big is infinity?, Virgil, 14:32
- Re: How big is infinity?, MoeBlee, 14:31
- Re: How big is infinity?, Lester Zick, 14:24
- Re: How big is infinity?, MoeBlee, 14:24
- Re: How big is infinity?, Lester Zick, 14:23
- Re: How big is infinity?, Lester Zick, 14:21
- Re: How big is infinity?, Lester Zick, 14:10
- Re: How big is infinity?, Lester Zick, 14:08
- Re: How big is infinity?, Lester Zick, 14:07
- Re: How big is infinity?, Lester Zick, 14:05
- Re: How big is infinity?, Lester Zick, 14:04
- Re: How big is infinity?, Lester Zick, 13:59
- Re: How big is infinity?, Lester Zick, 13:46
- Re: How big is infinity?, Lester Zick, 13:30
- Re: Definition of God, thepossibilities, 12:51
- Re: Definition of God, thepossibilities, 12:47
- Re: Definition of God, thepossibilities, 12:39
- Re: Definition of God, thepossibilities, 12:35
- Re: How big is infinity?, MoeBlee, 12:18
- Re: Definition of God, Dan Wood, 11:58
- Re: Definition of God, Dan Wood, 11:57
- Re: Definition of God, Dan Wood, 11:56
- Re: Definition of God, Robibnikoff, 11:14
- Re: Definition of God, Robibnikoff, 11:13
- Re: Definition of God, Christopher A . Lee, 09:25
- Re: Definition of God, Daniel T., 09:12
- Re: How big is infinity?, Aatu Koskensilta, 08:53
- Re: Torkel Franzén Lives!, George Dance, 06:56
- Re: Definition of God, Sean, 06:13
- Re: Definition of God, Sean, 06:08
- Re: Definition of God, Sean, 04:52
- Re: Definition of God, Sean, 04:27
- Re: Definition of God, Sean, 04:03
- Re: Definition of God, chazwin, 03:20
- Re: How big is infinity?, Virgil, 02:42
- Re: Definition of God, Virgil, 02:37
- Re: How big is infinity?, imaginatorium, 02:25
- Re: Definition of God, Virgil, 02:19
- Re: How big is infinity?, Virgil, 02:14
- Re: How big is infinity?, Virgil, 02:07
- Re: Definition of God, Virgil, 01:43
- Re: Definition of God, Virgil, 01:40
- Re: Definition of God, Virgil, 01:37
- Re: How big is infinity?, stephen, 01:29
- Re: How big is infinity?, Virgil, 01:21
- Re: Definition of God, Your Logic Tutor, 01:20
- Re: Definition of God, Your Logic Tutor, 01:13
- Re: How big is infinity?, Virgil, 01:05
- Re: How big is infinity?, Virgil, 01:04
- Re: How big is infinity?, imaginatorium, 00:58
- Re: How big is infinity?, Virgil, 00:57
- Re: How big is infinity?, Virgil, 00:54
- Re: How big is infinity?, imaginatorium, 00:53
- Re: How big is infinity?, Virgil, 00:52
- Re: How big is infinity?, Virgil, 00:48
- Re: How big is infinity?, Virgil, 00:38
- Re: How big is infinity?, Virgil, 00:17
August 30, 2006
- Re: How big is infinity?, stephen, 23:43
- Re: Definition of God, Your Logic Tutor, 22:37
- Re: How big is infinity?, Virgil, 22:31
- Re: How big is infinity?, Lester Zick, 22:30
- Re: How big is infinity?, Lester Zick, 22:29
- Re: The incompleteness theorems, Sigma-1-completeness, induction, all that, Rupert, 22:17
- Re: How big is infinity?, Lester Zick, 22:14
- Re: Torkel Franzén Lives!, Charlie-Boo, 21:59
- Re: Definition of God, Sean, 21:50
- Re: Definition of God, Sean, 21:42
- Re: Definition of God, Sean, 21:29
- Re: How big is infinity?, MoeBlee, 20:24
- Re: How big is infinity?, Nam Nguyen, 20:17
- Re: Definition of God, Dan Wood, 20:01
- Re: How big is infinity?, Lester Zick, 19:24
- Re: How big is infinity?, Lester Zick, 19:23
- Re: How big is infinity?, David R Tribble, 19:19
- Re: How big is infinity?, Lester Zick, 19:19
- Re: How big is infinity?, Lester Zick, 19:16
- Re: How big is infinity?, Lester Zick, 19:15
- Re: How big is infinity?, Lester Zick, 19:14
- Re: How big is infinity?, David R Tribble, 19:13
- Re: How big is infinity?, MoeBlee, 19:03
- Re: How big is infinity?, Lester Zick, 18:52
- Re: How big is infinity?, MoeBlee, 18:27
- Re: How big is infinity?, MoeBlee, 18:19
- Re: Definition of God, Dan Wood, 17:41
- Re: Definition of God, Dan Wood, 17:39
- Re: Definition of God, Shawn, 17:34
- Re: Definition of God, Your Logic Tutor, 17:23
- Re: How big is infinity?, Lester Zick, 17:20
- Re: How big is infinity?, Lester Zick, 17:15
- Re: Definition of God, Your Logic Tutor, 17:14
- Re: How big is infinity?, Virgil, 16:40
- Re: How big is infinity?, Virgil, 16:35
- Re: How big is infinity?, Lester Zick, 16:33
- Re: How big is infinity?, Virgil, 16:21
- Re: How big is infinity?, Lester Zick, 16:17
- Re: How big is infinity?, Virgil, 16:13
- Re: How big is infinity?, Lester Zick, 16:13
- Re: How big is infinity?, Virgil, 16:12
- Re: Definition of God, Steve O, 16:04
- Re: How big is infinity?, Virgil, 15:50
- Re: How big is infinity?, Virgil, 15:49
- Re: How big is infinity?, Lester Zick, 15:48
- Re: How big is infinity?, Lester Zick, 15:31
- Re: How big is infinity?, Lester Zick, 15:22
- Re: How big is infinity?, Lester Zick, 15:19
- Re: How big is infinity?, Lester Zick, 15:07
- Re: How big is infinity?, Lester Zick, 14:52
- Re: How big is infinity?, Lester Zick, 14:50
- Re: How big is infinity?, Lester Zick, 14:47
- Re: How big is infinity?, Lester Zick, 14:27
- Re: How big is infinity?, Lester Zick, 14:07
- Re: How big is infinity?, Lester Zick, 14:06
- Re: How big is infinity?, Lester Zick, 14:04
- Re: How big is infinity?, Lester Zick, 14:02
- Universal Logic ?, lebel, 13:19
- Re: Definition of God, Robibnikoff, 12:12
- Re: The incompleteness theorems, Sigma-1-completeness, induction, all that, george, 12:08
- Re: How big is infinity?, Aatu Koskensilta, 11:45
- Re: Definition of God, Christopher A . Lee, 11:34
- Re: Definition of God, Christopher A . Lee, 11:32
- Re: Provable in T?, Aatu Koskensilta, 11:26
- Re: Torkel Franzén Lives!, Aatu Koskensilta, 11:14
- Re: Definition of God, stoney, 11:08
- Re: Definition of God, stoney, 11:07
- Re: Definition of God, stoney, 11:05
- Re: Definition of God, stoney, 11:04
- Re: Definition of God, Daniel T., 10:37
- Re: Definition of God, Dan Wood, 09:56
- Re: The incompleteness theorems, Sigma-1-completeness, induction, all that, george, 09:52
- Re: Torkel Franzén Lives!, Aatu Koskensilta, 08:14
- Re: Propositional calculus, David C . Ullrich, 05:43
- Re: How big is infinity?, Ross A. Finlayson, 04:59
- Re: Definition of God, Marshall, 02:03
- Re: Definition of God, Virgil, 01:25
- Re: How big is infinity?, Virgil, 01:16
- Re: Definition of God, Sean, 01:15
- Re: Definition of God, Agnes, 01:14
- Re: How big is infinity?, Virgil, 01:14
- Re: Definition of God, Sean, 01:05
- Re: How big is infinity?, Virgil, 00:57
- Re: How big is infinity?, Virgil, 00:56
- Re: Definition of God, Your Logic Tutor, 00:49
- Re: How big is infinity?, Virgil, 00:46
- Re: Definition of God, Sean, 00:45
- Re: How big is infinity?, Virgil, 00:37
- Re: How big is infinity?, Virgil, 00:33
- Re: How big is infinity?, Virgil, 00:32
- Re: Definition of God, Mike, 00:27
- Re: Definition of God, Sean, 00:25
- Re: Definition of God, Phill Adelphia, 00:20
- Re: How big is infinity?, Virgil, 00:06
August 29, 2006
- Re: How big is infinity?, Virgil, 23:35
- Re: Definition of God, Phill Adelphia, 23:26
- Re: Definition of God, Phill Adelphia, 23:13
- Re: How big is infinity?, imaginatorium, 22:51
- Re: How big is infinity?, David R Tribble, 22:23
- Re: Proofs to programs, Charlie-Boo, 21:34
- Re: Torkel Franzén Lives!, Charlie-Boo, 21:14
- Re: Definition of God, Dan Wood, 21:09
- Re: Definition of God, Dan Wood, 21:05
- Re: Every set x equinumerous with a set y disjoint from x?, Chris Menzel, 20:46
- Re: Propositional calculus, herb z, 20:28
- Re: Propositional calculus, herb z, 20:28
- Re: How big is infinity?, Aluminium Holocene Holodeck Zoroaster, 20:28
- Re: bXc = b -> b=0 (with regularity but not infinity), MoeBlee, 19:41
- Re: How big is infinity?, MoeBlee, 19:37
- Re: How big is infinity?, Lester Zick, 19:35
- Re: How big is infinity?, MoeBlee, 19:34
- Re: How big is infinity?, Lester Zick, 19:33
- Re: How big is infinity?, MoeBlee, 19:28
- Re: How big is infinity?, David R Tribble, 19:18
- Re: How big is infinity?, Lester Zick, 19:15
- Re: How big is infinity?, Lester Zick, 19:13
- Re: The incompleteness theorems, Sigma-1-completeness, induction, all that, Aatu Koskensilta, 19:11
- Re: bXc = b -> b=0 (with regularity but not infinity), Rupert, 19:11
- Re: How big is infinity?, Lester Zick, 19:11
- Re: The incompleteness theorems, Sigma-1-completeness, induction, all that, Aatu Koskensilta, 19:07
- Re: The incompleteness theorems, Sigma-1-completeness, induction, all that, Rupert, 19:05
- Re: Every set x equinumerous with a set y disjoint from x?, MoeBlee, 18:51
- Re: Every set x equinumerous with a set y disjoint from x?, MoeBlee, 18:48
- Re: How big is infinity?, Lester Zick, 18:47
- Re: How big is infinity?, Lester Zick, 18:35
- Re: How big is infinity?, Lester Zick, 18:25
- Re: How big is infinity?, David R Tribble, 18:24
- Re: How big is infinity?, Lester Zick, 18:24
- Re: How big is infinity?, Lester Zick, 18:10
- Re: How big is infinity?, Lester Zick, 17:47
- Re: Every set x equinumerous with a set y disjoint from x?, Chris Menzel, 17:16
- Re: How big is infinity?, Virgil, 17:10
- Re: How big is infinity?, Virgil, 17:07
- Re: How big is infinity?, Virgil, 16:54
- Re: How big is infinity?, MoeBlee, 16:53
- Re: How big is infinity?, Virgil, 16:52
- Re: How big is infinity?, Virgil, 16:45
- Re: How big is infinity?, Virgil, 16:38
- Re: The incompleteness theorems, Sigma-1-completeness, induction, all that, george, 16:17
- Re: How big is infinity?, Virgil, 16:14
- Re: How big is infinity?, MoeBlee, 15:25
- Re: How big is infinity?, Lester Zick, 15:20
- Re: How big is infinity?, MoeBlee, 15:17
- Re: How big is infinity?, Lester Zick, 15:16
- Re: How big is infinity?, MoeBlee, 15:12
- Re: bXc = b -> b=0 (with regularity but not infinity), MoeBlee, 15:09
- Re: How big is infinity?, Lester Zick, 15:07
- Re: How big is infinity?, Lester Zick, 15:00
- Re: How big is infinity?, Ross A. Finlayson, 14:58
- Re: How big is infinity?, Lester Zick, 14:49
- Re: How big is infinity?, Lester Zick, 14:40
- Re: How big is infinity?, MoeBlee, 14:38
- Re: How big is infinity?, MoeBlee, 14:34
- Re: Propositional calculus, Aatu Koskensilta, 14:30
- The incompleteness theorems, Sigma-1-completeness, induction, all that, Aatu Koskensilta, 14:28
- Re: How big is infinity?, MoeBlee, 14:27
- Re: Definition of God, Robibnikoff, 14:23
- Re: How big is infinity?, MoeBlee, 14:18
- Re: How big is infinity?, Lester Zick, 14:08
- Re: How big is infinity?, Lester Zick, 14:03
- Re: How big is infinity?, Lester Zick, 13:57
- Re: How big is infinity?, Lester Zick, 13:54
- Re: Every set x equinumerous with a set y disjoint from x?, MoeBlee, 13:52
- Re: How big is infinity?, Lester Zick, 13:49
- Re: Every set x equinumerous with a set y disjoint from x?, MoeBlee, 13:37
- Re: How big is infinity?, Lester Zick, 13:36
- Re: How big is infinity?, Lester Zick, 13:30
- Re: Torkel Franzén Lives!, Aatu Koskensilta, 13:27
- Re: Propositional calculus, Chris Menzel, 12:56
- Re: Provable in T?, george, 12:05
- Re: Propositional calculus, George Dance, 11:55
- [] bXc = b -> b=0 (with regularity but not infinity), William Elliot, 08:05
- Re: Every set x equinumerous with a set y disjoint from x?, David C . Ullrich, 08:00
- Re: Every set x equinumerous with a set y disjoint from x?, David C . Ullrich, 07:57
- Re: Definition of God, Sean, 02:44
- Re: Definition of God, Dan Wood, 01:59
- Re: Definition of God, Dan Wood, 01:47
- Re: How big is infinity?, Virgil, 01:21
- Re: How big is infinity?, Ross A. Finlayson, 01:12
August 28, 2006
- Re: How big is infinity?, Russell Easterly, 23:41
- Re: Definition of God, Phill Adelphia, 23:20
- Re: How big is infinity?, imaginatorium, 22:49
- Re: Proofs to programs, Charlie-Boo, 22:39
- Re: Proofs to programs, Charlie-Boo, 22:33
- Re: Every set x equinumerous with a set y disjoint from x?, Rupert, 22:30
- Re: Definition of God, Michelle Malkin, 22:25
- Re: Proofs to programs, Charlie-Boo, 22:12
- Re: Must higher-order logic be typed?, Newberry, 21:53
- Re: Every set x equinumerous with a set y disjoint from x?, Rupert, 21:47
- Re: Definition of God, Steve O, 21:23
- Re: Definition of God, Steve O, 21:17
- Re: Torkel Franzén Lives!, George Dance, 20:19
- Re: Every set x equinumerous with a set y disjoint from x?, MoeBlee, 20:17
- Re: Every set x equinumerous with a set y disjoint from x?, Rupert, 20:11
- Re: Propositional calculus, George Dance, 20:07
- Re: How big is infinity?, Virgil, 20:02
- Re: Proofs to programs, Chris Menzel, 20:00
- Re: Proofs to programs, Chris Menzel, 19:52
- Re: How big is infinity?, Virgil, 19:40
- Re: How big is infinity?, Virgil, 19:28
- Re: How big is infinity?, David R Tribble, 19:12
- Re: How big is infinity?, David R Tribble, 19:08
- Re: Propositional calculus, George Dance, 19:02
- Re: Definition of God, Christopher A . Lee, 18:45
- Re: How big is infinity?, MoeBlee, 18:41
- Re: How big is infinity?, Lester Zick, 18:33
- Re: Definition of God, Christopher A . Lee, 18:18
- Re: Definition of God, thepossibilities, 18:13
- Re: How big is infinity?, Lester Zick, 18:10
- Re: How big is infinity?, MoeBlee, 18:09
- Re: How big is infinity?, MoeBlee, 18:06
- Re: How big is infinity?, Aluminium Holocene Holodeck Zoroaster, 18:03
- Re: Definition of God, thepossibilities, 18:01
- Re: How big is infinity?, Lester Zick, 17:57
- Re: Definition of God, thepossibilities, 17:54
- Re: How big is infinity?, Lester Zick, 17:50
- Re: How big is infinity?, Lester Zick, 17:47
- Re: How big is infinity?, MoeBlee, 17:43
- Re: Proofs to programs, MoeBlee, 17:38
- Re: Proofs to programs, MoeBlee, 17:36
- Re: How big is infinity?, MoeBlee, 17:28
- Re: How big is infinity?, David R Tribble, 17:20
- Re: How big is infinity?, David R Tribble, 17:18
- Re: Proofs to programs, Charlie-Boo, 16:05
- Re: Must higher-order logic be typed?, Owen, 15:47
- Any First Order or Set Theoretic versions of Fitch Operators?, Dan Christensen, 15:24
- Re: Torkel Franzén Lives!, george, 15:09
- Re: How big is infinity?, John Jones, 15:07
- Re: Proofs to programs, Charlie-Boo, 15:01
- Re: How big is infinity?, Lester Zick, 14:58
- Re: Must higher-order logic be typed?, MoeBlee, 14:58
- Re: How big is infinity?, Virgil, 14:48
- Re: How big is infinity?, Lester Zick, 14:48
- Re: Propositional calculus, Jan Burse, 14:48
- Re: How big is infinity?, Lester Zick, 14:47
- Re: Must higher-order logic be typed?, Owen, 14:46
- Re: How big is infinity?, Lester Zick, 14:45
- Re: How big is infinity?, David R Tribble, 14:41
- Re: Proofs to programs, MoeBlee, 14:40
- Re: How big is infinity?, Virgil, 14:36
- Re: Proofs to programs, Charlie-Boo, 14:25
- Re: Definition of God, Charlie-Boo, 14:17
- Re: Propositional calculus, Jan Burse, 14:17
- Re: Proofs to programs, MoeBlee, 13:54
- Re: Proofs to programs, MoeBlee, 13:52
- Re: Proofs to programs, Charlie-Boo, 13:51
- Re: Proofs to programs, MoeBlee, 13:50
- Re: Proofs to programs, Charlie-Boo, 13:42
- Re: How big is infinity?, stephen, 13:39
- Re: Definition of God, Dan Wood, 13:32
- Re: Proofs to programs, Charlie-Boo, 13:29
- Re: How big is infinity?, Lester Zick, 13:23
- Re: How big is infinity?, Lester Zick, 13:05
- Re: Proofs to programs, MoeBlee, 13:03
- Re: How big is infinity?, Marshall, 13:02
- Re: How big is infinity?, Lester Zick, 13:02
- Re: How big is infinity?, David R Tribble, 13:01
- Re: How big is infinity?, David R Tribble, 12:57
- Re: Every set x equinumerous with a set y disjoint from x?, MoeBlee, 12:49
- Re: Every set x equinumerous with a set y disjoint from x?, MoeBlee, 12:44
- Re: Every set x equinumerous with a set y disjoint from x?, MoeBlee, 12:40
- Re: bXc = b -> b=0 (with regularity but not infinity), MoeBlee, 12:16
- Re: bXc = b -> b=0 (with regularity but not infinity), MoeBlee, 12:11
- Re: How big is infinity?, David R Tribble, 12:06
- Re: How big is infinity?, David R Tribble, 11:37
- Re: Definition of God, stoney, 11:06
- Re: Definition of God, stoney, 11:05
- Re: Every set x equinumerous with a set y disjoint from x?, Frederick Williams, 08:21
- Re: Every set x equinumerous with a set y disjoint from x?, Rupert, 07:19
- Re: Every set x equinumerous with a set y disjoint from x?, David C . Ullrich, 06:19
- Re: Every set x equinumerous with a set y disjoint from x?, Rupert, 04:24
- Re: Propositional calculus, Russell Easterly, 02:13
- Re: How big is infinity?, Virgil, 01:47
- Re: How big is infinity?, Russell Easterly, 00:25
August 27, 2006
- Re: How big is infinity?, Ross A. Finlayson, 21:23
- Re: Proofs to programs, Lee Rudolph, 19:41
- Re: Proofs to programs, MoeBlee, 19:29
- Re: Proofs to programs, Chris Menzel, 19:26
- Re: Proofs to programs, MoeBlee, 19:25
- Re: How big is infinity?, MoeBlee, 19:19
- Re: Every set x equinumerous with a set y disjoint from x?, MoeBlee, 18:59
- Re: Every set x equinumerous with a set y disjoint from x?, MoeBlee, 18:54
- Re: Every set x equinumerous with a set y disjoint from x?, MoeBlee, 18:50
- Re: Definition of God, Free Lunch, 17:45
- Re: Every set can be ... ordered?, Rupert, 17:39
- Re: How big is infinity?, Virgil, 17:24
- Re: How big is infinity?, Virgil, 17:08
- Re: Definition of God, Frank Mayhar, 16:53
- Re: Definition of God, Bob, 16:52
- Re: Definition of God, Bob, 16:48
- Re: Definition of God, Bob, 16:47
- Re: Definition of God, Frank Mayhar, 16:33
- Re: How big is infinity?, Lester Zick, 15:57
- Re: Proofs to programs, Chris Menzel, 15:38
- Re: How big is infinity?, Lester Zick, 15:37
- Re: How big is infinity?, Lester Zick, 15:25
- Re: How big is infinity?, Lester Zick, 15:25
- Re: Propositional calculus, herb z, 13:13
- Re: Definition of God, Lizz Holmans, 12:28
- Re: Must higher-order logic be typed?, xilog, 12:01
- Re: Must higher-order logic be typed?, Newberry, 11:40
- Re: How big is infinity?, abo, 11:13
- Re: How many orders does our brains have?, Frederick Williams, 10:19
- Re: Definition of God, Bob, 10:16
- Re: Definition of God, Bob, 10:15
- Re: Proofs to programs, Charlie-Boo, 09:56
- Re: Definition of God, Bob, 09:49
- Re: Proofs to programs, Charlie-Boo, 09:28
- Re: How big is infinity?, Aatu Koskensilta, 08:33
- Re: How many orders does our brains have?, wit, 05:57
- Re: bXc = b -> b=0 (with regularity but not infinity), William Elliot, 04:59
- Re: How big is infinity?, Jan Burse, 04:27
- Re: Must higher-order logic be typed?, xilog, 03:47
- Re: How big is infinity?, Virgil, 03:25
- Re: Must higher-order logic be typed?, klxto, 02:40
- Re: Definition of God, Sean, 01:58
- Re: How big is infinity?, Ross A. Finlayson, 00:54
- Must higher-order logic be typed?, yuyang08, 00:54
- How many orders does our brains have?, yuyang08, 00:49
August 26, 2006
- Re: How big is infinity?, Patricia Shanahan, 23:40
- Re: Definition of God, stoney, 23:28
- Re: Definition of God, stoney, 23:26
- Re: Definition of God, stoney, 23:23
- Re: Definition of God, stoney, 23:13
- Re: Definition of God, stoney, 23:12
- Re: Definition of God, stoney, 23:12
- Re: Definition of God, stoney, 23:07
- Re: Definition of God, stoney, 23:03
- Re: Definition of God, stoney, 23:01
- Re: Definition of God, stoney, 23:00
- Re: Definition of God, stoney, 22:57
- Re: Definition of God, stoney, 22:56
- Re: Definition of God, stoney, 22:46
- Re: Definition of God, stoney, 22:45
- Re: How big is infinity?, Russell Easterly, 22:41
- Re: Definition of God, stoney, 22:23
- Re: Definition of God, stoney, 22:15
- Re: Definition of God, stoney, 22:11
- Re: Definition of God, stoney, 22:11
- Re: Definition of God, stoney, 22:09
- Re: Definition of God, stoney, 22:02
- Re: Definition of God, stoney, 21:56
- Re: Provable in T?, Aatu Koskensilta, 21:08
- Re: the consistency of predicate logic., Aatu Koskensilta, 20:47
- Re: Propositional calculus, herb z, 20:29
- Re: Every set can be ... ordered?, Rupert, 19:09
- Re: bXc = b -> b=0 (with regularity but not infinity), Rupert, 19:05
- Re: Proofs to programs, MoeBlee, 19:02
- Re: Definition of God, Steve O, 18:58
- Re: Propositional calculus, Jan Burse, 18:45
- Re: Definition of God, DanWood, 18:32
- Re: Proofs to programs, Charlie-Boo, 18:26
- Re: Propositional calculus, Jan Burse, 17:54
- Re: Propositional calculus, Jan Burse, 17:52
- Re: How big is infinity?, Richard Henry, 17:48
- Re: How big is infinity?, MoeBlee, 17:13
- Re: Proofs to programs, MoeBlee, 17:03
- Re: Proofs to programs, Charlie-Boo, 16:47
- Re: Every set can be ... ordered?, MoeBlee, 16:44
- Re: Propositional calculus, wit, 16:33
- Re: Every set can be ... ordered?, MoeBlee, 16:31
- Re: Every set can be ... ordered?, MoeBlee, 16:23
- Re: How big is infinity?, Jack Campin - bogus address, 16:09
- Re: Propositional calculus, George Dance, 15:48
- Re: How big is infinity?, Virgil, 15:41
- Re: How big is infinity?, Virgil, 15:38
- Re: How big is infinity?, John Jones, 15:11
- Re: Definition of God, Free Lunch, 15:03
- Re: Definition of God, Michelle Malkin, 14:36
- Re: How big is infinity?, Jesse F. Hughes, 14:18
- Re: Provable in T?, george, 14:13
- Re: Definition of God, Christopher A . Lee, 14:02
- Re: Definition of God, DanWood, 13:58
- Re: Propositional calculus, Russell Easterly, 13:57
- Re: How big is infinity?, Lester Zick, 13:32
- Re: Definition of God, Lizz Holmans, 13:31
- Re: Definition of God, Enkidu, 13:28
- Re: Every set can be ... ordered?, tchow, 13:24
- Re: Definition of God, Bob, 13:19
- Re: Definition of God, Bob, 13:15
- Re: Every set can be ... ordered?, Patricia Shanahan, 13:14
- Re: Definition of God, Bob, 13:13
- Re: Definition of God, Christopher A . Lee, 13:06
- Re: Definition of God, DanWood, 13:01
- Re: FRIEDMANN EQUATION and KEMIEMANN EQUATION!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!, The Ghost In The Machine, 13:00
- Re: Every set can be ... ordered?, The Ghost In The Machine, 13:00
- Re: Definition of God, Sean, 12:59
- Re: Every set can be ... ordered?, tchow, 12:58
- Re: Definition of God, DanWood, 12:47
- Re: Definition of God, Free Lunch, 12:26
- Re: Definition of God, Bob, 12:23
- Re: Definition of God, Bob, 12:21
- Re: Definition of God, Bob, 12:19
- Re: Definition of God, Enkidu, 12:17
- Re: Propositional calculus, Jan Burse, 12:15
- Re: Definition of God, Bob, 12:10
- Re: Definition of God, DanWood, 12:01
- Re: Definition of God, Sean, 11:54
- Re: Propositional calculus, Jan Burse, 11:53
- Re: Propositional calculus, Jan Burse, 11:40
- Re: Definition of God, Christopher A . Lee, 11:40
- Re: Propositional calculus, Jan Burse, 11:33
- Re: Definition of God, DanWood, 11:27
- Re: Definition of God, Free Lunch, 11:11
- Re: Definition of God, Free Lunch, 11:10
- Re: Definition of God, Free Lunch, 11:08
- Re: Provable in T?, Newberry, 10:42
- Re: Propositional calculus, wit, 10:36
- Re: Definition of God, Christopher A . Lee, 10:20
- Re: Definition of God, Bob, 10:03
- Re: Definition of God, Bob, 10:02
- Re: Definition of God, Bob, 09:57
- Re: Definition of God, DanWood, 09:56
- Re: Definition of God, Bob, 09:56
- Re: Definition of God, Bob, 09:43
- Re: Definition of God, Bob, 09:38
- Re: How big is infinity?, Jesse F. Hughes, 09:36
- Re: Definition of God, Christopher A . Lee, 09:34
- Re: Definition of God, Bob, 09:31
- Re: the consistency of predicate logic., Jan Burse, 09:30
- Re: Definition of God, Bob, 09:29
- Re: Propositional calculus, Jan Burse, 09:29
- Re: Propositional calculus, Jan Burse, 09:29
- Re: Definition of God, Christopher A . Lee, 09:28
- Re: How big is infinity?, Patricia Shanahan, 07:59
- Re: the consistency of predicate logic., fjmd1a, 07:54
- Re: Definition of God, Steve O, 07:05
- Re: Propositional calculus, herb z, 06:57
- Re: Every set x equinumerous with a set y disjoint from x?, David C . Ullrich, 06:48
- Re: bXc = b -> b=0 (with regularity but not infinity), Rupert, 05:13
- Re: bXc = b -> b=0 (with regularity but not infinity), Rupert, 04:55
- Re: How big is infinity?, Russell Easterly, 04:37
- Re: How big is infinity?, Russell Easterly, 04:30
- Re: Definition of God, Sean, 03:12
- Re: Every set can be ... ordered?, Rupert, 02:59
- Re: Definition of God, Virgil, 02:41
- Re: bXc = b -> b=0 (with regularity but not infinity), Rupert, 02:09
- Re: Every set can be ... ordered?, The Ghost In The Machine, 02:00
- Re: Provable in T?, Rupert, 01:51
- Re: Why so many overlapping terminologies, William Elliot, 00:55
- Re: Why so many overlapping terminologies, William Elliot, 00:53
August 25, 2006
- Re: Every set can be ... ordered?, Rupert, 23:53
- Re: Every set x equinumerous with a set y disjoint from x?, Rupert, 23:40
- Re: How big is infinity?, abo, 23:16
- Re: How big is infinity?, David Bernier, 22:39
- FRIEDMANN EQUATION and KEMIEMANN EQUATION!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!, NILS BÖRJESSON, 22:19
- Re: Definition of God, DanWood, 22:16
- Re: Definition of God, Steve O, 21:49
- Re: How big is infinity?, abo, 21:44
- Re: Definition of God, Steve O, 21:43
- Re: Definition of God, Steve O, 21:34
- Re: Definition of God, Steve O, 21:31
- Re: Definition of God, Gandalf Grey, 21:20
- Re: Definition of God, Virgil, 21:13
- Re: How big is infinity?, Jesse F. Hughes, 21:07
- Re: Proofs to programs, MoeBlee, 20:59
- Re: Why so many overlapping terminologies, Terry Padden, 20:49
- Re: Why so many overlapping terminologies, Terry Padden, 20:49
- Re: How big is infinity?, MoeBlee, 20:43
- Re: Proofs to programs, Charlie-Boo, 20:40
- Re: How big is infinity?, abo, 20:32
- Re: Every set can be ... ordered?, MoeBlee, 20:15
- Re: Every set x equinumerous with a set y disjoint from x?, MoeBlee, 20:04
- Re: Every set x equinumerous with a set y disjoint from x?, Rupert, 19:59
- Re: Every set can be ... ordered?, Rupert, 19:55
- bXc = b -> b=0 (with regularity but not infinity), MoeBlee, 19:55
- Re: Provable in T?, Rupert, 19:51
- Every set x equinumerous with a set y disjoint from x?, MoeBlee, 19:46
- Re: Every set can be ... ordered?, MoeBlee, 19:39
- Every set can be ... ordered?, MoeBlee, 19:37
- Re: Definition of God, Free Lunch, 19:10
- Re: Know-Nothing Universal Skepticism: Positive & Negative Forms, Immortalist, 19:05
- Re: Provable in T?, Rupert, 18:57
- Re: Definition of God, Nosterill, 18:05
- Re: Provable in T?, tchow, 17:53
- Re: Propositional calculus, wit, 17:48
- Re: Definition of God, DanWood, 17:46
- Re: Propositional calculus, George Dance, 17:40
- Re: Definition of God, Your Logic Tutor, 17:31
- Re: Propositional calculus, George Dance, 17:29
- Re: Definition of God, Bryan Olson, 17:15
- Re: Know-Nothing Universal Skepticism: Positive & Negative Forms, thepossibilities, 16:59
- sigma-1 completeness vs. 1-consistency, george, 16:36
- Re: Definition of God, DanWood, 16:25
- Mathematician (Contractor/Consultant), jmcgowan, 16:14
- Re: Provable in T?, george, 16:07
- Re: Definition of God, Robibnikoff, 16:03
- Re: How big is infinity?, briggs, 16:03
- Re: Definition of God, roger_pearse, 15:35
- Re: Definition of God, Gospel Bretts, 15:13
- Re: Definition of God, DanWood, 15:00
- Re: Definition of God, Gospel Bretts, 14:47
- Re: Definition of God, DanWood, 14:38
- Re: Definition of God, Gospel Bretts, 14:28
- Know-Nothing Universal Skepticism: Positive & Negative Forms, Immortalist, 14:27
- Re: Definition of God, Christopher A . Lee, 14:24
- Re: Definition of God, droth, 13:50
- Re: Definition of God, thepossibilities, 13:29
- Re: Definition of God, thepossibilities, 13:19
- Re: Definition of God, DanWood, 12:26
- Re: Definition of God, Christopher A . Lee, 12:09
- Re: Definition of God, thepossibilities, 12:09
- Re: Definition of God, thepossibilities, 12:02
- Re: Definition of God, DanWood, 12:02
- Re: Definition of God, thepossibilities, 11:54
- Re: Definition of God, DanWood, 11:52
- Re: Definition of God, Gospel Bretts, 11:44
- Re: How big is infinity?, abo, 11:37
- Re: A question about FOL theories and models, Jan Burse, 11:33
- Re: Question about McKinsey and Tarski paper, semiopen, 11:14
- AQOTM [Re: Definition of God], Phill Adelphia, 11:07
- Re: Question about McKinsey and Tarski paper, semiopen, 11:02
- Re: How big is infinity?, The Ghost In The Machine, 11:00
- Re: Definition of God, Gospel Bretts, 10:45
- Re: Provable in T?, Aatu Koskensilta, 10:44
- Re: Provable in T?, Aatu Koskensilta, 10:38
- Re: Definition of God, DanWood, 10:34
- Re: Definition of God, Paul Holbach, 09:36
- Re: Definition of God, Bob, 08:36
- Re: Definition of God, Bob, 08:33
- Re: Definition of God, Bob, 08:32
- Re: Why so many overlapping terminologies, patro, 08:25
- Re: Definition of God, Bob, 08:17
- Re: Definition of God, Bob, 08:14
- Re: Definition of God, Bob, 08:04
- Re: Definition of God, Bob, 08:01
- Re: Why so many overlapping terminologies, William Elliot, 07:43
- Why so many overlapping terminologies, Terry Padden, 07:25
- Re: How big is infinity?, Jesse F. Hughes, 07:20
- Re: Definition of God, Christopher A . Lee, 07:04
- Re: Definition of God, Nosterill, 06:38
- Re: Definition of God, Nosterill, 06:22
- Re: Definition of God, Christopher A . Lee, 03:54
- Re: How big is infinity?, Ross A. Finlayson, 02:42
- Re: Propositional calculus, Jack Campin - bogus address, 02:35
- Re: How big is infinity?, Virgil, 02:13
- Re: How big is infinity?, Aatu Koskensilta, 02:12
- Re: How big is infinity?, W. Dale Hall, 01:32
- Re: Propositional calculus, Russell Easterly, 01:16
- Re: Proofs to programs, Aatu Koskensilta, 00:53
- Re: A question about FOL theories and models, Aatu Koskensilta, 00:48
- Re: How big is infinity?, Patricia Shanahan, 00:39
- Re: How big is infinity?, Marshall, 00:38
- Re: How big is infinity?, Marshall, 00:35
- Re: How big is infinity?, Ross A. Finlayson, 00:25
August 24, 2006
- Re: Definition of God, DanWood, 23:46
- Re: How big is infinity?, Russell Easterly, 23:41
- Re: How big is infinity?, abo, 23:35
- Re: How big is infinity?, Patricia Shanahan, 23:28
- Re: How big is infinity?, Virgil, 23:17
- Re: How big is infinity?, Virgil, 23:13
- Question about McKinsey and Tarski paper, Rupert, 23:12
- Re: How big is infinity?, Patricia Shanahan, 23:11
- Re: A question about FOL theories and models, Russell Easterly, 23:00
- Re: How big is infinity?, Marshall, 21:56
- Re: How big is infinity?, abo, 21:47
- Re: How big is infinity?, abo, 21:45
- Re: How big is infinity?, abo, 21:35
- Re: Proofs to programs, Charlie-Boo, 21:26
- Re: How big is infinity?, Jesse F. Hughes, 21:22
- Re: How big is infinity?, abo, 21:21
- Re: How big is infinity?, W. Dale Hall, 21:15
- Re: Proofs to programs, Charlie-Boo, 21:09
- Re: Definition of God, Christopher A . Lee, 20:34
- Re: Definition of God, Free Lunch, 20:31
- Re: Definition of God, DanWood, 20:29
- Re: the consistency of predicate logic., Rupert, 20:23
- Re: Definition of God, Steve O, 20:23
- Re: Provable in T?, Rupert, 20:19
- Re: Definition of God, Steve O, 20:19
- Re: Definition of God, DanWood, 20:07
- Re: Definition of God, Steve O, 20:04
- Re: Definition of God, Steve O, 19:50
- Re: Definition of God, Steve O, 19:45
- Re: Definition of God, Paul Holbach, 19:44
- Re: Definition of God, Steve O, 19:42
- Re: Definition of God, Steve O, 19:39
- Re: Definition of God, droth, 19:26
- Re: Definition of God, knucmo, 18:32
- Re: Provable in T?, Aatu Koskensilta, 18:15
- Re: How big is infinity?, John Jones, 18:10
- Re: Concerning simple induction., James Dolan, 17:54
- Re: Definition of God, Frank Mayhar, 17:53
- Re: Definition of God, Christopher A . Lee, 17:42
- Re: How big is infinity?, Virgil, 17:41
- Re: How big is infinity?, Virgil, 17:32
- Re: Provable in T?, tchow, 17:31
- Re: How big is infinity?, Virgil, 17:28
- Re: How big is infinity?, Virgil, 17:25
- Re: Provable in T?, tchow, 17:19
- Re: Provable in T?, tchow, 17:13
- Re: Provable in T?, george, 17:06
- Re: Definition of God, thepossibilities, 17:04
- Re: Definition of God, Frank Mayhar, 16:51
- Re: Proofs to programs, Chris Menzel, 16:46
- Re: Definition of God, Lizz Holmans, 16:43
- Re: Definition of God, Lizz Holmans, 16:41
- Re: Definition of God, thepossibilities, 16:29
- Re: Provable in T?, george, 16:28
- Re: How big is infinity?, Lester Zick, 16:24
- Re: Definition of God, Robibnikoff, 16:22
- Re: Definition of God, Christopher A . Lee, 16:21
- Re: Definition of God, Robibnikoff, 16:19
- Re: Definition of God, Robibnikoff, 16:18
- Re: Definition of God, Robibnikoff, 16:15
- Re: Definition of God, Robibnikoff, 16:15
- Re: Provable in T?, george, 16:09
- Re: Definition of God, Christopher A . Lee, 16:05
- Re: Definition of God, Christopher A . Lee, 16:03
- Re: Definition of God, thepossibilities, 15:55
- Re: Definition of God, BORG, 15:53
- Re: Definition of God, thepossibilities, 15:51
- Re: Definition of God, DanWood, 15:50
- Re: Definition of God, thepossibilities, 15:45
- Re: Definition of God, Robibnikoff, 15:43
- Re: Definition of God, Robibnikoff, 15:42
- Re: Definition of God, Robibnikoff, 15:40
- Re: Definition of God, thepossibilities, 15:33
- Re: Provable in T?, george, 15:26
- Re: Definition of God, thepossibilities, 15:26
- Re: Definition of God, thepossibilities, 15:23
- Re: How big is infinity?, David R Tribble, 15:16
- Re: A question about FOL theories and models, galathaea, 15:14
- Re: How big is infinity?, David R Tribble, 15:13
- Re: Definition of God, droth, 14:51
- Re: Definition of God, Cary Kittrell, 14:49
- Re: How big is infinity?, John Jones, 14:25
- Re: Definition of God, Lizz Holmans, 14:14
- Re: How big is infinity?, Jesse F. Hughes, 14:11
- Re: Definition of God, Bob, 14:08
- Re: Definition of God, Bob, 14:05
- Re: Definition of God, Christopher A . Lee, 14:02
- Re: Definition of God, Christopher A . Lee, 13:59
- Re: How big is infinity?, W. Dale Hall, 13:57
- Re: Definition of God, Chris H. Fleming, 13:56
- Re: Definition of God, Cary Kittrell, 13:56
- Re: Propositional calculus, wit, 13:56
- Re: How big is infinity?, Jan Burse, 13:56
- Re: How big is infinity?, Jan Burse, 13:53
- Re: Definition of God, Lizz Holmans, 13:48
- Re: Provable in T?, Aatu Koskensilta, 13:48
- Re: Definition of God, DanWood, 13:41
- Re: Definition of God, Lizz Holmans, 13:30
- Re: Definition of God, thepossibilities, 13:29
- Re: A question about FOL theories and models, Aatu Koskensilta, 13:22
- Re: Definition of God, thepossibilities, 13:21
- Re: Torkel Franzén Lives!, Aatu Koskensilta, 13:19
- Re: the consistency of predicate logic., Aatu Koskensilta, 13:17
- Re: A theorem of Lindenbaum regarding FOL metalogical properties, Aatu Koskensilta, 13:15
- Re: Propositional calculus, Aatu Koskensilta, 13:13
- Re: Definition of God, Gospel Bretts, 13:12
- Re: Provable in T?, Aatu Koskensilta, 13:11
- Re: Definition of God, Cary Kittrell, 13:07
- Re: Definition of God, droth, 13:05
- Re: Definition of God, thepossibilities, 12:51
- Re: Definition of God, droth, 12:47
- Re: How big is infinity?, Dave Seaman, 12:46
- Re: the consistency of predicate logic., aussiekevin, 12:34
- Re: Definition of God, Robibnikoff, 12:27
- Re: the consistency of predicate logic., MoeBlee, 12:27
- Re: Definition of God, Christopher A . Lee, 12:24
- Re: Definition of God, DanWood, 12:20
- Re: Definition of God, Robibnikoff, 12:18
- Re: Definition of God, thepossibilities, 11:48
- Re: Definition of God, thepossibilities, 11:35
- Re: How big is infinity?, abo, 11:01
- Re: How big is infinity?, abo, 10:55
- Re: apptitude, George Dance, 10:15
- Re: How big is infinity?, Patricia Shanahan, 09:30
- Re: Propositional calculus, Jesse F. Hughes, 08:45
- Re: How big is infinity?, Richard Tobin, 08:26
- Re: Propositional calculus, Jesse F. Hughes, 08:18
- Re: Definition of God, Steve O, 07:33
- Re: Proofs to programs, David C . Ullrich, 04:59
- Re: Propositional calculus, Han de Bruijn, 04:29
- Re: How big is infinity?, Peter Webb, 04:18
- Re: How big is infinity?, Virgil, 03:13
- Re: Science and Scientism was: Dog Religion: Darwin's English Hound!, Sean, 02:34
- Re: Proofs to programs, Chris Menzel, 02:29
- Re: A question about FOL theories and models, Nam Nguyen, 02:08
- Re: How big is infinity?, Rupert, 02:07
- How big is infinity?, Russell Easterly, 01:58
- Re: A question about FOL theories and models, Nam Nguyen, 01:50
August 23, 2006
- Re: Provable in T?, Rupert, 23:27
- Re: the consistency of predicate logic., Rupert, 23:24
- Re: Proofs to programs, Charlie-Boo, 23:21
- Re: Definition of God, droth, 21:58
- Re: the consistency of predicate logic., MoeBlee, 20:33
- Re: the consistency of predicate logic., Rupert, 20:22
- Re: A question about FOL theories and models, Nam Nguyen, 20:15
- Re: Definition of God, Paul Holbach, 19:54
- Re: Definition of God, thepossibilities, 18:42
- Re: Propositional calculus, Jesse F. Hughes, 17:30
- Re: Definition of God, Nosterill, 17:16
- Re: Definition of God, wcb, 15:20
- Re: Definition of God, JTEM, 15:04
- Re: Definition of God, JTEM, 15:02
- Re: Definition of God, JTEM, 15:00
- Re: Definition of God, Bob, 14:08
- Re: Definition of God, Bob, 14:06
- Is this set theory?, jeg@xxxxxxxxxxxx, 13:12
- Re: the consistency of predicate logic., MoeBlee, 12:54
- Re: Propositional calculus, MoeBlee, 12:41
- Re: Propositional calculus, wit, 12:10
- Re: Propositional calculus, wit, 11:55
- Re: Provable in T?, tchow, 10:19
- Re: Propositional calculus, Han de Bruijn, 09:48
- Re: Propositional calculus, Jesse F. Hughes, 09:17
- Re: Propositional calculus, Chris Menzel, 08:25
- Re: apptitude, visa, 07:42
- Re: Propositional calculus, George Dance, 06:42
- Re: Dog Religion: Darwin's English Hound!, Sean, 06:27
- Re: Dog Religion: Darwin's English Hound!, Sean, 06:16
- Re: Go Flip A Coin (chance knowledge), Jean-Claude Arbaut, 06:03
- Re: Propositional calculus, David C . Ullrich, 04:32
- Re: Dog Religion: Darwin's English Hound!, riplin, 01:35
- Re: Dog Religion: Darwin's English Hound!, Sean, 00:21
- Re: A theorem of Lindenbaum regarding FOL metalogical properties, mordov, 00:14
- A theorem of Lindenbaum regarding FOL metalogical properties, mordov, 00:07
August 22, 2006
- Re: A Questionable Foundation, Virgil, 22:21
- Re: Concerning simple induction., Rupert, 21:44
- Re: A Questionable Foundation, Russell Easterly, 21:22
- Re: Concerning simple induction., Rupert, 21:14
- Re: A Questionable Foundation, Virgil, 20:13
- Re: Provable in T?, Rupert, 19:44
- Re: the consistency of predicate logic., Rupert, 19:34
- Re: A Questionable Foundation, David R Tribble, 17:48
- Re: A Questionable Foundation, David R Tribble, 17:45
- the consistency of predicate logic., kjd_72, 17:28
- Re: Provable in T?, george, 15:50
- Re: Dog Religion: Darwin's English Hound!, riplin, 15:24
- Re: Torkel Franzén Lives!, george, 15:23
- Re: A Questionable Foundation, Virgil, 15:07
- Re: Concerning simple induction., Dave L. Renfro, 14:50
- Re: A Questionable Foundation, MoeBlee, 13:48
- Re: A Questionable Foundation, MoeBlee, 13:33
- Re: Tennenbaum's theorem, fjmd1a, 12:56
- Re: Tennenbaum's theorem, feffemannen, 11:36
- Re: Propositional calculus, Chris Menzel, 11:09
- Re: Provable in T?, Chris Menzel, 11:05
- Re: Provable in T?, george, 11:03
- Re: Provable in T?, george, 10:54
- Re: Provable in T?, george, 10:51
- Re: Definition of God, wcb, 09:55
- Re: Provable in T?, Aatu Koskensilta, 09:36
- Re: Definition of God, Paul Holbach, 09:18
- Re: Propositional calculus, Aatu Koskensilta, 08:52
- Re: Propositional calculus, Chris Menzel, 08:33
- Re: Definition of God, Bob, 08:29
- Re: Definition of God, Bob, 08:26
- Re: A question about FOL theories and models, Aatu Koskensilta, 08:20
- Re: Concerning simple induction., David C . Ullrich, 08:17
- Re: Propositional calculus, Aatu Koskensilta, 07:55
- Re: Propositional calculus, George Dance, 07:11
- Re: Propositional calculus, Aatu Koskensilta, 07:06
- Re: Propositional calculus, George Dance, 07:03
- Re: Definition of God, riplin, 05:15
- Re: Definition of God, Nosterill, 04:35
- Re: A Questionable Foundation, Virgil, 03:25
- :: every engineering is a language morphism: refactoring to event driven models ::, galathaea, 03:06
- Re: A Questionable Foundation, Virgil, 03:05
- Re: A Questionable Foundation, Virgil, 02:59
- Re: Definition of God, jtem01, 02:12
- Re: Concerning simple induction., Barb Knox, 01:45
- Re: Concerning simple induction., Patricia Shanahan, 01:36
- Concerning simple induction., Bill Taylor, 00:48
- Re: A Questionable Foundation, Patricia Shanahan, 00:18
August 21, 2006
- Re: A Questionable Foundation, Russell Easterly, 23:54
- Re: Definition of God, Immortalist, 22:41
- [] what is "software", William Elliot, 22:15
- Re: summary of some of my forecasts of the past 10 years; birdflu,global warming,Iraq, Jan Burse, 20:04
- Re: Tennenbaum's theorem, tchow, 19:57
- Re: A question about FOL theories and models, MoeBlee, 19:52
- Re: A question about FOL theories and models, MoeBlee, 19:44
- Re: A question about FOL theories and models, Nam Nguyen, 19:39
- Re: A question about FOL theories and models, MoeBlee, 19:35
- Re: A question about FOL theories and models, Nam Nguyen, 19:20
- Re: Dog Religion: Darwin's English Hound!, Sean, 19:19
- Re: A question about FOL theories and models, MoeBlee, 19:18
- Re: A question about FOL theories and models, Nam Nguyen, 19:09
- Re: A question about FOL theories and models, Nam Nguyen, 18:52
- Re: A question about FOL theories and models, MoeBlee, 18:41
- Re: A question about FOL theories and models, Nam Nguyen, 18:27
- Re: A question about FOL theories and models, MoeBlee, 18:16
- Re: A question about FOL theories and models, MoeBlee, 18:14
- Re: Provable in T?, MoeBlee, 18:07
- Re: A question about FOL theories and models, Aatu Koskensilta, 18:05
- Re: A question about FOL theories and models, Nam Nguyen, 18:05
- Re: A question about FOL theories and models, MoeBlee, 18:03
- Re: A question about FOL theories and models, MoeBlee, 17:57
- Re: Provable in T?, Aatu Koskensilta, 17:53
- Re: Provable in T?, MoeBlee, 17:48
- Re: Current World Issues affecting people, uiucedward@xxxxxxxxx, 17:47
- Re: Provable in T?, MoeBlee, 17:46
- Re: A question about FOL theories and models, tchow, 17:43
- Re: what is "software", uiucedward@xxxxxxxxx, 17:39
- Re: A question about FOL theories and models, Nam Nguyen, 17:31
- Re: Provable in T?, Aatu Koskensilta, 17:15
- Re: Provable in T?, Aatu Koskensilta, 16:43
- Re: A question about FOL theories and models, Nam Nguyen, 14:52
- Re: Provable in T?, MoeBlee, 14:39
- Re: A question about FOL theories and models, MoeBlee, 13:17
- Re: Dog Religion: Darwin's English Hound!, Matt Silberstein, 13:06
- Re: Provable in T?, MoeBlee, 13:01
- Re: A Questionable Foundation, MoeBlee, 12:51
- Re: Provable in T?, Aatu Koskensilta, 12:49
- Re: Provable in T?, MoeBlee, 12:43
- Re: what is "software", Tom, 12:36
- Re: what is "software", Aatu Koskensilta, 11:44
- Re: what is "software", Dave L. Renfro, 11:14
- Re: Propositional calculus, wit, 11:09
- Re: Tennenbaum's theorem, fjmd1a, 11:01
- Re: Tennenbaum's theorem, tchow, 09:47
- Re: what is "software", zxcv_890, 09:27
- Re: Provable in T?, Aatu Koskensilta, 09:26
- Re: what is "software", Patricia Shanahan, 09:03
- Re: Propositional calculus, wit, 08:34
- Re: Propositional calculus, wit, 08:27
- Re: Propositional calculus, Aatu Koskensilta, 07:02
- Re: Propositional calculus, George Dance, 06:57
- Re: [] what is "software", William Elliot, 05:03
- Re: Tennenbaum's theorem, Aatu Koskensilta, 04:30
- Re: [] what is "software", wit, 04:25
- [] what is "software", William Elliot, 04:21
- Re: what is "software", William Elliot, 04:21
- Re: Tennenbaum's theorem, fjmd1a, 04:05
- Re: A Questionable Foundation, Virgil, 03:54
- Re: A Questionable Foundation, Jan Burse, 03:51
- Re: Dog Religion: Darwin's English Hound!, Sean, 03:45
- Re: what is "software", wit, 03:20
- Re: Propositional calculus, wit, 03:18
- Re: Dog Religion: Darwin's English Hound!, riplin, 02:50
- Re: Torkel Franzén Lives!, Keith Ramsay, 02:37
- Re: what is "software", Barb Knox, 02:20
- Re: A Questionable Foundation, Russell Easterly, 01:57
- Re: what is "software", Peter Webb, 01:54
- Re: what is "software", zxcv_890, 01:34
- Re: A question about FOL theories and models, george, 01:09
- Re: Dog Religion: Darwin's English Hound!, Matt Silberstein, 01:08
- Re: Dog Religion: Darwin's English Hound!, Sean, 01:01
- Re: Representation of "slightly greater than", Bill Taylor, 00:51
- Re: what is "software", Patricia Shanahan, 00:46
- Re: what is "software", William Elliot, 00:41
- Re: what is "software", zxcv_890, 00:33
- Re: what is "software", zxcv_890, 00:30
- Re: what is "software", zxcv_890, 00:25
August 20, 2006
- Re: what is "software", Barb Knox, 23:09
- Re: what is "software", Patricia Shanahan, 23:08
- Re: Propositional calculus, The Ghost In The Machine, 23:00
- Re: Provable in T?, Rupert, 22:57
- Re: Provable in T?, Rupert, 22:54
- Re: Dog Religion: Darwin's English Hound!, riplin, 22:18
- Re: Dog Religion: Darwin's English Hound!, Sean, 22:11
- Re: what is "software", William Elliot, 22:09
- Re: Dog Religion: Darwin's English Hound!, Sean, 21:42
- Re: Dog Religion: Darwin's English Hound!, Sean, 21:27
- Re: Dog Religion: Darwin's English Hound!, Sean, 21:26
- Re: Dog Religion: Darwin's English Hound!, Sean, 21:20
- Re: Propositional calculus, wit, 21:07
- Re: Propositional calculus, wit, 21:00
- Re: Propositional calculus, Jack Campin - bogus address, 20:53
- what is "software", zxcv_890, 20:51
- Re: Propositional calculus, Clocker, 20:00
- Re: Propositional calculus, The Ghost In The Machine, 20:00
- Re: Propositional calculus, George Dance, 19:51
- Re: Provable in T?, Aatu Koskensilta, 19:24
- Re: Propositional calculus, wit, 19:21
- Re: Provable in T?, george, 19:16
- Re: Provable in T?, george, 19:08
- Re: Propositional calculus, Aatu Koskensilta, 18:52
- Propositional calculus, Clocker, 18:43
- Re: Torkel Franzén Lives!, George Dance, 16:34
- Re: Provable in T?, tchow, 16:00
- Re: Dog Religion: Darwin's English Hound!, riplin, 15:19
- Re: Tennenbaum's theorem, Aatu Koskensilta, 13:09
- Re: Tennenbaum's theorem, fjmd1a, 12:29
- Re: Torkel Franzén Lives!, Aatu Koskensilta, 11:32
- Re: Provable in T?, Aatu Koskensilta, 11:29
- Re: Provable in T?, Aatu Koskensilta, 11:24
- Re: Provable in T?, george, 11:24
- Re: Provable in T?, george, 11:11
- Re: Provable in T?, Aatu Koskensilta, 09:10
- Re: Dog Religion: Darwin's English Hound!, Matt Silberstein, 08:03
- Re: Dog Religion: Darwin's English Hound!, Matt Silberstein, 08:02
- Re: Torkel Franzén Lives!, David C . Ullrich, 07:01
- Re: Dog Religion: Darwin's English Hound!, Sean, 05:09
- Re: Dog Religion: Darwin's English Hound!, riplin, 04:52
- Re: Dog Religion: Darwin's English Hound!, Sean, 04:05
- Re: Provable in T?, george, 03:49
- Re: Dog Religion: Darwin's English Hound!, riplin, 03:26
- Re: Dog Religion: Darwin's English Hound!, riplin, 03:19
- Re: Provable in T?, george, 03:16
- Re: Dog Religion: Darwin's English Hound!, riplin, 02:51
- Re: Dog Religion: Darwin's English Hound!, Sean, 01:56
- Re: Dog Religion: Darwin's English Hound!, riplin, 01:38
- Re: Dog Religion: Darwin's English Hound!, Sean, 01:22
- Re: Dog Religion: Darwin's English Hound!, Sean, 00:08
- Re: Undeniable proof of what I claimed has been provided | Dog Religion: Darwin's English Hound!, Sean, 00:00
- Re: Dog Religion: Darwin's English Hound!, Sean, 00:00
August 19, 2006
- Re: Dog Religion: Darwin's English Hound!, Sean, 22:55
- Re: Provable in T?, Patricia Shanahan, 21:15
- Re: A question about FOL theories and models, Rupert, 18:27
- Re: Provable in T?, Russell Easterly, 18:10
- Re: Provable in T?, tchow, 17:51
- Re: Proofs to programs, Chris Menzel, 17:39
- Re: Dog Religion: Darwin's English Hound!, riplin, 16:48
- Re: Dog Religion: Darwin's English Hound!, riplin, 16:41
- Re: Dog Religion: Darwin's English Hound!, riplin, 16:34
- Re: Proofs to programs, Charlie-Boo, 15:18
- Re: Proofs to programs, Charlie-Boo, 15:01
- Re: A Questionable Foundation, Virgil, 14:52
- Re: A Questionable Foundation, Jan Burse, 14:51
- Re: A Questionable Foundation, Jan Burse, 14:48
- Re: Provable in T?, Chris Menzel, 14:39
- Re: apptitude, George Dance, 14:27
- Re: apptitude, George Dance, 13:52
- Re: A question about FOL theories and models, galathaea, 13:12
- Re: Provable in T?, Russell Easterly, 13:07
- Re: A Questionable Foundation, Russell Easterly, 12:55
- Re: A Questionable Foundation, Russell Easterly, 12:38
- Re: Dog Religion: Darwin's English Hound!, Matt Silberstein, 12:03
- Re: Torkel Franzén Lives!, George Dance, 11:28
- Re: Re: Torkel Franzén Lives!, tchow, 11:10
- Re: A question about FOL theories and models, tchow, 11:08
- Re: Representation of "slightly greater than", Jan Burse, 10:39
- Re: Torkel Franzén Lives!, George Dance, 10:36
- Re: A question about FOL theories and models, George Dance, 10:02
- Re: Representation of "slightly greater than", George Dance, 09:46
- Re: Torkel Franzén Lives!, David C . Ullrich, 05:44
- Re: Representation of "slightly greater than", wit, 04:53
- Re: Undeniable proof of what I claimed has been provided | Dog Religion: Darwin's English Hound!, Sean, 03:42
- Re: Dog Religion: Darwin's English Hound!, Sean, 03:25
- Re: Dog Religion: Darwin's English Hound!, Sean, 03:20
- Re: Dog Religion: Darwin's English Hound!, Sean, 03:16
- Re: Dog Religion: Darwin's English Hound!, Sean, 03:06
- Re: Dog Religion: Darwin's English Hound!, riplin, 01:40
- Re: hi i am the newer, galathaea, 01:14
- Re: A question about FOL theories and models, galathaea, 01:05
August 18, 2006
- Re: Dog Religion: Darwin's English Hound!, Sean, 23:22
- Re: Current World Issues affecting people, William Elliot, 23:21
- Re: Dog Religion: Darwin's English Hound!, Sean, 21:49
- Re: A question about FOL theories and models, Chris Menzel, 21:19
- Re: A question about FOL theories and models, George Dance, 20:33
- Re: Torkel Franzén Lives!, George Dance, 20:27
- Re: A question about FOL theories and models, MoeBlee, 20:21
- Re: Current World Issues affecting people, Scott, 19:41
- Re: Question about Set Theory, tchow, 19:36
- Re: A question about FOL theories and models, Rupert, 19:21
- Re: Question about Set Theory, MoeBlee, 19:07
- Re: Torkel Franzén Lives!, George Dance, 18:55
- Re: Torkel Franzén Lives!, wit, 18:47
- Re: A question about FOL theories and models, Jack Campin - bogus address, 18:45
- Re: Torkel Franzén Lives!, George Dance, 18:29
- Re: Dog Religion: Darwin's English Hound!, riplin, 18:26
- Re: Dog Religion: Darwin's English Hound!, riplin, 18:22
- Re: Dog Religion: Darwin's English Hound!, mikegordge, 18:19
- Re: Dog Religion: Darwin's English Hound!, Sean, 18:15
- Re: Torkel Franzén Lives!, MoeBlee, 18:07
- Re: Dog Religion: Darwin's English Hound!, Sean, 17:53
- Re: Torkel Franzén Lives!, George Dance, 17:12
- Re: Dog Religion: Darwin's English Hound!, riplin, 16:54
- Re: Dog Religion: Darwin's English Hound!, mikegordge, 16:47
- Re: Provable in T?, tchow, 16:01
- Re: Dog Religion: Darwin's English Hound!, Sean, 15:24
- Re: Dog Religion: Darwin's English Hound!, Sean, 15:04
- Re: Dog Religion: Darwin's English Hound!, Sean, 14:00
- Re: Proofs to programs, Jan Burse, 13:14
- Re: Proofs to programs, Chris Menzel, 13:08
- Re: Torkel Franzén Lives!, Henrik, 13:05
- A question about FOL theories and models, Nam Nguyen, 12:57
- Re: Current World Issues affecting people, thepossibilities, 11:46
- Re: Proofs to programs, Charlie-Boo, 10:53
- Re: Proofs to programs, Charlie-Boo, 10:46
- Re: Proofs to programs, Jan Burse, 10:17
- Re: Proofs to programs, Jan Burse, 10:11
- Re: apptitude, priya, 07:59
- Re: apptitude, priya, 07:47
- Re: apptitude, visa, 07:40
- Re: Proofs to programs, Charlie-Boo, 07:08
- Re: Proofs to programs, Charlie-Boo, 06:56
- Re: Dog Religion: Darwin's English Hound!, roger_pearse, 05:54
- Re: Dog Religion: Darwin's English Hound!, Sean, 05:17
- Re: Dog Religion: Darwin's English Hound!, Sean, 05:11
- Re: Provable in T?, Jan Burse, 04:05
- Re: Dog Religion: Darwin's English Hound!, Sean, 03:19
- Re: Are you really any different from gaggling geese?, Ross A. Finlayson, 03:15
- Re: Current World Issues affecting people, William Elliot, 01:11
- Re: A Questionable Foundation, Chris Menzel, 00:33
August 17, 2006
- Re: Provable in T?, Russell Easterly, 23:54
- Re: A Questionable Foundation, Virgil, 23:48
- Re: A Questionable Foundation, Virgil, 23:42
- Re: A Questionable Foundation, Virgil, 23:39
- Re: A Questionable Foundation, Virgil, 23:15
- Re: A Questionable Foundation, Patricia Shanahan, 22:12
- Re: A Questionable Foundation, Patricia Shanahan, 22:11
- Re: Provable in T?, Jan Burse, 21:52
- Re: A Questionable Foundation, Jan Burse, 21:37
- Re: Provable in T?, Russell Easterly, 21:17
- Re: A Questionable Foundation, Russell Easterly, 21:04
- Re: A Questionable Foundation, Russell Easterly, 20:55
- Re: Proofs to programs, Jan Burse, 20:45
- Re: Proofs to programs, Jan Burse, 20:39
- Re: Provable in T?, Rupert, 20:13
- Re: Provable in T?, Rupert, 20:08
- Re: Provable in T?, tchow, 20:08
- Re: Torkel Franzén Lives!, Aatu Koskensilta, 19:06
- Re: Torkel Franzén Lives!, George Dance, 18:55
- Re: Torkel Franzén Lives!, Aatu Koskensilta, 18:48
- Re: Provable in T?, Nam Nguyen, 18:42
- Re: Provable in T?, george, 18:30
- Re: Torkel Franzén Lives!, George Dance, 18:23
- Re: A Questionable Foundation, Virgil, 18:10
- Re: Dog Religion: Darwin's English Hound!, riplin, 18:01
- Re: Provable in T?, Nam Nguyen, 17:49
- Re: A Questionable Foundation, Daryl McCullough, 17:48
- Re: Dog Religion: Darwin's English Hound!, roger_pearse, 17:41
- Current World Issues affecting people, thepossibilities, 17:35
- Re: Proofs to programs, Charlie-Boo, 16:47
- Re: A Questionable Foundation, Virgil, 16:06
- Re: A Questionable Foundation, Virgil, 15:58
- Re: A Questionable Foundation, Patricia Shanahan, 15:48
- Re: Dog Religion: Darwin's English Hound!, riplin, 15:47
- Re: A Questionable Foundation, Patricia Shanahan, 15:36
- Re: A Questionable Foundation, Chris Menzel, 15:18
- Re: A Questionable Foundation, Chris Menzel, 14:53
- Re: Dog Religion: Darwin's English Hound!, Neil Kelsey, 14:08
- Re: Dog Religion: Darwin's English Hound!, Immortalist, 13:27
- Re: Are you really any different from gaggling geese?, tchow, 13:06
- Re: Dog Religion: Darwin's English Hound!, Sean, 13:02
- Re: Proofs to programs, Jan Burse, 12:51
- Re: Dog Religion: Darwin's English Hound!, Sean, 11:27
- Re: Are you really any different from gaggling geese?, Aatu Koskensilta, 11:15
- Re: A Questionable Foundation, Daryl McCullough, 11:00
- Re: apptitude, Patricia Shanahan, 09:28
- Re: A Questionable Foundation, Patricia Shanahan, 09:00
- Re: A Questionable Foundation, Patricia Shanahan, 08:51
- Re: Dog Religion: Darwin's English Hound!, riplin, 07:59
- Re: apptitude, priya, 07:52
- Re: Dog Religion: Darwin's English Hound!, riplin, 07:36
- Re: Torkel Franzén Lives!, David C . Ullrich, 05:18
- Re: A Questionable Foundation, Russell Easterly, 03:31
- Re: A Questionable Foundation, Russell Easterly, 03:27
- Re: Dog Religion: Darwin's English Hound!, Sean, 03:12
- Re: Dog Religion: Darwin's English Hound!, Sean, 02:45
- Re: A Questionable Foundation, Patricia Shanahan, 02:34
- Re: A Questionable Foundation, Virgil, 01:54
- Re: A Questionable Foundation, Virgil, 01:34
- Re: A Questionable Foundation, Russell Easterly, 00:50
- Re: A Questionable Foundation, Russell Easterly, 00:40
August 16, 2006
- Re: A Questionable Foundation, Dave Seaman, 22:59
- Re: A Questionable Foundation, Virgil, 21:53
- Re: A Questionable Foundation, Russell Easterly, 21:23
- Re: Dog Religion: Darwin's English Hound!, riplin, 20:14
- Re: Proofs to programs, Charlie-Boo, 19:47
- Re: Dog Religion: Darwin's English Hound!, riplin, 19:44
- Ebay Item: Puzzles Galore, wooks, 19:05
- Re: Torkel Franzén Lives!, tchow, 18:27
- Re: Dog Religion: Darwin's English Hound!, Sean, 18:22
- Re: A Questionable Foundation, David R Tribble, 18:16
- Re: Torkel Franzén Lives!, George Dance, 18:01
- Re: A Questionable Foundation, David R Tribble, 17:48
- Re: Torkel Franzén Lives!, George Dance, 17:37
- Re: Dog Religion: Darwin's English Hound!, Sean, 17:14
- Re: Torkel Franzén Lives!, George Dance, 17:08
- Re: Proofs to programs, Jan Burse, 16:57
- Re: Lets see Russell prove something [Was Re: A Questionable Foundation], Jan Burse, 16:55
- Re: Torkel Franzén Lives!, Charlie-Boo, 16:41
- Re: Torkel Franzén Lives!, Charlie-Boo, 16:38
- Re: Proofs to programs, Charlie-Boo, 16:30
- Re: Lets see Russell prove something, MoeBlee, 16:21
- Re: Lets see Russell prove something [Was Re: A Questionable Foundation], MoeBlee, 16:13
- Re: Lets see Russell prove something, george, 15:58
- Re: Lets see Russell prove something [Was Re: A Questionable Foundation], Dave Seaman, 15:57
- Re: Lets see Russell prove something [Was Re: A Questionable Foundation], george, 15:53
- Re: Lets see Russell prove something, MoeBlee, 15:49
- Re: Dog Religion: Darwin's English Hound!, riplin, 15:34
- Re: Lets see Russell prove something, Jesse F. Hughes, 15:25
- Re: Are you really any different from gaggling geese?, Ross A. Finlayson, 15:21
- Re: Are you really any different from gaggling geese?, Ross A. Finlayson, 15:08
- Re: Dog Religion: Darwin's English Hound!, Chris H. Fleming, 14:36
- Re: A Questionable Foundation, Virgil, 14:06
- Re: Dog Religion: Darwin's English Hound!, Immortalist, 13:46
- Re: Dog Religion: Darwin's English Hound!, Immortalist, 13:42
- Re: Lets see Russell prove something [Was Re: A Questionable Foundation], MoeBlee, 13:30
- Re: Lets see Russell prove something [Was Re: A Questionable Foundation], MoeBlee, 13:24
- Re: Lets see Russell prove something [Was Re: A Questionable Foundation], Dave Seaman, 13:10
- Re: A Questionable Foundation, Jan Burse, 12:35
- Re: A Questionable Foundation, Jan Burse, 12:30
- Re: A Questionable Foundation, Jan Burse, 12:25
- Re: A Questionable Foundation, Jan Burse, 12:23
- Re: Torkel Franzén Lives!, Herman Jurjus, 11:01
- Re: Torkel Franzén Lives!, Aatu Koskensilta, 10:59
- Re: Are you really any different from gaggling geese?, Aatu Koskensilta, 10:40
- Re: Torkel Franzén Lives!, Aatu Koskensilta, 10:39
- Re: Lets see Russell prove something [Was Re: A Questionable Foundation], MoeBlee, 10:34
- apptitude, visa, 09:48
- Lets see Russell prove something [Was Re: A Questionable Foundation], Patricia Shanahan, 09:39
- Re: Torkel Franzén Lives!, David C . Ullrich, 09:36
- hi i am the newer, visa, 09:33
- Re: A Questionable Foundation, MoeBlee, 09:08
- Re: Dog Religion: Darwin's English Hound!, Chris H. Fleming, 08:46
- Re: Torkel Franzén Lives!, George Dance, 06:03
- Re: A Questionable Foundation, Mike Kelly, 05:18
- Re: A Questionable Foundation, Mike Kelly, 05:15
- Re: Dog Religion: Darwin's English Hound!, Sean, 04:44
- Re: Are you really any different from gaggling geese?, William Elliot, 04:18
- Re: A Questionable Foundation, Virgil, 03:05
- Re: A Questionable Foundation, Virgil, 02:34
- Re: Dog Religion: Darwin's English Hound!, riplin, 02:07
- Re: A Questionable Foundation, Russell Easterly, 02:03
- Re: A Questionable Foundation, Russell Easterly, 02:00
- Re: Are you really any different from gaggling geese?, Russell Easterly, 01:45
- Re: A Questionable Foundation, Virgil, 01:32
- Re: A Questionable Foundation, Patricia Shanahan, 01:24
- Re: Are you really any different from gaggling geese?, William Elliot, 01:07
- Re: Dog Religion: Darwin's English Hound!, Sean, 00:34
- Re: Are you really any different from gaggling geese?, Russell Easterly, 00:07
August 15, 2006
- Re: A Questionable Foundation, Russell Easterly, 23:54
- Re: A Questionable Foundation, Virgil, 21:55
- Re: A Questionable Foundation, Virgil, 21:45
- Re: A Questionable Foundation, Russell Easterly, 21:23
- Re: A Questionable Foundation, Russell Easterly, 21:17
- Re: A Questionable Foundation, MoeBlee, 20:58
- Re: Are you really any different from gaggling geese?, Ross A. Finlayson, 20:41
- Re: A Questionable Foundation, David R Tribble, 19:50
- Re: Torkel Franzén Lives!, Aatu Koskensilta, 19:10
- Re: Torkel Franzén Lives!, wit, 19:09
- Re: Torkel Franzén Lives!, Aatu Koskensilta, 19:02
- Re: A Questionable Foundation, Patricia Shanahan, 16:55
- Re: A Questionable Foundation, Virgil, 15:11
- Re: A Questionable Foundation, Virgil, 15:06
- Re: A Questionable Foundation, Virgil, 15:01
- Re: Torkel Franzén Lives!, Chris Menzel, 14:17
- Dog Religion: Darwin's English Hound!, Immortalist, 13:56
- Re: Torkel Franzén Lives!, George Dance, 13:34
- Re: Torkel Franzén Lives!, George Dance, 13:28
- Re: Torkel Franzén Lives!, George Dance, 13:25
- Re: Torkel Franzén Lives!, wit, 12:55
- Re: Torkel Franzén Lives!, Aatu Koskensilta, 12:50
- Re: Torkel Franzén Lives!, George Dance, 12:43
- Re: A Questionable Foundation, Patricia Shanahan, 12:40
- Re: A question in Logic, Aatu Koskensilta, 12:22
- Re: A question in Logic, wit, 12:14
- Re: A question in Logic, wit, 12:08
- Re: A question in Logic, wit, 12:04
- Re: A question in Logic, Aatu Koskensilta, 12:02
- Re: Torkel Franzén Lives!, Patrick, 12:01
- Re: A question in Logic, wit, 11:57
- Re: Torkel Franzén Lives!, Herman Jurjus, 11:57
- Re: A question in Logic, wit, 11:50
- Re: A question in Logic, George Dance, 11:41
- Re: A question in Logic, Aatu Koskensilta, 11:32
- Re: A question in Logic, oorionus, 11:25
- Re: A question in Logic, Aatu Koskensilta, 11:02
- Re: A question in Logic, oorionus, 10:57
- Re: Torkel Franzén Lives!, George Dance, 10:51
- Re: A question in Logic, Frederick Williams, 10:14
- Re: Provable in T?, Chris Menzel, 09:59
- Re: A question in Logic, The Qurqirish Dragon, 09:43
- Re: A Questionable Foundation, Daryl McCullough, 08:58
- Re: A question in Logic, Peter Einstein, 08:52
- Re: A Questionable Foundation, Daryl McCullough, 08:46
- Re: A Questionable Foundation, Daryl McCullough, 08:30
- Re: A question in Logic, William Elliot, 08:21
- Re: A question in Logic, Clocker, 07:54
- Re: A question in Logic, William Elliot, 07:33
- A question in Logic, Clocker, 07:30
- Re: A Questionable Foundation, Jesse F. Hughes, 07:24
- Re: Are you really any different from gaggling geese?, Aatu Koskensilta, 06:03
- Re: Are you really any different from gaggling geese?, Aatu Koskensilta, 04:18
- Re: A Questionable Foundation, Virgil, 03:20
- Re: A Questionable Foundation, Russell Easterly, 02:22
- Re: Provable in T?, Rupert, 02:19
- Re: Provable in T?, Nam Nguyen, 01:27
- Re: A Questionable Foundation, Virgil, 01:12
- Re: Are you really any different from gaggling geese?, Ross A. Finlayson, 01:09
- Re: A Questionable Foundation, Patricia Shanahan, 00:42
- Re: Provable in T?, Rupert, 00:26
- Re: Provable in T?, Nam Nguyen, 00:20
- Re: Provable in T?, Rupert, 00:06
- Re: A Questionable Foundation, Russell Easterly, 00:03
August 14, 2006
- Re: Need help with logic proof, Dan Christensen, 23:18
- Re: Provable in T?, Chris Menzel, 23:02
- Re: Are you really any different from gaggling geese?, William Elliot, 22:47
- Re: A Questionable Foundation, Virgil, 22:32
- Re: Provable in T?, Nam Nguyen, 22:19
- Re: Provable in T?, Nam Nguyen, 22:13
- Re: A Questionable Foundation, Russell Easterly, 21:48
- Re: Provable in T?, Newberry, 21:40
- Re: Are you really any different from gaggling geese?, john, 18:29
- Re: A Questionable Foundation, Virgil, 18:12
- Re: A Questionable Foundation, Virgil, 18:07
- Re: A Questionable Foundation, Patricia Shanahan, 17:30
- Re: A Questionable Foundation, Phil Carmody, 17:02
- Re: Need help with logic proof, Jan Burse, 16:46
- Re: A Questionable Foundation, Jesse F. Hughes, 16:41
- Re: A Questionable Foundation, Jesse F. Hughes, 16:34
- Re: Need help with logic proof, Dan Christensen, 16:23
- Re: Tennenbaum's theorem, fjmd1a, 14:57
- Re: Are you really any different from gaggling geese?, fjmd1a, 14:54
- Re: Are you really any different from gaggling geese?, fjmd1a, 14:52
- Re: A Questionable Foundation, Patrick, 14:48
- Re: A Questionable Foundation, Dave Seaman, 14:17
- Re: A Questionable Foundation, Daryl McCullough, 14:16
- Re: A Questionable Foundation, Patricia Shanahan, 13:59
- Re: Subject: Existence is necessary ??, Chris Menzel, 13:01
- Re: Torkel Franzén Lives!, Patrick, 12:58
- Re: Torkel Franzén Lives!, Aatu Koskensilta, 12:52
- Re: Torkel Franzén Lives!, Aatu Koskensilta, 12:47
- Re: Torkel Franzén Lives!, George Dance, 12:38
- Re: Subject: Existence is necessary ??, oorionus, 12:34
- Re: Torkel Franzén Lives!, MoeBlee, 12:20
- Re: Subject: Existence is necessary ??, oorionus, 12:11
- Re: Torkel Franzén Lives!, Chris Menzel, 12:05
- Re: A Questionable Foundation, Chris Menzel, 11:58
- Re: Torkel Franzén Lives!, Aatu Koskensilta, 11:47
- Re: A Questionable Foundation, Aatu Koskensilta, 11:28
- Re: A Questionable Foundation, Jesse F. Hughes, 11:19
- Re: A Questionable Foundation, Patrick, 11:05
- Re: Subject: Existence is necessary ??, Chris Menzel, 10:45
- Re: Subject: Existence is necessary ??, Chris Menzel, 10:42
- Re: looking for a tricky answer, George Dance, 10:19
- Re: Subject: Existence is necessary ??, George Dance, 10:09
- Re: Subject: Existence is necessary ??, oorionus, 09:46
- Re: looking for a tricky answer, William Elliot, 09:43
- Re: Need help with logic proof, George Dance, 09:33
- Re: Subject: Existence is necessary ??, oorionus, 09:12
- Re: Are you really any different from gaggling geese?, Aatu Koskensilta, 09:10
- Re: Are you really any different from gaggling geese?, Aatu Koskensilta, 09:06
- Re: Are you really any different from gaggling geese?, William Elliot, 08:58
- Re: Subject: Existence is necessary ??, oorionus, 08:38
- Re: A Questionable Foundation, Aatu Koskensilta, 08:07
- Re: A Questionable Foundation, Daryl McCullough, 07:26
- Re: A Questionable Foundation, Daryl McCullough, 07:16
- Re: A Questionable Foundation, Daryl McCullough, 07:05
- Re: A Questionable Foundation, Aatu Koskensilta, 06:45
- Re: A Questionable Foundation, imaginatorium, 06:29
- Re: Are you really any different from gaggling geese?, Aatu Koskensilta, 06:17
- Re: A Questionable Foundation, Aatu Koskensilta, 06:09
- Re: Need help with logic proof, William Elliot, 05:35
- Re: Are you really any different from gaggling geese?, William Elliot, 05:26
- Re: Are you really any different from gaggling geese?, john, 04:34
- Re: Need help with logic proof, wit, 04:08
- Re: Need help with logic proof, wit, 04:02
- Re: Need help with logic proof, wit, 04:01
- Re: A Questionable Foundation, Chris Menzel, 01:50
- Re: A Questionable Foundation, Virgil, 01:18
- Re: A Questionable Foundation, Patricia Shanahan, 01:17
- Re: Need help with logic proof, Dan Christensen, 00:43
- Re: A Questionable Foundation, Russell Easterly, 00:42
- Re: Need help with logic proof, William Elliot, 00:20
- Re: Need help with logic proof, William Elliot, 00:13
August 13, 2006
- Re: Are you really any different from gaggling geese?, Ross A. Finlayson, 23:50
- Re: Need help with logic proof, wit, 23:44
- Re: Need help with logic proof, wit, 23:39
- Re: Need help with logic proof, William Elliot, 23:38
- Re: Need help with logic proof, wit, 23:35
- Re: Need help with logic proof, William Elliot, 23:34
- Re: Are you really any different from gaggling geese?, William Elliot, 23:33
- Re: Provable in T?, Rupert, 23:31
- Re: Provable in T?, Rupert, 23:29
- Re: Need help with logic proof, wit, 23:25
- Re: A Questionable Foundation, Patricia Shanahan, 22:59
- Re: Need help with logic proof, George Dance, 22:48
- Re: A Questionable Foundation, Ross A. Finlayson, 21:41
- Re: A Questionable Foundation, Virgil, 20:51
- Re: A Questionable Foundation, Virgil, 20:47
- Re: Provable in T?, george, 20:40
- Re: Provable in T?, george, 20:37
- Re: Provable in T?, george, 20:26
- Re: A Questionable Foundation, Daryl McCullough, 20:08
- Re: Enumerable sets, george, 20:02
- Re: A Questionable Foundation, Patricia Shanahan, 20:01
- Re: Representation of "slightly greater than", s . j . lagoe, 19:40
- Re: Provable in T?, Rupert, 19:40
- Re: A Questionable Foundation, Russell Easterly, 19:31
- Re: A Questionable Foundation, Russell Easterly, 19:28
- Re: Are you really any different from gaggling geese?, Aatu Koskensilta, 19:24
- Are you really any different from gaggling geese?, john, 19:03
- Re: A Questionable Foundation, Daryl McCullough, 19:01
- Re: Need help with logic proof, Barb Knox, 17:29
- Re: A Questionable Foundation, Jan Burse, 16:58
- Re: A Questionable Foundation, Jan Burse, 16:47
- Re: A Questionable Foundation, Jan Burse, 16:37
- Re: A Questionable Foundation, Russell Easterly, 16:36
- Re: A Questionable Foundation, Jan Burse, 16:29
- Re: A Questionable Foundation, Russell Easterly, 16:28
- Re: A Questionable Foundation, Jan Burse, 16:10
- Re: A Questionable Foundation, Jan Burse, 15:59
- Re: A Questionable Foundation, Jan Burse, 15:41
- Re: A Questionable Foundation, Patricia Shanahan, 15:21
- Re: A Questionable Foundation, Virgil, 15:16
- Re: Subject: Existence is necessary ??, Paul Holbach, 14:42
- Re: A Questionable Foundation, Russell Easterly, 14:38
- Re: Need help with logic proof, wit, 14:12
- Re: Need help with logic proof, Jan Burse, 14:03
- Re: Subject: Existence is necessary ??, Paul Holbach, 13:51
- Re: A Questionable Foundation, Virgil, 13:26
- Re: Subject: Existence is necessary ??, Paul Holbach, 13:17
- Re: A Questionable Foundation, Jan Burse, 13:16
- Re: Subject: Existence is necessary ??, Chris Menzel, 12:55
- Re: Subject: Existence is necessary ??, Paul Holbach, 12:26
- Re: Tennenbaum's theorem, Aatu Koskensilta, 11:51
- Re: Need help with logic proof, wit, 11:46
- Re: A Questionable Foundation, Russell Easterly, 11:43
- Re: Tennenbaum's theorem, fjmd1a, 11:40
- Re: Tennenbaum's theorem, Aatu Koskensilta, 11:30
- Re: Subject: Existence is necessary ??, Paul Holbach, 11:23
- Re: Subject: Existence is necessary ??, Paul Holbach, 11:08
- Re: Subject: Existence is necessary ??, Paul Holbach, 10:10
- Re: Need help with logic proof, wit, 09:12
- Re: Tennenbaum's theorem, Aatu Koskensilta, 08:17
- Re: Tennenbaum's theorem, Aatu Koskensilta, 08:15
- Re: Need help with logic proof, Jan Burse, 06:59
- Re: A Questionable Foundation, Jan Burse, 06:26
- Re: Tennenbaum's theorem, fjmd1a, 05:15
- Re: Need help with logic proof, Frederick Williams, 02:54
- Re: Tennenbaum's theorem, Gc, 02:16
August 12, 2006
- Re: Subject: Existence is necessary ??, Chris Menzel, 23:32
- Re: Subject: Existence is necessary ??, Paul Holbach, 22:13
- Re: Subject: Existence is necessary ??, Paul Holbach, 22:07
- Re: Subject: Existence is necessary ??, Paul Holbach, 22:00
- Re: Subject: Existence is necessary ??, Chris Menzel, 21:58
- Re: A Questionable Foundation, Virgil, 21:52
- Re: A Questionable Foundation, Virgil, 21:49
- Re: A Questionable Foundation, Virgil, 21:48
- Re: Subject: Existence is necessary ??, Paul Holbach, 21:36
- Re: Need help with logic proof, William Elliot, 21:34
- Re: Subject: Existence is necessary ??, Chris Menzel, 21:22
- Re: Subject: Existence is necessary ??, Barb Knox, 20:55
- Re: A Questionable Foundation, Russell Easterly, 20:44
- Re: A Questionable Foundation, Jan Burse, 20:13
- Re: A Questionable Foundation, Jan Burse, 19:51
- Re: A Questionable Foundation, Russell Easterly, 17:53
- Re: A Questionable Foundation, Russell Easterly, 17:51
- Re: Provable in T?, Rupert, 17:34
- Re: A Questionable Foundation, Virgil, 17:21
- Re: A Questionable Foundation, Russell Easterly, 17:09
- Re: A Questionable Foundation, Daryl McCullough, 16:51
- Re: A Questionable Foundation, Daryl McCullough, 16:30
- Call for participants, Katy, 15:23
- Subject: Existence is necessary ??, oorionus, 15:06
- Re: A Questionable Foundation, Virgil, 14:58
- Re: A Questionable Foundation, Virgil, 14:47
- Re: Need help with logic proof, Jan Burse, 14:44
- Re: Need help with logic proof, Dan Christensen, 14:28
- Re: Tennenbaum's theorem, Aatu Koskensilta, 14:26
- Re: A Questionable Foundation, Jan Burse, 14:26
- Re: Tennenbaum's theorem, fjmd1a, 14:23
- Re: A Questionable Foundation, Jan Burse, 14:16
- Re: A Questionable Foundation, Russell Easterly, 14:08
- Re: Provable in T?, Aatu Koskensilta, 13:37
- Re: Provable in T?, Newberry, 13:28
- bloated axioms revisited, george, 13:21
- Re: A Questionable Foundation, Russell Easterly, 13:19
- Re: Tennenbaum's theorem, Aatu Koskensilta, 13:18
- Re: Tennenbaum's theorem, feffemannen, 12:58
- Re: Tennenbaum's theorem, Aatu Koskensilta, 12:54
- Re: Tennenbaum's theorem, feffemannen, 12:45
- Re: Tennenbaum's theorem, Aatu Koskensilta, 12:37
- Re: Tennenbaum's theorem, feffemannen, 12:26
- Re: Need help with logic proof, wit, 12:23
- Re: Provable in T?, Aatu Koskensilta, 12:02
- Re: A Questionable Foundation, David R Tribble, 11:49
- Re: Provable in T?, Newberry, 11:44
- Re: Provable in T?, bargiax, 11:30
- Re: ordinals, Aatu Koskensilta, 11:02
- Re: ordinals, James Dolan, 10:29
- Re: ordinals, Aatu Koskensilta, 10:07
- Re: ordinals, James Dolan, 10:01
- Re: ordinals, Aatu Koskensilta, 09:48
- Re: ordinals, James Dolan, 09:38
- Re: ordinals, Aatu Koskensilta, 09:29
- Re: Provable in T?, Aatu Koskensilta, 09:27
- Re: Characterization of Gamma_0, Aatu Koskensilta, 09:23
- Provable in T?, bargiax, 08:55
- Re: A Questionable Foundation, Jan Burse, 06:44
- ordinals, James Dolan, 05:07
- Re: A Questionable Foundation, Russell Easterly, 04:52
- Re: Need help with logic proof, William Elliot, 04:17
- Re: Enumerable sets, herbzet, 04:09
- Re: Enumerable sets, herbzet, 04:08
- Re: A Questionable Foundation, Virgil, 01:09
- Re: A Questionable Foundation, Virgil, 00:39
- Re: A Questionable Foundation, Virgil, 00:27
- Re: A Questionable Foundation, Patricia Shanahan, 00:08
August 11, 2006
- Need help with logic proof, Dan Christensen, 23:49
- Re: A Questionable Foundation, Russell Easterly, 23:28
- Re: A Questionable Foundation, Virgil, 22:34
- Re: A Questionable Foundation, MoeBlee, 21:46
- Re: A Questionable Foundation, Russell Easterly, 21:19
- Re: A Questionable Foundation, MoeBlee, 21:10
- Re: A Questionable Foundation, MoeBlee, 20:45
- Re: A Questionable Foundation, Russell Easterly, 20:00
- Re: A Questionable Foundation, Russell Easterly, 19:15
- Re: Characterization of Gamma_0, Rupert, 19:09
- Re: Enumerable sets, fred . galvin, 18:38
- Re: Enumerable sets, fred . galvin, 18:20
- Re: Enumerable sets, george, 16:41
- Torkel Franzén Lives!, MoeBlee, 16:37
- Re: A Questionable Foundation, MoeBlee, 15:15
- Re: A Questionable Foundation, MoeBlee, 14:38
- Re: A Questionable Foundation, Jesse F. Hughes, 14:00
- Re: A Questionable Foundation, MoeBlee, 13:24
- Re: A Questionable Foundation, MoeBlee, 13:20
- Re: A Questionable Foundation, MoeBlee, 13:01
- Re: Enumerable sets, george, 11:24
- Re: Enumerable sets, george, 11:20
- Re: Characterization of Gamma_0, Daryl McCullough, 09:54
- Re: Characterization of Gamma_0, Daryl McCullough, 09:22
- Re: Proofs to programs, Alan Smaill, 08:22
- Re: Characterization of Gamma_0, Rupert, 06:30
- Re: Enumerable sets, herbzet, 05:12
- Re: Enumerable sets, herbzet, 05:11
- Re: Enumerable sets, herbzet, 05:10
- Re: Enumerable sets, herbzet, 05:07
- Re: A Questionable Foundation, Mike Kelly, 03:02
- Re: A Questionable Foundation, Virgil, 03:00
- Re: A Questionable Foundation, Virgil, 02:47
- Re: A Questionable Foundation, Russell Easterly, 01:39
- Re: A Questionable Foundation, Russell Easterly, 01:32
- Re: Characterization of Gamma_0, Bill Taylor, 01:26
- Re: A Questionable Foundation, Daryl McCullough, 01:21
- Re: A Questionable Foundation, Virgil, 00:56
- Re: A Questionable Foundation, Daryl McCullough, 00:50
- Re: A Questionable Foundation, Virgil, 00:46
- Re: A Questionable Foundation, Virgil, 00:43
- Re: A Questionable Foundation, Virgil, 00:37
- Re: A Questionable Foundation, Virgil, 00:34
- Re: A Questionable Foundation, Virgil, 00:24
- Re: A Questionable Foundation, Russell Easterly, 00:19
- Re: A Questionable Foundation, Virgil, 00:18
- Re: A Questionable Foundation, Virgil, 00:12
- Re: A Questionable Foundation, Virgil, 00:09
August 10, 2006
- Re: A Questionable Foundation, Virgil, 23:53
- Re: A Questionable Foundation, Chris Menzel, 22:59
- Re: A Questionable Foundation, Daryl McCullough, 22:48
- Re: A Questionable Foundation, Daryl McCullough, 22:40
- Re: A Questionable Foundation, imaginatorium, 22:32
- Re: A Questionable Foundation, Jesse F. Hughes, 22:29
- Re: A Questionable Foundation, Russell Easterly, 22:15
- Re: A Questionable Foundation, Russell Easterly, 22:03
- Re: A Questionable Foundation, Daryl McCullough, 21:44
- Re: Proofs to programs, Charlie-Boo, 21:37
- Re: A Questionable Foundation, Daryl McCullough, 21:36
- Re: A Questionable Foundation, Jesse F. Hughes, 21:32
- Re: A Questionable Foundation, Daryl McCullough, 21:26
- Re: A Questionable Foundation, MoeBlee, 21:22
- Re: A Questionable Foundation, Russell Easterly, 21:05
- Re: A Questionable Foundation, Russell Easterly, 20:59
- Re: A Questionable Foundation, MoeBlee, 20:57
- Re: A Questionable Foundation, MoeBlee, 20:43
- Re: A Questionable Foundation, Russell Easterly, 20:39
- Re: A Questionable Foundation, Russell Easterly, 20:35
- Re: A Questionable Foundation, MoeBlee, 20:27
- Re: A Questionable Foundation, MoeBlee, 20:22
- Re: A Questionable Foundation, Russell Easterly, 20:09
- Re: A Questionable Foundation, Russell Easterly, 20:00
- Re: A Questionable Foundation, MoeBlee, 19:53
- Re: Characterization of Gamma_0, Rupert, 19:46
- Re: A Questionable Foundation, MoeBlee, 19:41
- Re: A Questionable Foundation, MoeBlee, 19:34
- Re: A Questionable Foundation, Russell Easterly, 19:18
- Re: Enumerable sets, fred . galvin, 18:39
- Re: Enumerable sets, Barb Knox, 18:08
- Re: A Questionable Foundation, MoeBlee, 17:45
- Tennenbaum's theorem, fjmd1a, 17:44
- Re: Enumerable sets, george, 17:38
- Re: Enumerable sets, george, 17:35
- Re: A Questionable Foundation, Virgil, 17:35
- Re: A Questionable Foundation, Virgil, 17:22
- Re: A Questionable Foundation, MoeBlee, 17:17
- Re: A Questionable Foundation, Chris Menzel, 17:12
- Re: Proofs to programs, Jan Burse, 17:09
- Re: A Questionable Foundation, Virgil, 17:05
- Re: Proofs to programs, Charlie-Boo, 17:04
- Re: A Questionable Foundation, Virgil, 16:52
- Re: A Questionable Foundation, Russell Easterly, 16:45
- Re: Enumerable sets, fred . galvin, 16:39
- Re: A Questionable Foundation, Jesse F. Hughes, 16:36
- Re: A Questionable Foundation, Virgil, 16:25
- Re: A Questionable Foundation, Russell Easterly, 16:17
- Re: A Questionable Foundation, Virgil, 16:03
- Re: A Questionable Foundation, Russell Easterly, 15:59
- Re: A Questionable Foundation, Virgil, 15:46
- Re: A Questionable Foundation, Russell Easterly, 15:40
- Re: A Questionable Foundation, Virgil, 15:33
- Re: A Questionable Foundation, Virgil, 15:28
- Re: A Questionable Foundation, MoeBlee, 14:39
- Re: Representation of "slightly greater than", Jan Burse, 14:11
- Re: Proofs to programs, Jan Burse, 14:07
- Re: A Questionable Foundation, MoeBlee, 14:02
- Re: A Questionable Foundation, Daryl McCullough, 13:56
- Representation of "slightly greater than", s . j . lagoe, 13:52
- Re: A Questionable Foundation, MoeBlee, 13:37
- Re: A Questionable Foundation, MoeBlee, 13:26
- Re: A Questionable Foundation, Mike Kelly, 12:57
- Re: A Questionable Foundation, Patricia Shanahan, 12:55
- Re: A Questionable Foundation, Russell Easterly, 12:45
- Re: A Questionable Foundation, Russell Easterly, 12:35
- Re: Set Theories with Universes, wit, 12:27
- Re: Enumerable sets, george, 11:54
- Re: Question about Set Theory, vfilipch, 11:37
- Re: Question about Set Theory, vfilipch, 11:26
- Re: Question about Set Theory, vfilipch, 11:04
- Re: A Questionable Foundation, Patricia Shanahan, 09:46
- Re: Question about Set Theory, Stan, 08:43
- Re: Question about Set Theory, Stan, 08:36
- Re: A Questionable Foundation, Russell Easterly, 08:33
- Re: Characterization of Gamma_0, Rupert, 06:25
- Re: Enumerable sets, Rupert, 06:22
- Re: A Questionable Foundation, Mike Kelly, 04:45
- Re: A Questionable Foundation, Russell Easterly, 03:52
- Re: A Questionable Foundation, Russell Easterly, 03:27
- Re: Enumerable sets, herbzet, 03:11
- Re: A Questionable Foundation, Mike Kelly, 02:46
- Re: Enumerable sets, Peter Webb, 02:23
- Re: Enumerable sets, Rupert, 02:14
- Re: Enumerable sets, herbzet, 02:05
- Re: Enumerable sets, herbzet, 02:04
- Re: Enumerable sets, herbzet, 01:49
- Re: Enumerable sets, herbzet, 01:48
- Re: Enumerable sets, fred . galvin, 01:36
- Re: Enumerable sets, Peter Webb, 01:20
- Re: Enumerable sets, fred . galvin, 01:03
- Re: A Questionable Foundation, Patricia Shanahan, 00:42
- Re: A Questionable Foundation, Virgil, 00:20
- Re: A Questionable Foundation, Virgil, 00:07
August 09, 2006
- Re: A Questionable Foundation, Virgil, 23:49
- Re: Question about Set Theory, Peter Webb, 23:23
- Re: A Questionable Foundation, Jesse F. Hughes, 22:35
- Re: A Questionable Foundation, Russell Easterly, 21:18
- Re: Enumerable sets, Peter Webb, 21:14
- Re: Proofs to programs, Charlie-Boo, 19:54
- Re: Proofs to programs (was: Turing to Goedel), Charlie-Boo, 19:44
- Re: A Questionable Foundation, MoeBlee, 19:35
- Re: A Questionable Foundation, MoeBlee, 19:30
- Re: A Questionable Foundation, MoeBlee, 18:54
- Re: A Questionable Foundation, Russell Easterly, 17:51
- Re: A Questionable Foundation, Russell Easterly, 17:41
- Re: A Questionable Foundation, Virgil, 17:00
- Re: A Questionable Foundation, MoeBlee, 16:46
- Re: Proofs to programs, Mitch, 16:41
- Re: Proofs to programs (was: Turing to Goedel), Mitch, 16:36
- Re: A Questionable Foundation, Russell Easterly, 16:27
- Re: Set Theories with Universes, MoeBlee, 16:18
- Re: Set Theories with Universes, MoeBlee, 16:11
- Re: Set Theories with Universes, oorionus, 16:05
- Re: A Questionable Foundation, MoeBlee, 15:46
- Re: Set Theories with Universes, wit, 15:44
- Re: Proofs to programs (was: Turing to Goedel), Charlie-Boo, 15:36
- Re: Enumerable sets, george, 15:31
- Re: Set Theories with Universes, wit, 15:30
- Re: Proofs to programs (was: Turing to Goedel), Charlie-Boo, 15:28
- Re: Set Theories with Universes, oorionus, 15:25
- Re: Proofs to programs, Charlie-Boo, 15:21
- Re: A Questionable Foundation, Virgil, 15:13
- Re: Set Theories with Universes, MoeBlee, 15:04
- Re: A Questionable Foundation, Russell Easterly, 14:55
- Re: Set Theories with Universes, oorionus, 14:08
- Re: Question about Set Theory, vfilipch, 12:15
- Re: Set Theories with Universes, oorionus, 10:38
- Re: Characterization of Gamma_0, Daryl McCullough, 08:58
- Re: A Questionable Foundation, Patricia Shanahan, 07:57
- Re: Question about Set Theory, Stan, 05:43
August 08, 2006
- Re: A Questionable Foundation, Virgil, 22:57
- Re: Question about Set Theory, Peter Webb, 22:38
- Re: Question regarding infinite length integers, Scott, 21:33
- Re: Characterization of Gamma_0, Rupert, 21:12
- Re: Enumerable sets, Rupert, 21:10
- Enumerable sets, herbzet, 20:29
- Re: When does p imply q (redux)?, herbzet, 20:29
- Re: When does p imply q (redux)?, herbzet, 20:27
- Re: Question about Set Theory, herbzet, 20:24
- Re: A curiousity, herbzet, 20:23
- Re: Question about Set Theory, MoeBlee, 20:11
- Re: Question about Set Theory, Peter Webb, 19:58
- Re: A Questionable Foundation, MoeBlee, 19:49
- Re: A Questionable Foundation, Russell Easterly, 19:43
- Re: Proofs to programs (was: Turing to Goedel), Mitch, 17:35
- Re: Proofs to programs, Alan Smaill, 17:12
- Re: A Questionable Foundation, Virgil, 16:38
- Re: Proofs to programs, Charlie-Boo, 16:33
- Re: Proofs to programs, Charlie-Boo, 16:30
- Re: A Questionable Foundation, MoeBlee, 16:20
- Re: A Questionable Foundation, Virgil, 16:03
- Re: Proofs to programs, Alan Smaill, 15:57
- Re: Set Theories with Universes, wit, 15:22
- Re: A Questionable Foundation, Russell Easterly, 15:19
- Re: A Questionable Foundation, Virgil, 14:47
- Re: A Questionable Foundation, MoeBlee, 14:35
- Re: A Questionable Foundation, Virgil, 14:30
- Re: A Questionable Foundation, Russell Easterly, 13:50
- Re: Proofs to programs, Jan Burse, 13:01
- Re: Question about Set Theory, MoeBlee, 12:53
- Re: Proofs to programs (was: Turing to Goedel), Charlie-Boo, 12:07
- Re: Question about Set Theory, Jack Campin - bogus address, 11:18
- Re: Question regarding infinite length integers, Newberry, 10:09
- Quantifier Elimination vs Model Complete Theories, Blake Manner, 09:56
- Characterization of Gamma_0, Daryl McCullough, 09:44
- Re: Question about Set Theory, Alan Smaill, 09:19
- Re: A Questionable Foundation, Patricia Shanahan, 09:03
- i=infinity;0= i*sin k*pi, 1=cos k*pi, k=m/n, n=4,m=0-00; c*G=20=const, 1/sgrt2>G>0.5, 6<N = NA ^2surf/NAvol<7 ; h/N =11=const, e+i*pi; D universe =f(h)*1/ (a))^4, T=f( m, S, D), ivars . fabriciuss, 08:12
- Re: Question regarding infinite length integers, Mike Kelly, 06:34
- Re: Question regarding infinite length integers, David C . Ullrich, 06:27
- Re: Complete types, galathaea, 03:17
- Re: A Questionable Foundation, Virgil, 00:34
- Re: A curiousity, Fephisto, 00:22
August 07, 2006
- Re: Question regarding infinite length integers, Rupert, 23:33
- Re: A Questionable Foundation, Rupert, 23:31
- Re: A Questionable Foundation, Russell Easterly, 22:37
- Re: A Questionable Foundation, Aatu Koskensilta, 22:17
- Re: A Questionable Foundation, Jesse F. Hughes, 22:08
- Re: A Questionable Foundation, Virgil, 21:56
- Re: Question about Set Theory, Peter Webb, 21:52
- Re: A Questionable Foundation, Rupert, 21:47
- Re: A Questionable Foundation, Virgil, 21:45
- Re: A Questionable Foundation, Virgil, 21:43
- Re: Question about Set Theory, vfilipch, 20:29
- Re: Question about Set Theory, vfilipch, 20:17
- Re: Question about Set Theory, MoeBlee, 19:58
- Re: Question about Set Theory, Peter Webb, 19:49
- Re: A Questionable Foundation, Daryl McCullough, 19:31
- Re: Question regarding infinite length integers, Scott, 19:15
- Re: Question regarding infinite length integers, Scott, 19:08
- Re: A Questionable Foundation, MoeBlee, 18:16
- Re: A Questionable Foundation, MoeBlee, 18:11
- Re: A Questionable Foundation, Russell Easterly, 18:07
- Re: A Questionable Foundation, Russell Easterly, 18:03
- Re: A Questionable Foundation, MoeBlee, 17:41
- Re: Complete types, Blake Manner, 17:01
- Re: A Questionable Foundation, Russell Easterly, 16:52
- Re: Question about Set Theory, nthiebaud2000, 16:45
- Re: A Questionable Foundation, Aatu Koskensilta, 16:16
- Re: A Questionable Foundation, MoeBlee, 16:11
- Re: A Questionable Foundation, Virgil, 16:10
- Re: Let's you & him fight, george, 16:00
- Re: Need help proving (Ax)(~P(x)) |- ~(Ex)(P(x)), MoeBlee, 15:57
- Re: Question about Set Theory, Stan, 15:46
- Re: A Questionable Foundation, Patricia Shanahan, 15:36
- Re: A Questionable Foundation, Russell Easterly, 15:27
- A Questionable Foundation, Russell Easterly, 14:45
- Re: Need help proving (Ax)(~P(x)) |- ~(Ex)(P(x)), bargiax, 13:50
- Re: Set Theories with Universes, oorionus, 13:32
- Re: Question about Set Theory, Jan Burse, 12:47
- Re: Question about Set Theory, vfilipch, 12:12
- Re: Question about Set Theory, vfilipch, 11:44
- Re: Question about Set Theory, vfilipch, 11:30
- Re: Let's you & him fight, Aatu Koskensilta, 11:16
- Re: Complete types, Blake Manner, 11:01
- Re: Question about Set Theory, George Dance, 09:46
- Re: Complete types, James Dolan, 02:00
- Re: Complete types, James Dolan, 01:50
- Re: Complete types, Blake Manner, 00:43
- unification, raldo, 00:12
- Re: Complete types, Blake Manner, 00:06
- Re: Let's you & him fight, Rupert, 00:05
August 06, 2006
- Re: Let's you & him fight, Rupert, 23:26
- Re: Question about non-classical logics, Jack Campin - bogus address, 20:18
- Re: Complete types, James Dolan, 20:08
- Re: Complete types, Blake Manner, 19:14
- Re: Let's you & him fight, Aatu Koskensilta, 18:51
- Re: Let's you & him fight, george, 18:47
- Re: Let's you & him fight, Aatu Koskensilta, 18:43
- Re: Let's you & him fight, george, 18:39
- Re: Question about Set Theory, Stan, 18:38
- Re: Let's you & him fight, george, 18:16
- Re: Let's you & him fight, george, 18:13
- Re: Need help proving (Ax)(~P(x)) |- ~(Ex)(P(x)), MoeBlee, 16:56
- Re: non-standard model of PA, fjmd1a, 16:48
- Re: Complete types, James Dolan, 16:32
- Re: Let's you & him fight, Aatu Koskensilta, 15:41
- Re: Set Theories with Universes, wit, 15:28
- Re: Set Theories with Universes, wit, 15:24
- Question about non-classical logics, Newberry, 14:31
- Re: Complete types, galathaea, 13:45
- Re: Question about Set Theory, Patricia Shanahan, 10:45
- Re: Question about Set Theory, herbzet, 06:46
- Re: Question about Set Theory, herbzet, 06:38
- Re: A curiousity, herbzet, 06:34
- Re: Question about Set Theory, Peter Webb, 06:31
- Re: Question regarding infinite length integers, Jack Campin - bogus address, 04:19
August 05, 2006
- Re: Question regarding infinite length integers, Newberry, 23:52
- Complete types, Blake Manner, 20:06
- Re: Let's you & him fight, Rupert, 19:24
- Re: The Pirate Game Theory Problem and the Trouble with Voter Apathy, Rupert, 19:22
- Re: A curiousity, Fephisto, 18:36
- Re: Let's you & him fight, Chris Menzel, 18:16
- Re: Let's you & him fight, Chris Menzel, 18:13
- Re: Need help proving (Ax)(~P(x)) |- ~(Ex)(P(x)), Mike H, 17:22
- Re: Question about Set Theory, MoeBlee, 16:00
- Re: Question about Set Theory, MoeBlee, 15:50
- Re: Question about Set Theory, MoeBlee, 15:37
- Re: Question about Set Theory, MoeBlee, 15:27
- Define a complete type realized by exactly three elements, Blake Manner, 12:15
- Re: Let's you & him fight, Aatu Koskensilta, 10:40
- Re: Let's you & him fight, Aatu Koskensilta, 10:32
- Re: Question about Set Theory, Aatu Koskensilta, 10:26
- Re: Let's you & him fight, Daryl McCullough, 10:07
- Re: The Pirate Game Theory Problem and the Trouble with Voter Apathy, Daryl McCullough, 09:29
- Re: Let's you & him fight, Aatu Koskensilta, 09:28
- Re: Question about Set Theory, Stan, 04:21
- Re: The Pirate Game Theory Problem and the Trouble with Voter Apathy, Rupert, 01:34
August 04, 2006
- Re: Question about Set Theory, wit, 21:03
- Re: Question about Set Theory, wit, 21:02
- Re: Question about Set Theory, MoeBlee, 20:38
- Re: Let's you & him fight, Rupert, 20:12
- Re: Question about Set Theory, Rupert, 20:09
- Re: Let's you & him fight, Rupert, 19:41
- Let's you & him fight, george, 18:52
- Re: Question about Set Theory, MoeBlee, 18:40
- Re: Who Needs Hume's Principle?, george, 18:38
- Re: Question about Set Theory, Stan, 17:49
- The variant (invariance of light) paradox, jt64, 17:33
- Re: Proofs to programs (was: Turing to Goedel), Mitch, 17:30
- Re: (Tit_for_Tat) The Prisoner's Dilemma Explained & Iterated, Lizz Holmans, 17:22
- Re: (Tit_for_Tat) The Prisoner's Dilemma Explained & Iterated, sleepalot, 17:08
- Re: Question Regarding the Definition of Cantor's Set, george, 16:22
- Re: (Tit_for_Tat) The Prisoner's Dilemma Explained & Iterated, Immortalist, 16:16
- Re: Proofs to programs (was: Turing to Goedel), Charlie-Boo, 15:46
- Re: Proofs to programs (was: Turing to Goedel), Charlie-Boo, 15:31
- Re: Question about Set Theory, MoeBlee, 15:29
- Re: Question about Set Theory, MoeBlee, 15:24
- Re: Proofs to programs (was: Turing to Goedel), Mitch, 14:59
- Re: The Pirate Game Theory Problem and the Trouble with Voter Apathy, Matthew Wampler-Doty, 14:40
- Re: Question about Set Theory, vfilipch, 14:39
- Re: Question about Set Theory, vfilipch, 14:30
- Re: Question about Set Theory, vfilipch, 14:11
- Re: Proofs to programs (was: Turing to Goedel), Charlie-Boo, 13:00
- Re: looking for a tricky answer, Arturo Magidin, 12:37
- looking for a tricky answer, n . lutz, 12:31
- Re: :: every god desires another truth : monovalence and fundamentalising avoidance-obsessions ::, guenther vonKnakspot, 10:00
- Re: Question about Set Theory, Frederick Williams, 09:58
- Re: Turing vs. Godel (Newbie Question), Alan Smaill, 08:31
- Re: Turing vs. Godel (Newbie Question), H. J. Sander Bruggink, 07:24
- Re: The Pirate Game Theory Problem and the Trouble with Voter Apathy, Rupert, 06:39
- Re: :: every god desires another truth : monovalence and fundamentalising avoidance-obsessions ::, naomi2323, 03:08
- Re: The Pirate Game Theory Problem and the Trouble with Voter Apathy, Rupert, 02:49
- :: every god desires another truth : monovalence and fundamentalising avoidance-obsessions ::, galathaea, 02:44
- Re: A curiousity, herbzet, 01:25
- Re: question, banterjee, 00:50
- Re: The Pirate Game Theory Problem and the Trouble with Voter Apathy, Rupert, 00:50
- Re: Question about Set Theory, Rupert, 00:24
August 03, 2006
- Re: (Tit_for_Tat) The Prisoner's Dilemma Explained & Iterated, sleepalot, 23:47
- Re: Question about Set Theory, Peter Webb, 23:05
- Re: Question about Set Theory, vfilipch, 22:02
- Re: Question about Set Theory, vfilipch, 21:42
- Re: Question about Set Theory, Frederick Williams, 21:29
- Re: Question about Set Theory, vfilipch, 21:28
- Re: Question about Set Theory, Stan, 21:01
- Re: Question about Set Theory, Rupert, 20:10
- Re: Need help proving (Ax)(~P(x)) |- ~(Ex)(P(x)), MoeBlee, 19:53
- Need help proving (Ax)(~P(x)) |- ~(Ex)(P(x)), Mike H, 19:37
- Re: (Tit_for_Tat) The Prisoner's Dilemma Explained & Iterated, Immortalist, 17:50
- Re: Turing vs. Godel (Newbie Question), Mitch, 16:49
- The Pirate Game Theory Problem and the Trouble with Voter Apathy, Matthew Wampler-Doty, 16:17
- Re: Proofs to programs (was: Turing to Goedel), Mitch, 16:08
- Re: Turing vs. Godel (Newbie Question), Charlie-Boo, 16:07
- Re: Turing vs. Godel (Newbie Question), Charlie-Boo, 16:00
- Re: Turing vs. Godel (Newbie Question), Mitch, 15:07
- How the God created our terrestrial world?, socratus, 14:58
- Re: Turing vs. Godel (Newbie Question), Mitch, 14:53
- Re: Proofs to programs (was: Turing to Goedel), Charlie-Boo, 14:25
- Re: Turing vs. Godel (Newbie Question), Charlie-Boo, 13:46
- Re: Proofs to programs (was: Turing to Goedel), Mitch, 13:40
- Re: Turing vs. Godel (Newbie Question), Charlie-Boo, 13:05
- Re: Turing vs. Godel (Newbie Question), Charlie-Boo, 12:38
- Re: Tarski finite problem, MoeBlee, 12:19
- Question about Set Theory, vfilipch, 12:14
- Re: A curiousity, wit, 11:29
- Re: A curiousity, herbzet, 11:15
- Re: Turing vs. Godel (Newbie Question), Mitch, 10:52
- Re: A curiousity, wit, 10:06
- Re: Question regarding infinite length integers, Newberry, 10:06
- Re: A curiousity, Fephisto, 08:34
- Re: Question regarding infinite length integers, David C . Ullrich, 08:18
- Re: Question regarding infinite length integers, David C . Ullrich, 08:12
- Re: Question regarding infinite length integers, David C . Ullrich, 08:10
- Re: A curiousity, herbzet, 08:05
- Re: A curiousity, David C . Ullrich, 08:04
- Re: When does p imply q (redux)?, herbzet, 08:03
- Re: A curiousity, herbzet, 05:03
- Re: A curiousity, herbzet, 05:02
- Re: A curiousity, herbzet, 04:51
- Re: (Tit_for_Tat) The Prisoner's Dilemma Explained & Iterated, Brian Fletcher, 03:01
- Re: (Tit_for_Tat) The Prisoner's Dilemma Explained & Iterated, HomoBlaxican, 02:56
- Re: (Tit_for_Tat) The Prisoner's Dilemma Explained & Iterated, sleepalot, 01:00
August 02, 2006
- Re: Tarski finite problem, William Elliot, 21:54
- Re: question, Frederick Williams, 21:32
- Re: Question regarding infinite length integers, Patricia Shanahan, 20:21
- Re: (Tit_for_Tat) The Prisoner's Dilemma Explained & Iterated, tooly, 20:16
- Re: Question regarding infinite length integers, Rupert, 20:12
- Re: Turing vs. Godel (Newbie Question), Charlie-Boo, 19:51
- Re: Question regarding infinite length integers, Nam Nguyen, 19:29
- Re: Turing vs. Godel (Newbie Question), Charlie-Boo, 19:24
- Re: Question regarding infinite length integers, wit, 19:16
- Re: Question regarding infinite length integers, Scott, 18:58
- Re: Question regarding infinite length integers, Scott, 18:29
- Re: Question regarding infinite length integers, Scott, 18:27
- Re: Who Needs Hume's Principle?, george, 15:35
- (Tit_for_Tat) The Prisoner's Dilemma Explained & Iterated, Immortalist, 13:45
- Re: Tarski finite problem, MoeBlee, 12:58
- Re: Tarski finite problem, MoeBlee, 12:20
- Re: non-standard model of PA, Chris Menzel, 12:12
- question, sabom2006, 11:20
- Re: Question regarding infinite length integers, Patricia Shanahan, 11:16
- Re: Question Regarding the Definition of Cantor's Set, Newberry, 10:23
- Re: Question regarding infinite length integers, Newberry, 10:20
- Re: Question regarding infinite length integers, David C . Ullrich, 09:16
- Re: A curiousity, David C . Ullrich, 09:12
- Re: A curiousity, David C . Ullrich, 09:09
- Re: A curiousity, wit, 06:59
- Re: Tarski finite problem, William Elliot, 06:35
- Re: non-standard model of PA, fjmd1a, 05:13
- Re: Can we using formulas to know anything about the God ?, socratus, 04:57
- Re: A curiousity, herbzet, 03:34
- Re: When does p imply q (redux)?, herbzet, 00:00
August 01, 2006
- Re: A curiousity, herbzet, 23:55
- Re: A curiousity, herbzet, 23:53
- Re: Tarski finite problem, Rupert, 23:10
- Re: Tarski finite problem, MoeBlee, 22:34
- Re: Tarski finite problem, MoeBlee, 22:15
- Re: Tarski finite problem, MoeBlee, 22:13
- Re: Tarski finite problem, William Elliot, 21:52
- Re: Tarski finite problem, Rupert, 21:34
- Re: Tarski finite problem, Rupert, 21:31
- Re: Question regarding infinite length integers, Rupert, 21:29
- Question regarding infinite length integers, Scott, 20:48
- Re: non-standard model of PA, Pierre Asselin, 20:38
- Re: non-standard model of PA, Chris Menzel, 20:34
- Re: Question Regarding the Definition of Cantor's Set, Scott, 19:12
- Re: Who Needs Hume's Principle?, george, 18:59
- Re: Set Theory: Should you believe?, george, 18:44
- Re: Set Theory: Should you believe?, george, 18:21
- Re: non-standard model of PA, fjmd1a, 17:48
- Re: Turing vs. Godel (Newbie Question), Mitch, 17:03
- Re: Question Regarding the Definition of Cantor's Set, george, 16:31
- Tarski finite problem, MoeBlee, 13:49
- Lob's Theorem in Ethics, Matthew Wampler-Doty, 12:32
- Re: Choice function over finite sets, george, 12:05
- Re: non-standard model of PA, Chris Menzel, 12:00
- Re: Turing vs. Godel (Newbie Question), Charlie-Boo, 10:56
- Re: A curiousity, William Elliot, 08:36
- Re: A curiousity, David C . Ullrich, 06:18
- Re: A curiousity, David C . Ullrich, 06:17
- Re: A curiousity, David C . Ullrich, 06:16
- Re: A curiousity, wit, 05:50
- Re: A curiousity, fred . galvin, 05:24
- Re: A curiousity, herbzet, 04:08
- Re: A curiousity, herbzet, 03:48
- Re: Does Science give us knowledge about reality?, Merlinman2005, 01:15
- Re: A curiousity, herbzet, 01:00
July 31, 2006
- Re: When does p imply q (redux)?, herbzet, 23:47
- Re: A curiousity, Frederick Williams, 23:26
- Re: A curiousity, Frederick Williams, 22:29
- Re: Does Science give us knowledge about reality?, Frederick Williams, 22:09
- Re: A curiousity, William Elliot, 22:08
- Re: non-standard model of PA, Frederick Williams, 22:05
- A curiousity, Fephisto, 20:59
- Re: non-standard model of PA, Chris Menzel, 18:46
- Re: Does Science give us knowledge about reality?, Rupert, 18:28
Privacy Policy