sci.logic
By Thread

2822 messages sorted by: [ date ]

Starting: 12/31/04
Ending: 01/31/05

Logical Yoko Site RJ Kellog (01/30/05)
existential quantifier necessary? alex goldman (01/30/05)
- Re: existential quantifier necessary? Owen (01/30/05)
WWHHOOOOO YEEEEHHHHHH |-|erc (01/30/05)
- Re: WWHHOOOOO YEEEEHHHHHH The Ghost In The Machine (01/30/05)
  - Re: WWHHOOOOO YEEEEHHHHHH |-|erc (01/30/05)
Change Tom Dickenhari (01/30/05)
- Re: Change Noah Roberts (01/30/05)
My claim on Omega's defn |-|erc (01/30/05)
- Re: My claim on Omega's defn Arthur Fischer (01/30/05)
  - Re: My claim on Omega's defn |-|erc (01/30/05)
    - Re: My claim on Omega's defn Arthur Fischer (01/31/05)
    - Re: My claim on Omega's defn |-|erc (01/31/05)
  - Re: My claim on Omega's defn rupertmccallum_at_yahoo.com (01/31/05)
    - Re: My claim on Omega's defn Arthur Fischer (01/31/05)
TEMPERS FLARE IN SCI.LOGIC......ad homs follow |-|erc (01/30/05)
******** CAN ANYONE HERE DEFINE OMEGA ? *********** |-|erc (01/30/05)
- Re: ******** CAN ANYONE HERE DEFINE OMEGA ? *********** rupertmccallum_at_yahoo.com (01/30/05)
  - Re: ******** CAN ANYONE HERE DEFINE OMEGA ? *********** |-|erc (01/30/05)
    - Re: ******** CAN ANYONE HERE DEFINE OMEGA ? *********** rupertmccallum_at_yahoo.com (01/30/05)
- Re: ******** CAN ANYONE HERE DEFINE OMEGA ? *********** The Ghost In The Machine (01/30/05)
  - Re: ******** CAN ANYONE HERE DEFINE OMEGA ? *********** |-|erc (01/30/05)
- Re: ******** CAN ANYONE HERE DEFINE OMEGA ? *********** fishfry (01/30/05)
  - Re: ******** CAN ANYONE HERE DEFINE OMEGA ? *********** |-|erc (01/30/05)
Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (01/29/05)
- Re: Name the thesis: "Formal sentences capture informal ones" Torkel Franzen (01/29/05)
  - Re: Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (01/29/05)
- Re: Name the thesis: "Formal sentences capture informal ones" Aatu Koskensilta (01/29/05)
- Re: Name the thesis: "Formal sentences capture informal ones" r.e.s. (01/29/05)
  - Re: Name the thesis: "Formal sentences capture informal ones" William Elliot (01/30/05)
    - Re: Name the thesis: "Formal sentences capture informal ones" r.e.s. (01/30/05)
- Re: Name the thesis: "Formal sentences capture informal ones" george (01/29/05)
  - Re: Name the thesis: "Formal sentences capture informal ones" |-|erc (01/30/05)
- Re: Name the thesis: "Formal sentences capture informal ones" |-|erc (01/30/05)
- Re: Name the thesis: "Formal sentences capture informal ones" William Elliot (01/30/05)
  - Re: Name the thesis: "Formal sentences capture informal ones" |-|erc (01/30/05)
  - Re: Name the thesis: "Formal sentences capture informal ones" Stephen Harris (01/30/05)
- Re: Name the thesis: "Formal sentences capture informal ones" Helene.Boucher_at_wanadoo.fr (01/30/05)
  - Re: Name the thesis: "Formal sentences capture informal ones" |-|erc (01/30/05)
Are open formulae really needed? LordBeotian (01/29/05)
- Re: Are open formulae really needed? LordBeotian (01/29/05)
- Re: Are open formulae really needed? Aatu Koskensilta (01/29/05)
  - Re: Are open formulae really needed? LordBeotian (01/30/05)
Herc defines the HOLY GRAIL OF MATHEMATICS |-|erc (01/29/05)
- Re: Herc defines the HOLY GRAIL OF MATHEMATICS r.e.s. (01/29/05)
  - Re: Herc defines the HOLY GRAIL OF MATHEMATICS |-|erc (01/29/05)
- Re: Herc defines the HOLY GRAIL OF MATHEMATICS David Bernier (01/29/05)
- Re: Herc defines the HOLY GRAIL OF MATHEMATICS examachine_at_gmail.com (01/29/05)
  - Re: Herc defines the HOLY GRAIL OF MATHEMATICS |-|erc (01/29/05)
- Re: Herc defines the HOLY GRAIL OF MATHEMATICS David Bernier (01/29/05)
So you want APPROACHABLE oo, REAL oo, INTEGER oo, COUNTABLE oo, HIGHER oo, MEGA oo's |-|erc (01/29/05)
- Re: So you want APPROACHABLE oo, REAL oo, INTEGER oo, COUNTABLE oo, HIGHER oo, MEGA oo's george (01/29/05)
  - Re: So you want APPROACHABLE oo, REAL oo, INTEGER oo, COUNTABLE oo, HIGHER oo, MEGA oo's |-|erc (01/29/05)
- Re: So you want APPROACHABLE oo, REAL oo, INTEGER oo, COUNTABLE oo, HIGHER oo, MEGA oo's Keith A. Lewis (01/29/05)
  - Re: So you want APPROACHABLE oo, REAL oo, INTEGER oo, COUNTABLE oo, HIGHER oo, MEGA oo's |-|erc (01/30/05)
Help for non-logic person Noah Roberts (01/28/05)
- Re: Help for non-logic person William Elliot (01/28/05)
  - Re: Help for non-logic person Tron (01/28/05)
    - Re: Help for non-logic person William Elliot (01/29/05)
    - Re: Help for non-logic person |-|erc (01/29/05)
  - Re: Help for non-logic person Noah Roberts (01/28/05)
    - Re: Help for non-logic person William Elliot (01/29/05)
    - Re: Help for non-logic person |-|erc (01/29/05)
- Re: Help for non-logic person Tron (01/28/05)
  - Re: Help for non-logic person Noah Roberts (01/29/05)
    - Re: Help for non-logic person Noah Roberts (01/29/05)
- Re: Help for non-logic person Peter Webb (01/28/05)
  - Re: Help for non-logic person Torkel Franzen (01/28/05)
  - Re: Help for non-logic person Noah Roberts (01/28/05)
- Re: Help for non-logic person George Cox (01/28/05)
  - Re: Help for non-logic person Noah Roberts (01/28/05)
- Re: Help for non-logic person Mike Oliver (01/28/05)
  - Re: Help for non-logic person Noah Roberts (01/28/05)
- Re: Help for non-logic person Dan Christensen (01/28/05)
  - Re: Help for non-logic person Noah Roberts (01/28/05)
    - Re: Help for non-logic person Dan Christensen (01/29/05)
- Re: Help for non-logic person |-|erc (01/29/05)
A Class of X3SAT Solvable in PolyTime Russell Easterly (01/28/05)
- Re: A Class of X3SAT Solvable in PolyTime Russell Easterly (01/30/05)
cantor argument blues ken quirici (01/27/05)
- Re: cantor argument blues ken quirici (01/27/05)
  - Re: cantor argument blues Will Twentyman (01/27/05)
- Re: cantor argument blues Jeffrey Ketland (01/27/05)
- Re: cantor argument blues ken quirici (01/27/05)
- Re: cantor argument blues Bill Smythe (01/27/05)
How far can you move the bar? The Ghost In The Machine (01/27/05)
- Re: How far can you move the bar? |-|erc (01/29/05)
  - Re: How far can you move the bar? The Ghost In The Machine (01/29/05)
    - Re: How far can you move the bar? |-|erc (01/29/05)
    - Re: How far can you move the bar? The Ghost In The Machine (01/29/05)
Re: An ordered pair with Sheffer's stroke? Stephan Lehmke (01/27/05)
higher-order logic alex goldman (01/27/05)
- Re: higher-order logic Jose Juan Mendoza Rodriguez (01/28/05)
  - Re: higher-order logic alex goldman (01/30/05)
    - Re: higher-order logic H. Enderton (01/30/05)
Re: TH� M�LTD�WN �F ._|ERC THE F*+xH�@D? Mr. 4X (01/27/05)
What's the logic inference ability Andy (01/26/05)
- Re: What's the logic inference ability Peter Webb (01/27/05)
  - Re: What's the logic inference ability Aatu Koskensilta (01/27/05)
    - Re: What's the logic inference ability Peter Webb (01/28/05)
- re: What's the logic inference ability Acme Diagnostics (01/28/05)
Does lim x->[value] imply a countable no. of (imagined) test values of 'x'? ken quirici (01/26/05)
- Re: Does lim x->[value] imply a countable no. of (imagined) test values of 'x'? George Cox (01/26/05)
- Re: Does lim x->[value] imply a countable no. of (imagined) test values of 'x'? Arthur Fischer (01/26/05)
- Re: Does lim x->[value] imply a countable no. of (imagined) test values of 'x'? Bill Smythe (01/26/05)
  - Re: Does lim x->[value] imply a countable no. of (imagined) test values of 'x'? ken quirici (01/27/05)
- Re: Does lim x->[value] imply a countable no. of (imagined) test values of 'x'? Robert Low (01/27/05)
  - Re: Does lim x->[value] imply a countable no. of (imagined) test values of 'x'? ken quirici (01/27/05)
OK say when, no chicken sh*t replies |-|erc (01/26/05)
- Re: OK say when, no chicken sh*t replies googleposter226_at_yahoo.com (01/26/05)
- Re: OK say when, no chicken sh*t replies bryant_j_j_at_yahoo.com (01/26/05)
- Re: OK say when, no chicken sh*t replies |-|erc (01/26/05)
  - Re: OK say when, no chicken sh*t replies bryant_j_j_at_yahoo.com (01/26/05)
    - Re: OK say when, no chicken sh*t replies Rushtown (01/26/05)
    - Re: OK say when, no chicken sh*t replies Ogie Ogelthorpe (01/27/05)
