sci.logic (date)

sci.logic (date)

[Thread Index] [Top] [All Lists]

January 02, 2007

Re: How long are the arms of Formalisms?, aatu . koskensilta, 13:19
Re: Small Set Theory, Lee Rudolph, 13:01
Re: Small Set Theory, aatu . koskensilta, 12:40
Re: Can ZFC prove Addition is Associative?, stephen, 10:24
Re: Can ZFC prove Addition is Associative?, stephen, 10:18
Re: Can ZFC prove Addition is Associative?, stephen, 10:17
Re: Can ZFC prove Addition is Associative?, stephen, 10:10
Re: Can ZFC prove Addition is Associative?, stephen, 10:04
Re: Can ZFC prove Addition is Associative?, stephen, 09:59
Re: How long are the arms of Formalisms?, Peter_Smith, 07:56
Re: Small Set Theory, David Bernier, 07:50
How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?), Charlie-Boo, 07:38
Re: How long are the arms of Formalisms?, John Jones, 07:31
Re: The Difference between a Set and an Element, Peter_Smith, 07:08
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 06:56
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 06:54
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 06:49
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 06:45
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 06:43
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 06:30
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 06:10
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 06:00
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 05:52
Small Set Theory, William Elliot, 05:44
Re: The Difference between a Set and an Element, William Elliot, 04:57
Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 03:51
Re: The Difference between a Set and an Element, Peter_Smith, 03:14
The Difference between a Set and an Element, JohnCreighton_, 02:19
The Difference between a Set and an Element, JohnCreighton_, 02:18
Re: When to Use Implication?, JohnCreighton_, 00:30

January 01, 2007

Re: When to Use Implication?, JohnCreighton_, 23:41
Re: When to Use Implication?, JohnCreighton_, 22:42
Re: Uncomputable numbers are all in your head, Rupert, 19:43
Re: Uncomputable numbers are all in your head, Newberry, 19:24
Re: Uncomputable numbers are all in your head, Newberry, 19:23
Re: How long are the arms of Formalisms?, David, 18:39
Re: Uncomputable numbers are all in your head, Rupert, 18:13
Re: And, logically, best for 2007 ..., aatu . koskensilta, 18:10
Re: How long are the arms of Formalisms?, John Jones, 16:12
Re: Maximally Consistent Sets Theory, Stephen Harris, 15:42
Re: When to Use Implication?, Bill Hale, 15:28
Re: How long are the arms of Formalisms?, David, 15:20
weeeeeeeeeeeeeee, John Jones, 14:33
Re: When to Use Implication?, G . Frege, 14:29
Re: Uncomputable numbers are all in your head, David Bernier, 11:34
Re: Uncomputable numbers are all in your head, Newberry, 10:55
Re: Cantor's Proof FAQ, Albrecht, 09:43
And, logically, best for 2007 ..., Peter_Smith, 09:11
aaaaaaaaaaaaaa, bramha, 08:35
When to Use Implication?, JohnCreighton_, 04:09
Re: Can ZFC prove Addition is Associative?, stephen, 03:14

December 31, 2006

Re: Uncomputable numbers are all in your head, The Ghost In The Machine, 22:08
Re: Can ZFC prove Addition is Associative?, Michael Press, 21:51
Re: Uncomputable numbers are all in your head, Rupert, 21:41
Re: Uncomputable numbers are all in your head, Newberry, 21:05
[FAQ, 06/11/05] Mathematical logic on the web, Boris 'pi' Piwinger, 20:03
Re: How long are the arms of Formalisms?, John Jones, 17:33
Re: Can ZFC prove Addition is Associative?, aatu . koskensilta, 17:08
Re: Uncomputable numbers are all in your head, Rupert, 17:08
ILLC Research Reports and Technical Notes 2006, Marco Vervoort,P.315,+31 20 525 6519,,, 17:00

September 13, 2006

Re: Categorical model of N?, Peter_Smith, 12:18
Re: Why Has None of Computer Science been Formalized?, Patricia Shanahan, 11:41