Sci Post Archive from Usenet.com

www.Usenet.com

Group Index

__Thread Index__ [__Earlier messages__]

Sci Thread Archive from Usenet.com

Re: Sets vs. categories as a foundation
- __From__: Shmuel (Seymour J.) Metz <12/04/2003>
Re: the I3 axiom
- __From__: Robert E. Beaudoin <12/04/2003>
Re: Sets vs. categories as a foundation
- __From__: Michael Barr <12/04/2003>
Re: Why knowledge is NOT power
- __From__: Eray Ozkural exa <12/04/2003>
Re: Coming soon -- new proof checking software
- __From__: |-|erc <12/04/2003>
Re: What is the "Presumption of Innocence"
- __From__: Poop Dogg <12/04/2003>
Re: Never Give Up !
- __From__: Barb Knox <12/04/2003>
symmetries of a cube
- __From__: George Greene <12/04/2003>
Just the facts, ma'am... (13/16)
- __From__: stoney <12/04/2003>
Re: What is the "Presumption of Innocence"
- __From__: Immortalist <12/04/2003>
cmsg cancel <xesbrqpfyw0.fsf@greeneg-cs.cs.unc.edu>
- __From__: George Greene <12/04/2003>
quantum mechanics as an attack on classical logic
- __From__: George Greene <12/04/2003>
who's to stupid to recognise this as more fundamental than a TM
- __From__: |-|erc <12/04/2003>
Re: Coming soon -- new proof checking software
- __From__: |-|erc <12/04/2003>
G FREGE
- __From__: |-|erc <12/04/2003>
Re: Coming soon -- new proof checking software
- __From__: |-|erc <12/04/2003>
Re: Sentence & direct product
- __From__: Jeffrey Ketland <12/04/2003>
symmetries of a cube
- __From__: George Greene <12/04/2003>
Never Give Up !
- __From__: taketimetothink <12/04/2003>
Just the facts, ma'am... (8/16)
- __From__: stoney <12/04/2003>
Structures embedding
- __From__: mail <12/04/2003>
Re: What is the "Presumption of Innocence"
- __From__: Not so quick <12/04/2003>
Re: Sets vs. categories as a foundation
- __From__: George Greene <12/04/2003>
Re: Sets vs. categories as a foundation
- __From__: ZZBunker <12/04/2003>
Re: What is the "Presumption of Innocence"
- __From__: neepy <12/04/2003>
Re: Sentence & direct product
- __From__: mail <12/04/2003>
Re: definition of first-order quantification, REVISED perspective
- __From__: G . Frege <12/04/2003>
Re: Coming soon -- new proof checking software
- __From__: G . Frege <12/04/2003>
Re: Coming soon -- new proof checking software
- __From__: G . Frege <12/04/2003>
Re: Coming soon -- new proof checking software
- __From__: G . Frege <12/04/2003>
FAQ Submission
- __From__: |-|erc <12/04/2003>
Re: Coming soon -- new proof checking software
- __From__: |-|erc <12/04/2003>
Re: Coming soon -- new proof checking software
- __From__: Dan Christensen <12/04/2003>
logic, triple systems and designs
- __From__: mitch <12/04/2003>
Re: Coming soon -- new proof checking software
- __From__: G . Frege <12/04/2003>
Re: bernadette, this is what gives me hope
- __From__: a.k.a Bruha <12/04/2003>
Re: the I3 axiom
- __From__: Rupert <12/04/2003>
Re: Sentence & direct product
- __From__: Jeffrey Ketland <12/04/2003>
Re: What are the constants in the computing sciences?
- __From__: |-|erc <12/04/2003>
Re: Coming soon -- new proof checking software
- __From__: Dan Christensen <12/04/2003>
Re: Backcasting Forcasting & working complete models
- __From__: Immortalist <12/04/2003>
Re: Right to trial
- __From__: Charlie-Boo <12/04/2003>
Re: Coming soon -- new proof checking software
- __From__: Charlie-Boo <12/04/2003>
Re: Sets vs. categories as a foundation
- __From__: tchow <12/04/2003>
Sentence & direct product
- __From__: mail <12/04/2003>
Re: Sets vs. categories as a foundation
- __From__: George Greene <12/04/2003>
Re: Peano in Plain English?
- __From__: Herman Rubin <12/04/2003>
Re: Sets vs. categories as a foundation
- __From__: George Greene <12/04/2003>
Re: Sets vs. categories as a foundation
- __From__: George Greene <12/04/2003>
Re: Coming soon -- new proof checking software
- __From__: Dan Christensen <12/04/2003>
Re: Sets vs. categories as a foundation
- __From__: Marc Olschok <12/04/2003>
Re: Coming soon -- new proof checking software
- __From__: Dan Christensen <12/04/2003>
Re: Coming soon -- new proof checking software
- __From__: Dan Christensen <12/04/2003>
Re: Sets vs. categories as a foundation
- __From__: Alfred Einstead <12/04/2003>
What are the constants in the computing sciences?
- __From__: Charlie-Boo <12/04/2003>
Re: Right to trial
- __From__: William Elliot <12/04/2003>
Re: Coming soon -- new proof checking software
- __From__: G . Frege <12/04/2003>
Re: Coming soon -- new proof checking software
- __From__: Dan Christensen <12/04/2003>
Re: Coming soon -- new proof checking software
- __From__: Dan Christensen <12/04/2003>
Re: Coming soon -- new proof checking software
- __From__: G . Frege <12/04/2003>
Re: Coming soon -- new proof checking software
- __From__: G . Frege <12/04/2003>
Re: Coming soon -- new proof checking software
- __From__: G . Frege <12/04/2003>
Re: Coming soon -- new proof checking software
- __From__: F . Fritsche <12/04/2003>
Re: Right to trial
- __From__: Tourniquet <12/03/2003>
Re: Right to trial
- __From__: island <12/03/2003>
Re: Sets vs. categories as a foundation
- __From__: Jesse F. Hughes <12/03/2003>
Right to trial
- __From__: Not so quick <12/03/2003>
Re: The God Spots in the Brain
- __From__: Tim <12/03/2003>
Re: Sets vs. categories as a foundation
- __From__: James Dolan <12/03/2003>
Re: Sets vs. categories as a foundation
- __From__: Jesse F. Hughes <12/03/2003>
Re: Sets vs. categories as a foundation
- __From__: Shmuel (Seymour J.) Metz <12/03/2003>
Re: geometry and logic
- __From__: George Greene <12/03/2003>
Re: geometry and logic
- __From__: George Greene <12/03/2003>
Re: The Matrix as Metaphysics, David J. Chalmers
- __From__: Immortalist <12/03/2003>
Re: The Matrix as Metaphysics, David J. Chalmers
- __From__: Immortalist <12/03/2003>
Re: Coming soon -- new proof checking software
- __From__: George Greene <12/03/2003>
Re: What is the "Presumption of Innocence"
- __From__: Immortalist <12/03/2003>
Re: What is the "Presumption of Innocence"
- __From__: Immortalist <12/03/2003>
Re: The God Spots in the Brain
- __From__: Immortalist <12/03/2003>
Re: Grice's indicative conditionals -- an interesting theory
- __From__: Immortalist <12/03/2003>
Re: Written In The Stars
- __From__: Astro Guru <12/03/2003>
Re: Coming soon -- new proof checking software
- __From__: George Greene <12/03/2003>
Re: What is abbreviation power?
- __From__: Andrew Boucher <12/03/2003>
Re: Coming soon -- new proof checking software
- __From__: Aatu Koskensilta <12/02/2003>
What is abbreviation power?
- __From__: Rupert <12/02/2003>

[__Earlier messages__]

Please check out one of the premium Usenet Newsgroup Service Providers below for access to Usenet.