- Re: OK say when, no chicken sh*t replies Arthur Fischer (01/26/05)
  - Re: OK say when, no chicken sh*t replies |-|erc (01/26/05)
- Re: OK say when, no chicken sh*t replies valdez (01/26/05)
- Re: OK say when, no chicken sh*t replies The Ghost In The Machine (01/26/05)
  - Re: OK say when, no chicken sh*t replies |-|erc (01/27/05)
- Re: OK say when, no chicken sh*t replies Will Twentyman (01/27/05)
- Re: OK say when, no chicken sh*t replies george (01/27/05)
- Re: OK say when, no chicken sh*t replies korax1214_at_mailandnews.co.uk (01/27/05)
Cardinality is like psychology |-|erc (01/26/05)
- Re: Cardinality is like psychology valdez (01/26/05)
  - Re: Cardinality is like psychology |-|erc (01/26/05)
    - Re: Cardinality is like psychology valdez (01/26/05)
- Re: Cardinality is like psychology fishfry (01/26/05)
YOU IGNORAMUSES ACTUAL:LY BELIEVE THIS ? |-|erc (01/26/05)
- Re: YOU IGNORAMUSES ACTUAL:LY BELIEVE THIS ? valdez (01/26/05)
  - Re: YOU IGNORAMUSES ACTUAL:LY BELIEVE THIS ? |-|erc (01/26/05)
- Re: YOU IGNORAMUSES ACTUAL:LY BELIEVE THIS ? bryant_j_j_at_yahoo.com (01/26/05)
  - Re: YOU IGNORAMUSES ACTUAL:LY BELIEVE THIS ? |-|erc (01/26/05)
    - Re: YOU IGNORAMUSES ACTUAL:LY BELIEVE THIS ? bryant_j_j_at_yahoo.com (01/26/05)
- Re: YOU IGNORAMUSES ACTUAL:LY BELIEVE THIS ? The Ghost In The Machine (01/26/05)
  - Re: YOU IGNORAMUSES ACTUAL:LY BELIEVE THIS ? |-|erc (01/26/05)
THERE ARE oo DIGITS IN < 0 . 1 2 1 2 1.. > |-|erc (01/26/05)
- Re: THERE ARE oo DIGITS IN < 0 . 1 2 1 2 1.. > bobbysim_at_gmail.com (01/26/05)
  - Re: THERE ARE oo DIGITS IN < 0 . 1 2 1 2 1.. > |-|erc (01/26/05)
  - Re: THERE ARE oo DIGITS IN < 0 . 1 2 1 2 1.. > George Cox (01/26/05)
THERE ARE oo DIGITS IN < 0 . 1 2 1 2 1.. > ( THAT ARE < 10 ) |-|erc (01/26/05)
- Re: THERE ARE oo DIGITS IN < 0 . 1 2 1 2 1.. > ( THAT ARE < 10 ) valdez (01/26/05)
  - Re: THERE ARE oo DIGITS IN < 0 . 1 2 1 2 1.. > ( THAT ARE < 10 ) The Ghost In The Machine (01/26/05)
HOW MANY DIGITS ARE IN < 0 . 1 2 1 2 1 .. > ( THAT ARE LESS THAN 10 ) ? oo |-|erc (01/26/05)
- Re: HOW MANY DIGITS ARE IN < 0 . 1 2 1 2 1 .. > ( THAT ARE LESS THAN 10 ) ? oo valdez (01/26/05)
  - Re: HOW MANY DIGITS ARE IN < 0 . 1 2 1 2 1 .. > ( THAT ARE LESS THAN 10 ) ? oo |-|erc (01/26/05)
- Re: HOW MANY DIGITS ARE IN < 0 . 1 2 1 2 1 .. > ( THAT ARE LESS THAN 10 ) ? oo Will Twentyman (01/26/05)
  - Re: HOW MANY DIGITS ARE IN < 0 . 1 2 1 2 1 .. > ( THAT ARE LESS THAN 10 ) ? oo |-|erc (01/26/05)
- Re: HOW MANY DIGITS ARE IN < 0 . 1 2 1 2 1 .. > ( THAT ARE LESS THAN 10 ) ? oo George Cox (01/26/05)
  - Re: HOW MANY DIGITS ARE IN < 0 . 1 2 1 2 1 .. > ( THAT ARE LESS THAN 10 ) ? oo |-|erc (01/26/05)
Final Call for Tutorials/Workshops for KI 2005 Jan Murray (01/25/05)
THERE ARE oo NUMBERS IN N |-|erc (01/25/05)
- Re: THERE ARE oo NUMBERS IN N george (01/26/05)
  - Re: THERE ARE oo NUMBERS IN N |-|erc (01/26/05)
THERE ARE oo NUMBERS IN < 1 2 3 4 5 .. > |-|erc (01/25/05)
THERE ARE oo DIGITS IN < 0 . 1 2 1 2 .. > |-|erc (01/25/05)
- Re: THERE ARE oo DIGITS IN < 0 . 1 2 1 2 .. > Poly-Poly Man (01/25/05)
recursiveness of higher order recurrence relations Snis Pilbor (01/24/05)
- Re: recursiveness of higher order recurrence relations H. Enderton (01/24/05)
Can we have Second Order Logic expressibility in FOL? Leonid Portnoy (01/23/05)
- Re: Can we have Second Order Logic expressibility in FOL? Torkel Franzen (01/23/05)
  - Re: Can we have Second Order Logic expressibility in FOL? Leonid Portnoy (01/24/05)
- Re: Can we have Second Order Logic expressibility in FOL? David C. Ullrich (01/23/05)
- Re: Can we have Second Order Logic expressibility in FOL? George Cox (01/23/05)
- Re: Can we have Second Order Logic expressibility in FOL? Pierre Asselin (01/23/05)
  - Re: Can we have Second Order Logic expressibility in FOL? Leonid Portnoy (01/24/05)
    - Re: Can we have Second Order Logic expressibility in FOL? Pierre Asselin (01/25/05)
Help on theorem proving in prolog mindgames (01/23/05)
- Re: Help on theorem proving in prolog |-|erc (01/24/05)
Problems and Solutions Nico (01/23/05)
Re: A Manual of Practical Reason Acme Diagnostics (01/23/05)
- Re: A Manual of Practical Reason Torkel Franzen (01/23/05)
  - Re: A Manual of Practical Reason Acme Diagnostics (01/23/05)
- Re: A Manual of Practical Reason poopdeville_at_gmail.com (01/24/05)
  - Re: A Manual of Practical Reason Acme Diagnostics (01/24/05)
- Re: A Manual of Practical Reason Acme Diagnostics (01/25/05)
An interesting page on neo-scholasticism examachine_at_gmail.com (01/23/05)
- Re: An interesting page on neo-scholasticism examachine_at_gmail.com (01/24/05)
The Origin of The Universe / S D Rodrian SDR (01/23/05)
- Re: The Origin of The Universe / S D Rodrian N:dlzc D:aol T:com \(dlzc\) (01/23/05)
The Origin of The Universe / S D Rodrian SDR (01/22/05)
- Re: The Origin of The Universe / S D Rodrian N:dlzc D:aol T:com \(dlzc\) (01/22/05)
- Re: The Origin of The Universe / S D Rodrian Bill Hobba (01/23/05)
Re: OT: An interesting snippet about proof of God's Existence. Christopher A. Lee (01/22/05)
- Re: OT: An interesting snippet about proof of God's Existence. Daniel T. (01/23/05)
- Re: OT: An interesting snippet about proof of God's Existence. Gerard van Wilgen (01/23/05)
- Re: OT: An interesting snippet about proof of God's Existence. robpar (01/23/05)
- Re: OT: An interesting snippet about proof of God's Existence. Dubh Ghall (01/23/05)
  - Re: OT: An interesting snippet about proof of God's Existence. Pastor Frank (01/25/05)
- Re: OT: An interesting snippet about proof of God's Existence. Esther Medina (01/24/05)
  - Re: OT: An interesting snippet about proof of God's Existence. Christopher A. Lee (01/24/05)
    - Re: OT: An interesting snippet about proof of God's Existence. Dubh Ghall (01/24/05)
- Re: OT: An interesting snippet about proof of God's Existence. prabbit1_at_shamrocksgf.com (01/24/05)
  - Re: OT: An interesting snippet about proof of God's Existence. Dubh Ghall (01/24/05)
- Re: OT: An interesting snippet about proof of God's Existence. prabbit1_at_shamrocksgf.com (01/24/05)
The Origin of The Universe / S D Rodrian SDR (01/22/05)
The Origin of The Universe / S D Rodrian SDR (01/22/05)
- Re: The Origin of The Universe / S D Rodrian N:dlzc D:aol T:com \(dlzc\) (01/22/05)
Morality, Ethics, Law, and the Unmarked Intersection RFHall (01/22/05)
- Re: Morality, Ethics, Law, and the Unmarked Intersection Albert (01/22/05)
  - Re: Morality, Ethics, Law, and the Unmarked Intersection Don (01/22/05)
  - Re: Morality, Ethics, Law, and the Unmarked Intersection RFHall (01/23/05)
Why we cannot compute omega |-|erc (01/22/05)
- Re: Why we cannot compute omega examachine_at_gmail.com (01/24/05)
  - Re: Why we cannot compute omega |-|erc (01/24/05)
- Re: Why we cannot compute omega rupertmccallum_at_yahoo.com (01/24/05)
  - Re: Why we cannot compute omega |-|erc (01/24/05)
- Re: Why we cannot compute omega |-|erc (01/24/05)
- Re: Why we cannot compute omega Will Twentyman (01/24/05)
  - Re: Why we cannot compute omega |-|erc (01/25/05)
