sci.logic (date)
September 30, 2006
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 15:21
- Re: how to prove ~ ( P & Q) => ~P v ~Q, George Dance, 15:00
- Re: how to prove ~ ( P & Q) => ~P v ~Q, George Dance, 15:00
- Re: how to prove ~ ( P & Q) => ~P v ~Q, Roberto Vescarelli, 14:35
- Re: Foundations of Mathematics, John Jones, 13:55
- Re: Classical Modal Logic, Semantics, George Dance, 13:40
- Re: Foundations of Mathematics, Peter_Smith, 13:11
- Re: Foundations of Mathematics, Peter_Smith, 13:10
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 13:08
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 13:00
- Re: Foundations of Mathematics, Peter_Smith, 12:52
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 12:49
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 12:37
- Re: My investigations into Godels Incompleteness Theorem, Bhupinder Singh Anand, 12:15
- Re: how to prove ~ ( P & Q) => ~P v ~Q, The Ghost In The Machine, 12:00
- Re: Foundations of Mathematics, Charlie-Boo, 11:59
- Re: Foundations of Mathematics, Charlie-Boo, 11:59
- Re: how to prove ~ ( P & Q) => ~P v ~Q, Peter_Smith, 11:46
- Re: Why Has None of Computer Science been Formalized?, george, 11:45
- Re: how to prove ~ ( P & Q) => ~P v ~Q, Enzo Tagliazucchi, 11:44
- Re: Computability and logic, george, 11:01
- how to prove ~ ( P & Q) => ~P v ~Q, translogi@xxxxxxxxxxxxxx, 10:49
- Re: The Tractatus and Logic today, George Dance, 10:07
- Re: Classical Modal Logic, Semantics, Owen, 09:22
- Re: Computability and logic, Tom, 06:38
- Re: Computability and logic, Tom, 06:31
September 29, 2006
- Re: Modal Logic, Khodaeifar, 22:29
- Re: Modal Logic, Rhys B. Cartwright-Jones, 20:50
- Modal Logic, Khodaeifar, 19:10
- Re: My investigations into Godels Incompleteness Theorem, MoeBlee, 18:37
- Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 18:36
- Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 18:34
- Quine The Afterlife, CoreyWhite, 18:16
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 17:55
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 17:44
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 17:38
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 17:33
- Re: My investigations into Godels Incompleteness Theorem, MoeBlee, 17:23
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 17:17
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 16:09
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 15:50
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 15:38
- Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 15:10
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 14:21
- Re: Computability and logic, MoeBlee, 13:52
- Re: My investigations into Godels Incompleteness Theorem, Bhupinder Singh Anand, 13:48
- Help With A Psuedo-Proof Please, CoreyWhite, 12:20
- Re: Computability and logic, Tom, 11:41
- Re: phrase search, Ross A. Finlayson, 11:36
- Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 09:29
- phrase search, nicolas_laurent545, 09:25
- Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 07:15
- Re: Classical Modal Logic, Semantics, Khodaeifar, 06:31
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 06:28
- Re: Sudoku Creator and Step by Step Solver, Peter_Smith, 04:27
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 02:51
- Re: Foundations of Mathematics, Peter_Smith, 02:21
- Re: My investigations into Godels Incompleteness Theorem, Bhupinder Singh Anand, 00:56
September 28, 2006
- Re: Classical Modal Logic, Semantics, mordov, 23:01
- Re: Modus Ponens Is Unprovable?, herbzet, 21:05
- Sudoku Creator and Step by Step Solver, Sri, 20:57
- Re: Modus Ponens Is Unprovable?, herbzet, 19:52
- Classical Modal Logic, Semantics, Khodaeifar, 19:42
- Re: Foundations of Mathematics, Charlie-Boo, 19:24
- Re: Foundations of Mathematics, Charlie-Boo, 19:11
- Re: Foundations of Mathematics, Charlie-Boo, 19:08
- Re: Goldbach Conjecture & the Foundation of First Order Logic., Peter_Smith, 15:43
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 14:13
- Re: My investigations into Godels Incompleteness Theorem, Alan Smaill, 13:41
- Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 13:02
- Re: Foundations of Mathematics, Peter Smith, 12:41
- Re: Computability and logic, george, 12:36
- Re: Computability and logic, george, 12:36
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 11:42
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 10:56
- Re: Goldbach Conjecture & the Foundation of First Order Logic., el picsid, 10:07
- Re: Foundations of Mathematics, Peter_Smith, 09:34
- Re: Goldbach Conjecture & the Foundation of First Order Logic., Nam Nguyen, 09:29
- Re: Goldbach Conjecture & the Foundation of First Order Logic., Nam Nguyen, 09:20
- Re: Computability and logic, Tom, 09:08
- Re: Goldbach Conjecture & the Foundation of First Order Logic., Nam Nguyen, 09:08
- Re: Bias against unintelligent people, Urthogie, 07:50
- Re: Foundations of Mathematics, abo, 07:42
- Re: Foundations of Mathematics, Peter_Smith, 07:03
- Re: Question on Counterfactual Conditionals, Herman Jurjus, 06:42
- Re: Question on Counterfactual Conditionals, Herman Jurjus, 06:32
- Re: Foundations of Mathematics, Peter_Smith, 06:14
- Re: Bias against unintelligent people, benlizross, 04:41
- Re: Foundations of Mathematics, Charlie-Boo, 00:31
- Re: Foundations of Mathematics, Charlie-Boo, 00:23
- Re: Question on Counterfactual Conditionals, Dan Christensen, 00:22
- Re: Foundations of Mathematics, Charlie-Boo, 00:21
- Re: Foundations of Mathematics, Charlie-Boo, 00:12
September 27, 2006
- Re: Question on Counterfactual Conditionals, Stephen Harris, 21:17
- Re: Foundations of Mathematics, John Jones, 18:00
- Re: Foundations of Mathematics, John Jones, 18:00
- Re: The Tractatus and Logic today, Aatu Koskensilta, 17:59
- Re: My investigations into Godels Incompleteness Theorem, Aatu Koskensilta, 17:57
- Re: Foundations of Mathematics, John Jones, 16:05
- Re: Foundations of Mathematics, Jan Burse, 16:03
- Re: Foundations of Mathematics, Jan Burse, 15:49
- Bloody Crime Scene Photos Of DEAD Celebrities, arexar@xxxxxxxxxx, 15:45
- Re: Foundations of Mathematics, jon, 15:33
- Re: Foundations of Mathematics, John Jones, 15:23
- Re: Computability and logic, MoeBlee, 15:03
- Re: Computability and logic, Tom, 14:55
- Re: Bias against unintelligent people, galathaea, 14:54
- Re: Modus Ponens Is Unprovable?, Jan Burse, 14:25
- Re: Foundations of Mathematics, Jan Burse, 13:49
- Re: My investigations into Godels Incompleteness Theorem, R. Srinivasan, 13:13
- Re: My investigations into Godels Incompleteness Theorem, R. Srinivasan, 13:13
- Re: Definition of God, thepossibilities, 13:08
- Re: My investigations into Godels Incompleteness Theorem, R. Srinivasan, 13:06
- Re: Foundations of Mathematics, Chris Menzel, 12:56
- Re: Computability and logic, MoeBlee, 11:50
- Re: Question on Counterfactual Conditionals, Dan Christensen, 11:34
- Re: Foundations of Mathematics, John Jones, 10:55
- Re: A New Resolution to Impredicativity, MoeBlee, 10:00
- Re: Goldbach Conjecture & the Foundation of First Order Logic., MoeBlee, 09:57
- Re: Goldbach Conjecture & the Foundation of First Order Logic., Peter_Smith, 09:46
- Re: Goldbach Conjecture & the Foundation of First Order Logic., MoeBlee, 09:33
- Re: The Tractatus and Logic today, George Dance, 08:54
- Re: Modus Ponens Is Unprovable?, translogi@xxxxxxxxxxxxxx, 06:57
- Re: Foundations of Mathematics, Peter_Smith, 06:54
- Re: Foundations of Mathematics, Peter_Smith, 06:52
- Re: Mathematical strings, David C . Ullrich, 06:41
- Re: Computability and logic, Tom, 05:59
- Re: Question on Counterfactual Conditionals, Herman Jurjus, 05:39
- Foundations of Mathematics, John Jones, 05:07
- Re: Mathematical strings, John Jones, 04:55
- Re: Goldbach Conjecture & the Foundation of First Order Logic., Peter_Smith, 03:12
- Re: How numbers in Mathematics calculations are repeated in a specific patern.....!!!!, gdewilde@xxxxxxxxx, 03:02
- Re: Goldbach Conjecture & the Foundation of First Order Logic., Nam Nguyen, 02:30
- Re: A New Resolution to Impredicativity, abo, 01:15
September 26, 2006
- Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 23:52
- Re: A New Resolution to Impredicativity, lugita15, 20:08
- Re: Three Turing machines, Peter_Smith, 18:44
- Re: A New Resolution to Impredicativity, MoeBlee, 18:39
- Re: Three Turing machines, Patricia Shanahan, 18:34
- Re: Mathematical strings, MoeBlee, 18:30
- Re: Mathematical strings, John Jones, 17:52
- Re: Computability and logic, MoeBlee, 17:45
- Re: Mathematical strings, MoeBlee, 17:33
- Re: A New Resolution to Impredicativity, abo, 16:45
- Re: Question on Counterfactual Conditionals, Dan Christensen, 16:34
- Re: A New Resolution to Impredicativity, Peter_Smith, 16:19
- Re: A New Resolution to Impredicativity, abo, 16:04
- Re: Mathematical strings, John Jones, 16:02
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 15:52
- Re: Mathematical strings, Jack Campin - bogus address, 15:50
- Re: A New Resolution to Impredicativity, Peter_Smith, 15:46
- Re: Question on Counterfactual Conditionals, Herman Jurjus, 15:35
- Re: A New Resolution to Impredicativity, lugita15, 15:22
- Re: My investigations into Godels Incompleteness Theorem, Stephen Harris, 15:07
- Re: A New Resolution to Impredicativity, Peter_Smith, 14:50
- Re: Computability and logic, Tom, 14:22
- A New Resolution to Impredicativity, lugita15, 13:23
- Re: Mathematical strings, John Jones, 13:10
- Re: Mathematical strings, MoeBlee, 10:30
- Re: Mathematical strings, John Jones, 10:03
- Re: Mathematical strings, John Jones, 09:54
- Re: Computability and logic, MoeBlee, 09:20
- Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 08:01
- Re: Mathematical strings, David C . Ullrich, 07:17
- Re: Three Turing machines, Peter_Smith, 07:15
- Re: My investigations into Godels Incompleteness Theorem, David C . Ullrich, 07:10
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 06:58
- Re: Question about Frege's Theorem, lugita15, 06:19
- Proof, String and Swastika, John Jones, 05:43
- Re: Three Turing machines, Patricia Shanahan, 05:43
- Re: Goldbach Conjecture & the Foundation of First Order Logic., Peter_Smith, 04:32
- Three Turing machines, Peter_Smith, 03:41
- Re: Goldbach Conjecture & the Foundation of First Order Logic., Peter_Smith, 03:13
- Re: Question about Frege's Theorem, Peter_Smith, 02:53
- How numbers in Mathematics calculations are repeated in a specific patern.....!!!!, studyandjobs, 02:52
- Re: Bias against unintelligent people, benlizro, 01:59
- Re: Question about Frege's Theorem, Aatu Koskensilta, 01:57
- Re: Question about Frege's Theorem, Chris Menzel, 01:34
- Re: Question about Frege's Theorem, Chris Menzel, 01:31
- Re: Goldbach Conjecture & the Foundation of First Order Logic., Aatu Koskensilta, 01:08
- Re: Goldbach Conjecture & the Foundation of First Order Logic., Barb Knox, 00:53
September 25, 2006
- Goldbach Conjecture & the Foundation of First Order Logic., Nam Nguyen, 23:29
- Re: Question about Frege's Theorem, Aatu Koskensilta, 22:27
- Re: Question about Frege's Theorem, lugita15, 22:20
- Re: Question about Frege's Theorem, Aatu Koskensilta, 22:07
- Re: Question about Frege's Theorem, lugita15, 21:57
- Re: Bias against unintelligent people, Urthogie, 21:46
- Re: Question about Frege's Theorem, Aatu Koskensilta, 21:23
- Re: My investigations into Godels Incompleteness Theorem, Stephen Harris, 21:05
- Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 21:00
- Re: Turing vs. Godel (Newbie Question), Charlie-Boo, 21:00
- Re: Bias against unintelligent people, benlizro, 20:47
- Re: Question about Frege's Theorem, Chris Menzel, 19:07
- Re: My investigations into Godels Incompleteness Theorem, Stephen Harris, 18:44
- Re: Mathematical strings, Aatu Koskensilta, 18:15
- Re: My investigations into Godels Incompleteness Theorem, MoeBlee, 18:12
- Re: Mathematical strings, MoeBlee, 18:09
- Mathematical strings, John Jones, 17:51
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 17:01
- Re: Question on Counterfactual Conditionals, Dan Christensen, 16:22
- Re: Question about Frege's Theorem, Aatu Koskensilta, 15:56
- Re: Question about Frege's Theorem, lugita15, 15:49
- Re: Computability and logic, Tom, 14:13
- Re: Computability and logic, Tom, 13:56
- Re: Computability and logic, Tom, 13:50
- Re: My investigations into Godels Incompleteness Theorem, Aatu Koskensilta, 13:14
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 13:13
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 13:11
- Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 13:04
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 12:18
- Re: Question on Counterfactual Conditionals, Jan Burse, 12:10
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 11:52
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 11:46
- Re: My investigations into Godels Incompleteness Theorem, MoeBlee, 11:37
- Re: Question on Counterfactual Conditionals, Herman Jurjus, 11:35
- Re: Question about Frege's Theorem, Chris Menzel, 11:32
- Re: Computability and logic, MoeBlee, 11:15
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 11:14
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 11:00
- Re: Computability and logic, Jack Campin - bogus address, 10:43
- Re: Computability and logic, Peter_Smith, 09:22
- Re: Turing vs. Godel (Newbie Question), Alan Smaill, 08:41
- Re: My investigations into Godels Incompleteness Theorem, MoeBlee, 08:39
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 08:34
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 07:48
- Re: Computability and logic, Tom, 06:45
- Re: My investigations into Godels Incompleteness Theorem, Alan Smaill, 06:00
- Re: Turing vs. Godel (Newbie Question), Alan Smaill, 05:54
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 05:20
- Re: My investigations into Godels Incompleteness Theorem, R. Srinivasan, 04:47
- Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 04:31
- Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 04:24
- Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 04:10
- Re: My investigations into Godels Incompleteness Theorem, abo, 03:53
- Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 03:18
- Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 03:05
- Re: Turing vs. Godel (Newbie Question), Charlie-Boo, 02:55
September 24, 2006
- Re: My investigations into Godels Incompleteness Theorem, Stephen Harris, 22:25
- Nameless, Rambus2005@xxxxxxxxx put angle (phi) 89 in the your equation (1.5), then I will clear other doubts., physicsajay, 21:35
- Re: My investigations into Godels Incompleteness Theorem, Stephen Harris, 21:00
- Re: Computability and logic, Peter_Smith, 18:40
- Re: Question about Frege's Theorem, Peter_Smith, 17:59
- Re: The Tractatus and Logic today, Gc, 14:46
- Re: Turing vs. Godel (Newbie Question), Alan Smaill, 14:46
- Re: Question about Frege's Theorem, Peter_Smith, 13:24
- Re: Question about Frege's Theorem, Peter_Smith, 13:20
- Re: Computability and logic, Tom, 13:18
- Re: Question about Frege's Theorem, lugita15, 13:12
- Re: My investigations into Godels Incompleteness Theorem, Alan Smaill, 13:09
- Re: Question about Frege's Theorem, george, 12:56
- Re: Question about Frege's Theorem, Peter_Smith, 12:43
- Re: Question about Frege's Theorem, Peter_Smith, 12:40
- Re: Question about Frege's Theorem, lugita15, 12:35
- Re: Question about Frege's Theorem, george, 12:20
- Re: Question about Frege's Theorem, Peter_Smith, 12:19
- Re: Question about Frege's Theorem, lugita15, 11:51
- Re: Question about Frege's Theorem, Peter_Smith, 11:22
- Re: The Tractatus and Logic today, Aatu Koskensilta, 11:15
- Re: Question about Frege's Theorem, lugita15, 10:37
- Re: Task, Peter_Smith, 10:08
- Re: Question about Frege's Theorem, Peter_Smith, 10:05
- Re: Task, Atreides, 10:03
- Question about Frege's Theorem, lugita15, 08:47
- Re: The Tractatus and Logic today, George Dance, 03:36
- Re: Task, Peter_Smith, 03:35
- Task, Atreides, 03:27
September 23, 2006
- Re: Sorry, still missing something, Tim Peters, 22:32
- Re: Thankyou Tim and Arturo, Tim Peters, 22:14
- Re: Computability and logic, Peter_Smith, 19:49
- Re: Question on Counterfactual Conditionals, Jan Burse, 16:40
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 16:24
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 14:58
- Re: Thankyou Tim and Arturo, Arturo Magidin, 14:46
- Re: Question on Counterfactual Conditionals, Dan Christensen, 14:25
- Final Theory Of Everything V4.0, virtualadepts, 14:03
- Computability and logic, Tom, 12:50
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 12:49
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 11:43
- Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 11:39
- Re: Why Has None of Computer Science been Formalized?, Chris Menzel, 11:35
- Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 11:34
- Re: (Yet another) question on the incompleteness theorem, contradictions . for . all, 11:13
- Re: Question on Counterfactual Conditionals, Jan Burse, 10:53
- Re: Question on Counterfactual Conditionals, Jan Burse, 10:46
- Re: Question on Counterfactual Conditionals, Peter_Smith, 10:33
- Re: Question on Counterfactual Conditionals, Peter_Smith, 10:31
- Final theory of everything V2.0, CoreyWhite, 10:23
- Re: Question on Counterfactual Conditionals, Jan Burse, 10:06
- Re: Sorry, still missing something, Peter Webb, 08:55
- Re: My investigations into Godels Incompleteness Theorem, David C . Ullrich, 08:55
- Re: My investigations into Godels Incompleteness Theorem, David C . Ullrich, 08:51
- Re: My investigations into Godels Incompleteness Theorem, R. Srinivasan, 08:37
- Thankyou Tim and Arturo, Peter Webb, 08:32
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 04:00
September 22, 2006
- Re: Question on Counterfactual Conditionals, Dan Christensen, 22:31
- Re: Question on Counterfactual Conditionals, Peter_Smith, 19:32
- Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 19:05
- Re: Question on Counterfactual Conditionals, Jan Burse, 19:00
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 18:55
- Re: Definition of God, wcb, 17:56
- Re: My investigations into Godels Incompleteness Theorem, MoeBlee, 16:37
- Re: Question on Counterfactual Conditionals, Jan Burse, 15:15
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 15:04
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 14:55
- Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 14:23
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 13:43
- Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 13:32
- Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 13:22
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 13:08
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 13:03
- Re: Why Has None of Computer Science been Formalized?, Chris Menzel, 11:06
- Re: My investigations into Godels Incompleteness Theorem, Chris Menzel, 11:00
- Re: Question on Counterfactual Conditionals, semiopen, 10:56
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 10:54
- Re: Sorry, still missing something, Arturo Magidin, 10:20
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 10:16
- Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 08:47
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 08:30
- Re: My investigations into Godels Incompleteness Theorem, David C . Ullrich, 08:24
- Question on Counterfactual Conditionals, Dan Christensen, 07:48
- Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 06:30
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 05:39
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 05:24
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 03:58
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 02:46
September 21, 2006
- Re: Set Equation Solving, William Elliot, 23:57
- Re: A Thought Experiment, herbzet, 23:24
- Re: Sorry, still missing something, Tim Peters, 22:50
- Re: A Thought Experiment, Newberry, 22:18
- Re: A Thought Experiment, herbzet, 22:09
- Re: My investigations into Godels Incompleteness Theorem, herbzet, 21:59
- Re: My investigations into Godels Incompleteness Theorem, herbzet, 21:53
- Re: My investigations into Godels Incompleteness Theorem, herbzet, 21:49
- Re: Sorry, still missing something, Tim Peters, 21:37
- Set Equation Solving, Conbra, 20:55
- Sorry, still missing something, Peter Webb, 20:39
- Re: Modus Ponens Is Unprovable?, Jan Burse, 18:18
- Re: My investigations into Godels Incompleteness Theorem, Chris Menzel, 17:20
- Re: Modus Ponens Is Unprovable?, translogi@xxxxxxxxxxxxxx, 17:12
- Re: My investigations into Godels Incompleteness Theorem, wit, 16:56
- SW that will draw a switching circuit?, Newberry, 16:40
- Re: My investigations into Godels Incompleteness Theorem, Aatu Koskensilta, 16:27
- Two questions ..., Peter_Smith, 16:02
- Re: My investigations into Godels Incompleteness Theorem, abo, 15:57
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 15:10
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 15:06
- Re: My investigations into Godels Incompleteness Theorem, Aatu Koskensilta, 12:36
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 11:20
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 11:19
- Re: Zorn's lemma - I'm missing something, Peter Webb, 11:13
- Re: Zorn's lemma - I'm missing something, Arturo Magidin, 10:30
- Re: Why Has None of Computer Science been Formalized?, Chris Menzel, 10:17
- Re: Zorn's lemma - I'm missing something, Peter Webb, 10:02
- Re: My investigations into Godels Incompleteness Theorem, R. Srinivasan, 09:42
- Re: Zorn's lemma - I'm missing something, Arturo Magidin, 09:00
- Zorn's lemma - I'm missing something, Peter Webb, 08:15
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 06:29
- Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 06:24
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 05:09
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 03:45
- Re: My investigations into Godels Incompleteness Theorem, R. Srinivasan, 03:43
- Re: Lies by Septic again!!!!, Virgil, 03:04
- Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 02:03
- Re: A Thought Experiment, Newberry, 01:40
September 20, 2006
- Re: Septic Spam, jientho, 23:16
- Re: A question on prime numbers., Nam Nguyen, 22:16
- Re: My investigations into Godels Incompleteness Theorem, herbzet, 22:12
- Re: Septic Spam, Gandalf Grey, 20:50
- Re: theist argument _ad ignorantiam_, Your Logic Tutor, 20:48
- Re: differences between N and omega, Peter Webb, 20:46
- Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 20:15
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 20:12
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 20:02
- Re: (Yet another) question on the incompleteness theorem, John Jones, 18:04
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 18:01
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 17:57
- Re: My investigations into Godels Incompleteness Theorem, Barb Knox, 17:52
- Re: My investigations into Godels Incompleteness Theorem, MoeBlee, 17:25
- Re: My investigations into Godels Incompleteness Theorem, wit, 16:18
- Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 16:13
- Re: Why Has None of Computer Science been Formalized?, george, 16:10
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 16:05
- Re: (Yet another) question on the incompleteness theorem, george, 15:59
- Re: My investigations into Godels Incompleteness Theorem, abo, 15:58
- Re: (Yet another) question on the incompleteness theorem, george, 15:51
- Re: My investigations into Godels Incompleteness Theorem, george, 15:35
- Re: Interesting subtheories of PA that can prove their own consistency, abo, 15:22
- Re: A question on prime numbers., Tim Peters, 15:10
- Re: A question on prime numbers., Tim Peters, 15:08
- Re: My investigations into Godels Incompleteness Theorem, Chris Menzel, 15:01
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 14:55
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 14:53
- Re: A question on prime numbers., Arturo Magidin, 14:51
- A question on prime numbers., Nam Nguyen, 14:36
- Re: (Yet another) question on the incompleteness theorem, Aatu Koskensilta, 14:15
- Re: Why Has None of Computer Science been Formalized?, Jack Campin - bogus address, 13:39
- Re: differences between N and omega, Arturo Magidin, 13:16
- differences between N and omega, bargiax, 13:04
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 12:47
- Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 12:35
- Re: My investigations into Godels Incompleteness Theorem, R. Srinivasan, 12:32
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 12:30
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 12:27
- Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 12:16
- Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 12:10
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 12:05
- Re: My investigations into Godels Incompleteness Theorem, R. Srinivasan, 12:03
- Re: My investigations into Godels Incompleteness Theorem, R. Srinivasan, 10:50
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 10:47
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 10:43
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 10:36
- Re: My investigations into Godels Incompleteness Theorem, R. Srinivasan, 10:29
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 10:22
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 10:18
- Re: My investigations into Godels Incompleteness Theorem, R. Srinivasan, 10:02
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 09:59
- Re: My investigations into Godels Incompleteness Theorem, R. Srinivasan, 09:48
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 09:24
- Re: Interesting subtheories of PA that can prove their own consistency, Peter_Smith, 09:13
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 08:57
- Re: Rank (exercise in Kunen), Norman Megill, 08:25
- Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 08:15
- Re: recursive formula....., Mark Nicholls, 08:04
- Re: recursive formula....., Mark Nicholls, 08:03
- Re: My investigations into Godels Incompleteness Theorem, R. Srinivasan, 07:53
- Re: My investigations into Godels Incompleteness Theorem, R. Srinivasan, 07:25
- Re: My investigations into Godels Incompleteness Theorem, David C . Ullrich, 07:12
- Re: recursive formula....., Achim Blumensath, 06:53
- Re: recursive formula....., William Elliot, 06:47
- Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 06:40
- Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 06:37
- Re: My investigations into Godels Incompleteness Theorem, R. Srinivasan, 06:21
- Re: recursive formula....., Mark Nicholls, 06:06
- Re: (Yet another) question on the incompleteness theorem, contradictions . for . all, 06:00
- Interesting subtheories of PA that can prove their own consistency, el picsid, 05:31
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 05:28
- Re: My investigations into Godels Incompleteness Theorem, herbzet, 05:26
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 05:07
- Re: My investigations into Godels Incompleteness Theorem, herbzet, 04:20
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 03:46
- Re: My investigations into Godels Incompleteness Theorem, abo, 03:17
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 02:47
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 02:28
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 02:19
- Re: My investigations into Godels Incompleteness Theorem, herbzet, 02:17
- Re: Diagonal Intersection what is it?, Bill Taylor, 01:42
- Re: My investigations into Godels Incompleteness Theorem, abo, 01:39
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 01:37
- Re: A Thought Experiment, herbzet, 01:35
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 01:15
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 01:10
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 00:47
September 19, 2006
- Re: A Thought Experiment, herbzet, 23:35
- Re: My investigations into Godels Incompleteness Theorem, david petry, 23:31
- Re: Modus Ponens and Trivial Truth, herbzet, 23:25
- Re: My investigations into Godels Incompleteness Theorem, herbzet, 23:19
- Re: Why Has None of Computer Science been Formalized?, stephen, 22:01
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 21:40
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 21:23
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 21:02
- Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 18:45
- Re: My investigations into Godels Incompleteness Theorem, george, 18:24
- Re: My investigations into Godels Incompleteness Theorem, george, 18:22
- Re: (Yet another) question on the incompleteness theorem, george, 18:15
- Re: (Yet another) question on the incompleteness theorem, John Jones, 17:59
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 17:58
- Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 17:56
- Re: My investigations into Godels Incompleteness Theorem, Chris Menzel, 17:02
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, wit, 16:26
- whymot, John Jones, 15:30
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 15:29
- Re: Modus Ponens and Trivial Truth, Rhys B. Cartwright-Jones, 15:19
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, Charlie-Boo, 15:16
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 15:05
- Re: (Yet another) question on the incompleteness theorem, John Jones, 14:53
- Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 14:47
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 14:34
- Re: Septic sides with theist, Virgil, 13:53
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 13:41
- Re: Why Has None of Computer Science been Formalized?, Chris Menzel, 13:33
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 13:25
- Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 13:23
- Re: Why Has None of Computer Science been Formalized?, stephen, 13:22
- Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 13:19
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 12:59
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 12:42
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 12:38
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 12:26
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 12:23
- Representable relation, bargiax, 12:07
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 12:06
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 11:54
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 11:50
- Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 11:32
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 11:26
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 09:58
- Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 09:47
- Re: My investigations into Godels Incompleteness Theorem, Chris Menzel, 09:45
- Re: (Yet another) question on the incompleteness theorem, Charlie-Boo, 08:28
- Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 08:20
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 08:10
- Re: recursive formula....., Mark Nicholls, 08:01
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 07:42
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, George Dance, 07:18
- Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 07:05
- Re: theorem's proof:, William Elliot, 06:57
- Re: recursive formula....., William Elliot, 06:33
- Re: Rank (exercise in Kunen), David C . Ullrich, 06:21
- Re: recursive formula....., Mark Nicholls, 05:42
- Re: My investigations into Godels Incompleteness Theorem, Alan Smaill, 05:42
- Re: (Yet another) question on the incompleteness theorem, John Jones, 05:12
- Re: recursive formula....., William Elliot, 05:11
- Re: My investigations into Godels Incompleteness Theorem, R. Srinivasan, 05:09
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 04:15
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 02:44
- Re: theist argument _ad ignorantiam_, Your Logic Tutor, 02:29
September 18, 2006
- Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 23:41
- Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 23:35
- Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 23:24
- Re: A Thought Experiment, Newberry, 23:14
- Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 22:46
- Re: Modus Ponens Is Unprovable?, herbzet, 21:38
- Re: (Yet another) question on the incompleteness theorem, Charlie-Boo, 21:32
- Re: Could there be such a FOL theory?, Nam Nguyen, 19:34
- Re: (Yet another) question on the incompleteness theorem, contradictions . for . all, 18:19
- Re: Why Has None of Computer Science been Formalized?, Chris Menzel, 17:24
- Re: (Yet another) question on the incompleteness theorem, John Jones, 17:22
- Re: theorem's proof:, Alessandro Duarte, 17:03
- Re: Why Has None of Computer Science been Formalized?, Patricia Shanahan, 16:11
- Re: Rank (exercise in Kunen), Norman Megill, 15:31
- Re: Why Has None of Computer Science been Formalized?, Chris Menzel, 15:21
- Re: theorem's proof:, Jack Campin - bogus address, 15:01
- theorem's proof:, Alessandro Duarte, 13:54
- 234v235, John Jones, 13:07
- Donkey, Rambus@xxxxxxxxx showed folly in Ajay Sharma’s paper extending Einstein’s E=mc2;, physicsajay, 12:10
- Re: Why Has None of Computer Science been Formalized?, Patricia Shanahan, 12:08
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 10:15
- Re: Why Has None of Computer Science been Formalized?, Patricia Shanahan, 10:13
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 10:03
- Re: Why Has None of Computer Science been Formalized?, Patricia Shanahan, 10:00
- Re: Why Has None of Computer Science been Formalized?, Patricia Shanahan, 09:56
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 09:56
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 09:35
- recursive formula....., Mark Nicholls, 09:33
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 09:29
- Re: A Thought Experiment, herbzet, 09:26
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 09:23
- Re: Modus Ponens and Trivial Truth, Rhys B. Cartwright-Jones, 09:15
- Re: Why Has None of Computer Science been Formalized?, Jack Campin - bogus address, 09:00
- Re: Rank (exercise in Kunen), William Elliot, 08:14
- Re: Rank (exercise in Kunen), David C . Ullrich, 08:00
- Re: Rank (exercise in Kunen), David C . Ullrich, 07:55
- Re: (Yet another) question on the incompleteness theorem, contradictions . for . all, 07:46
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 04:24
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 03:39
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 03:32
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 03:29
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 03:24
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 03:13
- Re: Septic claims "THE MOON IS IN FACT A PERFECT SPHERE", Virgil, 01:33
- Re: A Thought Experiment, herbzet, 01:17
- Re: Modus Ponens and Trivial Truth, Charlie-Boo, 01:09
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 01:05
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 00:50
- Re: A Thought Experiment, herbzet, 00:48
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 00:42
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 00:39
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 00:35
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 00:30
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 00:25
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 00:00
September 17, 2006
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 23:48
- Re: Modus Ponens and Trivial Truth, Peter Webb, 23:34
- Re: Modus Ponens and Trivial Truth, herbzet, 23:09
- Re: Rank (exercise in Kunen), William Elliot, 22:59
- Re: Rank (exercise in Kunen), William Elliot, 22:48
- Re: Why Has None of Computer Science been Formalized?, zzbunker@xxxxxxxxxxxx, 22:24
- Re: A Thought Experiment, Newberry, 20:59
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 18:58
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 17:53
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 17:19
- Re: Septic's ignorance of argumentum ad ignorantiam, Virgil, 16:54
- Re: Modus Ponens and Trivial Truth, wit, 16:32
- Re: Modus Ponens and Trivial Truth, rhys44503, 15:53
- Re: Modus Ponens and Trivial Truth, wit, 15:42
- Modus Ponens and Trivial Truth, rhys44503, 15:35
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 15:31
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 15:16
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 15:15
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 15:13
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 15:06
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 15:00
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 14:58
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 14:56
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 14:25
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 13:58
- Re: Why Has None of Computer Science been Formalized?, Patricia Shanahan, 12:48
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 11:56
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 11:47
- Re: Categorical model of N?, george, 11:04
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 10:46
- Re: Rank (exercise in Kunen), David C . Ullrich, 10:18
- Re: Rank (exercise in Kunen), Norman Megill, 09:51
- Re: Rank (exercise in Kunen), Norman Megill, 09:40
- Re: My investigations into Godels Incompleteness Theorem, Aatu Koskensilta, 09:14
- Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 08:50
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 06:10
- Re: A Thought Experiment, Peter_Smith, 04:47
- Re: Modus Ponens Is Unprovable?, Jan Burse, 04:45
- Re: theist argument _ad ignorantiam_, Your Logic Tutor, 02:22
- Re: Re:Septic's ignorance of argumentum ad ignorantiam, Your Logic Tutor, 02:16
- Re: Why Has None of Computer Science been Formalized?, abo, 01:54
- Re: Why Has None of Computer Science been Formalized?, zzbunker@xxxxxxxxxxxx, 01:47
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 01:19
- Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 00:08
- Re: Modus Ponens Is Unprovable?, herbzet, 00:02
September 16, 2006
- Re: My investigations into Godels Incompleteness Theorem, Aatu Koskensilta, 22:18
- Re: Diagonal Intersection what is it?, Keith Ramsay, 22:15
- Re: My investigations into Godels Incompleteness Theorem, Daryl McCullough, 21:46
- Re: A Thought Experiment, Newberry, 20:09
- Re: Could there be such a FOL theory?, Aatu Koskensilta, 20:05
- Re: Could there be such a FOL theory?, Nam Nguyen, 19:23
- Re: Modus Ponens Is Unprovable?, herb z, 18:25
- Re: Could there be such a FOL theory?, Aatu Koskensilta, 16:36
- Re:Septic's ignorance of argumentum ad ignorantiam, Virgil, 16:34
- Re: My investigations into Godels Incompleteness Theorem, Aatu Koskensilta, 16:06
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 15:47
- Re: (Yet another) question on the incompleteness theorem, John Jones, 15:40
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 15:29
- Re: (Yet another) question on the incompleteness theorem, Aatu Koskensilta, 15:17
- Re: Categorical model of N?, Peter_Smith, 15:16
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, wit, 15:03
- Re: (Yet another) question on the incompleteness theorem, Peter_Smith, 14:50
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, Charlie-Boo, 14:40
- Re: Categorical model of N?, george, 14:40
- Re: (Yet another) question on the incompleteness theorem, John Jones, 14:37
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 14:37
- Could there be such a FOL theory?, Nam Nguyen, 14:36
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 14:30
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 14:26
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 14:26
- Re: Why Has None of Computer Science been Formalized?, Jack Campin - bogus address, 14:20
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 14:10
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 14:07
- Re: My investigations into Godels Incompleteness Theorem, Aatu Koskensilta, 13:49
- Re: My investigations into Godels Incompleteness Theorem, Newberry, 13:40
- Re: Why Has None of Computer Science been Formalized?, abo, 13:03
- Re: Why Has None of Computer Science been Formalized?, Jan Burse, 12:49
- Re: (Yet another) question on the incompleteness theorem, Aatu Koskensilta, 12:48
- Re: Why Has None of Computer Science been Formalized?, Jan Burse, 12:46
- (Yet another) question on the incompleteness theorem, contradictions . for . all, 12:34
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, wit, 12:27
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 12:24
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 12:10
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 11:49
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 11:36
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 11:25
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 11:18
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 11:09
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 11:02
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 10:50
- Re: My investigations into Godels Incompleteness Theorem, Aatu Koskensilta, 10:35
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 10:19
- Re: Question about the omega rule, Aatu Koskensilta, 10:17
- Re: Categorical model of N?, Aatu Koskensilta, 10:13
- Re: Question about the omega rule, lugita15, 09:20
- Re: Categorical model of N?, Aatu Koskensilta, 09:14
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 08:37
- Re: Rank (exercise in Kunen), William Elliot, 08:33
- Re: Rank (exercise in Kunen), William Elliot, 07:41
- Re: Rank (exercise in Kunen), David C . Ullrich, 07:16
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 06:31
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 05:47
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 04:43
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 04:28
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 04:26
- Re: Rank (exercise in Kunen), William Elliot, 03:59
- Re: Question about the omega rule, Peter_Smith, 03:13
- Re: Question about the omega rule, Peter_Smith, 03:10
- Re: theist argument _ad ignorantiam_, Your Logic Tutor, 02:59
- Re: Question about the omega rule, Peter_Smith, 02:58
- Re: A Thought Experiment, Peter_Smith, 02:34
- Re: Rank (exercise in Kunen), William Elliot, 00:25
September 15, 2006
- A Thought Experiment, Newberry, 22:22
- Re: How big is infinity?, Ross A. Finlayson, 20:49
- Re: Question about the omega rule, mordov, 20:20
- Re: My investigations into Godels Incompleteness Theorem, Rupert, 20:00
- Question about the omega rule, lugita15, 19:57
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 16:36
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 16:35
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 16:27
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 15:47
- Re: Why Has None of Computer Science been Formalized?, Jan Burse, 15:05
- 234v235, John Jones, 14:14
- Re: Why Has None of Computer Science been Formalized?, abo, 13:48
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 13:40
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 13:28
- Re: Why Has None of Computer Science been Formalized?, ¬a\\/b, 13:08
- Re: Modus Ponens Is Unprovable?, Jan Burse, 13:04
- Re: Modus Ponens Is Unprovable?, Jan Burse, 12:49
- Re: Why Has None of Computer Science been Formalized?, abo, 12:42
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 11:40
- Re: Definition of God, stoney, 10:44
- Re: Definition of God, stoney, 10:42
- Re: Definition of God, stoney, 10:39
- Re: Definition of God, stoney, 10:37
- Re: Definition of God, stoney, 10:36
- Re: My investigations into Godels Incompleteness Theorem, Chris Menzel, 10:16
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 10:00
- Re: Rank (exercise in Kunen), Achim Blumensath, 07:41
- Re: what are the axioms of intuitionistic logic?, H. J. Sander Bruggink, 07:38
- Re: My investigations into Godels Incompleteness Theorem, Chris Menzel, 07:34
- Rank (exercise in Kunen), Norman Megill, 07:29
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 07:24
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 07:13
- Re: what kind of paradox is this?, makc . the . great, 07:08
- Re: what kind of paradox is this?, makc . the . great, 07:01
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 06:19
- Re: Modus Ponens Is Unprovable?, herb z, 05:49
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 05:09
- Re: Septic's ignorance of argument _ad ignorantiam_, Virgil, 03:14
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 03:10
- Re: theist argument _ad ignorantiam_, Your Logic Tutor, 01:12
- Re: Diagonal Intersection what is it?, Bill Taylor, 01:07
- Re: The foundation of logic thinking, William Elliot, 00:09
September 14, 2006
- Re: How big is infinity?, QncyMI, 21:52
- Re: Modus Ponens Is Unprovable?, Frederick Williams, 21:47
- Re: Modus Ponens Is Unprovable?, Barb Knox, 21:38
- The foundation of logic thinking, Conbra, 21:17
- Re: what are the axioms of intuitionistic logic?, Frederick Williams, 21:16
- Re: what are the axioms of intuitionistic logic?, Frederick Williams, 21:14
- Re: Categorical model of N?, Peter_Smith, 18:12
- Re: Categorical model of N?, george, 17:50
- Re: Why Has None of Computer Science been Formalized?, Rupert, 17:13
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 17:12
- Re: My investigations into Godels Incompleteness Theorem, Rupert, 17:12
- Re: Why Has None of Computer Science been Formalized?, Jack Campin - bogus address, 16:45
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 15:59
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 15:52
- Re: Why Has None of Computer Science been Formalized?, abo, 15:47
- Re: Why Has None of Computer Science been Formalized?, george, 15:38
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 15:23
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 15:12
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 15:01
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 14:49
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 14:46
- Re: Why Has None of Computer Science been Formalized?, Alec McKenzie, 14:38
- Re: Definition of God, Dan Wood, 13:59
- Re: Definition of God, Dan Wood, 13:53
- Re: Definition of God, Dan Wood, 13:50
- Re: Definition of God, Dan Wood, 13:46
- Re: Definition of God, Dan Wood, 13:45
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 13:38
- Re: Why Has None of Computer Science been Formalized?, abo, 13:29
- Re: what are the axioms of intuitionistic logic?, mordov, 13:27
- Re: Why Has None of Computer Science been Formalized?, abo, 13:10
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 12:56
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 12:53
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 12:47
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 12:34
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 12:28
- Re: Why Has None of Computer Science been Formalized?, abo, 12:14
- Re: what are the axioms of intuitionistic logic?, mordov, 12:11
- Re: Why Has None of Computer Science been Formalized?, abo, 12:10
- Re: what are the axioms of intuitionistic logic?, Paul Holbach, 11:57
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 11:52
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 11:10
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 11:07
- Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 10:59
- Re: what are the axioms of intuitionistic logic?, translogi@xxxxxxxxxxxxxx, 10:56
- Re: what are the axioms of intuitionistic logic?, translogi@xxxxxxxxxxxxxx, 10:54
- Re: Why Has None of Computer Science been Formalized?, Snis Pilbor, 09:16
- Re: Axiom of Pairing, Alan Smaill, 08:59
- Re: Modus Ponens Is Unprovable?, Frederick Williams, 08:28
- Re: what are the axioms of intuitionistic logic?, Frederick Williams, 07:51
- Re: Modus Ponens Is Unprovable?, translogi@xxxxxxxxxxxxxx, 07:18
- Re: what are the axioms of intuitionistic logic?, Daryl McCullough, 07:15
- Re: what are the axioms of intuitionistic logic?, translogi@xxxxxxxxxxxxxx, 07:10
- Re: what are the axioms of intuitionistic logic?, translogi@xxxxxxxxxxxxxx, 07:04
- Re: what are the axioms of intuitionistic logic?, Peter_Smith, 07:00
- Re: Why Has None of Computer Science been Formalized?, Rupert, 07:00
- Re: Definition of God, Bob, 06:56
- Re: what are the axioms of intuitionistic logic?, translogi@xxxxxxxxxxxxxx, 06:51
- Re: Need help with some proofs, William Elliot, 06:20
- Re: Why Has None of Computer Science been Formalized?, Alec McKenzie, 05:05
- Re: My investigations into Godels Incompleteness Theorem, Rupert, 04:31
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 04:06
- Re: Why Has None of Computer Science been Formalized?, abo, 03:23
- Re: what are the axioms of intuitionistic logic?, Peter_Smith, 03:12
- Re: what are the axioms of intuitionistic logic?, mordov, 02:41
- Re: Diagonal Intersection what is it?, Keith Ramsay, 02:39
- Diagonal Intersection what is it?, Bill Taylor, 02:18
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 00:56
September 13, 2006
- Re: Why Has None of Computer Science been Formalized?, Snis Pilbor, 22:30
- Re: what are the axioms of intuitionistic logic?, Barb Knox, 22:01
- Need help with some proofs, beauty2514, 21:37
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 20:53
- Re: Definition of God, stoney, 20:47
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 20:46
- Re: Definition of God, stoney, 20:44
- Re: Definition of God, stoney, 20:43
- Re: Definition of God, stoney, 20:42
- Re: Definition of God, stoney, 20:39
- Re: Definition of God, stoney, 20:34
- Re: New* Paradox, Raving, 19:37
- Re: Definition of God, Steve O, 19:21
- Re: Modus Ponens Is Unprovable?, translogi@xxxxxxxxxxxxxx, 18:38
- Re: what are the axioms of intuitionistic logic?, translogi@xxxxxxxxxxxxxx, 18:27
- http://groups.google.com/group/sci.logic?lnk=lr, John Jones, 18:02
- 234v235, John Jones, 17:02
- Re: Definition of God, stoney, 16:23
- Re: Definition of God, stoney, 16:20
- Re: Definition of God, stoney, 16:18
- Re: Modus Ponens Is Unprovable?, herb z, 14:48
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 14:24
- Re: John Jones, Gandalf Grey, 14:08
- 234v235, John Jones, 14:02
- Re: Why Has None of Computer Science been Formalized?, Alec McKenzie, 13:39
- Re: Why Has None of Computer Science been Formalized?, Peter_Smith, 13:05
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 12:54
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 12:46
- Re: Categorical model of N?, Peter_Smith, 12:18
- Re: Why Has None of Computer Science been Formalized?, Patricia Shanahan, 11:41
- See The Beauty of Maths!, studiescircle, 10:58
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 10:11
- Re: Categorical model of N?, Peter_Smith, 10:06
- Re: Categorical model of N?, george, 10:00
- Re: Categorical model of N?, george, 09:59
- Re: Why Has None of Computer Science been Formalized?, Patricia Shanahan, 09:57
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, Charlie-Boo, 09:51
- Re: Why Has None of Computer Science been Formalized?, Peter_Smith, 09:51
- Re: Why Has None of Computer Science been Formalized?, Alec McKenzie, 09:51
- Re: Categorical model of N?, george, 09:44
- Re: Categorical model of N?, george, 09:40
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, David C . Ullrich, 09:39
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 09:38
- Re: Categorical model of N?, george, 09:33
- Re: Need help constructing ADD function from PA, george, 09:26
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, Charlie-Boo, 09:23
- Re: Why Has None of Computer Science been Formalized?, Peter_Smith, 09:03
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 08:52
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, David C . Ullrich, 08:40
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 08:39
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 08:37
- Re: Why Has None of Computer Science been Formalized?, John Thingstad, 08:34
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 08:27
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, David C . Ullrich, 08:18
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 08:10
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, David C . Ullrich, 08:01
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, David C . Ullrich, 08:00
- Re: what kind of paradox is this?, Charlie-Boo, 07:54
- Re: Categorical model of N?, Peter_Smith, 07:19
- Re: Categorical model of N?, lugita15, 06:38
- Re: Why Has None of Computer Science been Formalized?, Alec McKenzie, 06:27
- Re: Why Has None of Computer Science been Formalized?, Peter_Smith, 06:01
- Re: how these numbers are called, laura, 05:23
- Re: what kind of paradox is this?, makc . the . great, 05:21
- Re: Why Has None of Computer Science been Formalized?, Steven Zenith, 04:02
- Re: Why Has None of Computer Science been Formalized?, Phil Carmody, 02:49
- Re: Why Has None of Computer Science been Formalized?, guenther vonKnakspot, 02:09
- Re: what kind of paradox is this?, Charlie-Boo, 00:23
- Re: what kind of paradox is this?, Charlie-Boo, 00:13
- Re: what kind of paradox is this?, Charlie-Boo, 00:10
- Re: what kind of paradox is this?, Charlie-Boo, 00:03
September 12, 2006
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, Charlie-Boo, 23:38
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 23:03
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 22:05
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, Tim Peters, 21:55
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, Charlie-Boo, 21:22
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 21:06
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, Tim Peters, 20:44
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 20:42
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 20:37
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, Charlie-Boo, 20:23
- Re: Why Has None of Computer Science been Formalized?, Patricia Shanahan, 19:34
- Re: Why Has None of Computer Science been Formalized?, Peter_Smith, 19:20
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, Tim Peters, 19:09
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 18:16
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, Charlie-Boo, 18:04
- Re: My investigations into Godels Incompleteness Theorem, Charlie-Boo, 17:50
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, Tim Peters, 17:44
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 17:37
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 17:35
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 17:33
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, Charlie-Boo, 17:27
- Re: Categorical model of N?, Peter_Smith, 16:57
- Re: Help! ... Maybe you are clueless, too., Raving, 16:49
- Re: Modus Ponens Is Unprovable?, Jan Burse, 16:46
- Re: Categorical model of N?, Peter_Smith, 16:38
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 16:38
- Re: Why Has None of Computer Science been Formalized?, george, 16:20
- Re: Categorical model of N?, george, 16:16
- Re: Why Has None of Computer Science been Formalized?, Peter_Smith, 16:15
- Re: Categorical model of N?, george, 16:06
- Re: Why Has None of Computer Science been Formalized?, george, 15:56
- Re: Why Has None of Computer Science been Formalized?, george, 15:51
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, Tim Peters, 15:45
- Re: Categorical model of N?, lugita15, 15:42
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 15:14
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, Charlie-Boo, 15:02
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, Charlie-Boo, 14:53
- Re: what are the axioms of intuitionistic logic?, Jan Burse, 14:00
- Re: what are the axioms of intuitionistic logic?, Jan Burse, 13:04
- Re: what are the axioms of intuitionistic logic?, MoeBlee, 12:14
- Re: Definition of God, Dan Wood, 11:04
- Re: Propositional calculus, George Dance, 10:33
- Re: Propositional calculus, George Dance, 10:24
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, galathaea, 10:03
- Re: My investigations into Godels Incompleteness Theorem, David C . Ullrich, 08:20
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, David C . Ullrich, 08:15
- Re: Definition of God, Bob, 07:55
- Re: Definition of God, Bob, 07:53
- The Logic Bomb, Raving, 06:50
- Re: Categorical model of N?, lugita15, 06:39
- Re: My investigations into Godels Incompleteness Theorem, Alan Smaill, 06:32
- Re: what are the axioms of intuitionistic logic?, Frederick Williams, 06:18
- Re: Help! ... I don't know what I am talking about., Raving, 05:47
- Re: Categorical model of N?, Aatu Koskensilta, 03:56
- Re: Definition of God, Steve O, 03:18
- Re: "Godel got it all wrong", Peter_Smith, 02:42
- Re: "Godel got it all wrong", Peter_Smith, 02:38
- Re: "Godel got it all wrong", Peter_Smith, 02:30
- Re: Categorical model of N?, Peter_Smith, 02:12
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, Tim Peters, 01:36
- Re: what are the axioms of intuitionistic logic?, William Elliot, 00:33
September 11, 2006
- Categorical model of N?, Barb Knox, 22:57
- Material Logic, lebel, 22:56
- Re: Definition of God, Sphere, 21:36
- Re: Deviation of Einstein E=mc2 and ethics of members: Ajay Sharma, fpri, 21:33
- Re: Definition of God, Dan Wood, 21:14
- Re: Definition of God, Dan Wood, 20:58
- Re: Definition of God, Bob, 19:52
- Re: Definition of God, Bob, 19:50
- Re: Definition of God, Bob, 19:48
- Re: Definition of God, Free Lunch, 19:24
- Re: My investigations into Godels Incompleteness Theorem, John Jones, 19:15
- Re: My investigations into Godels Incompleteness Theorem, Aatu Koskensilta, 19:14
- Re: "Godel got it all wrong", Aatu Koskensilta, 18:49
- Re: Definition of God, Dan Wood, 18:34
- Re: Definition of God, Free Lunch, 18:28
- Re: My investigations into Godels Incompleteness Theorem, Peter_Smith, 18:21
- Re: My investigations into Godels Incompleteness Theorem, semiopen, 15:52
- Re: My investigations into Godels Incompleteness Theorem, Aatu Koskensilta, 15:35
- Re: "Godel got it all wrong", Aatu Koskensilta, 15:31
- Re: theist argument _ad ignorantiam_, Virgil, 15:19
- Re: how these numbers are called, semiopen, 14:39
- Re: "Godel got it all wrong", Herman Jurjus, 14:36
- Re: "Godel got it all wrong", abo, 14:33
- Re: My investigations into Godels Incompleteness Theorem, semiopen, 14:29
- Re: "Godel got it all wrong", Herman Jurjus, 14:23
- Re: Axiom of Pairing, Alan Smaill, 14:09
- My investigations into Godels Incompleteness Theorem, John Jones, 13:41
- 234v235, John Jones, 13:22
- Re: The Tractatus and Logic today, John Jones, 13:21
- Re: what are the axioms of intuitionistic logic?, mordov, 12:41
- Re: "Godel got it all wrong", Aatu Koskensilta, 12:33
- Re: "Godel got it all wrong", Aatu Koskensilta, 12:26
- Re: "Godel got it all wrong", Jesse F. Hughes, 12:15
- Re: "Godel got it all wrong", Aatu Koskensilta, 12:14
- Re: what are the axioms of intuitionistic logic?, MoeBlee, 12:13
- Re: "Godel got it all wrong", Aatu Koskensilta, 12:10
- Re: "Godel got it all wrong", Aatu Koskensilta, 11:54
- Re: "Godel got it all wrong", Aatu Koskensilta, 11:53
- Re: "Godel got it all wrong", Aatu Koskensilta, 11:43
- Re: "Godel got it all wrong", Aatu Koskensilta, 11:41
- Re: "Godel got it all wrong", Aatu Koskensilta, 11:38
- Re: theist argument _ad ignorantiam_, Your Logic Tutor, 11:25
- Re: The Tractatus and Logic today, semiopen, 10:38
- how these numbers are called, laura, 10:10
- Re: Axiom of Pairing, John Jones, 08:38
- Re: Definition of God, Bob, 08:37
- Re: Axiom of Pairing, David C . Ullrich, 08:29
- Re: The Tractatus and Logic today, John Jones, 08:26
- Sorry, woked it out, Peter Webb, 08:08
- Very basic question about PA and PA arithmetic, Peter Webb, 07:37
- PhD Student Position/Algorithms+Complexity Theory, petej, 07:08
- Re: The Tractatus and Logic today, Aatu Koskensilta, 07:05
- Re: Axiom of Pairing, John Jones, 06:06
- Re: Axiom of Pairing, Raving, 05:57
- Re: Axiom of Pairing, John Jones, 05:51
- The Tractatus and Logic today, John Jones, 05:50
- Re: Axiom of Pairing, Raving, 05:44
- Re: Axiom of Pairing, John Jones, 05:22
- Re: what kind of paradox is this?, makc . the . great, 04:19
- Re: Modus Ponens Is Unprovable?, mordov, 00:18
September 10, 2006
- Re: Why Has None of Computer Science been Formalized?, Chris Menzel, 23:11
- Re: "Godel got it all wrong", Paul Holbach, 20:56
- Re: "Godel got it all wrong", Paul Holbach, 20:42
- Re: Axiom of Pairing, Raving, 20:39
- Re: "Godel got it all wrong", Nam Nguyen, 20:23
- Re: Why Has None of Computer Science been Formalized?, Rupert, 19:58
- Re: "Godel got it all wrong", Aatu Koskensilta, 19:47
- Re: "Godel got it all wrong", Nam Nguyen, 19:37
- Re: theist argument _ad ignorantiam_, Virgil, 19:18
- Re: Basic Law V vs. 2nd-order identity, george, 18:59
- Re: How big is infinity?, Virgil, 18:50
- Re: "Godel got it all wrong", Newberry, 18:09
- Re: "Godel got it all wrong", Peter_Smith, 17:37
- Re: Why Has None of Computer Science been Formalized?, Peter_Smith, 17:29
- Re: "Godel got it all wrong", Peter_Smith, 17:21
- Re: "Godel got it all wrong", Aatu Koskensilta, 16:39
- Re: "Godel got it all wrong", Newberry, 16:31
- Re: Definition of God, Dan Wood, 16:17
- Re: "Godel got it all wrong", Newberry, 16:15
- Re: "Godel got it all wrong", Newberry, 16:12
- Re: Why Has None of Computer Science been Formalized?, Chris Menzel, 16:11
- Re: Axiom of Pairing, Chris Menzel, 16:01
- Re: theist argument _ad ignorantiam_, Your Logic Tutor, 15:52
- Re: "Godel got it all wrong", Pierre Asselin, 15:28
- Re: Definition of God, Steve O, 15:13
- Re: Definition of God, Steve O, 15:11
- Re: Axiom of Pairing, John Jones, 15:10
- Re: Why Has None of Computer Science been Formalized?, Peter_Smith, 14:55
- Re: Why Has None of Computer Science been Formalized?, george, 14:40
- Re: "Godel got it all wrong", Peter_Smith, 14:40
- Re: How big is infinity?, Lester Zick, 14:31
- Re: theist argument _ad ignorantiam_, Virgil, 13:35
- Re: "Godel got it all wrong", Daryl McCullough, 13:23
- Re: theist argument _ad ignorantiam_, Your Logic Tutor, 12:54
- Re: "Godel got it all wrong", Aatu Koskensilta, 12:38
- Re: "Godel got it all wrong", Aatu Koskensilta, 12:37
- Re: "Godel got it all wrong", Aatu Koskensilta, 11:55
- Re: "Godel got it all wrong", Newberry, 11:38
- Re: "Godel got it all wrong", Jesse F. Hughes, 10:33
- Re: Definition of God, Dan Wood, 09:54
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, David C . Ullrich, 08:30
- Re: Axiom of Pairing, David C . Ullrich, 08:16
- Re: "Godel got it all wrong", Daryl McCullough, 07:54
- Re: How to represent computer algorithms using FOL?, Barb Knox, 06:04
- Deviation of Einstein E=mc2 and ethics of members: Ajay Sharma, physicsajay, 04:47
- Re: Why Has None of Computer Science been Formalized?, Alec McKenzie, 04:36
- Re: "Godel got it all wrong", Peter_Smith, 03:56
- Re: Definition of God, Steve O, 02:13
- Re: Definition of God, Steve O, 02:00
- Re: Definition of God, Steve O, 02:00
- Re: Definition of God, Steve O, 01:53
- Re: Definition of God, Steve O, 01:51
- Re: Definition of God, Dan Wood, 01:36
- Re: Definition of God, Dan Wood, 01:17
- Re: Septic lies again, Virgil, 00:09
September 09, 2006
- Re: "Godel got it all wrong", Newberry, 22:19
- Re: "Godel got it all wrong", Newberry, 22:09
- Re: "Godel got it all wrong", Jesse F. Hughes, 22:08
- Re: Axiom of Pairing, Jesse F. Hughes, 22:03
- Re: "Godel got it all wrong", Bhupinder Singh Anand, 21:30
- Re: "Godel got it all wrong", Bhupinder Singh Anand, 21:28
- Re: theist argument _ad ignorantiam_, Your Logic Tutor, 21:15
- Re: How big is infinity?, Nam Nguyen, 19:57
- Re: "Godel got it all wrong", Nam Nguyen, 19:53
- Re: How big is infinity?, Virgil, 19:43
- Re: How big is infinity?, Nam Nguyen, 19:41
- Re: How big is infinity?, Virgil, 19:40
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, Tim Peters, 19:35
- Re: How big is infinity?, Virgil, 19:29
- Re: Basic Law V vs. 2nd-order identity, Peter_Smith, 19:25
- Re: Basic Law V vs. 2nd-order identity, lugita15, 18:53
- Re: Basic Law V vs. 2nd-order identity, lugita15, 18:51
- Re: Question about Basic Law V, lugita15, 18:40
- Re: "Godel got it all wrong", Peter_Smith, 18:36
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 18:32
- Re: Why Has None of Computer Science been Formalized?, Charlie-Boo, 18:27
- Re: "Godel got it all wrong", Charlie-Boo, 18:14
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, Charlie-Boo, 17:54
- Re: "Godel got it all wrong", Daryl McCullough, 17:45
- Re: "Godel got it all wrong", Peter_Smith, 17:28
- Re: "Godel got it all wrong", Charlie-Boo, 17:13
- Re: How big is infinity?, Ross A. Finlayson, 17:09
- Re: "Godel got it all wrong", Charlie-Boo, 17:02
- Re: "Godel got it all wrong", Newberry, 16:52
- Re: "Godel got it all wrong", Peter_Smith, 16:46
- Re: How big is infinity?, Lester Zick, 16:31
- Re: How big is infinity?, Lester Zick, 16:29
- Re: How big is infinity?, Lester Zick, 16:28
- Re: Why Has None of Computer Science been Formalized?, Peter_Smith, 16:27
- Re: How big is infinity?, Lester Zick, 16:26
- Re: "Godel got it all wrong", Charlie-Boo, 16:24
- Re: Why Has None of Computer Science been Formalized?, Alec McKenzie, 16:23
- New* Paradox, Raving, 16:21
- Why Has None of Computer Science been Formalized?, Charlie-Boo, 16:07
- Re: Septic's blindness, Virgil, 16:03
- Re: Axiom of Pairing, John Jones, 15:50
- Re: "Godel got it all wrong", Peter_Smith, 15:04
- Re: "Godel got it all wrong", Peter_Smith, 14:59
- Re: How big is infinity?, Virgil, 14:58
- Re: The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, Tim Peters, 14:52
- Re: How big is infinity?, Virgil, 14:48
- Re: How big is infinity?, Virgil, 14:45
- Re: How big is infinity?, Virgil, 14:39
- Re: How big is infinity?, Virgil, 14:37
- Re: How big is infinity?, Virgil, 14:31
- Re: How big is infinity?, Virgil, 14:21
- Re: How big is infinity?, Virgil, 14:15
- Re: How big is infinity?, Virgil, 14:08
- Re: "Godel got it all wrong", Daryl McCullough, 14:08
- Re: "Godel got it all wrong", Bhupinder Singh Anand, 14:02
- Re: How big is infinity?, Virgil, 14:01
- Re: How big is infinity?, Virgil, 13:57
- Re: How big is infinity?, Virgil, 13:56
- Re: How big is infinity?, herb z, 13:46
- Re: How big is infinity?, herb z, 13:46
- Re: "Godel got it all wrong", Newberry, 13:45
- Re: How big is infinity?, Virgil, 13:44
- The Boyer-Moore Fast String Searching Algorithm: Just Moore BS?, Charlie-Boo, 13:33
- Re: Basic Law V vs. 2nd-order identity, Peter_Smith, 13:15
- Re: How big is infinity?, Lester Zick, 13:13
- Re: How big is infinity?, Lester Zick, 13:09
- Re: How big is infinity?, Lester Zick, 13:06
- Re: How big is infinity?, Lester Zick, 13:02
- Re: How big is infinity?, Lester Zick, 13:00
- Re: How big is infinity?, Lester Zick, 12:58
- Re: How big is infinity?, Lester Zick, 12:49
- Re: How big is infinity?, Lester Zick, 12:44
- Re: How big is infinity?, Lester Zick, 12:41
- Re: How big is infinity?, Lester Zick, 12:38
- Re: How big is infinity?, Lester Zick, 12:37
- Re: How big is infinity?, Lester Zick, 12:35
- Re: How big is infinity?, Lester Zick, 12:32
- Re: Basic Law V vs. 2nd-order identity, george, 12:27
- Re: How big is infinity?, Nam Nguyen, 12:22
- Re: Modus Ponens Is Unprovable?, herb z, 12:18
- Re: Question about Basic Law V, george, 12:11
- Re: theist argument _ad ignorantiam_, Free Lunch, 11:40
- Re: Question about Basic Law V, george, 11:24
- Re: Definition of God, Bob, 08:22
- Re: "Godel got it all wrong", Peter_Smith, 07:38
- Re: "Godel got it all wrong", Peter_Smith, 07:33
- Re: "Godel got it all wrong", Peter_Smith, 07:32
- Re: "Godel got it all wrong", Peter_Smith, 07:27
- Re: "Godel got it all wrong", Herman Jurjus, 07:00
- Re: "Godel got it all wrong", Herman Jurjus, 06:51
- Re: Modus Ponens Is Unprovable?, Jan Burse, 05:19
- Re: what are the axioms of intuitionistic logic?, Jan Burse, 05:09
- Re: what are the axioms of intuitionistic logic?, Jan Burse, 05:04
- Re: what are the axioms of intuitionistic logic?, William Elliot, 04:50
- Re: what are the axioms of intuitionistic logic?, Jan Burse, 04:45
- Re: Three Independent Clauses Calculating On Concept Algebra, William Elliot, 04:33
- Three Independent Clauses Calculating On Concept Algebra, Conbra, 03:34
- Re: "Godel got it all wrong", Bhupinder Singh Anand, 03:17
- Re: theist argument _ad ignorantiam_, Your Logic Tutor, 02:01
- Re: How big is infinity?, herb z, 01:57
- Re: Definition of God, Steve O, 01:25
- Re: Definition of God, Steve O, 01:24
- Re: Definition of God, Steve O, 01:20
- Re: Modus Ponens Is Unprovable?, herb z, 00:43
- Re: "Godel got it all wrong", Daryl McCullough, 00:31
- Re: "Godel got it all wrong", Newberry, 00:23
- Re: How big is infinity?, herb z, 00:09
- Re: what kind of paradox is this?, Raving, 00:08
September 08, 2006
- Re: How big is infinity?, stephen, 23:56
- Re: How big is infinity?, herb z, 23:14
- Re: One Proposition Calculating, herb z, 23:13
- Re: How big is infinity?, Virgil, 23:07
- Re: what kind of paradox is this?, George Dance, 22:09
- Re: Axiom of Pairing, Jesse F. Hughes, 21:34
- Re: "Nonstandard" Turing-Machines?, Pierre Asselin, 20:42
- Re: what are the axioms of intuitionistic logic?, MoeBlee, 20:25
- Re: what are the axioms of intuitionistic logic?, Conbra, 20:15
- Re: what are the axioms of intuitionistic logic?, MoeBlee, 19:55
- Re: Non-empty language and TM, Rupert, 19:30
- Re: Question about Basic Law V, Rupert, 19:26
- what are the axioms of intuitionistic logic?, translogi, 19:07
- Re: facial expression survey request, semiopen, 17:40
- Re: Basic Law V vs. 2nd-order identity, lugita15, 17:11
- Re: How big is infinity?, Virgil, 17:10
- Re: facial expression survey request, sorcimatt, 17:07
- Re: How big is infinity?, Virgil, 17:01
- Re: How big is infinity?, stephen, 17:01
- Re: How big is infinity?, Virgil, 16:59
- Re: How big is infinity?, Virgil, 16:55
- Re: How big is infinity?, Virgil, 16:50
- Re: facial expression survey request, semiopen, 16:48
- Re: How big is infinity?, Virgil, 16:45
- Re: How big is infinity?, Virgil, 16:43
- Re: Question about Basic Law V, lugita15, 16:40
- Re: facial expression survey request, sorcimatt, 16:38
- Re: How big is infinity?, Virgil, 16:37
- Re: How big is infinity?, Virgil, 16:35
- Re: How big is infinity?, Lester Zick, 16:33
- Re: Question about Basic Law V, lugita15, 16:31
- Re: How big is infinity?, Virgil, 16:30
- Re: facial expression survey request, semiopen, 16:30
- facial expression survey request, sorcimatt, 16:24
- Re: Axiom of Pairing, MoeBlee, 16:22
- Re: Axiom of Pairing, John Jones, 16:01
- Re: "Godel got it all wrong", MoeBlee, 16:00
- Re: "Godel got it all wrong", Newberry, 15:49
- Re: "Godel got it all wrong", R. Srinivasan, 15:44
- Re: How to represent computer algorithms using FOL?, george, 15:41
- Re: Question on formalism, MoeBlee, 15:39
- Re: Basic Law V vs. 2nd-order identity, george, 15:33
- Re: Godel up the junction, MoeBlee, 15:30
- Re: Godel up the junction, John Jones, 15:27
- Re: Godel up the junction, MoeBlee, 15:20
- Re: Question on formalism, John Jones, 15:18
- Re: Question about Basic Law V, george, 15:18
- Re: Godel up the junction, John Jones, 15:17
- Re: Godel up the junction, John Jones, 15:13
- Re: How big is infinity?, Lester Zick, 15:05
- Re: Question on formalism, MoeBlee, 15:01
- Re: "Godel got it all wrong", semiopen, 14:57
- Re: How big is infinity?, Lester Zick, 14:56
- Re: Question on formalism, galathaea, 14:56
- Re: Axiom of Pairing, MoeBlee, 14:55
- Re: Axiom of Pairing, John Jones, 14:48
- Re: How big is infinity?, Lester Zick, 14:48
- Re: Question on formalism, John Jones, 14:45
- Re: How big is infinity?, Lester Zick, 14:40
- Re: How big is infinity?, Lester Zick, 14:36
- Re: How big is infinity?, Lester Zick, 14:34
- Re: How big is infinity?, Virgil, 14:29
- Re: How big is infinity?, Virgil, 14:27
- Re: How big is infinity?, Virgil, 14:25
- Re: How big is infinity?, Virgil, 14:23
- Re: How big is infinity?, Lester Zick, 14:22
- Re: How big is infinity?, Lester Zick, 14:18
- Re: How big is infinity?, Lester Zick, 14:17
- Re: How big is infinity?, Lester Zick, 14:16
- Re: How big is infinity?, Lester Zick, 14:12
- Re: Definition of God, Dan Wood, 14:11
- Re: How big is infinity?, Virgil, 14:11
- Re: How big is infinity?, Lester Zick, 14:03
- Re: How big is infinity?, Virgil, 13:59
- Re: How big is infinity?, stephen, 13:58
- Re: How big is infinity?, Aluminium Holocene Holodeck Zoroaster, 13:53
- Re: How big is infinity?, Lester Zick, 13:49
- Re: How big is infinity?, Lester Zick, 13:48
- Re: How big is infinity?, Lester Zick, 13:47
- Re: How big is infinity?, Lester Zick, 13:46
- Re: How big is infinity?, Lester Zick, 13:42
- Re: How big is infinity?, Lester Zick, 13:39
- Help! ... I don't know what I am talking about ( The pun is intended to imply that I am being sincere about it. I am not stupid. I am not a philosopher. I do have a moderate undergraduate knowledge of applied mathematics. ), Raving, 13:25
- Re: How big is infinity?, stephen, 13:09
- Re: How big is infinity?, MoeBlee, 12:53
- Re: Definition of God, Bob, 12:52
- Re: "Godel got it all wrong", Raving, 12:45
- Re: Question about Basic Law V, LauLuna, 12:43
- Re: Axiom of Pairing, MoeBlee, 12:42
- Re: "Godel got it all wrong", MoeBlee, 12:35
- Re: Question on formalism, MoeBlee, 12:32
- Re: "Godel got it all wrong", Raving, 12:31
- Re: "Godel got it all wrong", MoeBlee, 12:27
- Re: "Godel got it all wrong", LauLuna, 12:19
- Re: "Godel got it all wrong", MoeBlee, 12:17
- Re: "Godel got it all wrong", Daryl McCullough, 12:12
- Re: what kind of paradox is this?, Calvin, 12:08
- Re: "Godel got it all wrong", Daryl McCullough, 12:03
- Re: "Godel got it all wrong", Ross A. Finlayson, 11:51
- Re: Definition of God, Dan Wood, 11:29
- Re: Definition of God, Dan Wood, 11:12
- Re: "Godel got it all wrong", Peter_Smith, 11:03
- Re: Definition of God, Steve O, 10:36
- Re: Definition of God, Steve O, 10:34
- Basic Law V vs. 2nd-order identity, george, 10:30
- Re: Definition of God, Steve O, 10:29
- Re: "Godel got it all wrong", Newberry, 10:20
- Re: "Godel got it all wrong", Ross A. Finlayson, 10:18
- Re: Question about Basic Law V, george, 10:16
- Re: Question about Basic Law V, george, 10:08
- Re: Axiom of Pairing, george, 09:53
- Re: Axiom of Pairing, semiopen, 08:52
- Re: "Godel got it all wrong", Peter_Smith, 08:45
- Re: Help on Proofs of Validity, George Dance, 07:14
- Re: Axiom of Pairing, David C . Ullrich, 06:52
- Re: Help on Proofs of Validity, George Dance, 06:49
- Re: Help on Proofs of Validity, George Dance, 06:38
- Re: Help on Proofs of Validity, George Dance, 06:34
- Re: "Godel got it all wrong", R. Srinivasan, 05:18
- Non-empty language and TM, un student, 05:17
- Re: Axiom of Pairing, John Jones, 04:58
- Re: "Godel got it all wrong", John Jones, 04:44
- Re: "Nonstandard" Turing-Machines?, David McCann, 04:43
- Re: Question on formalism, John Jones, 04:24
- Re: "Godel got it all wrong", Peter_Smith, 04:16
- Re: "Godel got it all wrong", Peter_Smith, 04:10
- Re: Question on formalism, prettypeople babygirls, 02:56
- Re: "Godel got it all wrong", R. Srinivasan, 02:20
- Re: How big is infinity?, Integers, 01:35
- Re: How big is infinity?, Virgil, 01:31
- Re: How big is infinity?, Virgil, 01:25
- Re: How big is infinity?, Virgil, 01:19
- Re: How big is infinity?, Virgil, 01:14
- Re: How big is infinity?, herb z, 01:12
- Re: How big is infinity?, Russell Easterly, 00:32
- Re: How big is infinity?, bill, 00:25
- Re: How big is infinity?, Russell Easterly, 00:12
- Re: How big is infinity?, herb z, 00:10
- Re: How big is infinity?, herb z, 00:09
- Re: How big is infinity?, Russell Easterly, 00:03
September 07, 2006
- Re: How big is infinity?, Russell Easterly, 23:58
- Re: "Godel got it all wrong", Newberry, 23:19
- Re: How big is infinity?, Bob Kolker, 22:39
- Re: How big is infinity?, stephen, 21:58
- Re: Axiom of Pairing, Chris Menzel, 21:43
- Re: Question about Basic Law V, Rupert, 21:33
- Re: How big is infinity?, Bob Kolker, 21:07
- Re: How big is infinity?, Bob Kolker, 21:06
- Re: "Godel got it all wrong", Jesse F. Hughes, 20:37
- Re: How big is infinity?, Nam Nguyen, 20:36
- Re: How big is infinity?, Virgil, 20:27
- Re: "Nonstandard" Turing-Machines?, Pierre Asselin, 20:25
- Re: How big is infinity?, stephen, 20:20
- Re: How big is infinity?, Virgil, 20:18
- Re: How big is infinity?, Virgil, 20:11
- Re: How big is infinity?, Virgil, 20:09
- Re: How big is infinity?, Virgil, 20:06
- Re: How big is infinity?, Virgil, 19:58
- Re: How big is infinity?, Virgil, 19:48
- Re: How big is infinity?, Virgil, 19:45
- Re: How big is infinity?, Virgil, 19:40
- Re: How big is infinity?, Virgil, 19:36
- Re: "Godel got it all wrong", MoeBlee, 19:36
- Re: "Godel got it all wrong", MoeBlee, 19:34
- Re: Question on formalism, MoeBlee, 19:29
- Re: Question about Basic Law V, lugita15, 18:49
- Re: How big is infinity?, Lester Zick, 18:48
- Re: "Godel got it all wrong", Peter_Smith, 18:44
- Re: How big is infinity?, Lester Zick, 18:40
- Re: "Godel got it all wrong", Peter_Smith, 18:36
- Re: How big is infinity?, Lester Zick, 18:34
- Re: How big is infinity?, Lester Zick, 18:33
- Re: How big is infinity?, Lester Zick, 18:30
- Re: Question on formalism, MoeBlee, 18:29
- Re: How big is infinity?, Lester Zick, 18:28
- Re: Question on formalism, Chris Menzel, 18:25
- Re: Axiom of Pairing, Chris Menzel, 18:24
- Re: "Godel got it all wrong", Raving, 18:22
- Re: Question on formalism, John Jones, 18:21
- Re: How big is infinity?, Lester Zick, 18:21
- Re: Question on formalism, MoeBlee, 18:16
- Re: Axiom of Pairing, John Jones, 18:14
- Re: Question on formalism, MoeBlee, 18:12
- Re: Question on formalism, John Jones, 18:12
- Re: Question on formalism, John Jones, 18:10
- Re: "Godel got it all wrong", MoeBlee, 18:09
- Re: "Godel got it all wrong", MoeBlee, 17:57
- Re: Question about Basic Law V, george, 17:55
- Re: "Godel got it all wrong", Peter_Smith, 17:44
- Re: "Godel got it all wrong", Peter_Smith, 17:24
- Re: Definition of God, Dan Wood, 16:58
- Re: "Godel got it all wrong", abo, 16:54
- Re: "Godel got it all wrong", MoeBlee, 16:53
- One Proposition Calculating, Conbra, 16:51
- Re: "Godel got it all wrong", Peter_Smith, 16:33
- Re: Question on formalism, MoeBlee, 16:08
- Re: "Godel got it all wrong", Newberry, 15:52
- Re: Question about Basic Law V, george, 15:50
- Re: Axiom of Pairing, Jack Campin - bogus address, 15:50
- Re: Question on formalism, John Jones, 15:47
- Re: Question on formalism, galathaea, 15:41
- Re: How big is infinity?, Virgil, 15:23
- Re: How big is infinity?, Virgil, 15:18
- Re: How big is infinity?, Virgil, 15:17
- "Nonstandard" Turing-Machines?, David McCann, 15:14
- Re: How big is infinity?, Virgil, 15:10
- Re: How big is infinity?, Lester Zick, 15:08
- Re: How big is infinity?, Lester Zick, 15:06
- Re: How big is infinity?, Lester Zick, 15:05
- Re: How big is infinity?, Virgil, 15:04
- Re: How big is infinity?, Lester Zick, 15:03
- Re: How big is infinity?, Lester Zick, 15:00
- Re: How big is infinity?, Virgil, 14:56
- Re: How big is infinity?, Virgil, 14:52
- Re: How big is infinity?, Virgil, 14:42
- Re: How big is infinity?, Virgil, 14:38
- Re: How big is infinity?, Virgil, 14:34
- Re: How big is infinity?, Virgil, 14:30
- Re: Definition of God, Robibnikoff, 14:27
- Re: How big is infinity?, Virgil, 14:26
- Re: How big is infinity?, Lester Zick, 13:52
- Re: How big is infinity?, Lester Zick, 13:50
- Re: How big is infinity?, Lester Zick, 13:41
- Re: How big is infinity?, Lester Zick, 13:39
- Re: How big is infinity?, Lester Zick, 13:38
- Re: Definition of God, Dan Wood, 13:35
- Chief Architect at the GSA selected by Bush: change and progress or waste ?, practical1, 13:28
- Re: Definition of God, Robibnikoff, 13:28
- Re: How big is infinity?, Lester Zick, 13:26
- Re: How big is infinity?, Lester Zick, 13:22
- Re: How big is infinity?, Randy Poe, 13:22
- Re: How big is infinity?, Randy Poe, 13:20
- Re: How big is infinity?, Lester Zick, 13:19
- Re: How big is infinity?, Lester Zick, 13:13
- Re: How big is infinity?, Phil Carmody, 13:11
- Re: How big is infinity?, Lester Zick, 13:08
- Re: How big is infinity?, Lester Zick, 12:52
- Re: How big is infinity?, Lester Zick, 12:49
- Re: How big is infinity?, Lester Zick, 12:42
- Re: How big is infinity?, Lester Zick, 12:38
- Re: Question on formalism, MoeBlee, 12:37
- Re: How big is infinity?, Lester Zick, 12:36
- Re: How big is infinity?, Lester Zick, 12:31
- Re: How big is infinity?, MoeBlee, 12:26
- Re: How big is infinity?, Lester Zick, 12:25
- Re: How big is infinity?, Lester Zick, 12:21
- Re: How big is infinity?, Lester Zick, 12:20
- Re: Definition of God, Lizz Holmans, 12:03
- Re: "Godel got it all wrong", Peter_Smith, 12:02
- Re: Definition of God, Dan Wood, 12:01
- Re: "Godel got it all wrong", Peter_Smith, 11:59
- Re: Definition of God, Dan Wood, 11:50
- Velbon MAX-i 343E, thejackal51, 11:45
- Re: Definition of God, Dan Wood, 11:42
- Re: Definition of God, thepossibilities, 11:41
- Re: "Godel got it all wrong", Peter_Smith, 11:39
- Re: Definition of God, Siobhan Burke, 11:35
- Re: Axiom of Pairing, Chris Menzel, 11:34
- Re: Axiom of Pairing, Chris Menzel, 11:31
- Re: Definition of God, Bob, 11:25
- Re: "Godel got it all wrong", Chris Menzel, 11:00
- Re: Definition of God, Robibnikoff, 10:48
- Re: Axiom of Pairing, Chris Menzel, 10:40
- Re: "Godel got it all wrong", Newberry, 10:27
- Re: How big is infinity?, Randy Poe, 10:25
- Re: "Godel got it all wrong", Jesse F. Hughes, 10:24
- Re: Definition of God, Steve O, 09:59
- Re: Question about Basic Law V, george, 09:59
- Re: Question about Basic Law V, george, 09:59
- Re: Question about Basic Law V, george, 09:59
- Re: Question about Basic Law V, george, 09:59
- Re: Question about Basic Law V, george, 09:59
- Re: Question about Basic Law V, george, 09:59
- Re: Question about Basic Law V, george, 09:59
- Re: Question about Basic Law V, george, 09:59
- Re: Question about Basic Law V, george, 09:59
- Re: Definition of God, Steve O, 09:56
- Re: Help on Proofs of Validity, Frederick Williams, 09:50
- Re: Help on Proofs of Validity, Frederick Williams, 09:48
- Re: "Godel got it all wrong", Frederick Williams, 09:45
- "Godel got it all wrong", Peter_Smith, 08:20
- Re: How big is infinity?, imaginatorium, 07:56
- Re: How big is infinity?, Bob Kolker, 07:49
- Re: Question about Basic Law V, Rupert, 07:48
- Re: How big is infinity?, Bob Kolker, 07:44
- Re: Definition of God, Lizz Holmans, 07:36
- Re: Question about Basic Law V, lugita15, 06:29
- Re: what kind of paradox is this?, Rupert, 04:08
- Re: Help on Proofs of Validity, Protoman, 03:46
- Re: what kind of paradox is this?, makc . the . great, 03:14
- Re: How big is infinity?, Virgil, 02:41
- Re: Modal Logic: An Introduction, khodaeifar@xxxxxxxxx, 02:41
- Re: How big is infinity?, Virgil, 02:31
- Re: Definition of God, Dan Wood, 02:14
- Re: Definition of God, Dan Wood, 02:10
- Re: How big is infinity?, Phil Carmody, 02:05
- Re: Definition of God, Dan Wood, 01:54
- Re: Definition of God, Dan Wood, 01:53
- Re: Definition of God, Dan Wood, 01:51
- Re: Modus Ponens Is Unprovable?, Bill Taylor, 01:50
- Re: Definition of God, Dan Wood, 01:45
- Re: How big is infinity?, Nam Nguyen, 01:28
- Re: How big is infinity?, herb z, 01:26
- Re: How big is infinity?, herb z, 01:26
- Re: How big is infinity?, herb z, 01:26
- Re: How big is infinity?, herb z, 01:25
- Re: How big is infinity?, herb z, 01:24
- Re: Definition of God, herb z, 01:23
- Re: How big is infinity?, Russell Easterly, 01:21
- Re: How big is infinity?, Nam Nguyen, 01:16
- Re: How big is infinity?, Russell Easterly, 01:09
September 06, 2006
- Re: Definition of God, Your Logic Tutor, 23:49
- Re: How big is infinity?, stephen, 23:48
- Re: Help on Proofs of Validity, William Elliot, 23:40
- Re: How big is infinity?, Nam Nguyen, 23:16
- Re: How big is infinity?, Virgil, 23:09
- Re: How big is infinity?, Randy Poe, 22:21
- Re: Question on formalism, Frederick Williams, 21:39
- Re: How to represent computer algorithms using FOL?, Frederick Williams, 21:38
- Re: How big is infinity?, Bob Kolker, 20:54
- Re: How big is infinity?, Bob Kolker, 20:52
- Re: How big is infinity?, Ross A. Finlayson, 20:47
- Re: Definition of God, Dan Wood, 20:27
- Re: Definition of God, Dan Wood, 20:25
- Re: Ross A. Finlayson, Question and Answer Period, Ross A. Finlayson, 20:24
- Re: Definition of God, Dan Wood, 20:23
- Re: what kind of paradox is this?, Rupert, 20:12
- Re: How big is infinity?, Virgil, 19:54
- Re: How big is infinity?, Virgil, 19:52
- Re: How big is infinity?, Virgil, 19:45
- Re: Definition of God, Bob, 19:42
- Re: How big is infinity?, Virgil, 19:39
- Re: Ross A. Finlayson, Question and Answer Period, Ross A. Finlayson, 19:29
- Re: How big is infinity?, Virgil, 19:28
- Re: How big is infinity?, Virgil, 19:20
- Re: How big is infinity?, Virgil, 19:19
- Re: How big is infinity?, Lester Zick, 19:09
- Re: How big is infinity?, Lester Zick, 19:07
- Re: How big is infinity?, Lester Zick, 19:05
- Re: How big is infinity?, Lester Zick, 19:02
- Re: Axiom of Pairing, Aatu Koskensilta, 19:00
- Re: How big is infinity?, Lester Zick, 18:58
- Re: How big is infinity?, MoeBlee, 18:57
- Re: How big is infinity?, Lester Zick, 18:52
- Re: How big is infinity?, Lester Zick, 18:46
- Re: Modal Logic: An Introduction, Jack Campin - bogus address, 18:44
- Re: How big is infinity?, Lester Zick, 18:44
- Re: How big is infinity?, Lester Zick, 18:42
- Re: Axiom of Pairing, Jesse F. Hughes, 18:35
- Re: Ross A. Finlayson, Question and Answer Period, Aatu Koskensilta, 18:30
- Re: How to represent computer algorithms using FOL?, george, 18:24
- Re: How big is infinity?, Virgil, 18:22
- Re: How big is infinity?, Virgil, 18:13
- Re: Question on formalism, John Jones, 18:12
- Re: Axiom of Pairing, Aatu Koskensilta, 17:47
- Re: Definition of God, thepossibilities, 17:41
- Re: Definition of God, thepossibilities, 17:38
- Re: Question on formalism, MoeBlee, 17:15
- Re: How big is infinity?, Aatu Koskensilta, 16:53
- Re: Axiom of Pairing, Aatu Koskensilta, 16:48
- Question on formalism, John Jones, 16:45
- Re: How big is infinity?, Randy Poe, 16:34
- Re: How big is infinity?, Nam Nguyen, 16:22
- Re: ³Kirk O¹ Bain², projectile vomit chick, 16:19
- Re: How big is infinity?, Virgil, 16:12
- Re: How big is infinity?, Lester Zick, 16:11
- Re: How big is infinity?, Virgil, 16:07
- Re: How big is infinity?, Virgil, 15:59
- Re: How big is infinity?, Lester Zick, 15:57
- Re: How big is infinity?, Virgil, 15:53
- Re: Axiom of Pairing, John Jones, 15:42
- Re: Help on Proofs of Validity, Jack Campin - bogus address, 15:42
- Re: Help on Proofs of Validity, Jesse F. Hughes, 15:41
- Re: Axiom of Pairing, John Jones, 15:39
- Re: Axiom of Pairing, John Jones, 15:36
- Re: Definition of God, Steve O, 15:33
- Re: Axiom of Pairing, John Jones, 15:31
- Re: Help on Proofs of Validity, MoeBlee, 15:28
- Re: Help on Proofs of Validity, Protoman, 15:03
- Re: How big is infinity?, Lester Zick, 13:48
- Re: How big is infinity?, Lester Zick, 13:45
- Re: How big is infinity?, Lester Zick, 13:39
- Re: How to represent computer algorithms using FOL?, MoeBlee, 13:39
- Re: How big is infinity?, Lester Zick, 13:28
- Re: How big is infinity?, Lester Zick, 13:26
- Re: Definition of God, Bob, 13:25
- Re: Definition of God, Bob, 13:21
- Re: How big is infinity?, Lester Zick, 13:19
- Re: Definition of God, Bob, 13:19
- Re: Definition of God, The Chief Instigator, 13:18
- How to represent computer algorithms using FOL?, Dan Christensen, 13:14
- Re: How big is infinity?, Lester Zick, 13:11
- Re: How big is infinity?, David R Tribble, 13:06
- Re: How big is infinity?, Lester Zick, 13:05
- Re: How big is infinity?, Lester Zick, 13:05
- Re: How big is infinity?, Lester Zick, 13:03
- Re: Definition of God, Bob, 12:52
- Re: Definition of God, Bob, 12:52
- Re: Help on Proofs of Validity, MoeBlee, 12:49
- Re: How big is infinity?, Lester Zick, 12:47
- Re: Definition of God, Christopher A . Lee, 12:41
- Re: Definition of God, Lawson English, 12:40
- Re: Definition of God, Lizz Holmans, 12:38
- Re: Definition of God, Steve O, 12:35
- Re: Definition of God, Steve O, 12:34
- Re: Definition of God, Steve O, 12:31
- Re: Definition of God, Robibnikoff, 12:25
- Re: Definition of God, Steve O, 12:23
- Re: Definition of God, Steve O, 12:22
- Re: Definition of God, stoney, 12:21
- Re: Definition of God, stoney, 12:19
- Re: Definition of God, stoney, 12:17
- Re: Definition of God, stoney, 12:15
- Re: Definition of God, stoney, 12:05
- Re: Definition of God, stoney, 12:05
- Re: Definition of God, stoney, 12:04
- Re: Definition of God, stoney, 11:59
- Re: Definition of God, stoney, 11:59
- Re: Help on Proofs of Validity, Protoman, 11:53
- Re: Definition of God, stoney, 11:41
- Re: Definition of God, stoney, 11:40
- Re: Definition of God, stoney, 11:39
- Re: Definition of God, stoney, 11:35
- Re: Modus Ponens Is Unprovable?, Jan Burse, 10:53
- Re: Axiom of Pairing, Jesse F. Hughes, 10:48
- Re: How big is infinity?, Randy Poe, 10:48
- Re: [] what kind of paradox is this?, LauLuna, 10:22
- Modal Logic: An Introduction, khodaeifar@xxxxxxxxx, 09:55
- Re: How big is infinity?, Arnold Weiss, 09:35
- Re: Ross A. Finlayson, Question and Answer Period, Frederick Williams, 09:00
- Re: Help on Proofs of Validity, Frederick Williams, 08:58
- Re: Modus Ponens Is Unprovable?, Frederick Williams, 08:56
- Re: Definition of God, Bob, 08:20
- Re: Definition of God, Bob, 08:12
- Re: Definition of God, Bob, 08:01
- Re: Axiom of Pairing, Aatu Koskensilta, 06:14
- Re: what kind of paradox is this?, makc . the . great, 06:02
- Re: Help on Proofs of Validity, Jack Campin - bogus address, 05:43
- Re: Modus Ponens Is Unprovable?, William Elliot, 05:41
- Re: Help on Proofs of Validity, William Elliot, 05:29
- Re: How big is infinity?, Jack Campin - bogus address, 05:29
- Re: Axiom of Pairing, Jack Campin - bogus address, 05:24
- Modus Ponens Is Unprovable?, Protoman, 03:20
- Re: Help on Proofs of Validity, Protoman, 03:09
- Re: How big is infinity?, Nam Nguyen, 03:06
- Re: Definition of God, Steve O, 02:21
- Re: Definition of God, Steve O, 02:17
- Re: Definition of God, Steve O, 02:15
- Re: Ross A. Finlayson, Question and Answer Period, William Elliot, 01:46
- Re: Help on Proofs of Validity, William Elliot, 01:38
- Re: [] what kind of paradox is this?, herb z, 01:13
- Re: How big is infinity?, herb z, 01:13
- Re: How big is infinity?, herb z, 01:13
- Re: Definition of God, herb z, 01:12
- Re: Axiom of Pairing, herb z, 01:11
- Re: Axiom of Pairing, herb z, 01:11
- Re: How big is infinity?, herb z, 01:10
- Re: Help on Proofs of Validity, Protoman, 01:02
- Re: Axiom of Pairing, Chris Menzel, 00:51
September 05, 2006
- Re: Ross A. Finlayson, Question and Answer Period, Ross A. Finlayson, 23:49
- Re: ³Kirk O¹ Bain², shauny, 23:45
- Re: [] what kind of paradox is this?, William Elliot, 23:28
- Re: Ross A. Finlayson, Question and Answer Period, William Elliot, 23:25
- Re: Help on Proofs of Validity, William Elliot, 23:18
- Re: Help on Proofs of Validity, Protoman, 22:50
- Re: How big is infinity?, Arnold Weiss, 21:58
- Re: Help on Proofs of Validity, Aatu Koskensilta, 21:52
- Re: Help on Proofs of Validity, Protoman, 21:48
- Re: Ross A. Finlayson, Question and Answer Period, Ross A. Finlayson, 21:25
- Re: [] what kind of paradox is this?, Aatu Koskensilta, 21:16
- Re: [] what kind of paradox is this?, William Elliot, 21:12
- Re: Ross A. Finlayson, Question and Answer Period, William Elliot, 21:10
- Re: Help on Proofs of Validity, William Elliot, 21:06
- Re: Help on Proofs of Validity, Protoman, 20:44
- Re: Ross A. Finlayson, Question and Answer Period, Ross A. Finlayson, 20:32
- Re: Godel up the junction, Aatu Koskensilta, 20:31
- Re: Ross A. Finlayson, Question and Answer Period, Aatu Koskensilta, 20:25
- Re: Godel up the junction, MoeBlee, 20:24
- Re: Ross A. Finlayson, Question and Answer Period, Ross A. Finlayson, 20:21
- Re: How big is infinity?, Virgil, 20:21
- Re: what kind of paradox is this?, Aatu Koskensilta, 20:10
- Re: How big is infinity?, Virgil, 20:08
- Re: How big is infinity?, Virgil, 20:06
- Re: How big is infinity?, Virgil, 20:05
- Re: Question about Basic Law V, Rupert, 19:57
- Re: How big is infinity?, Aatu Koskensilta, 19:51
- Re: what kind of paradox is this?, Rupert, 19:41
- Re: Axiom of Pairing, MoeBlee, 19:09
- Re: How big is infinity?, Lester Zick, 19:06
- Re: How big is infinity?, Lester Zick, 19:01
- Re: Godel up the junction, Aatu Koskensilta, 19:01
- Re: Question about Basic Law V, Rupert, 18:56
- Re: How big is infinity?, Lester Zick, 18:55
- Re: Godel up the junction, Rupert, 18:54
- Re: How big is infinity?, Lester Zick, 18:53
- Re: How big is infinity?, David R Tribble, 18:50
- Re: How big is infinity?, David R Tribble, 18:31
- Re: Axiom of Pairing, Chris Menzel, 18:28
- Re: Axiom of Pairing, MoeBlee, 18:18
- Re: Axiom of Pairing, Aatu Koskensilta, 18:17
- Re: Axiom of Pairing, Chris Menzel, 18:01
- Re: How big is infinity?, Virgil, 18:00
- Re: How big is infinity?, Virgil, 17:57
- Re: Axiom of Pairing, Aatu Koskensilta, 17:47
- Re: Axiom of Pairing, John Jones, 17:42
- Re: Definition of God, Dan Wood, 16:37
- Re: Axiom of Pairing, MoeBlee, 16:27
- Re: Definition of God, Bob, 16:24
- Re: Axiom of Pairing, MoeBlee, 16:24
- Re: Definition of God, Bob, 16:24
- Re: Definition of God, Bob, 16:18
- Re: How big is infinity?, Aatu Koskensilta, 15:53
- Re: How big is infinity?, Aatu Koskensilta, 15:53
- Re: Axiom of Pairing, John Jones, 15:51
- Re: How big is infinity?, Lester Zick, 15:46
- Re: How big is infinity?, Nam Nguyen, 15:46
- Re: How big is infinity?, Lester Zick, 15:45
- Re: How big is infinity?, Aatu Koskensilta, 15:45
- Re: How big is infinity?, Lester Zick, 15:43
- Re: How big is infinity?, Lester Zick, 15:42
- Re: Definition of God, Steve O, 15:30
- Re: Axiom of Pairing, MoeBlee, 15:21
- Re: Axiom of Pairing, Aatu Koskensilta, 15:02
- Re: Axiom of Pairing, Aatu Koskensilta, 15:00
- Re: Axiom of Pairing, John Jones, 15:00
- Re: Axiom of Pairing, John Jones, 14:58
- Re: Axiom of Pairing, John Jones, 14:55
- Re: How big is infinity?, Aatu Koskensilta, 14:33
- Re: How big is infinity?, Manny Feld, 14:31
- Re: How big is infinity?, Virgil, 14:27
- Re: How big is infinity?, Virgil, 14:17
- Re: Definition of God, Steve O, 14:07
- Re: Definition of God, Steve O, 14:05
- Re: Definition of God, Dan Wood, 14:03
- Re: Definition of God, Steve O, 13:46
- Re: Definition of God, thepossibilities, 13:18
- Re: How big is infinity?, Lester Zick, 13:13
- Re: How big is infinity?, Lester Zick, 13:11
- Re: ³Kirk O¹ Bain², Zynnoushes, 13:00
- Re: Definition of God, Dan Wood, 12:39
- Re: Definition of God, mejercit, 12:30
- Re: Definition of God, Dan Wood, 12:11
- Re: How big is infinity?, Lester Zick, 12:08
- Re: Definition of God, Christopher A . Lee, 12:03
- Re: Definition of God, Dan Wood, 11:44
- Re: Ross A. Finlayson, Question and Answer Period, Aatu Koskensilta, 11:19
- Re: Definition of God, Robibnikoff, 11:08
- Re: Definition of God, Robibnikoff, 11:07
- Re: How big is infinity?, Aatu Koskensilta, 10:09
- Re: Axiom of Pairing, Aatu Koskensilta, 10:07
- Re: Godel up the junction, John Jones, 09:53
- Re: Godel up the junction, John Jones, 09:40
- Re: Godel up the junction, John Jones, 09:10
- Re: Question about Basic Law V, lugita15, 09:02
- Re: [] what kind of paradox is this?, Aatu Koskensilta, 08:38
- Re: Godel up the junction, Aatu Koskensilta, 08:22
- Re: Definition of God, Bob, 07:33
- Re: Ross A. Finlayson, Question and Answer Period, William Elliot, 04:27
- Re: Help on Proofs of Validity, William Elliot, 04:25
- Re: Ross A. Finlayson, Question and Answer Period, Ross A. Finlayson, 04:24
- Re: what kind of paradox is this?, makc . the . great, 03:07
- Help on Proofs of Validity, Protoman, 03:01
- Re: Godel up the junction, Model-T-ory, 01:26
- Re: How big is infinity?, herb z, 00:52
- Re: How big is infinity?, herb z, 00:51
- Re: How big is infinity?, herb z, 00:49
September 04, 2006
- Ross A. Finlayson, Question and Answer Period, Ross A. Finlayson, 23:44
- Re: what kind of paradox is this?, wt.eric@xxxxxxxxx, 23:41
- Re: ³Kirk O¹ Bain², shauny, 23:33
- Re: Axiom of Pairing, Tron, 22:46
- Re: Godel up the junction, Daryl McCullough, 22:42
- Re: Godel up the junction, Rupert, 22:31
- Re: Question about Basic Law V, Rupert, 22:30
- [] what kind of paradox is this?, William Elliot, 20:59
- ³Kirk O¹ Bain², Paul Reiners, 20:06
- Re: Definition of God, Dan Wood, 19:47
- Re: Definition of God, Free Lunch, 18:45
- Re: Definition of God, Your Logic Tutor, 18:14
- Re: How big is infinity?, Lester Zick, 18:07
- Re: How big is infinity?, Lester Zick, 18:02
- Re: Definition of God, mejercit, 17:47
- Re: Godel up the junction, John Jones, 17:45
- Re: Definition of God, Your Logic Tutor, 17:40
- Re: Definition of God, Your Logic Tutor, 17:40
- Re: Definition of God, Your Logic Tutor, 17:37
- Re: Definition of God, Lizz Holmans, 17:11
- Re: Definition of God, Bob, 16:28
- Re: Godel up the junction, John Jones, 16:04
- Re: Godel up the junction, Daryl McCullough, 15:54
- Re: How big is infinity?, Virgil, 15:48
- Re: How big is infinity?, Virgil, 15:43
- Re: Godel up the junction, Chris Menzel, 15:25
- Re: Definition of God, Steve O, 15:12
- Re: Godel up the junction, John Jones, 15:00
- Process Of Elimination: Trial & Error - Life & Death, Immortalist, 14:53
- Re: How big is infinity?, Lester Zick, 14:47
- Re: Godel up the junction, John Jones, 14:45
- Re: How big is infinity?, Lester Zick, 13:53
- Re: How big is infinity?, Lester Zick, 13:47
- Re: How big is infinity?, Lester Zick, 13:46
- Ford Motor crisis ,USA un-education and Bush Science anti-advisers, practical1, 13:45
- Re: Definition of God, knucmo, 13:44
- Re: Definition of God, knucmo, 13:26
- Re: Definition of God, mejercit, 12:17
- Re: what kind of paradox is this?, crito, 11:17
- Re: Definition of God, Bob, 10:52
- Re: Definition of God, Steve O, 10:38
- Re: Question about Basic Law V, lugita15, 10:19
- what kind of paradox is this?, makc . the . great, 08:50
- Re: How big is infinity?, Manny Feld, 08:34
- Re: Question about Basic Law V, wit, 07:57
- Re: Definition of God, Bob, 07:13
- Re: Definition of God, Steve O, 06:21
- Re: Definition of God, Steve O, 06:17
- Re: Question about Basic Law V, george, 06:15
- Re: Question about Basic Law V, george, 06:07
- Re: Question about Basic Law V, wit, 05:17
- Re: Question about Basic Law V, wit, 05:14
- Re: Question about Basic Law V, george, 04:45
- Re: Question about Basic Law V, george, 04:33
- Re: Question about Basic Law V, wit, 04:26
- Re: How big is infinity?, herb z, 04:03
- Re: How big is infinity?, herb z, 04:03
- Re: Definition of God, Bob, 03:00
- Re: Definition of God, Bob, 02:59
- Re: How big is infinity?, Lester Zick, 02:11
- Re: How big is infinity?, Lester Zick, 02:06
- Re: How big is infinity?, Ross A. Finlayson, 02:02
- Re: How big is infinity?, Lester Zick, 02:01
- Re: How big is infinity?, Lester Zick, 01:57
- Re: How big is infinity?, Lester Zick, 01:55
- Re: How big is infinity?, Lester Zick, 01:53
- Re: Definition of God, The Chief Instigator, 01:45
- Re: How big is infinity?, Lester Zick, 01:30
- Re: How big is infinity?, Lester Zick, 01:28
- Re: Definition of God, Dan Wood, 00:36
- Re: How big is infinity?, herb z, 00:22
- Re: How big is infinity?, herb z, 00:22
- Re: Definition of God, The Chief Instigator, 00:14
September 03, 2006
- Re: Godel up the junction, Daryl McCullough, 23:53
- Re: Question about Basic Law V, Rupert, 23:41
- Re: Godel up the junction, Daryl McCullough, 23:37
- Re: Definition of God, Dan Wood, 23:04
- Re: Definition of God, Lizz Holmans, 22:29
- Re: Definition of God, Robibnikoff, 22:19
- Re: Definition of God, Robibnikoff, 22:18
- Re: Definition of God, Robibnikoff, 22:18
- Re: Question about Basic Law V, wit, 22:02
- Re: Question about Basic Law V, lugita15, 21:57
- Re: Godel up the junction, Rupert, 20:44
- Re: Godel up the junction, Rupert, 20:37
- Re: Question about Basic Law V, Rupert, 20:23
- Re: How big is infinity?, Virgil, 20:00
- Re: How big is infinity?, Virgil, 19:56
- Re: How big is infinity?, Virgil, 19:53
- Re: How big is infinity?, Virgil, 19:52
- Re: Definition of God, Dan Wood, 19:52
- Re: How big is infinity?, Virgil, 19:50
- Re: How big is infinity?, Virgil, 19:49
- Re: Definition of God, Bob, 19:43
- Re: Definition of God, Dan Wood, 17:33
- Re: Definition of God, Dan Wood, 17:16
- Question about Basic Law V, lugita15, 17:15
- Re: How big is infinity?, Lester Zick, 15:33
- Re: How big is infinity?, Lester Zick, 15:13
- Re: How big is infinity?, Lester Zick, 15:12
- Re: How big is infinity?, Lester Zick, 15:10
- Re: Source for a Kreisel quote, xilog, 15:10
- Re: How big is infinity?, Lester Zick, 15:08
- Re: How big is infinity?, Lester Zick, 15:07
- Re: How big is infinity?, Lester Zick, 15:05
- Re: How big is infinity?, Lester Zick, 15:04
- Re: How big is infinity?, Lester Zick, 15:03
- Re: How big is infinity?, Manny Feld, 14:45
- Re: How big is infinity?, prateekbluespears, 14:26
- Re: How big is infinity?, Ross A. Finlayson, 13:28
- Re: How big is infinity?, Virgil, 13:24
- Re: How big is infinity?, Virgil, 13:22
- Re: How big is infinity?, Virgil, 13:19
- Re: How big is infinity?, Virgil, 13:16
- Re: How big is infinity?, Virgil, 13:14
- Re: How big is infinity?, Virgil, 13:11
- Re: How big is infinity?, Jan Burse, 12:56
- Re: How big is infinity?, Jan Burse, 12:50
- Re: Definition of God, Bob, 12:44
- Re: How big is infinity?, Lester Zick, 12:17
- Re: How big is infinity?, Lester Zick, 12:16
- Re: How big is infinity?, Lester Zick, 12:15
- Re: How big is infinity?, Lester Zick, 12:14
- Re: How big is infinity?, Lester Zick, 12:10
- Re: How big is infinity?, Lester Zick, 12:09
- Re: How big is infinity?, Lester Zick, 12:08
- Re: How big is infinity?, Lester Zick, 12:07
- Re: How big is infinity?, David R Tribble, 11:44
- Re: How big is infinity?, David R Tribble, 11:32
- Godel up the junction, John Jones, 11:02
- Re: Definition of God, The Chief Instigator, 10:54
- Re: Definition of God, Dan Wood, 09:45
- Re: How big is infinity?, Ross A. Finlayson, 00:26
September 02, 2006
- Re: How big is infinity?, Virgil, 23:54
- Re: How big is infinity?, Virgil, 23:51
- Re: How big is infinity?, Virgil, 23:46
- Re: How big is infinity?, Jan Burse, 23:05
- Re: How big is infinity?, Ross A. Finlayson, 21:41
- Re: How big is infinity?, Virgil, 19:57
- Re: retraction, Rupert, 19:54
- Re: How big is infinity?, Virgil, 19:54
- Re: How big is infinity?, Virgil, 19:50
- Re: How big is infinity?, Virgil, 19:46
- Re: How big is infinity?, Virgil, 19:43
- Re: How big is infinity?, Virgil, 19:41
- Re: How big is infinity?, Lester Zick, 19:36
- Re: How big is infinity?, Lester Zick, 19:36
- Re: How big is infinity?, Lester Zick, 19:36
- Re: How big is infinity?, Lester Zick, 19:21
- Re: How big is infinity?, Lester Zick, 19:20
- Re: How big is infinity?, Lester Zick, 19:19
- Re: How big is infinity?, Lester Zick, 19:17
- Re: How big is infinity?, Lester Zick, 19:16
- Re: How big is infinity?, Lester Zick, 19:15
- Re: How big is infinity?, Virgil, 18:13
- Re: How big is infinity?, Virgil, 17:36
- Re: How big is infinity?, Virgil, 17:34
- Re: How big is infinity?, Virgil, 17:27
- Re: How big is infinity?, Virgil, 17:19
- Re: How big is infinity?, Virgil, 17:19
- Re: How big is infinity?, Jan Burse, 17:11
- Re: How big is infinity?, Virgil, 17:04
- Re: How big is infinity?, Virgil, 17:00
- Re: How big is infinity?, Virgil, 16:57
- Re: How big is infinity?, Lester Zick, 16:53
- Re: How big is infinity?, Lester Zick, 16:11
- Re: How big is infinity?, Lester Zick, 16:10
- Re: How big is infinity?, Lester Zick, 16:02
- Re: How big is infinity?, Lester Zick, 15:56
- Re: How big is infinity?, Lester Zick, 15:54
- Re: How big is infinity?, Lester Zick, 15:53
- Re: How big is infinity?, Virgil, 14:35
- Re: How big is infinity?, Lester Zick, 14:28
- Re: How big is infinity?, Lester Zick, 14:26
- Re: How big is infinity?, Lester Zick, 14:19
- Re: How big is infinity?, Lester Zick, 14:13
- Re: How big is infinity?, zzbunker@xxxxxxxxxxxx, 14:07
- Re: How big is infinity?, Lester Zick, 13:34
- Re: How big is infinity?, Manny Feld, 13:28
- Re: How big is infinity?, Manny Feld, 13:23
- Re: How big is infinity?, Virgil, 13:20
- retraction, george, 13:15
- Re: How big is infinity?, zzbunker@xxxxxxxxxxxx, 11:54
- Re: Definition of God, stoney, 10:20
- Re: Source for a Kreisel quote, Aatu Koskensilta, 07:03
- Re: How big is infinity?, Aatu Koskensilta, 06:17
- Re: How big is infinity?, Aatu Koskensilta, 06:13
- Re: Definition of God, chazwin, 04:27
- Re: Definition of God, chazwin, 04:26
- Re: How big is infinity?, MoeBlee, 00:31
- Re: How big is infinity?, MoeBlee, 00:10
September 01, 2006
- Re: Axiom of Pairing, MoeBlee, 23:17
- Re: Axiom of Pairing, Aatu Koskensilta, 22:21
- Re: How big is infinity?, Aatu Koskensilta, 22:07
- Re: How big is infinity?, Aatu Koskensilta, 22:03
- Re: The incompleteness theorems, Sigma-1-completeness, induction, all that, Aatu Koskensilta, 21:56
- Re: Definition of God, Dan Wood, 21:03
- Re: The incompleteness theorems, Sigma-1-completeness, induction, all that, Newberry, 20:44
- Re: How big is infinity?, Virgil, 20:02
- Re: How big is infinity?, Virgil, 20:00
- Re: Definition of God, The Chief Instigator, 19:59
- Re: How big is infinity?, Virgil, 19:58
- Re: How big is infinity?, Nam Nguyen, 19:55
- Re: How big is infinity?, MoeBlee, 19:51
- Re: Definition of God, Dan Wood, 19:18
- Re: How big is infinity?, Randy Poe, 19:17
- Re: How big is infinity?, MoeBlee, 19:15
- Re: Definition of God, Dan Wood, 19:11
- Re: How big is infinity?, Virgil, 18:56
- Re: How big is infinity?, Virgil, 18:54
- Re: How big is infinity?, Virgil, 18:52
- Re: How big is infinity?, Virgil, 18:51
- Re: How big is infinity?, Virgil, 18:48
- Re: How big is infinity?, Lester Zick, 18:48
- Re: How big is infinity?, Virgil, 18:46
- Re: How big is infinity?, Virgil, 18:44
- Re: How big is infinity?, Virgil, 18:41
- Re: How big is infinity?, Virgil, 18:39
- Re: How big is infinity?, Virgil, 18:38
- Re: How big is infinity?, Virgil, 18:36
- Re: How big is infinity?, Ross A. Finlayson, 18:30
- Re: How big is infinity?, Virgil, 18:30
- Re: How big is infinity?, Virgil, 18:28
- Re: How big is infinity?, Lester Zick, 18:28
- Re: How big is infinity?, Lester Zick, 18:26
- Re: How big is infinity?, Lester Zick, 18:24
- Re: How big is infinity?, Virgil, 18:23
- Re: How big is infinity?, Virgil, 18:22
- Re: How big is infinity?, Virgil, 18:20
- Re: Definition of God, Daniel T., 17:20
- Re: How big is infinity?, MoeBlee, 16:00
- Re: How big is infinity?, MoeBlee, 15:55
- Re: Axiom of Pairing, MoeBlee, 15:35
- Re: How big is infinity?, Lester Zick, 15:33
- Re: How big is infinity?, Lester Zick, 15:31
- Re: Axiom of Pairing, John Jones, 15:29
- Re: How big is infinity?, Lester Zick, 15:22
- Re: How big is infinity?, Lester Zick, 15:21
- Re: How big is infinity?, Lester Zick, 15:20
- Re: How big is infinity?, Lester Zick, 15:16
- Re: How big is infinity?, Lester Zick, 15:15
- Re: Axiom of Pairing, MoeBlee, 15:15
- Re: How big is infinity?, Lester Zick, 15:14
- Re: How big is infinity?, Lester Zick, 15:13
- Re: How big is infinity?, Lester Zick, 15:13
- Re: How big is infinity?, Lester Zick, 15:12
- Re: How big is infinity?, Lester Zick, 15:12
- Re: How big is infinity?, Lester Zick, 15:11
- Re: How big is infinity?, Lester Zick, 15:10
- Re: How big is infinity?, Randy Poe, 15:08
- Re: How big is infinity?, Lester Zick, 15:07
- Re: How big is infinity?, Lester Zick, 15:06
- Re: How big is infinity?, Lester Zick, 15:06
- Re: How big is infinity?, Lester Zick, 15:05
- Re: How big is infinity?, Lester Zick, 15:04
- Re: How big is infinity?, Lester Zick, 15:02
- Re: Axiom of Pairing, apoorv, 14:59
- Re: Axiom of Pairing, MoeBlee, 14:31
- Re: Axiom of Pairing, apoorv, 14:23
- Re: How big is infinity?, Nam Nguyen, 13:58
- Re: Axiom of Pairing, MoeBlee, 13:54
- Re: Definition of God, stoney, 13:24
- Re: Propositional calculus, Chris Menzel, 13:07
- Re: Source for a Kreisel quote, MoeBlee, 12:38
- Re: How big is infinity?, MoeBlee, 12:26
- Re: Axiom of Pairing, MoeBlee, 12:15
- Re: Axiom of Pairing, MoeBlee, 12:11
- Re: Propositional calculus, George Dance, 12:08
- Re: Definition of God, thepossibilities, 11:35
- Re: 2003!!!!!!!!!!!!!!!2004!!!!!!!!!!!!!!!!!2001!!!!!!!!!!!!2002!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!, kylekatarn, 11:16
- Re: How big is infinity?, stephen, 10:11
- Re: Source for a Kreisel quote, tchow, 10:02
- Re: How big is infinity?, Randy Poe, 09:37
- Re: Axiom of Pairing, george, 09:35
- Re: Axiom of Pairing, george, 09:33
- Re: Axiom of Pairing, apoorv, 05:55
- Re: Definition of God, Sean, 04:16
- Re: The incompleteness theorems, Sigma-1-completeness, induction, all that, Aatu Koskensilta, 04:12
- Source for a Kreisel quote, Aatu Koskensilta, 03:55
- Re: Definition of God, chazwin, 03:44
- Re: Definition of God, chazwin, 03:39
- Re: Definition of God, chazwin, 03:36
- Re: Definition of God, mikegordge, 03:10
- Re: How big is infinity?, Aatu Koskensilta, 03:02
- Re: Definition of God, chazwin, 02:42
- Re: Definition of God, chazwin, 02:39
- Re: the consistency of predicate logic., Aatu Koskensilta, 02:19
- Re: The incompleteness theorems, Sigma-1-completeness, induction, all that, Aatu Koskensilta, 02:12
- Re: Definition of God, Dan Wood, 01:39
- Re: Definition of God, Dan Wood, 01:31
- Re: Axiom of Pairing, Pierre Asselin, 00:21
August 31, 2006
- Re: Definition of God, Sean, 23:50
- Re: Definition of God, Sean, 23:19
- Re: Definition of God, Sean, 23:13
- Re: Definition of God, Sean, 23:11
- Re: the consistency of predicate logic., aussiekevin, 22:33
- Re: Torkel Franzén Lives!, Charlie-Boo, 22:02
- Re: The incompleteness theorems, Sigma-1-completeness, induction, all that, Rupert, 21:05
- Re: Axiom of Pairing, MoeBlee, 20:10
- [FAQ, 99/07/28] Mathematical logic on the web, Boris 'pi' Piwinger, 20:03
- Re: How big is infinity?, Virgil, 20:01
- Re: How big is infinity?, Virgil, 19:54
- Re: Definition of God, chazwin, 19:45
- Re: How big is infinity?, Virgil, 19:41
- Axiom of Pairing, apoorv, 19:39
- Re: How big is infinity?, Virgil, 19:37
- Re: How big is infinity?, Virgil, 19:36
- Re: How big is infinity?, Virgil, 19:34
- Re: How big is infinity?, Lester Zick, 19:31
- Re: How big is infinity?, MoeBlee, 19:31
- Re: How big is infinity?, Virgil, 19:29
- Re: How big is infinity?, Lester Zick, 19:27
- Re: How big is infinity?, Virgil, 19:24
- Re: How big is infinity?, Virgil, 19:22
- Re: How big is infinity?, Virgil, 19:20
- Re: How big is infinity?, Lester Zick, 19:17
- Re: How big is infinity?, Virgil, 19:16
- Re: How big is infinity?, Virgil, 19:14
- Re: How big is infinity?, Lester Zick, 19:05
- Re: How big is infinity?, Lester Zick, 19:00
- Re: How big is infinity?, Lester Zick, 18:57
- Re: How big is infinity?, Lester Zick, 18:53
- Re: How big is infinity?, Lester Zick, 18:52
- Re: How big is infinity?, Lester Zick, 18:50
- Re: How big is infinity?, Lester Zick, 18:49
- Re: How big is infinity?, Lester Zick, 18:46
- Re: How big is infinity?, Lester Zick, 18:46
- Re: How big is infinity?, Lester Zick, 18:44
- Re: How big is infinity?, Lester Zick, 18:41
- Re: A question about FOL theories and models, george, 18:40
- Re: How big is infinity?, Lester Zick, 18:39
- Re: How big is infinity?, Virgil, 18:32
- Re: How big is infinity?, Virgil, 18:29
- Re: The incompleteness theorems, Sigma-1-completeness, induction, all that, george, 18:28
- Re: How big is infinity?, Virgil, 18:26
- Re: How big is infinity?, Virgil, 18:17
- Re: How big is infinity?, Virgil, 18:05
- Re: How big is infinity?, Virgil, 18:00
- Re: How big is infinity?, Virgil, 17:59
- Re: How big is infinity?, Virgil, 17:52
- Re: How big is infinity?, Virgil, 17:50
- Re: How big is infinity?, Virgil, 17:43
- Re: How big is infinity?, Virgil, 17:39
- Re: How big is infinity?, Virgil, 17:31
- Re: Definition of God, stoney, 17:09
- Re: Must higher-order logic be typed?, Owen, 17:06
- Re: Definition of God, stoney, 17:02
- Re: Definition of God, stoney, 16:59
- Re: How big is infinity?, MoeBlee, 16:54
- Re: Definition of God, stoney, 16:53
- Re: How big is infinity?, Virgil, 16:26
- Re: How big is infinity?, Virgil, 16:25
- Re: How big is infinity?, Virgil, 16:24
Privacy Policy