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