- Re: Why we cannot compute omega Charlie-Boo (01/24/05)
  - Re: Why we cannot compute omega |-|erc (01/25/05)
- Re: Why we cannot compute omega Barb Knox (01/27/05)
  - Re: Why we cannot compute omega r.e.s. (01/27/05)
  - Re: Why we cannot compute omega |-|erc (01/27/05)
    - Re: Why we cannot compute omega Barb Knox (01/27/05)
    - Re: Why we cannot compute omega |-|erc (01/29/05)
Re: The Origin of The Universe / S D Rodrian N:dlzc D:aol T:com \(dlzc\) (01/22/05)
- Re: The Origin of The Universe / S D Rodrian Bill Hobba (01/22/05)
  - Re: The Origin of The Universe / S D Rodrian Ken S. Tucker (01/22/05)
- Re: The Origin of The Universe / S D Rodrian N:dlzc D:aol T:com \(dlzc\) (01/22/05)
  - Re: The Origin of The Universe / S D Rodrian DavidBowman (01/22/05)
E = wLF Derived By Modified Quantum Logic OsherD (01/22/05)
- Re: E = wLF Derived By Modified Quantum Logic OsherD (01/22/05)
  - Re: E = wLF Derived By Modified Quantum Logic OsherD (01/22/05)
- Re: E = wLF Derived By Modified Quantum Logic David C. Ullrich (01/25/05)
  - Re: E = wLF Derived By Modified Quantum Logic OsherD (01/25/05)
Re: Metaphysics of Potential Infinity Mitch Harris (01/21/05)
- Re: Metaphysics of Potential Infinity exanews_at_gmail.com (01/21/05)
  - Re: Metaphysics of Potential Infinity Robert Kolker (01/21/05)
  - Re: Metaphysics of Potential Infinity Mitch Harris (01/24/05)
    - Re: Metaphysics of Potential Infinity examachine_at_gmail.com (01/25/05)
    - Re: Metaphysics of Potential Infinity poopdeville_at_gmail.com (01/26/05)
- Re: Metaphysics of Potential Infinity george (01/22/05)
- Re: Metaphysics of Potential Infinity examachine_at_gmail.com (01/25/05)
- Re: Metaphysics of Potential Infinity examachine_at_gmail.com (01/25/05)
- Re: Metaphysics of Potential Infinity examachine_at_gmail.com (01/25/05)
  - Re: Metaphysics of Potential Infinity Mitch Harris (01/26/05)
    - Re: Metaphysics of Potential Infinity examachine_at_gmail.com (01/26/05)
    - Re: Metaphysics of Potential Infinity Mitch Harris (01/27/05)
How far can you move the bar MONOSPACED |-|erc (01/21/05)
- Re: How far can you move the bar MONOSPACED Will Twentyman (01/24/05)
  - Re: How far can you move the bar MONOSPACED |-|erc (01/25/05)
How FAR can I move the BAR |-|erc (01/21/05)
Define : X is_on_the_list L to Y many_digits |-|erc (01/21/05)
WELL WHICH IS IT... ? |-|erc (01/21/05)
- Re: WELL WHICH IS IT... ? rupertmccallum_at_yahoo.com (01/21/05)
  - Re: WELL WHICH IS IT... ? |-|erc (01/21/05)
- Re: WELL WHICH IS IT... ? Will Twentyman (01/21/05)
  - Re: WELL WHICH IS IT... ? |-|erc (01/21/05)
  - Re: WELL WHICH IS IT... ? The Ghost In The Machine (01/21/05)
- Re: WELL WHICH IS IT... ? george (01/21/05)
  - Re: WELL WHICH IS IT... ? |-|erc (01/21/05)
Logic question about theorum #40 proof solaristraining_at_hotmail.com (01/20/05)
- Re: Logic question about theorum #40 proof Torkel Franzen (01/20/05)
  - Re: Logic question about theorum #40 proof Lee Rudolph (01/20/05)
  - Re: Logic question about theorem #40 proof G. Frege (01/20/05)
- Re: Logic question about theorem #40 proof G. Frege (01/20/05)
  - Re: Logic question about theorem #40 proof William Elliot (01/21/05)
  - Re: Logic question about theorem #40 proof solaristraining_at_hotmail.com (01/21/05)
- Re: Logic question about theorum #40 proof Bill Blake (01/23/05)
  - Re: Logic question about theorum #40 proof Torkel Franzen (01/23/05)
    - Re: Logic question about theorum #40 proof Bill Blake (01/23/05)
    - Re: Logic question about theorum #40 proof Torkel Franzen (01/23/05)
  - Re: Logic question about theorum #40 proof G. Frege (01/23/05)
HERC 97 SCI.MATH 0 |-|erc (01/20/05)
- Re: HERC 97 SCI.MATH 0 The Ghost In The Machine (01/20/05)
- Re: HERC 97 SCI.MATH 0 ken quirici (01/20/05)
- Re: HERC 97 SCI.MATH 0 Will Twentyman (01/20/05)
  - Re: HERC 97 SCI.MATH 0 |-|erc (01/21/05)
    - Re: HERC 97 SCI.MATH 0 Will Twentyman (01/21/05)
- Re: HERC 97 SCI.MATH 0 george (01/21/05)
  - Re: HERC 97 SCI.MATH 0 |-|erc (01/21/05)
******* TRY THESE SCI.MATH ********** |-|erc (01/20/05)
- Re: ******* TRY THESE SCI.MATH ********** rupertmccallum_at_yahoo.com (01/20/05)
  - Re: ******* TRY THESE SCI.MATH ********** |-|erc (01/20/05)
  - Re: ******* TRY THESE SCI.MATH ********** |-|erc (01/26/05)
- Re: ******* TRY THESE SCI.MATH ********** Lasse (01/20/05)
  - Re: ******* TRY THESE SCI.MATH ********** |-|erc (01/20/05)
- Re: ******* TRY THESE SCI.MATH ********** Jesse F. Hughes (01/20/05)
  - Re: ******* TRY THESE SCI.MATH ********** |-|erc (01/20/05)
    - Re: ******* TRY THESE SCI.MATH ********** timm_at_amsta.leeds.ac.uk (01/20/05)
    - Re: ******* TRY THESE SCI.MATH ********** Jesse F. Hughes (01/20/05)
- Re: ******* TRY THESE SCI.MATH ********** The Ghost In The Machine (01/20/05)
- Re: ******* TRY THESE SCI.MATH ********** Will Twentyman (01/20/05)
- Re: ******* TRY THESE SCI.MATH ********** george (01/21/05)
  - Re: ******* TRY THESE SCI.MATH ********** |-|erc (01/21/05)
Re: Prisoners bullied into becoming Jehovah's Witnesses Jabriol_at_excite.com (01/20/05)
- Re: Prisoners bullied into becoming Jehovah's Witnesses OOooOO (01/20/05)
Re: Preaching To The Converted caesarjbsquitti (01/20/05)
- Re: Preaching To The Converted Albert (01/20/05)
- Re: Preaching To The Converted Milan (01/20/05)
  - Re: Preaching To The Converted caesarjbsquitti (01/20/05)
    - Re: Preaching To The Converted Milan (01/21/05)
Jesus Christ , Light and Truth. caesarjbsquitti (01/20/05)
Logic colloquium! |-|erc (01/20/05)
"A random real number will be on a computables list to an infinite number of digits" |-|erc (01/20/05)
- Re: "A random real number will be on a computables list to an infinite number of digits" George Cox (01/20/05)
  - Re: "A random real number will be on a computables list to an infinite number of digits" |-|erc (01/20/05)
  - Re: "A random real number will be on a computables list to an infinite number of digits" The Ghost In The Machine (01/20/05)
- Re: "A random real number will be on a computables list to an infinite number of digits" george (01/20/05)
  - Re: "A random real number will be on a computables list to an infinite number of digits" |-|erc (01/20/05)
- Re: "A random real number will be on a computables list to an infinite number of digits" The Ghost In The Machine (01/20/05)
- Re: "A random real number will be on a computables list to an infinite number of digits" Will Twentyman (01/20/05)
Re: VVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVV�VVVVVVVV David Ames (01/20/05)
- Re: VVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVV�VVVVVVVV |-|erc (01/20/05)
test message sci.logic Hormel Trappitus (01/20/05)
easiest way to solve Iran and North Korea nuclear threat; M.A.D. Fleet Archimedes Plutonium (01/19/05)
- Re: easiest way to solve Iran and North Korea nuclear threat; M.A.D. Fleet George Cox (01/19/05)
  - Re: easiest way to solve Iran and North Korea nuclear threat; M.A.D. Fleet Archimedes Plutonium (01/20/05)
  - Re: easiest way to solve Iran and North Korea nuclear threat; M.A.D. Fleet coranto_at_hotmail.com (01/20/05)
Re: VVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVV VVVVVVVV bryant_j_j_at_yahoo.com (01/19/05)
- Re: VVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVV VVVVVVVV bryant_j_j_at_yahoo.com (01/19/05)
I HEARBY CLAIM THE SYMBOL oo TO REFER TO UNCOUNTABLE INFINITY |-|erc (01/19/05)
- Re: I HEARBY CLAIM THE SYMBOL oo TO REFER TO UNCOUNTABLE INFINITY bryant_j_j_at_yahoo.com (01/19/05)
  - Re: I HEARBY CLAIM THE SYMBOL oo TO REFER TO UNCOUNTABLE INFINITY |-|erc (01/19/05)
- Re: I HEARBY CLAIM THE SYMBOL oo TO REFER TO UNCOUNTABLE INFINITY Will Twentyman (01/19/05)
- Re: I HEARBY CLAIM THE SYMBOL oo TO REFER TO UNCOUNTABLE INFINITY Termite of Tempation (01/19/05)
  - Re: I HEARBY CLAIM THE SYMBOL oo TO REFER TO UNCOUNTABLE INFINITY |-|erc (01/20/05)
How many flips of DIAG are on the infintie list of infinite con flippers ? |-|erc (01/19/05)
- Re: How many flips of DIAG are on the infintie list of infinite con flippers ? rupertmccallum_at_yahoo.com (01/19/05)
  - Re: How many flips of DIAG are on the infintie list of infinite con flippers ? |-|erc (01/19/05)
  - Re: How many flips of DIAG are on the infintie list of infinite con flippers ? The Ghost In The Machine (01/19/05)
- Re: How many flips of DIAG are on the infintie list of infinite con flippers ? george (01/20/05)
  - Re: How many flips of DIAG are on the infintie list of infinite con flippers ? |-|erc (01/20/05)
How many flips of DIAG are on the infintie list of infinite con flippers? |-|erc (01/19/05)
- Nuisance by |-|erc who has flipped out: Re: How many flips of DIAG are on the infintie list of infinite con flippers? bryant_j_j_at_yahoo.com (01/19/05)
  - Re: How many flips of DIAG are on the infintie list of infinite con flippers? |-|erc (01/19/05)
- Re: How many flips of DIAG are on the infintie list of infinite con flippers? Will Twentyman (01/19/05)
- Re: How many flips of DIAG are on the infintie list of infinite con flippers? Termite of Tempation (01/19/05)
  - Re: How many flips of DIAG are on the infintie list of infinite con flippers? |-|erc (01/20/05)
LOGIC may prove God exists ? caesarjbsquitti (01/19/05)
Tsunami and the SEGNPMSS Barbara Schwarz (01/18/05)
- Re: Tsunami and the SEGNPMSS hephaestus_at_phreaker.net (01/18/05)
- Re: Tsunami and the SEGNPMSS Barb Knox (01/18/05)
- Re: Tsunami and the SEGNPMSS Lady Chatterly (01/18/05)
  - Re: Tsunami and the SEGNPMSS Barbara Schwarz (01/19/05)
    - Re: Tsunami and the SEGNPMSS Lady Chatterly (01/19/05)
- Re: Tsunami and the SEGNPMSS George Cox (01/18/05)
  - Re: Tsunami and the SEGNPMSS The Shadow (01/18/05)
    - Re: Tsunami and the SEGNPMSS Barbara Schwarz (01/19/05)
  - Re: Tsunami and the SEGNPMSS Barbara Schwarz (01/19/05)
axiomatic vs. non-axiomatic (beginner's Q) question2dae_at_yahoo.com (01/18/05)
- Re: axiomatic vs. non-axiomatic (beginner's Q) lthral19_at_netscape.net (01/19/05)
  - Re: axiomatic vs. non-axiomatic (beginner's Q) question2dae_at_yahoo.com (01/20/05)
- Re: axiomatic vs. non-axiomatic (beginner's Q) George Cox (01/25/05)
  - Re: axiomatic vs. non-axiomatic (beginner's Q) George Cox (01/25/05)
- Re: axiomatic vs. non-axiomatic (beginner's Q) Pei Wang (01/25/05)
Psych oriented and overpaid Dave Touretzky covering up his tracks? Barbara Schwarz (01/18/05)
- Re: Psych oriented and overpaid Dave Touretzky covering up his tracks? Lady Chatterly (01/18/05)
article on schools of foundations of mathematics Mitch Harris (01/18/05)
- Re: article on schools of foundations of mathematics G. A. Edgar (01/18/05)
- Re: article on schools of foundations of mathematics bernard mass� (01/18/05)
  - Re: article on schools of foundations of mathematics Mitch Harris (01/18/05)
  - Re: article on schools of foundations of mathematics William Elliot (01/19/05)
*** The string is on_the_list TO_INFINITE_DIGITS is NOT incomprehensible *** |-|erc (01/18/05)
- Re: *** The string is on_the_list TO_INFINITE_DIGITS is NOT incomprehensible *** John Savard (01/18/05)
  - Re: *** The string is on_the_list TO_INFINITE_DIGITS is NOT incomprehensible *** Mike Oliver (01/18/05)
- Re: *** The string is on_the_list TO_INFINITE_DIGITS is NOT incomprehensible *** Prai Jei (01/18/05)
for thought is a bird of space |-|erc (01/18/05)
- Re: for thought is a bird of space George Cox (01/18/05)
  - Re: for thought is a bird of space Torkel Franzen (01/19/05)
    - Re: for thought is a bird of space |-|erc (01/19/05)
Interesting result using Cantor's diagonalisation method acachada_at_yahoo.com (01/17/05)
- Re: Interesting result using Cantor's diagonalisation method Tim Peters (01/17/05)
- Re: Interesting result using Cantor's diagonalisation method |-|erc (01/18/05)
existence/uniqueness proofs (math and logic) futurist (01/17/05)
- Re: existence/uniqueness proofs (math and logic) lthral19_at_netscape.net (01/19/05)
  - Re: existence/uniqueness proofs (math and logic) futurist (01/19/05)
" YOU CAN'T PROVE ME ! " |-|erc (01/17/05)
- Re: " YOU CAN'T PROVE ME ! " tomekwp_at_wp.pl (01/17/05)
True = [ proven | provable ] |-|erc (01/17/05)
- Re: True = [ proven | provable ] Ogie Ogelthorpe (01/17/05)
  - Re: True = [ proven | provable ] |-|erc (01/17/05)
    - Re: True = [ proven | provable ] Ogie Ogelthorpe (01/17/05)
  - Re: True = [ proven | provable ] David McAnally (01/17/05)
- Re: True = [ proven | provable ] Lars Kecke (01/17/05)
  - Re: True = [ proven | provable ] |-|erc (01/17/05)
- Re: True = [ proven | provable ] John Savard (01/17/05)
- Re: True = [ proven | provable ] George Cox (01/17/05)
  - Re: True = [ proven | provable ] |-|erc (01/18/05)
- Re: True = [ proven | provable ] LordBeotian (01/18/05)
  - Re: True = [ proven | provable ] |-|erc (01/18/05)
- Re: True = [ proven | provable ] examachine_at_gmail.com (01/19/05)
- Re: True = [ proven | provable ] LordBeotian (01/19/05)
  - Re: True = [ proven | provable ] |-|erc (01/20/05)
- Re: True = [ proven | provable ] LordBeotian (01/24/05)
  - Re: True = [ proven | provable ] |-|erc (01/24/05)
    - Re: True = [ proven | provable ] LordBeotian (01/24/05)
    - Re: True = [ proven | provable ] |-|erc (01/24/05)
Default Logic question Dimitri (01/17/05)
Its HOW MANY TIME again sci.matht ! |-|erc (01/17/05)
- Re: Its HOW MANY TIME again sci.matht ! bryant_j_j_at_yahoo.com (01/17/05)
  - Re: Its HOW MANY TIME again sci.matht ! |-|erc (01/17/05)
    - Re: Its HOW MANY TIME again sci.matht ! John Savard (01/17/05)
  - Re: Its HOW MANY TIME again sci.matht ! |-|erc (01/17/05)
    - Re: Its HOW MANY TIME again sci.matht ! The Ghost In The Machine (01/17/05)
- Re: Its HOW MANY TIME again sci.matht ! George Cox (01/17/05)
  - Re: Its HOW MANY TIME again sci.matht ! |-|erc (01/17/05)
Intro to logic Bozza (01/16/05)
- Re: Intro to logic Paul Holbach (01/16/05)
  - Re: Intro to logic George Cox (01/18/05)
- Re: Intro to logic |-|erc (01/18/05)
- Re: Intro to logic Dan Christensen (01/18/05)
In case you studied the GOTO theoretical language... THE SWARM MASTER (01/16/05)
- Re: In case you studied the GOTO theoretical language... David Moews (01/18/05)
computation and cardinality ken quirici (01/16/05)
- Re: computation and cardinality William Elliot (01/16/05)
- Re: computation and cardinality George Cox (01/16/05)
CfP: International Conference on Computational Intelligence and Multimedia Appli henryselvaraj_at_yahoo.com (01/16/05)
def'n of variable sable (01/15/05)
- Re: def'n of variable George Cox (01/15/05)
- Re: def'n of variable Jeffrey Ketland (01/16/05)
- Re: def'n of variable Owen (01/16/05)
- Re: def'n of variable H. Enderton (01/16/05)
- Re: def'n of variable |-|erc (01/18/05)
  - Re: def'n of variable |-|erc (01/18/05)
  - Re: def'n of variable futurist (01/18/05)
Re: Jaclk Nicholson inspiration for Godel |-|erc (01/15/05)
Re: usenet kooks and a crank scale |-|erc (01/15/05)
- Re: usenet kooks and a crank scale Aatu Koskensilta (01/15/05)
  - Re: usenet kooks and a crank scale Aatu Koskensilta (01/15/05)
Closer and closer you move to the Cantorian cliff |-|erc (01/15/05)
- Re: Closer and closer you move to the Cantorian cliff tinyurl.com/uh3t (01/16/05)
- Re: Closer and closer you move to the Cantorian cliff george (01/16/05)
  - Re: Closer and closer you move to the Cantorian cliff |-|erc (01/16/05)
  - Re: Closer and closer you move to the Cantorian cliff Chris Menzel (01/16/05)
UCLA Logic Colloquium, Jan 21 H. Enderton (01/14/05)
Default Logic question Dimitri (01/14/05)
- Re: Default Logic question Herman Jurjus (01/17/05)
Multivariate Regression jason_burgoon_at_msn.com (01/14/05)
games and multiple quantifiers David Bernier (01/14/05)
- Re: games and multiple quantifiers Barb Knox (01/14/05)
  - Re: games and multiple quantifiers Timothy Little (01/14/05)
    - Re: games and multiple quantifiers David Bernier (01/15/05)
    - Re: games and multiple quantifiers LordBeotian (01/16/05)
- Re: games and multiple quantifiers |-|erc (01/15/05)
On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (01/14/05)
- Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity |-|erc (01/14/05)
- Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity John Savard (01/14/05)
  - Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (01/14/05)
- Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity John Savard (01/14/05)
  - Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (01/14/05)
- Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Piotr Sawuk (01/18/05)
  - Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (01/18/05)
- Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (01/18/05)
- Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (01/18/05)
  - Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Barb Knox (01/18/05)
  - Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity ken quirici (01/21/05)
- Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (01/19/05)
- Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (01/19/05)
  - Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity ken quirici (01/19/05)
- Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (01/19/05)
- Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (01/21/05)
  - Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity H. Enderton (01/21/05)
- Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (01/21/05)
- Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (01/23/05)
  - Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity George Cox (01/23/05)
- Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (01/23/05)
- Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (01/24/05)
  - Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity George Cox (01/24/05)
- Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (01/25/05)
- Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (01/25/05)
- Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (01/25/05)
- Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (01/26/05)
  - Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity George Cox (01/26/05)
    - Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (01/27/05)
- Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (01/28/05)
- Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (01/29/05)
- Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (01/30/05)
- Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (01/30/05)
SCRATCH SCRATCH WHY YOU ALL HATE ME NOW? |-|erc (01/14/05)
- Re: SCRATCH SCRATCH WHY YOU ALL HATE ME NOW? poopdeville_at_gmail.com (01/14/05)
  - Re: SCRATCH SCRATCH WHY YOU ALL HATE ME NOW? |-|erc (01/14/05)
Re: Cranks was Re: There are uncountably many irrationals Barb Knox (01/14/05)
HOW MANY DIGITS (decimal places)...... |-|erc (01/14/05)
- Re: HOW MANY DIGITS (decimal places)...... David Bernier (01/14/05)
- Re: HOW MANY DIGITS (decimal places)...... The Ghost In The Machine (01/14/05)
Representationalism (to symbolically present) Immortalist (01/13/05)
- Re: Representationalism (to symbolically present) John Jones (01/13/05)
  - Re: Representationalism (to symbolically present) examachine_at_gmail.com (01/13/05)
- Re: Representationalism (to symbolically present) mimo_545_at_hotmail.com (01/14/05)
  - Re: Representationalism (to symbolically present) Immortalist (01/14/05)
    - Re: Representationalism (to symbolically present) Albert (01/15/05)
    - Re: Representationalism (to symbolically present) Raving Loonie (01/29/05)
Metatopic: newsgroups vs. blogs Mitch Harris (01/13/05)
- Re: Metatopic: newsgroups vs. blogs |-|erc (01/13/05)
Large cardinal property Aatu Koskensilta (01/13/05)
You pedantic ignoramuses |-|erc (01/13/05)
- Re: You pedantic ignoramuses The Ghost In The Machine (01/13/05)
  - Re: You pedantic ignoramuses |-|erc (01/14/05)
- Re: You pedantic ignoramuses george (01/16/05)
  - Re: You pedantic ignoramuses |-|erc (01/16/05)
Results 1 - 10 of about 24,400 for "digits of pi" |-|erc (01/13/05)
================================================================== |-|erc (01/13/05)
- Re: ============================================================ ====== bryant_j_j_at_yahoo.com (01/13/05)
  - Re: ============================================================ ====== |-|erc (01/13/05)
How many digits of an arbitrary sequence have that digit, and every preceding digit up to that digit |-|erc (01/13/05)
- Re: How many digits of an arbitrary sequence have that digit, and every preceding digit up to that digit bryant_j_j_at_yahoo.com (01/13/05)
- Re: How many digits of an arbitrary sequence have that digit, and every preceding digit up to that digit |-|erc (01/13/05)
occur in order in the right spot on (a member of) the computable list? |-|erc (01/13/05)
- Re: occur in order in the right spot on (a member of) the computable list? bryant_j_j_at_yahoo.com (01/13/05)
- Re: occur in order in the right spot on (a member of) the computable list? george (01/13/05)
  - Re: occur in order in the right spot on (a member of) the computable list? |-|erc (01/13/05)
======================================================================== |-|erc (01/13/05)
- Re: ======================================================================== bryant_j_j_at_yahoo.com (01/13/05)
Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals |-|erc (01/13/05)
- Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals bryant_j_j_at_yahoo.com (01/13/05)
  - Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals |-|erc (01/13/05)
The hyper-infinity believers friendly question |-|erc (01/12/05)
- Re: The hyper-infinity believers friendly question Termite of Tempation (01/12/05)
- Re: The hyper-infinity believers friendly question george (01/12/05)
- Re: The hyper-infinity believers friendly question Will Twentyman (01/12/05)
- Re: The hyper-infinity believers friendly question george (01/12/05)
  - Re: The hyper-infinity believers friendly question |-|erc (01/13/05)
Re: and who made god? caesarjbsquitti (01/12/05)
- Re: and who made god? formerly known as 'cat arranger' (01/12/05)
  - Re: and who made god? Zero (01/12/05)
    - Re: and who made god? |-|erc (01/12/05)
- Re: and who made god? Chris Degnen (01/12/05)
- Re: and who made god? The Ghost In The Machine (01/12/05)
  - Re: and who made god? Albert (01/12/05)
    - Re: and who made god? |-|erc (01/13/05)
- Re: and who made god? Bernardz (01/13/05)
  - Re: and who made god? Barb Knox (01/13/05)
    - Re: and who made god? |-|erc (01/13/05)
    - Re: and who made god? bernardz (01/14/05)
  - Re: and who made god? lightbulb (01/14/05)
The HTLM Worm ! Half-truth virus corrupts human logic ! caesarjbsquitti (01/12/05)
Re: proving demorgan in a limited ND G. Frege (01/11/05)
- Re: proving demorgan in a limited ND ken quirici (01/11/05)
- Re: proving demorgan in a limited ND G.Frege (01/11/05)
Re: Uncountability of reals was Re: countability of reals |-|erc (01/11/05)
Re: Uncountability of reals Re: countability of reals |-|erc (01/11/05)
How many numbers in N have property is_positive? |-|erc (01/11/05)
- Re: How many numbers in N have property is_positive? Termite of Tempation (01/11/05)
  - Re: How many numbers in N have property is_positive? george (01/12/05)
- Re: How many numbers in N have property is_positive? Will Twentyman (01/11/05)
new defn for number |-|erc (01/11/05)
HOW MANY DIGITS OF PI HAVE PROPERTY X ? |-|erc (01/11/05)
- Re: HOW MANY DIGITS OF PI HAVE PROPERTY X ? Will Twentyman (01/11/05)
  - Re: HOW MANY DIGITS OF PI HAVE PROPERTY X ? |-|erc (01/12/05)
    - Re: HOW MANY DIGITS OF PI HAVE PROPERTY X ? The Ghost In The Machine (01/12/05)
    - Re: HOW MANY DIGITS OF PI HAVE PROPERTY X ? Will Twentyman (01/12/05)
- Re: HOW MANY DIGITS OF PI HAVE PROPERTY X ? george (01/12/05)
  - Re: HOW MANY DIGITS OF PI HAVE PROPERTY X ? |-|erc (01/13/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Ed Murphy (01/11/05)
- Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? |-|erc (01/11/05)
- Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? george (01/12/05)
object quantifiers |-|erc (01/11/05)
- Re: object quantifiers |-|erc (01/11/05)
In case you studied the GOTO theoretical language... THE SWARM MASTER (01/10/05)
- Re: In case you studied the GOTO theoretical language... ken quirici (01/11/05)
  - Re: In case you studied the GOTO theoretical language... Kenneth Doyle (01/11/05)
just 5 quick answers then I can summarise and GO |-|erc (01/10/05)
- Re: just 5 quick answers then I can summarise and GO John Savard (01/10/05)
  - Re: just 5 quick answers then I can summarise and GO george (01/10/05)
  - Re: just 5 quick answers then I can summarise and GO |-|erc (01/11/05)
- Re: just 5 quick answers then I can summarise and GO Termite of Tempation (01/11/05)
  - Re: just 5 quick answers then I can summarise and GO |-|erc (01/11/05)
    - Re: just 5 quick answers then I can summarise and GO Termite of Tempation (01/11/05)
- Re: just 5 quick answers then I can summarise and GO David Bernier (01/11/05)
  - Re: just 5 quick answers then I can summarise and GO |-|erc (01/11/05)
- Re: just 5 quick answers then I can summarise and GO Will Twentyman (01/11/05)
  - Re: just 5 quick answers then I can summarise and GO |-|erc (01/12/05)
- Re: just 5 quick answers then I can summarise and GO poopdeville_at_gmail.com (01/11/05)
  - Re: just 5 quick answers then I can summarise and GO ken quirici (01/11/05)
    - Re: just 5 quick answers then I can summarise and GO Dave Seaman (01/12/05)
Re: C'mon, have a go or ther'll be no bonus question |-|erc (01/10/05)
- Yet Another Proof Of The Undecidability of HALT(M,I) The Ghost In The Machine (01/11/05)
TOO FUCKING GUTLESS TO ANSWER oo |-|erc (01/10/05)
- Re: TOO FUCKING GUTLESS TO ANSWER oo Kenneth Doyle (01/10/05)
  - Re: TOO FUCKING GUTLESS TO ANSWER oo poopdeville_at_gmail.com (01/11/05)
STOP AVOIDING THE SIMPLE QUESTIONS |-|erc (01/10/05)
ANSWER THE FCKING QUESTION GHOST |-|erc (01/10/05)
- Re: ANSWER THE FCKING QUESTION GHOST Matt Gutting (01/10/05)
- Re: ANSWER THE FCKING QUESTION GHOST John Savard (01/10/05)
- Re: ANSWER THE FCKING QUESTION GHOST Will Twentyman (01/10/05)
  - Re: ANSWER THE FCKING QUESTION GHOST |-|erc (01/11/05)
- Re: ANSWER THE FCKING QUESTION GHOST The Ghost In The Machine (01/11/05)
  - Re: ANSWER THE FCKING QUESTION GHOST |-|erc (01/11/05)
- Re: ANSWER THE FCKING QUESTION GHOST Termite of Tempation (01/11/05)
- Re: ANSWER THE FCKING QUESTION GHOST bryant_j_j_at_yahoo.com (01/13/05)
Re: TIME STARTS NOW |-|erc (01/10/05)
- Re: TIME STARTS NOW The Ghost In The Machine (01/10/05)
  - Re: TIME STARTS NOW Barb Knox (01/10/05)
  - Re: TIME STARTS NOW |-|erc (01/10/05)
- Re: TIME STARTS NOW Rick Decker (01/10/05)
- Re: TIME STARTS NOW Rick Decker (01/11/05)
Cantorian Test |-|erc (01/10/05)
- Re: Cantorian Test george (01/10/05)
  - Re: Cantorian Test |-|erc (01/10/05)
    - Re: Cantorian Test george (01/12/05)
    - Re: Cantorian Test |-|erc (01/13/05)
- Re: Cantorian Test |-|erc (01/11/05)
  - Re: Cantorian Test george (01/12/05)
    - Re: Cantorian Test |-|erc (01/13/05)
Is MTP intuitionistically valid? Barb Knox (01/09/05)
- Re: Is MTP intuitionistically valid? Torkel Franzen (01/09/05)
- Re: Is MTP intuitionistically valid? G. Frege (01/09/05)
Re: If Immortalist (01/09/05)
- Re: If Albert (01/09/05)
- Re: If zerkanX (01/10/05)
  - Re: If Immortalist (01/10/05)
    - Re: If zerkanX (01/12/05)
A Guide for the Perplexed? Tron (01/09/05)
- Re: A Guide for the Perplexed? |-|erc (01/10/05)
- Re: A Guide for the Perplexed? ken quirici (01/10/05)
- re: A Guide for the Perplexed? Acme Diagnostics (01/10/05)
  - Re: A Guide for the Perplexed? Tron (01/10/05)
    - Re: A Guide for the Perplexed? Acme Diagnostics (01/10/05)
- Re: A Guide for the Perplexed? R-matrix (01/10/05)
  - Re: A Guide for the Perplexed? |-|erc (01/11/05)
In case you studied the GOTO theoretical language... THE SWARM MASTER (01/09/05)
- Re: In case you studied the GOTO theoretical language... |-|erc (01/10/05)
  - Re: In case you studied the GOTO theoretical language... |-|erc (01/10/05)
- Re: In case you studied the GOTO theoretical language... David Moews (01/11/05)
- Re: In case you studied the GOTO theoretical language... H. J. Sander Bruggink (01/11/05)
  - Re: In case you studied the GOTO theoretical language... |-|erc (01/11/05)
New phenonema is rare |-|erc (01/09/05)
- Re: New phenonema is rare George Cox (01/09/05)
  - Re: New phenonema is rare |-|erc (01/09/05)
MAYBE YOU WILL ANSWER A MULTI CHOICE ??? |-|erc (01/09/05)
- Re: MAYBE YOU WILL ANSWER A MULTI CHOICE ??? Barb Knox (01/09/05)
  - Re: MAYBE YOU WILL ANSWER A MULTI CHOICE ??? |-|erc (01/09/05)
  - Re: MAYBE YOU WILL ANSWER A MULTI CHOICE ??? |-|erc (01/09/05)
- Re: MAYBE YOU WILL ANSWER A MULTI CHOICE ??? John Savard (01/09/05)
  - Re: MAYBE YOU WILL ANSWER A MULTI CHOICE ??? |-|erc (01/10/05)
THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? |-|erc (01/09/05)
- Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Charlie-Boo (01/09/05)
  - Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Ajoy K Thamattoor (01/09/05)
    - Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Charlie-Boo (01/10/05)
    - Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Ajoy K Thamattoor (01/10/05)
- Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Aatu Koskensilta (01/09/05)
  - Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? examachine_at_gmail.com (01/09/05)
- Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? John Savard (01/09/05)
Re: What's wrong with my proof? G. Frege (01/08/05)
- Re: What's wrong with my proof? G. Frege (01/08/05)
  - Re: What's wrong with my proof? G. Frege (01/09/05)
    - Re: What's wrong with my proof? G. Frege (01/09/05)
    - Re: What's wrong with my proof? G. Frege (01/09/05)
- Re: What's wrong with my proof? G. Frege (01/09/05)
  - Re: What's wrong with my proof? G. Frege (01/09/05)
- Re: What's wrong with my proof? G. Frege (01/11/05)
Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? |-|erc (01/08/05)
- Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? George Cox (01/08/05)
  - Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Arthur J. O'Dwyer (01/08/05)
  - Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? |-|erc (01/09/05)
    - Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? George Cox (01/09/05)
    - Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? |-|erc (01/09/05)
- Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Barb Knox (01/08/05)
  - Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? |-|erc (01/09/05)
    - Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? George Cox (01/09/05)
  - Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Phil Carmody (01/09/05)
- Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? John Savard (01/09/05)
Hey CANTORIANS!! HOW MANY DIGITS? |-|erc (01/08/05)
- Re: Hey CANTORIANS!! HOW MANY DIGITS? George Cox (01/08/05)
  - Re: Hey CANTORIANS!! HOW MANY DIGITS? |-|erc (01/09/05)
- Re: Hey CANTORIANS!! HOW MANY DIGITS? The Ghost In The Machine (01/08/05)
  - Re: Hey CANTORIANS!! HOW MANY DIGITS? |-|erc (01/09/05)
    - Re: Hey CANTORIANS!! HOW MANY DIGITS? The Ghost In The Machine (01/09/05)
    - Re: Hey CANTORIANS!! HOW MANY DIGITS? |-|erc (01/09/05)
on any sequence over finite alphabet, 00 digits are computable |-|erc (01/08/05)
The Truman Show.....Broadway style...!! |-|erc (01/08/05)
- Re: The Truman Show.....Broadway style...!! Kath (01/08/05)
  - Re: The Truman Show.....Broadway style...!! |-|erc (01/08/05)
  - Re: The Truman Show.....Broadway style...!! Ms Leebee (01/08/05)
Difference between AN UNKNOWN and UNKNOWN |-|erc (01/08/05)
- Re: Difference between AN UNKNOWN and UNKNOWN examachine_at_gmail.com (01/08/05)
  - Re: Difference between AN UNKNOWN and UNKNOWN The Ghost In The Machine (01/08/05)
    - Re: Difference between AN UNKNOWN and UNKNOWN examachine_at_gmail.com (01/09/05)
- Re: Difference between AN UNKNOWN and UNKNOWN Will Twentyman (01/10/05)
  - Re: Difference between AN UNKNOWN and UNKNOWN |-|erc (01/11/05)
How many digits is pi computable to? |-|erc (01/08/05)
- Re: How many digits is pi computable to? Will Twentyman (01/10/05)
  - Re: How many digits is pi computable to? |-|erc (01/11/05)
    - Re: How many digits is pi computable to? Will Twentyman (01/11/05)
    - Re: How many digits is pi computable to? David Ames (01/11/05)
- Re: How many digits is pi computable to? george (01/12/05)
  - Re: How many digits is pi computable to? |-|erc (01/12/05)
- Re: How many digits is pi computable to? ken quirici (01/13/05)
  - Re: How many digits is pi computable to? |-|erc (01/14/05)
- Re: How many digits is pi computable to? Bill Smythe (01/17/05)
  - Re: How many digits is pi computable to? Bill Smythe (01/17/05)
  - Re: How many digits is pi computable to? |-|erc (01/18/05)
- Re: How many digits is pi computable to? |-|erc (01/18/05)
ordinal logics and Diophantine equations David Bernier (01/08/05)
- Re: ordinal logics and Diophantine equations Stephen Montgomery-Smith (01/08/05)
- Re: ordinal logics and Diophantine equations Torkel Franzen (01/08/05)
  - Re: ordinal logics and Diophantine equations David Bernier (01/08/05)
- Re: ordinal logics and Diophantine equations H. Enderton (01/08/05)
- Re: ordinal logics and Diophantine equations Torkel Franzen (01/09/05)
  - Re: ordinal logics and Diophantine equations H. Enderton (01/09/05)
    - Re: ordinal logics and Diophantine equations Josh Purinton (01/10/05)
PhD positions in Logic and Theoretical CS SR (01/07/05)
time to nail godels coffin |-|erc (01/07/05)
- Re: time to nail godels coffin Kent Paul Dolan (01/07/05)
  - Re: time to nail godels coffin |-|erc (01/07/05)
  - Re: time to nail godels coffin |-|erc (01/07/05)
Re: POLL: Some finite coin sequences are not computable |-|erc (01/07/05)
- Re: POLL: Some finite coin sequences are not computable |-|erc (01/15/05)
  - Re: POLL: Some finite coin sequences are not computable rupertmccallum_at_yahoo.com (01/16/05)
Occam's Razor on Jesus; Occam's Razor on Shakespeare Archimedes Plutonium (01/07/05)
- Joseph Smith Re: Occam's Razor on Jesus; Occam's Razor on Shakespeare Archimedes Plutonium (01/09/05)
quantum entanglement new kind of cause and effect |-|erc (01/07/05)
- Re: quantum entanglement new kind of cause and effect Wally Anglesea (01/07/05)
  - Re: quantum entanglement new kind of cause and effect |-|erc (01/07/05)
- Re: quantum entanglement new kind of cause and effect bugbear (01/07/05)
- Re: quantum entanglement new kind of cause and effect tadchem (01/07/05)
- Re: quantum entanglement new kind of cause and effect sanguinevikings (01/07/05)
  - Re: quantum entanglement new kind of cause and effect |-|erc (01/08/05)
    - Re: quantum entanglement new kind of cause and effect |-|erc (01/08/05)
  - Re: quantum entanglement new kind of cause and effect Wally Anglesea� (01/08/05)
- Re: quantum entanglement new kind of cause and effect poopdeville_at_gmail.com (01/08/05)
- Re: quantum entanglement new kind of cause and effect unrestrained_hand_at_hotmail.com (01/09/05)
  - Re: quantum entanglement new kind of cause and effect Rob Duncan (01/12/05)
UTM(x,y) mod 2 <=> infinite coin flippers |-|erc (01/07/05)
sci.math logic |-|erc (01/07/05)
- Re: sci.math logic robert j. kolker (01/07/05)
  - Re: sci.math logic |-|erc (01/07/05)
Cantor K.O.'d -- again! Mark Adkins (01/07/05)
- Re: Cantor K.O.'d -- again! Matt Gutting (01/07/05)
  - Re: Cantor K.O.'d -- again! Phil Carmody (01/07/05)
- Re: Cantor K.O.'d -- again! - Further explication Matt Gutting (01/07/05)
  - Re: Cantor K.O.'d -- again! - Further explication Matt Gutting (01/10/05)
    - Re: Cantor K.O.'d -- again! - Further explication msadkins04_at_yahoo.com (01/12/05)
    - Re: Cantor K.O.'d -- again! - Further explication msadkins04_at_yahoo.com (01/12/05)
- Re: Cantor K.O.'d -- again! george (01/07/05)
  - Re: Cantor K.O.'d -- again! |-|erc (01/08/05)
- Re: Cantor K.O.'d -- again! Randy Poe (01/12/05)
- Re: Cantor K.O.'d -- again! Randy Poe (01/13/05)
OPPOSITE OF all coin sequences are computable to infinite length ? |-|erc (01/06/05)
- Re: OPPOSITE OF all coin sequences are computable to infinite length ? Daryl McCullough (01/07/05)
- Re: OPPOSITE OF all coin sequences are computable to infinite length ? Will Twentyman (01/07/05)
- Re: OPPOSITE OF all coin sequences are computable to infinite length ? |-|erc (01/07/05)
  - Re: OPPOSITE OF all coin sequences are computable to infinite length ? Timothy Little (01/07/05)
  - Re: OPPOSITE OF all coin sequences are computable to infinite length ? John Savard (01/09/05)
    - Re: OPPOSITE OF all coin sequences are computable to infinite length ? |-|erc (01/10/05)
- Re: OPPOSITE OF all coin sequences are computable to infinite length ? The Ghost In The Machine (01/07/05)
- Re: OPPOSITE OF all coin sequences are computable to infinite length ? briggs_at_encompasserve.org (01/07/05)
- Re: OPPOSITE OF all coin sequences are computable to infinite length ? |-|erc (01/08/05)
what our mind is for. Rafael Leyre (01/06/05)
- Re: what our mind is for. ernobe (01/06/05)
- Re: what our mind is for. zinnic (01/06/05)
  - Re: what our mind is for. Rafael_Leyre_at_yahoo.com (01/09/05)
    - Re: what our mind is for. Holly (01/09/05)
- Re: what our mind is for. LadyinRed (01/07/05)
  - Re: what our mind is for. Rafael_Leyre_at_yahoo.com (01/09/05)
- Re: what our mind is for. BuddhaThu (01/07/05)
  - Re: what our mind is for. Pastor Frank (01/07/05)
  - Re: what our mind is for. Rafael_Leyre_at_yahoo.com (01/09/05)
    - Re: what our mind is for. John Jones (01/09/05)
- Re: what our mind is for. ernobe (01/09/05)
- Re: what our mind is for. Pastor Frank (01/11/05)
  - The Mandate of Pastor Frank xeno (01/12/05)
Towards disproof of Omega 2 |-|erc (01/06/05)
- Re: Towards disproof of Omega 2 ken quirici (01/06/05)
- Re: Towards disproof of Omega 2 xanthian_at_well.com (01/06/05)
  - Re: Towards disproof of Omega 2 ken quirici (01/06/05)
- Re: Towards disproof of Omega 2 george (01/07/05)
  - Re: Towards disproof of Omega 2 |-|erc (01/07/05)
Towards disproof of Omega |-|erc (01/06/05)
- Re: Towards disproof of Omega The Ghost In The Machine (01/07/05)
  - Re: Towards disproof of Omega |-|erc (01/07/05)
    - Re: Towards disproof of Omega The Ghost In The Machine (01/07/05)
    - Re: Towards disproof of Omega Timothy Little (01/07/05)
- Re: Towards disproof of Omega examachine_at_gmail.com (01/13/05)
  - Re: Towards disproof of Omega |-|erc (01/14/05)
x(f,a) -> y(f,a) XOR z(f,a) |-|erc (01/06/05)
- Re: x(f,a) -> y(f,a) XOR z(f,a) Will Twentyman (01/06/05)
  - Re: x(f,a) -> y(f,a) XOR z(f,a) |-|erc (01/06/05)
- Re: Science fiction (8/8) another David Moore forgery krp (01/06/05)
Re: FORGET ABOUT " TRUE IN A SYSTEM " examachine_at_gmail.com (01/05/05)
- Re: FORGET ABOUT " TRUE IN A SYSTEM " examachine_at_gmail.com (01/05/05)
- Re: FORGET ABOUT " TRUE IN A SYSTEM " Torkel Franzen (01/06/05)
  - Re: FORGET ABOUT " TRUE IN A SYSTEM " examachine_at_gmail.com (01/08/05)
- Re: FORGET ABOUT " TRUE IN A SYSTEM " examachine_at_gmail.com (01/08/05)
Re: countability of reals |-|erc (01/05/05)
- Re: countability of reals No Way (01/05/05)
- Re: countability of reals Matt Gutting (01/05/05)
- Re: countability of reals |-|erc (01/05/05)
  - Re: countability of reals Barb Knox (01/05/05)
  - Re: countability of reals Barb Knox (01/21/05)
- Re: countability of reals Acme Diagnostics (01/06/05)
  - Re: countability of reals |-|erc (01/06/05)
- Re: countability of reals Matt Gutting (01/06/05)
- Re: countability of reals Daniel W. Johnson (01/07/05)
- Re: countability of reals Chairman of the David Hilbert Appreciation Society (01/07/05)
- Re: countability of reals denis feldmann (01/07/05)
- Re: countability of reals denis feldmann (01/07/05)
- Re: countability of reals Chairman of the David Hilbert Appreciation Society (01/07/05)
Re: metamath scope alex goldman (01/05/05)
- Re: metamath scope Richard Fateman (01/05/05)
  - Re: metamath scope Peter Pein (01/06/05)
  - Re: metamath scope alex goldman (01/06/05)
    - Re: metamath scope Richard Fateman (01/06/05)
- Re: metamath scope George Cox (01/05/05)
Definition of ordinal exponentiation Bill Taylor (01/05/05)
Re: New Famous Proof |-|erc (01/04/05)
- Re: Science fiction (4/8) Clayton Shot J.R.! (01/04/05)
  - Re: Science fiction (4/8) Tak (01/04/05)
    - Re: Science fiction (4/8) The Ghost In The Machine (01/04/05)
  - Re: Science fiction (4/8) Mark K. Bilbo (01/04/05)
- Re: Science fiction (1/8) Mark K. Bilbo (01/04/05)
- Re: Science fiction (1/8) The Doctor (01/04/05)
- Re: Science fiction (1/8) William Elliot (01/04/05)
  - Re: Science fiction (1/8) Robibnikoff (01/04/05)
- Re: Science fiction (1/8) Ian Braidwood (01/04/05)
  - Re: Science fiction (1/8) Michelle Malkin (01/05/05)
- Re: Science fiction (7/8) Douglas Berry (01/04/05)
- Re: Science fiction (7/8) Ike (01/04/05)
  - Re: Science fiction (7/8) Dave Shipley (01/05/05)
    - Re: Science fiction (7/8) Ike (01/05/05)
    - Re: Science fiction (7/8) Jez (01/09/05)
  - Re: Science fiction (7/8) kathryn (01/05/05)
    - Re: Science fiction (7/8) Ike (01/05/05)
Definition of ordinal exponentiation Bill Taylor (01/04/05)
- Re: Definition of ordinal exponentiation Daryl McCullough (01/04/05)
  - Re: Definition of ordinal exponentiation David W. Cantrell (01/04/05)
Ordinal Questions Russell Easterly (01/03/05)
- Re: Ordinal Questions namducnguyen (01/03/05)
  - Re: Ordinal Questions Russell Easterly (01/04/05)
  - Re: Ordinal Questions rupertmccallum_at_yahoo.com (01/04/05)
- Re: Ordinal Questions rupertmccallum_at_yahoo.com (01/04/05)
Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem Charlie-Boo (01/03/05)
- Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem Charlie-Boo (01/03/05)
- Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem Charlie-Boo (01/03/05)
  - Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem Daryl McCullough (01/03/05)
- Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem Charlie-Boo (01/03/05)
- Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem Charlie-Boo (01/03/05)
Re: Consciousness "Hard Problem" Raan (01/03/05)
- Re: Consciousness "Hard Problem" Raan (01/03/05)
- Re: Consciousness "Hard Problem" Raan (01/03/05)
- Re: Consciousness "Hard Problem" Albert (01/03/05)
  - Re: Consciousness "Hard Problem" Raan (01/03/05)
- Re: Consciousness "Hard Problem" Raan (01/03/05)
Re: AI versus Human Consciousness Raan (01/03/05)
- Re: AI versus Human Consciousness Albert (01/03/05)
  - Re: AI versus Human Consciousness Raan (01/03/05)
- Re: AI versus Human Consciousness Anthony Cerrato (01/05/05)
  - Re: AI versus Human Consciousness Raan (01/05/05)
Definition of ordinal exponentiation Bill Taylor (01/03/05)
- Re: Definition of ordinal exponentiation Tim Peters (01/03/05)
  - Re: Definition of ordinal exponentiation David C. Ullrich (01/03/05)
    - Re: Definition of ordinal exponentiation Tim Peters (01/05/05)
    - Re: Definition of ordinal exponentiation David C. Ullrich (01/05/05)
Complete Arithmetic? David C. Ullrich (01/02/05)
- Re: Complete Arithmetic? Torkel Franzen (01/02/05)
  - Re: Complete Arithmetic? David C. Ullrich (01/03/05)
- Re: Complete Arithmetic? rupertmccallum_at_yahoo.com (01/03/05)
  - Re: Complete Arithmetic? David C. Ullrich (01/03/05)
- Re: Complete Arithmetic? Steven (01/03/05)
  - Re: Complete Arithmetic? David C. Ullrich (01/03/05)
    - Re: Complete Arithmetic? Russell Easterly (01/03/05)
    - Re: Complete Arithmetic? |-|erc (01/05/05)
Suppes Criteria Question jk (01/02/05)
Re: (WSJ) As Math Skills Slip, U.S. Schools Seek Answers From Asia Barb Knox (01/02/05)
- Re: (WSJ) As Math Skills Slip, U.S. Schools Seek Answers From Asia Timothy Little (01/02/05)
- Re: (WSJ) As Math Skills Slip, U.S. Schools Seek Answers From Asia Darren E. Mason (01/02/05)
LOL..... I Just Found A Gwenyth Paltrow Sex Video Online. Take A Look....... X7JE kcvgbwej_at_sk.com (01/02/05)
Smaller UTM than Rule110 Andr� Betz (01/01/05)
- Re: Smaller UTM than Rule110 Charlie-Boo (01/02/05)
- Re: Smaller UTM than Rule110 Kent Paul Dolan (01/02/05)
- Re: Smaller UTM than Rule110 r.e.s. (01/02/05)
  - Re: Smaller UTM than Rule110 r.e.s. (01/02/05)
- Re: Smaller UTM than Rule110 Kent Paul Dolan (01/02/05)
P. Suppes: Criterion 1 and 2 jk (01/01/05)
- Re: P. Suppes: Criterion 1 and 2 Lee Rudolph (01/01/05)
  - Re: P. Suppes: Criterion 1 and 2 Keith Ramsay (01/01/05)
- Re: P. Suppes: Criterion 1 and 2 William Elliot (01/02/05)
The Logical Reformation in the New Millennium M_SHIRAISHI (01/01/05)
- Re: The Logical Reformation in the New Millennium mensanator_at_aol.compost (01/01/05)
Re: Shoenfield textbook Torkel Franzen (01/01/05)
- Re: Shoenfield textbook Anders Goeransson (01/19/05)
  - Re: Shoenfield textbook George Cox (01/19/05)
Division by Zero in Nature, and Decomposition of Time. Lefty (01/01/05)
- Re: Division by Zero in Nature, and Decomposition of Time. Jos� Carlos Santos (01/01/05)
  - Re: Division by Zero in Nature, and Decomposition of Time. Lefty (01/01/05)
    - Re: Division by Zero in Nature, and Decomposition of Time. CLT (01/02/05)
- Re: Division by Zero in Nature, and Decomposition of Time. Bill Hobba (01/01/05)
  - Re: Division by Zero in Nature, and Decomposition of Time. Lefty (01/01/05)
- Re: Division by Zero in Nature, and Decomposition of Time. ad (01/01/05)
- Re: Division by Zero in Nature, and Decomposition of Time. robert j. kolker (01/01/05)
  - Re: Division by Zero in Nature, and Decomposition of Time. Lefty (01/01/05)
- Re: Division by Zero in Nature, and Decomposition of Time. Lefty (01/01/05)
  - Re: Division by Zero in Nature, and Decomposition of Time. CLT (01/02/05)
  - Re: Division by Zero in Nature, and Decomposition of Time. Steven (01/02/05)
- Re: Division by Zero in Nature, and Decomposition of Time. AllYou! (01/01/05)
  - Re: Division by Zero in Nature, and Decomposition of Time. Lefty (01/01/05)
- Re: Division by Zero in Nature, and Decomposition of Time. Franz Heymann (01/01/05)
  - Re: Division by Zero in Nature, and Decomposition of Time. Lefty (01/02/05)
- Re: Division by Zero in Nature, and Decomposition of Time. support_at_mistral.net (01/01/05)
  - Re: Division by Zero in Nature, and Decomposition of Time. Lefty (01/02/05)
- Re: Division by Zero in Nature, and Decomposition of Time. Uncle Al (01/01/05)
  - Re: Division by Zero in Nature, and Decomposition of Time. Lefty (01/02/05)
- Re: Division by Zero in Nature, and Decomposition of Time. Uncle Al (01/01/05)
- Re: Division by Zero in Nature, and Decomposition of Time. Alex Hunsley (01/01/05)
  - Re: Division by Zero in Nature, and Decomposition of Time. Lefty (01/02/05)
- Re: Division by Zero in Nature, and Decomposition of Time. Lefty (01/02/05)
- Re: Division by Zero in Nature, and Decomposition of Time. Bill Hobba (01/02/05)
  - Re: Division by Zero in Nature, and Decomposition of Time. AllYou! (01/03/05)
- Re: Division by Zero in Nature, and Decomposition of Time. Lefty (01/02/05)
- Re: Division by Zero in Nature, and Decomposition of Time. Lefty (01/02/05)
  - Re: Division by Zero in Nature, and Decomposition of Time. Alex Hunsley (01/03/05)
    - Re: Division by Zero in Nature, and Decomposition of Time. Lefty (01/03/05)
- Re: Division by Zero in Nature, and Decomposition of Time. Lefty (01/02/05)
  - Re: Division by Zero in Nature, and Decomposition of Time. Bill Hobba (01/02/05)
    - Re: Division by Zero in Nature, and Decomposition of Time. Lefty (01/02/05)
- Re: Division by Zero in Nature, and Decomposition of Time. Lefty (01/02/05)
  - Re: Division by Zero in Nature, and Decomposition of Time. Lefty (01/03/05)
  - Re: Division by Zero in Nature, and Decomposition of Time. Bilge (01/03/05)
- Re: Division by Zero in Nature, and Decomposition of Time. Lefty (01/03/05)
- Re: Division by Zero in Nature, and Decomposition of Time. AllYou! (01/03/05)
- Re: Division by Zero in Nature, and Decomposition of Time. starlord (01/03/05)
- Re: Division by Zero in Nature, and Decomposition of Time. Lefty (01/04/05)
  - Re: Division by Zero in Nature, and Decomposition of Time. Alex Hunsley (01/04/05)
    - Re: Division by Zero in Nature, and Decomposition of Time. Bill Hobba (01/04/05)
    - Re: Division by Zero in Nature, and Decomposition of Time. Alex Hunsley (01/05/05)
- Re: Division by Zero in Nature, and Decomposition of Time. Androcles (01/04/05)
- Re: Division by Zero in Nature, and Decomposition of Time. Lefty (01/05/05)
  - Re: Division by Zero in Nature, and Decomposition of Time. Kenneth Doyle (01/05/05)
  - Re: Division by Zero in Nature, and Decomposition of Time. Paul Winalski (01/05/05)
- Re: Division by Zero in Nature, and Decomposition of Time. Lefty (01/05/05)
  - Re: Division by Zero in Nature, and Decomposition of Time. robert j. kolker (01/05/05)
  - Re: Division by Zero in Nature, and Decomposition of Time. Paul Winalski (01/05/05)
- Re: Division by Zero in Nature, and Decomposition of Time. glbrad01 (01/05/05)
- Re: Division by Zero in Nature, and Decomposition of Time. Lefty (01/13/05)
Was: Definition of ordinal exponentiation Bill Taylor (01/01/05)
- Re: Definition of ordinal exponentiation Tim Peters (01/01/05)
  - Re: Definition of ordinal exponentiation David C. Ullrich (01/01/05)
  - Re: Definition of ordinal exponentiation Mike Oliver (01/16/05)
- Re: Was: Definition of ordinal exponentiation David C. Ullrich (01/01/05)
[FAQ, 99/07/28] Mathematical logic on the web Boris 'pi' Piwinger (01/01/05)
ILLC Research Reports and Technical Notes 2004 Marco Vervoort,P.311,+31 20 525 5356,, (12/31/04)
Re: So I lied about epsilon-0 Ross A. Finlayson (12/31/04)
- Re: So I lied about epsilon-0 H. Enderton (12/31/04)
- Re: So I lied about epsilon-0 H. Enderton (12/31/04)
  - Re: So I lied about epsilon-0 Ross A. Finlayson (12/31/04)
    - Re: So I lied about epsilon-0 Chris Menzel (12/31/04)
- Re: So I lied about epsilon-0 Tim Peters (01/02/05)
Re: for the categorists and sheafifiers (was, Re: So I lied about epsilon-0) Lee Rudolph (12/31/04)
Advice on furthering my logic education Bill Blake (12/31/04)
- Re: Advice on furthering my logic education poopdeville_at_gmail.com (01/01/05)
  - Re: Advice on furthering my logic education |-|erc (01/05/05)
    - Re: Advice on furthering my logic education poopdeville_at_gmail.com (01/06/05)
    - Re: Advice on furthering my logic education |-|erc (01/06/05)
  - Re: Advice on furthering my logic education Chris Menzel (01/06/05)
Re: Non-r.e. relations LordBeotian (12/31/04)
was: Definition of ordinal exponentiation Bill Taylor (12/31/04)
- Re: was: Definition of ordinal exponentiation David C. Ullrich (12/31/04)
- Re: was: Definition of ordinal exponentiation george (01/01/05)
  - Re: was: Definition of ordinal exponentiation David C. Ullrich (01/02/05)
Re: Stupid question George Cox (12/31/04)
- Re: Stupid question Lefty (01/01/05)
- Re: Stupid question Acme Diagnostics (01/02/05)
  - Re: Stupid question poopdeville_at_gmail.com (01/02/05)

Last message date: 01/31/05
Archived on: 01/31/05 GMT

2822 messages sorted by: [ date ]

sci.logicBy Thread

sci.logic
By Thread