sci.logic
By Date

1179 messages sorted by: [ thread ]

---

Starting: 02/28/05
Ending: 03/30/05

• re:Question about higher order computability... muxol (03/30/05)
• Re: What is wrong with this argument? Sweet Ol' Bob (03/30/05)
• Re: Proof christians are full of crap The Sophist (03/30/05)
• Re: G.H.Hardy gave an invalid proof of Infinitude of Primes in "A Mathematician's Apology" Archimedes Plutonium (03/30/05)
• Re: Wolfram's MathWorld fails to give a valid proof of Euclid's Infinitude of Primes Archimedes Plutonium (03/30/05)
• Re: G.H.Hardy gave an invalid proof of Infinitude of Primes in "A Mathematician's Apology" Archimedes Plutonium (03/30/05)
• Re: Some Simple Questions Charlie-Boo (03/30/05)
• Re: Physical models of set theory mitch (03/30/05)
• Why Relativity must be wrong… sc_martin (03/30/05)
• Re: Proof christians are full of crap 666interface (03/30/05)
• Re: Do we really nedd to have models for a theory? mitch (03/30/05)
• Re: 14 sets, 14 modalities, epistemic logic, Cantor spaces and an Euler tour mitch (03/30/05)
• Re: G.H.Hardy gave an invalid proof of Infinitude of Primes in "A Mathematician's Apology" Timothy Little (03/29/05)
• Re: G.H.Hardy gave an invalid proof of Infinitude of Primes in "AMathematician's Apology" sttscitrans_at_tesco.net (03/29/05)
• Re: What is wrong with this argument? Gavan (03/29/05)
• Q_What_does_this_symbol_mean=3F?= Ben (03/29/05)
• Re: Question about higher order computability... Snis Pilbor (03/29/05)
• Re: What is wrong with this argument? Icarus (03/29/05)
• Re: G.H.Hardy gave an invalid proof of Infinitude of Primes in "AMathematician's Apology" tomlewton1_at_hotmail.com (03/29/05)
• Re: G.H.Hardy gave an invalid proof of Infinitude of Primes in "A Mathematician's Apology" sttscitrans_at_tesco.net (03/29/05)
• Monadic 2nd Order Logic Wormie (03/29/05)
• Re: What is wrong with this argument? yõwïe (03/29/05)
• Re: essence of the correction Re: corrected Infinitude of Primes proof; both direct and indirect methods Archimedes Plutonium (03/29/05)
• Re: G.H.Hardy gave an invalid proof of Infinitude of Primes in "AMathematician's Apology" Archimedes Plutonium (03/29/05)
• Re: What is wrong with this argument? Christopher A. Lee (03/29/05)
• Re: G.H.Hardy gave an invalid proof of Infinitude of Primes in "A Mathematician's Apology" Abraham Buckingham (03/29/05)
• Re: What is wrong with this argument? Sweet Ol' Bob (03/29/05)
• Re: What is wrong with this argument? Sweet Ol' Bob (03/29/05)
• Re: What is wrong with this argument? Robibnikoff (03/29/05)
• Re: What is wrong with this argument? Sweet Ol' Bob (03/29/05)
• Re: What is wrong with this argument? Sweet Ol' Bob (03/29/05)
• Re: What is wrong with this argument? Sweet Ol' Bob (03/29/05)
• Re: What is wrong with this argument? Sweet Ol' Bob (03/29/05)
• Re: What is wrong with this argument? Sweet Ol' Bob (03/29/05)
• Re: What is wrong with this argument? Icarus (03/29/05)
• Re: G.H.Hardy gave an invalid proof of Infinitude of Primes in "A Mathematician's Apology" sttscitrans_at_tesco.net (03/29/05)
• Re: What is wrong with this argument? Elroy Willis (03/29/05)
• Re: What is wrong with this argument? Elroy Willis (03/29/05)
• Re: What is wrong with this argument? Elroy Willis (03/29/05)
• Re: What is wrong with this argument? Robibnikoff (03/29/05)
• Re: G.H.Hardy gave an invalid proof of Infinitude of Primes in "A Mathematician's Apology" Arthur Fischer (03/29/05)
• Re: What is wrong with this argument? Robibnikoff (03/29/05)
• Re: What is wrong with this argument? Robibnikoff (03/29/05)
• Re: What is wrong with this argument? Robibnikoff (03/29/05)
• Re: G.H.Hardy gave an invalid proof of Infinitude of Primes in "A Mathematician's Apology" Torkel Franzen (03/29/05)
• Re: G.H.Hardy gave an invalid proof of Infinitude of Primes in "A Mathematician's Apology" Nathan (03/29/05)
• Re: What is wrong with this argument? Phÿltêr (03/29/05)
• Re: What is wrong with this argument? Robibnikoff (03/29/05)
• Re: What is wrong with this argument? Robibnikoff (03/29/05)
• Re: What is wrong with this argument? Robibnikoff (03/29/05)
• Re: essence of the correction Re: corrected Infinitude of Primes proof; both direct and indirect methods Alec McKenzie (03/29/05)
• Re: What is wrong with this argument? Sweet Ol' Bob (03/29/05)
• Re: What is wrong with this argument? Sweet Ol' Bob (03/29/05)
• Re: What is wrong with this argument? Sweet Ol' Bob (03/29/05)
• G.H.Hardy gave an invalid proof of Infinitude of Primes in "A Mathematician's Apology" Archimedes Plutonium (03/29/05)
• essence of the correction Re: corrected Infinitude of Primes proof; both direct and indirect methods Archimedes Plutonium (03/29/05)
• corrected Infinitude of Primes proof; both direct and indirect methods Archimedes Plutonium (03/29/05)
• Euclid never gave a indirect proof of Infinitude of Primes; his proof was direct Archimedes Plutonium (03/29/05)
• Re: What is wrong with this argument? Elroy Willis (03/29/05)
• Re: What is wrong with this argument? Elroy Willis (03/29/05)
• Re: What is wrong with this argument? Gavan (03/29/05)
• Re: doubting successor Mitch Harris (03/29/05)
• Re: What is wrong with this argument? 666interface (03/29/05)
• Re: 14 sets, 14 modalities, epistemic logic, Cantor spaces and an Euler tour William Elliot (03/29/05)
• Re: duality in physics, not tri-ality, implies that only Riemannian and Lobachevskian geometries exist and that Euclidean is not a geometry Amadeus Train-Owwell Zirconium (03/29/05)
• Re: Some Simple Questions Martin Shobe (03/29/05)
• Re: Some Simple Questions Charlie-Boo (03/29/05)
• Re: What is wrong with this argument? Sweet Ol' Bob (03/29/05)
• 14 sets, 14 modalities, epistemic logic, Cantor spaces and an Euler tour mitch (03/29/05)
• Re: Question about higher order computability... H. Enderton (03/29/05)
• Re: Wolfram's MathWorld fails to give a valid proof of Euclid'sInfinitude of Primes Dave Seaman (03/28/05)
• Re: Correcting the invalid proof attempts of Euclid's Infinitude of Primes, both direct and indirect methods Timothy Little (03/28/05)
• Re: duality in physics, not tri-ality, implies that only Riemannian and Lobachevskian geometries exist and that Euclidean is not a geometry Giuseppe Bilotta (03/28/05)
• Re: Wolfram's MathWorld fails to give a valid proof of Euclid'sInfinitude of Primes Timothy (03/28/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Chris Menzel (03/28/05)
• Question about higher order computability... Snis Pilbor (03/28/05)
• Re: What is wrong with this argument? Hector Plasmic (03/28/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Ross A. Finlayson (03/28/05)
• Re: Correcting the invalid proof attempts of Euclid's Infinitude of Primes, both direct and indirect methods sttscitrans_at_tesco.net (03/28/05)
• Re: What is wrong with this argument? Sweet Ol' Bob (03/28/05)
• Re: duality in physics, not tri-ality, implies that only Riemannian and Lobachevskian geometries exist and that Euclidean is not a geometry AJ (03/28/05)
• Nazi Probe extended for two years Barbara Schwarz (03/28/05)
• U.S. Department of Justice Virtual Library is not available to the public Barbara Schwarz (03/28/05)
• EOUSA has chosen to follow path of secrecy and obfuscation Barbara Schwarz (03/28/05)
• Re: What is wrong with this argument? Hector Plasmic (03/28/05)
• Re: Correcting the invalid proof attempts of Euclid's Infinitude of Primes, both direct and indirect methods Archimedes Plutonium (03/28/05)
• Re: What is wrong with this argument? Incubus (03/28/05)
• Re: What is wrong with this argument? George Dance (03/28/05)
• Re: What is wrong with this argument? Desertphile, American Patriot (03/28/05)
• Re: Correcting the invalid proof attempts of Euclid's Infinitude of Primes, both direct and indirect methods Barb Knox (03/28/05)
• Re: What is wrong with this argument? Hector Plasmic (03/28/05)
• Re: Do we really nedd to have models for a theory? namducnguyen (03/28/05)
• Re: Some Simple Questions Martin Shobe (03/28/05)
• Re: Do we really nedd to have models for a theory? David C. Ullrich (03/28/05)
• Re: What is wrong with this argument? Acme Diagnostics (03/28/05)
• Re: Correcting the invalid proof attempts of Euclid's Infinitude of Primes, both direct and indirect methods Timothy Little (03/28/05)
• Re: Correcting the invalid proof attempts of Euclid's Infinitude of Primes, both direct and indirect methods sttscitrans_at_tesco.net (03/28/05)
• Re: Wolfram's MathWorld fails to give a valid proof of Euclid'sInfinitude of Primes sttscitrans_at_tesco.net (03/28/05)
• Re: Correcting the invalid proof attempts of Euclid's Infinitude of Primes, both direct and indirect methods Giuseppe Bilotta (03/28/05)
• Re: What is wrong with this argument? Gavan (03/28/05)
• Re: Do we really nedd to have models for a theory? namducnguyen (03/28/05)
• Re: What is wrong with this argument? Gavan (03/28/05)
• Re: Wolfram's MathWorld fails to give a valid proof of Euclid's Infinitude of Primes Archimedes Plutonium (03/28/05)
• Re: Do we really nedd to have models for a theory? namducnguyen (03/28/05)
• Re: Wolfram's MathWorld fails to give a valid proof of Euclid'sInfinitude of Primes Archimedes Plutonium (03/28/05)
• Re: Correcting the invalid proof attempts of Euclid's Infinitude of Primes, both direct and indirect methods Archimedes Plutonium (03/28/05)
• Re: What is wrong with this argument? The Ghost In The Machine (03/28/05)
• Re: What is wrong with this argument? Mike Oliver (03/28/05)
• Re: What is wrong with this argument? Earle Jones (03/28/05)
• Re: What is wrong with this argument? George Dance (03/28/05)
• Re: What is wrong with this argument? Gavan (03/28/05)
• Re: What is wrong with this argument? The Ghost In The Machine (03/28/05)
• Re: Wolfram's MathWorld fails to give a valid proof of Euclid's Infinitude of Primes The Ghost In The Machine (03/28/05)
• Re: What is wrong with this argument? George Dance (03/28/05)
• Re: What is wrong with this argument? Mike Oliver (03/28/05)
• Re: What is wrong with this argument? Jez (03/28/05)
• Re: What is wrong with this argument? The Ghost In The Machine (03/28/05)
• Re: What is wrong with this argument? Gavan (03/27/05)
• Re: What is wrong with this argument? marvin (03/27/05)
• Re: What is wrong with this argument? jwk (03/27/05)
• Re: What is wrong with this argument? jwk (03/27/05)
• Re: Proof christians are full of crap Andrew W (03/27/05)
• Re: What is wrong with this argument? Gavan (03/27/05)
• Re: Proof christians are full of crap Fredric L. Rice (03/27/05)
• Re: Wolfram's MathWorld fails to give a valid proof of Euclid's Infinitude of Primes Stan Liou (03/27/05)
• Re: Some Simple Questions Charlie-Boo (03/27/05)
• Re: Correcting the invalid proof attempts of Euclid's Infinitude of Primes, both direct and indirect methods sttscitrans_at_tesco.net (03/27/05)
• Re: What is wrong with this argument? Earle Jones (03/27/05)
• Re: Correcting the invalid proof attempts of Euclid's Infinitude of Primes, both direct and indirect methods sttscitrans_at_tesco.net (03/27/05)
• Re: Proof christians are full of crap Earle Jones (03/27/05)
• Re: What is wrong with this argument? Mike Oliver (03/27/05)
• Re: Infinitude of Primes proof; most math professors incapable of a clear valid proof Re: duality in physics, not tri-ality, implies that only Riemannian and Lobachevskian geometries exist and that Euclidean is not a geometry Giuseppe Bilotta (03/27/05)
• Re: Correcting the invalid proof attempts of Euclid's Infinitude of Primes, both direct and indirect methods Giuseppe Bilotta (03/27/05)
• Re: What is wrong with this argument? The Ghost In The Machine (03/27/05)
• Re: Proof christians are full of crap Robibnikoff (03/27/05)
• Re: What is wrong with this argument? Pavel314 (03/27/05)
• Wolfram's MathWorld fails to give a valid proof of Euclid's Infinitude of Primes Archimedes Plutonium (03/27/05)
• Correcting the invalid proof attempts of Euclid's Infinitude of Primes, both direct and indirect methods Archimedes Plutonium (03/27/05)
• Re: Proof christians are full of crap Robibnikoff (03/27/05)
• Re: What is wrong with this argument? Robibnikoff (03/27/05)
• Re: Proof christians are full of crap Robibnikoff (03/27/05)
• Re: What is wrong with this argument? Robibnikoff (03/27/05)
• Re: What is wrong with this argument? pan (03/27/05)
• Re: What is wrong with this argument? Desertphile, American Patriot (03/27/05)
• Re: What is wrong with this argument? Desertphile, American Patriot (03/27/05)
• Re: What is wrong with this argument? Desertphile, American Patriot (03/27/05)
• Re: What is wrong with this argument? Desertphile, American Patriot (03/27/05)
• Re: Aristotles logic decidable? Klaus Glashoff (03/27/05)
• Re: What is wrong with this argument? MsAnthrope (03/27/05)
• Re: What is wrong with this argument? MarkA (03/27/05)
• Re: What is wrong with this argument? kathryn (03/27/05)
• Re: Proof christians are full of crap Robibnikoff (03/27/05)
• Artificial Intelligence solved ?? Yeah sure,not exactly !! Malin (03/27/05)
• Re: What is wrong with this argument? David H. (03/27/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Chris Menzel (03/27/05)
• Re: What is wrong with this argument? Robibnikoff (03/27/05)
• Re: What is wrong with this argument? Robibnikoff (03/27/05)
• Re: What is wrong with this argument? Robibnikoff (03/27/05)
• Re: What is wrong with this argument? Robibnikoff (03/27/05)
• Re: What is wrong with this argument? Robibnikoff (03/27/05)
• Re: Riemannian and Lobachevskian geometries exist and Euclidean is not a geometry Bill Hobba (03/27/05)
• Re: What is wrong with this argument? Christopher A. Lee (03/27/05)
• Re: What is wrong with this argument? John Baker (03/27/05)
• Re: What is wrong with this argument? kathryn (03/27/05)
• Re: What is wrong with this argument? kathryn (03/27/05)
• Re: Infinitude of Primes proof; most math professors incapable of a clear valid proof Re: duality in physics, not tri-ality, implies that only Riemannian and Lobachevskian geometries exist and that Euclidean is not a geometry sttscitrans_at_tesco.net (03/27/05)
• Re: Deconstruction of the argument 'All faggot penises are liars' The Ghost In The Machine (03/27/05)
• Infinitude of Primes proof; most math professors incapable of a clear valid proof Re: duality in physics, not tri-ality, implies that only Riemannian and Lobachevskian geometries exist and that Euclidean is not a geometry Archimedes Plutonium (03/27/05)
• Re: What is wrong with this argument? Denis Loubet (03/27/05)
• Re: What is wrong with this argument? Gavan (03/27/05)
• Re: What is wrong with this argument? Douglas Berry (03/27/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Ross A. Finlayson (03/27/05)
• Re: What is wrong with this argument? Michelle Malkin (03/27/05)
• Re: What is wrong with this argument? Nivlem (03/27/05)
• Re: "separate entity" and individuation in mathematics mitch (03/27/05)
• Re: What is wrong with this argument? Ike (03/27/05)
• Re: What is wrong with this argument? Bobby D. Bryant (03/27/05)
• Re: Proof christians are full of crap Andrew W (03/27/05)
• Re: Proof christians are full of crap yõwïe (03/27/05)
• Re: What is wrong with this argument? yõwïe (03/27/05)
• Re: What is wrong with this argument? Milan (03/27/05)
• Re: What is wrong with this argument? wmech (03/27/05)
• Re: Need help to understand roots of Galois polynomials jshsucks_at_yahoo.com (03/27/05)
• Re: What is wrong with this argument? Dale (03/27/05)
• Re: Proof christians are full of crap Peter Webb (03/27/05)
• Re: What is wrong with this argument? Virgil (03/27/05)
• Re: What is wrong with this argument? Desertphile, American Patriot (03/27/05)
• Re: What is wrong with this argument? graham (03/27/05)
• Re: What is wrong with this argument? sAnToLiNa (03/27/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Chris Menzel (03/27/05)
• Re: What is wrong with this argument? L. Raymond (03/26/05)
• Re: Closer and closer you move to the Cantorian cliff tinyurl.com/uh3t (03/26/05)
• Re: Do we really nedd to have models for a theory? Chris Menzel (03/26/05)
• Re: What is wrong with this argument? David Vestal (03/26/05)
• Re: What is wrong with this argument? grazer (03/26/05)
• Re: duality in physics, not tri-ality, implies that only Riemannian and Lobachevskian geometries exist and that Euclidean is not a geometry jshsucks_at_yahoo.com (03/26/05)
• Re: What is wrong with this argument? Denis Loubet (03/26/05)
• Re: What is wrong with this argument? Doc Smartass (03/26/05)
• Re: What is wrong with this argument? Woden (03/26/05)
• Re: duality in physics, not tri-ality, implies that only Riemannian and Lobachevskian geometries exist and that Euclidean is not a geometry Giuseppe Bilotta (03/26/05)
• Re: ... only Riemannian and Lobachevskian geometries exist and that Euclidean is not a geometry Jim Spriggs (03/26/05)
• Re: Deconstruction of the argument 'All faggot penises are liars' Babylonian (03/26/05)
• Re: duality in physics, not tri-ality, implies that only Riemannian and Lobachevskian geometries exist and that Euclidean is not a geometry Archimedes Plutonium (03/26/05)
• Re: Deconstruction of the argument 'All faggot penises are liars' The Ghost In The Machine (03/26/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Alan Smaill (03/26/05)
• Re: Proof christians are full of crap Robibnikoff (03/26/05)
• Re: Proof christians are full of crap Fredric L. Rice (03/26/05)
• Re: duality in physics, not tri-ality, implies that only Riemannian and Lobachevskian geometries exist and that Euclidean is not a geometry Giuseppe Bilotta (03/26/05)
• Re: Proof christians are full of crap Peter Webb (03/26/05)
• Re: Aristotles logic decidable? David Costa (03/26/05)
• Re: Do we really nedd to have models for a theory? David C. Ullrich (03/26/05)
• Re: Do we really nedd to have models for a theory? David C. Ullrich (03/26/05)
• Re: Riemannian and Lobachevskian geometries exist and Euclidean is not a geometry Stan Liou (03/26/05)
• Riemannian and Lobachevskian geometries exist and Euclidean is not a geometry Nick (03/26/05)
• Re: duality in physics, not tri-ality, implies that only Riemannian and Lobachevskian geometries exist and that Euclidean is not a geometry Archimedes Plutonium (03/26/05)
• Re: Aristotles logic decidable? Klaus Glashoff (03/26/05)
• All faggot penises are liars Maaxx (03/26/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Ross A. Finlayson (03/26/05)
• Re: duality in physics, not tri-ality, implies that only Riemannian and Lobachevskian geometries exist and that Euclidean is not a geometry Giuseppe Bilotta (03/26/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. george (03/25/05)
• Re: duality in physics, not tri-ality, implies that only Riemannian and Lobachevskian geometries exist and that Euclidean is not a geometry Archimedes Plutonium (03/25/05)
• Re: doubting successor Lee Rudolph (03/25/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Alan Smaill (03/25/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. george (03/25/05)
• Re: Do we really nedd to have models for a theory? george (03/25/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Chris Menzel (03/25/05)
• Re: Do we really nedd to have models for a theory? namducnguyen (03/25/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Ross A. Finlayson (03/25/05)
• Re: Some Simple Questions Charlie-Boo (03/25/05)
• Re: If-then in Logic vs Programming Charlie-Boo (03/25/05)
• Re: Need help to understand roots of Galois polynomials Timothy Murphy (03/25/05)
• Re: duality in physics, not tri-ality, implies that only Riemannian and Lobachevskian geometries exist and that Euclidean is not a geometry Jim Spriggs (03/25/05)
• Re: Some Simple Questions Charlie-Boo (03/25/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Chris Menzel (03/25/05)
• Re: Aristotles logic decidable? David Costa (03/25/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Ross A. Finlayson (03/25/05)
• Re: duality in physics, not tri-ality, implies that only Riemannian and Lobachevskian geometries exist and that Euclidean is not a geometry Giuseppe Bilotta (03/25/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Bhupinder Singh Anand (03/25/05)
• Re: Need help to understand roots of Galois polynomials Gregory G Rose (03/25/05)
• Need help to understand roots of Galois polynomials Michael (03/24/05)
• Re: duality in physics, not tri-ality, implies that only Riemannian and Lobachevskian geometries exist and that Euclidean is not a geometry Jim Spriggs (03/24/05)
• Re: doubting successor Helene.Boucher_at_wanadoo.fr (03/24/05)
• Re: Complex numbers is the ether to Newtonian Mechanics Re: duality in physics, not tri-ality, implies that only Riemannian and Lobachevskian geometries exist and that Euclidean is not a geometry Amadeus Train-Owwell Zirconium (03/24/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Daryl McCullough (03/24/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. george (03/24/05)
• Re: doubting successor Mike Oliver (03/24/05)
• Re: doubting successor Torkel Franzen (03/24/05)
• Re: doubting successor Mike Oliver (03/24/05)
• Re: doubting successor Helene.Boucher_at_wanadoo.fr (03/24/05)
• Re: Closer and closer you move to the Cantorian cliff Michel Hack (03/24/05)
• Re: doubting successor Helene.Boucher_at_wanadoo.fr (03/24/05)
• Re: doubting successor Aatu Koskensilta (03/24/05)
• Re: doubting successor Helene.Boucher_at_wanadoo.fr (03/24/05)
• Re: doubting successor Mitch Harris (03/24/05)
• Re: doubting successor Mitch Harris (03/24/05)
• Re: doubting successor Mitch Harris (03/24/05)
• Re: doubting successor Barb Knox (03/24/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Bhupinder Singh Anand (03/24/05)
• Re: doubting successor Helene.Boucher_at_wanadoo.fr (03/24/05)
• Re: If-then in Logic vs Programming H. J. Sander Bruggink (03/24/05)
• Re: doubting successor Torkel Franzen (03/24/05)
• Re: doubting successor Helene.Boucher_at_wanadoo.fr (03/24/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Tang Huyen (03/24/05)
• Re: doubting successor Torkel Franzen (03/24/05)
• Re: doubting successor Helene.Boucher_at_wanadoo.fr (03/24/05)
• Re: Do we really nedd to have models for a theory? David C. Ullrich (03/24/05)
• Re: doubting successor Mitch Harris (03/24/05)
• Re: Aristotles logic decidable? Klaus Glashoff (03/24/05)
• Re: doubting successor Helene.Boucher_at_wanadoo.fr (03/24/05)
• Re: doubting successor Chairman of The David Hilbert Appreciation Society (03/24/05)
• Re: Aristotles logic decidable? David Costa (03/24/05)
• Re: doubting successor Helene.Boucher_at_wanadoo.fr (03/24/05)
• Re: Some Simple Questions Martin Shobe (03/24/05)
• Re: doubting successor Chairman of The David Hilbert Appreciation Society (03/24/05)
• Do we really nedd to have models for a theory? namducnguyen (03/24/05)
• Re: If-then in Logic vs Programming Torkel Franzen (03/24/05)
• Re: Some Simple Questions stephen_at_nomail.com (03/23/05)
• Re: doubting successor Helene.Boucher_at_wanadoo.fr (03/23/05)
• Re: Some Simple Questions Charlie-Boo (03/23/05)
• Re: doubting successor Mitch Harris (03/23/05)
• Re: Closer and closer you move to the Cantorian cliff tinyurl.com/uh3t (03/23/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Ross A. Finlayson (03/23/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. george (03/23/05)
• Re: Some Simple Questions Charlie-Boo (03/23/05)
• Re: If-then in Logic vs Programming Charlie-Boo (03/23/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. george (03/23/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. george (03/23/05)
• Re: If-then in Logic vs Programming Charlie-Boo (03/23/05)
• Re: If-then in Logic vs Programming Charlie-Boo (03/23/05)
• Re: If-then in Logic vs Programming Chris Menzel (03/23/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Torkel Franzen (03/23/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. george (03/23/05)
• Re: Some Simple Questions stephen_at_nomail.com (03/23/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Torkel Franzen (03/23/05)
• Re: Some Simple Questions Randy Poe (03/23/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. george (03/23/05)
• Re: doubting successor Helene.Boucher_at_wanadoo.fr (03/23/05)
• Re: If-then in Logic vs Programming Charlie-Boo (03/23/05)
• Re: If-then in Logic vs Programming Torkel Franzen (03/23/05)
• Re: doubting successor Mitch Harris (03/23/05)
• Re: If-then in Logic vs Programming Charlie-Boo (03/23/05)
• Re: If-then in Logic vs Programming Charlie-Boo (03/23/05)
• Re: If-then in Logic vs Programming Charlie-Boo (03/23/05)
• Re: doubting successor Helene.Boucher_at_wanadoo.fr (03/23/05)
• Re: doubting successor Mitch Harris (03/23/05)
• Re: On-line Godel book updated Helene.Boucher_at_wanadoo.fr (03/23/05)
• Re: doubting successor Helene.Boucher_at_wanadoo.fr (03/23/05)
• Re: On-line Godel book updated Mitch Harris (03/23/05)
• Re: doubting successor Mitch Harris (03/23/05)
• Re: Some Simple Questions Charlie-Boo (03/23/05)
• Re: TOE Via Cantor's Transfinite Arithmetic Ross A. Finlayson (03/23/05)
• Complex numbers is the ether to Newtonian Mechanics Re: duality in physics, not tri-ality, implies that only Riemannian and Lobachevskian geometries exist and that Euclidean is not a geometry Archimedes Plutonium (03/23/05)
• Re: Some Simple Questions Charlie-Boo (03/23/05)
• Re: Some Simple Questions Charlie-Boo (03/23/05)
• Re: Some Simple Questions Charlie-Boo (03/23/05)
• Re: Some Simple Questions Charlie-Boo (03/23/05)
• Re: Some Simple Questions Charlie-Boo (03/23/05)
• Re: Some Simple Questions Charlie-Boo (03/23/05)
• Re: Atheistic Philosopher now believes in God Rob Duncan (03/23/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Torkel Franzen (03/23/05)
• Re: Some Simple Questions stephen_at_nomail.com (03/23/05)
• Re: Some Simple Questions Randy Poe (03/23/05)
• Re: Atheistic Philosopher now believes in God Rudraigh (03/23/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. george (03/22/05)
• Re: Aristotles logic decidable? David Costa (03/22/05)
• Re: On-line Godel book updated Andrew Boucher (03/22/05)
• Re: doubting successor Andrew Boucher (03/22/05)
• Re: On-line Godel book updated Mitch Harris (03/22/05)
• Re: doubting successor Mitch Harris (03/22/05)
• Re: Physical models of set theory dave (03/22/05)
• Re: doubting successor Andrew Boucher (03/22/05)
• Re: On-line Godel book updated Andrew Boucher (03/22/05)
• Re: "separate entity" and individuation in mathematics george (03/22/05)
• Re: Some Simple Questions guenther.vonKnakspott_at_gmx.de (03/22/05)
• Re: Some Simple Questions Charlie-Boo (03/22/05)
• Re: "The Logical Mathematicians" Stefan Wehmeier (03/22/05)
• Re: On-line Godel book updated Mitch Harris (03/22/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Tang Huyen (03/22/05)
• Re: If-then in Logic vs Programming H. J. Sander Bruggink (03/22/05)
• Re: On-line Godel book updated Helene.Boucher_at_wanadoo.fr (03/22/05)
• Re: doubting successor Mitch Harris (03/22/05)
• Re: On-line Godel book updated Helene.Boucher_at_wanadoo.fr (03/22/05)
• Re: Some Simple Questions David Bernier (03/22/05)
• Re: duality in physics, not tri-ality, implies that only Riemannian and Lobachevskian geometries exist and that Euclidean is not a geometry Archimedes Plutonium (03/22/05)
• Re: Some Simple Questions G. Frege (03/22/05)
• Re: Some Simple Questions G. Frege (03/22/05)
• Re: doubting successor Helene.Boucher_at_wanadoo.fr (03/22/05)
• Re: Some Simple Questions Charlie-Boo (03/22/05)
• Re: Some Simple Questions Lady Chatterly (03/22/05)
• Re: Some Simple Questions Randy Poe (03/22/05)
• Re: Some Simple Questions Charlie-Boo (03/22/05)
• Re: Some Simple Questions Charlie-Boo (03/22/05)
• Re: Some Simple Questions Charlie-Boo (03/22/05)
• Re: duality in physics, not tri-ality, implies that only Riemannian and Lobachevskian geometries exist and that Euclidean is not a geometry Amadeus Train-Owwell Zirconium (03/22/05)
• Re: duality in physics, not tri-ality, implies that only Riemannian and Lobachevskian geometries exist and that Euclidean is not a geometry Lady Chatterly (03/21/05)
• Re: duality in physics, not tri-ality, implies that only Riemannian and Lobachevskian geometries exist and that Euclidean is not a geometry Amadeus Train-Owwell Zirconium (03/21/05)
• Re: in love with a theory? john_correy_at_yahoo.com (03/21/05)
• Re: doubting successor Mitch Harris (03/21/05)
• Re: doubting successor Helene.Boucher_at_wanadoo.fr (03/21/05)
• Re: Some Simple Questions Alan Smaill (03/21/05)
• Re: On-line Godel book updated Mitch Harris (03/21/05)
• Re: duality in physics, not tri-ality, implies that only Riemannian and Lobachevskian geometries exist and that Euclidean is not a geometry Giuseppe Bilotta (03/21/05)
• duality in physics, not tri-ality, implies that only Riemannian and Lobachevskian geometries exist and that Euclidean is not a geometry Archimedes Plutonium (03/21/05)
• Re: If-then in Logic vs Programming Charlie-Boo (03/21/05)
• Re: Some Simple Questions G. Frege (03/21/05)
• Re: If-then in Logic vs Programming Charlie-Boo (03/21/05)
• Re: If-then in Logic vs Programming Charlie-Boo (03/21/05)
• Re: Some Simple Questions W. Dale Hall (03/21/05)
• Re: If-then in Logic vs Programming Charlie-Boo (03/21/05)
• Re: If-then in Logic vs Programming Charlie-Boo (03/21/05)
• Re: Some Simple Questions guenther.vonKnakspott_at_gmx.de (03/21/05)
• Re: Some Simple Questions Charlie-Boo (03/21/05)
• Re: Some Simple Questions guenther.vonKnakspott_at_gmx.de (03/21/05)
• Re: Some Simple Questions Randy Poe (03/21/05)
• Re: Some Simple Questions Charlie-Boo (03/21/05)
• Re: Some Simple Questions Charlie-Boo (03/21/05)
• Re: On-line Godel book updated Helene.Boucher_at_wanadoo.fr (03/21/05)
• Re: Some Simple Questions Charlie-Boo (03/21/05)
• Re: On-line Godel book updated Mitch Harris (03/21/05)
• Re: doubting successor Mitch Harris (03/21/05)
• Re: Some Simple Questions Charlie-Boo (03/21/05)
• Re: doubting successor Helene.Boucher_at_wanadoo.fr (03/21/05)
• Re: doubting successor Mitch Harris (03/21/05)
• Re: A question on GIT. Helene.Boucher_at_wanadoo.fr (03/21/05)
• Re: A question on GIT. Helene.Boucher_at_wanadoo.fr (03/21/05)
• Re: Beginner's Q: How to derive (x)(Ey)(x=y) Chris Menzel (03/21/05)
• Re: Atheistic Philosopher now believes in God yõwïe (03/21/05)
• Re: A question on GIT. muxol (03/21/05)
• Re: A question on GIT. Pierre Asselin (03/21/05)
• Re: Aristotles logic decidable? Keith Ramsay (03/20/05)
• Re: On-line Godel book updated Helene.Boucher_at_wanadoo.fr (03/20/05)
• Re: "separate entity" and individuation in mathematics mitch (03/20/05)
• Re: "separate entity" and individuation in mathematics mitch (03/20/05)
• Re: Logic Puzzle Solver version 0.85 eyebee (03/20/05)
• Re: On-line Godel book updated Mitch Harris (03/20/05)
• Re: Aristotles logic decidable? Klaus Glashoff (03/20/05)
• Re: Atheistic Philosopher now believes in God David V. (03/20/05)
• Re: "separate entity" and individuation in mathematics mitch (03/20/05)
• Re: Atheistic Philosopher now believes in God ralph (03/20/05)
• Re: A question on GIT. Helene.Boucher_at_wanadoo.fr (03/20/05)
• Re: Some Simple Questions David C. Ullrich (03/20/05)
• Re: Beginner's Q: How to derive (x)(Ey)(x=y) Owen (03/20/05)
• Re: Some Simple Questions David C. Ullrich (03/20/05)
• Re: If-then in Logic vs Programming David C. Ullrich (03/20/05)
• Re: Some Simple Questions guenther.vonKnakspott_at_gmx.de (03/20/05)
• Re: Atheistic Philosopher now believes in God Phÿltêr (03/20/05)
• Re: On-line Godel book updated namducnguyen (03/20/05)
• Re: Some Simple Questions Charlie-Boo (03/20/05)
• Re: Some Simple Questions Charlie-Boo (03/20/05)
• Re: Some Simple Questions Charlie-Boo (03/20/05)
• Re: Some Simple Questions Charlie-Boo (03/20/05)
• Re: On-line Godel book updated Barb Knox (03/19/05)
• Re: Some Simple Questions Charlie-Boo (03/19/05)
• Re: If-then in Logic vs Programming Acme Diagnostics (03/19/05)
• Re: Some Simple Questions Acme Diagnostics (03/19/05)
• Re: On-line Godel book updated Helene.Boucher_at_wanadoo.fr (03/19/05)
• Re: On-line Godel book updated Helene.Boucher_at_wanadoo.fr (03/19/05)
• Re: On-line Godel book updated Torkel Franzen (03/19/05)
• Re: Some Simple Questions guenther.vonKnakspott_at_gmx.de (03/19/05)
• Re: On-line Godel book updated george (03/19/05)
• Re: Physical models of set theory examachine_at_gmail.com (03/19/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. george (03/19/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Ross A. Finlayson (03/19/05)
• Re: Physical models of set theory Dan Christensen (03/19/05)
• Re: On-line Godel book updated Helene.Boucher_at_wanadoo.fr (03/19/05)
• Re: On-line Godel book updated Torkel Franzen (03/19/05)
• Re: On-line Godel book updated Helene.Boucher_at_wanadoo.fr (03/19/05)
• Re: On-line Godel book updated Mitch Harris (03/19/05)
• Re: If-then in Logic vs Programming R-matrix (03/19/05)
• Re: Physical models of set theory Nam Nguyen (03/19/05)
• Re: If-then in Logic vs Programming R-matrix (03/19/05)
• Re: Atheistic Philosopher now believes in God Phyltress (03/19/05)
• Re: Physical models of set theory Jim Spriggs (03/19/05)
• Re: On-line Godel book updated Helene.Boucher_at_wanadoo.fr (03/19/05)
• Re: Some Simple Questions Jim Spriggs (03/19/05)
• Re: Some Simple Questions Randy Poe (03/19/05)
• Re: If-then in Logic vs Programming David C. Ullrich (03/19/05)
• Re: Some Simple Questions David C. Ullrich (03/19/05)
• Re: Some Simple Questions David C. Ullrich (03/19/05)
• Re: Some Simple Questions David C. Ullrich (03/19/05)
• Re: On-line Godel book updated Aatu Koskensilta (03/19/05)
• Re: If-then in Logic vs Programming David C. Ullrich (03/19/05)
• Re: On-line Godel book updated Helene.Boucher_at_wanadoo.fr (03/19/05)
• Re: On-line Godel book updated Aatu Koskensilta (03/19/05)
• Physical models of set theory Peter Webb (03/19/05)
• Re: Some Simple Questions Sevenhundred Elves (03/19/05)
• Re: On-line Godel book updated Helene.Boucher_at_wanadoo.fr (03/19/05)
• Re: On-line Godel book updated Aatu Koskensilta (03/19/05)
• Re: Atheistic Philosopher now believes in God Rudraigh (03/19/05)
• Re: Atheistic Philosopher now believes in God Rudraigh (03/19/05)
• Re: Atheistic Philosopher now believes in God Rudraigh (03/19/05)
• Re: If-then in Logic vs Programming Acme Diagnostics (03/19/05)
• Re: If-then in Logic vs Programming R-matrix (03/19/05)
• Re: Some Simple Questions Acme Diagnostics (03/19/05)
• Re: Some Simple Questions Charlie-Boo (03/18/05)
• Re: Some Simple Questions Charlie-Boo (03/18/05)
• Re: Some Simple Questions guenther.vonKnakspott_at_gmx.de (03/18/05)
• Re: Some Simple Questions Charlie-Boo (03/18/05)
• Re: Some Simple Questions Charlie-Boo (03/18/05)
• Re: Some Simple Questions Jim Spriggs (03/18/05)
• Re: Some Simple Questions Jim Spriggs (03/18/05)
• Re: Some Simple Questions Randy Poe (03/18/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Bhupinder Singh Anand (03/18/05)
• Re: If-then in Logic vs Programming Bill C. (03/18/05)
• Re: Some Simple Questions Acme Diagnostics (03/18/05)
• Re: If-then in Logic vs Programming Acme Diagnostics (03/18/05)
• Re: On-line Godel book updated Helene.Boucher_at_wanadoo.fr (03/18/05)
• Re: Some Simple Questions Charlie-Boo (03/18/05)
• Re: Some Simple Questions Charlie-Boo (03/18/05)
• Re: On-line Godel book updated Torkel Franzen (03/18/05)
• Re: Some Simple Questions Charlie-Boo (03/18/05)
• Re: On-line Godel book updated Helene.Boucher_at_wanadoo.fr (03/18/05)
• Re: Some Simple Questions Jim Spriggs (03/18/05)
• Re: Some Simple Questions guenther.vonKnakspott_at_gmx.de (03/18/05)
• Re: Some Simple Questions guenther.vonKnakspott_at_gmx.de (03/18/05)
• Re: Some Simple Questions R-matrix (03/18/05)
• Re: If-then in Logic vs Programming R-matrix (03/18/05)
• Re: On-line Godel book updated Aatu Koskensilta (03/18/05)
• Re: Some Simple Questions David C. Ullrich (03/18/05)
• Re: On-line Godel book updated Helene.Boucher_at_wanadoo.fr (03/18/05)
• Re: On-line Godel book updated Peter_Smith (03/18/05)
• Logic Puzzle Solver version 0.85 eyebee (03/18/05)
• Re: On-line Godel book updated Helene.Boucher_at_wanadoo.fr (03/18/05)
• Re: On-line Godel book updated Stephen Harris (03/18/05)
• Re: Some Simple Questions Charlie-Boo (03/18/05)
• Re: Some Simple Questions Charlie-Boo (03/18/05)
• Re: On-line Godel book updated Helene.Boucher_at_wanadoo.fr (03/18/05)
• Re: On-line Godel book updated Helene.Boucher_at_wanadoo.fr (03/18/05)
• Re: On-line Godel book updated Stephen Harris (03/18/05)
• Re: Some Simple Questions David C. Ullrich (03/18/05)
• Re: Some Simple Questions guenther.vonKnakspott_at_gmx.de (03/17/05)
• Need help to find good site or article in the binary BCH Michael (03/17/05)
• Re: Some Simple Questions Charlie-Boo (03/17/05)
• Re: Some Simple Questions guenther.vonKnakspott_at_gmx.de (03/17/05)
• Re: Some Simple Questions guenther.vonKnakspott_at_gmx.de (03/17/05)
• Re: Some Simple Questions Charlie-Boo (03/17/05)
• Re: On-line Godel book updated Peter_Smith (03/17/05)
• Re: Some Simple Questions guenther.vonKnakspott_at_gmx.de (03/17/05)
• Re: Some Simple Questions Charlie-Boo (03/17/05)
• Re: Some Simple Questions Charlie-Boo (03/17/05)
• Re: On-line Godel book updated Helene.Boucher_at_wanadoo.fr (03/17/05)
• Re: WISDOM of Crowds (Iden?ify -Uare the missing data) tooly (03/17/05)
• Re: On-line Godel book updated Helene.Boucher_at_wanadoo.fr (03/17/05)
• Re: On-line Godel book updated Helene.Boucher_at_wanadoo.fr (03/17/05)
• Re: "separate entity" and individuation in mathematics Jim Spriggs (03/17/05)
• Re: WISDOM of Crowds (Iden?ify -Uare the missing data) Chuck Brown (03/17/05)
• Re: On-line Godel book updated Helene.Boucher_at_wanadoo.fr (03/17/05)
• Re: On-line Godel book updated george (03/17/05)
• Re: On-line Godel book updated george (03/17/05)
• Re: "separate entity" and individuation in mathematics george (03/17/05)
• Re: WISDOM of Crowds (Iden?ify -Uare the missing data) Chris Degnen (03/17/05)
• Re: Atheistic Philosopher now believes in God ralph (03/17/05)
• Re: Some Simple Questions Jim Spriggs (03/17/05)
• Re: "separate entity" and individuation in mathematics Jim Spriggs (03/17/05)
• Re: WISDOM of Crowds (Iden?ify -Uare the missing data) Chris Degnen (03/17/05)
• Re: Some Simple Questions David C. Ullrich (03/17/05)
• Re: On-line Godel book updated Helene.Boucher_at_wanadoo.fr (03/17/05)
• Competition w/ the Common Good in Mind donquijote1954 (03/17/05)
• Some Simple Questions Charlie-Boo (03/17/05)
• Re: On-line Godel book updated Torkel Franzen (03/17/05)
• Re: On-line Godel book updated Helene.Boucher_at_wanadoo.fr (03/17/05)
• Re: On-line Godel book updated Torkel Franzen (03/17/05)
• Re: WISDOM of Crowds (Iden?ify -Uare the missing data) tooly (03/17/05)
• Re: If-then in Logic vs Programming David C. Ullrich (03/17/05)
• Re: Tautology test description and samples David C. Ullrich (03/17/05)
• Re: Atheistic Philosopher now believes in God Phÿltêr (03/17/05)
• Re: On-line Godel book updated Helene.Boucher_at_wanadoo.fr (03/17/05)
• Re: On-line Godel book updated Helene.Boucher_at_wanadoo.fr (03/17/05)
• Re: On-line Godel book updated Peter_Smith (03/17/05)
• Re: On-line Godel book updated Helene.Boucher_at_wanadoo.fr (03/17/05)
• Re: Nice little total order problem. William Elliot (03/17/05)
• Re: On-line Godel book updated Aatu Koskensilta (03/17/05)
• Re: Nice little total order problem. Butch Malahide (03/17/05)
• Re: On-line Godel book updated Peter_Smith (03/17/05)
• Re: Nice little total order problem. Stephen J. Herschkorn (03/17/05)
• Re: Nice little total order problem. Stephen J. Herschkorn (03/17/05)
• Re: Nice little total order problem. Butch Malahide (03/17/05)
• Re: Nice little total order problem. Butch Malahide (03/17/05)
• Re: Nice little total order problem. William Elliot (03/17/05)
• Re: Nice little total order problem. Stephen J. Herschkorn (03/17/05)
• Re: Nice little total order problem. William Elliot (03/17/05)
• Re: Nice little total order problem. bof_at_sunflower.com (03/17/05)
• Re: Nice little total order problem. Virgil (03/17/05)
• Re: On-line Godel book updated Helene.Boucher_at_wanadoo.fr (03/17/05)
• Nice little total order problem. Bill Taylor (03/17/05)
• Re: "separate entity" and individuation in mathematics george (03/17/05)
• Re: "separate entity" and individuation in mathematics Russell (03/17/05)
• Re: "separate entity" and individuation in mathematics george (03/17/05)
• Re: Atheistic Philosopher now believes in God David V. (03/17/05)
• Re: Some grey areas in foundational issues george (03/17/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. george (03/17/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Ross A. Finlayson (03/16/05)
• Re: Atheistic Philosopher now believes in God ralph (03/16/05)
• Re: On-line Godel book updated Aatu Koskensilta (03/16/05)
• Re: On-line Godel book updated Helene.Boucher_at_wanadoo.fr (03/16/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Bhupinder Singh Anand (03/16/05)
• Re: Tautology test description and samples Chris Menzel (03/16/05)
• Re: WISDOM of Crowds (Iden?ify -Uare the missing data) Immortalist (03/16/05)
• Re: WISDOM of Crowds (Iden?ify -Uare the missing data) Immortalist (03/16/05)
• Re: WISDOM of Crowds (Iden?ify -Uare the missing data) Immortalist (03/16/05)
• Re: WISDOM of Crowds (Iden?ify -Uare the missing data) Immortalist (03/16/05)
• Re: WISDOM of Crowds (Iden?ify -Uare the missing data) Immortalist (03/16/05)
• Re: If-then in Logic vs Programming R-matrix (03/16/05)
• Re: WISDOM of Crowds (Iden?ify -Uare the missing data) feedbackdroids_at_yahoo.com (03/16/05)
• Re: WISDOM of Crowds (Iden?ify -Uare the missing data) feedbackdroids_at_yahoo.com (03/16/05)
• Re: Atheistic Philosopher now believes in God St. Jackanapes (03/16/05)
• in love with a theory? geraldrm_at_earthlink.net (03/16/05)
• Re: WISDOM of Crowds (Iden?ify -Uare the missing data) zerkanX (03/16/05)
• Re: WISDOM of Crowds (Iden?ify -Uare the missing data) zerkanX (03/16/05)
• How many nuclear weapons do the Scientologists have? stevejdufour_at_yahoo.com (03/16/05)
• Re: Tautology test description and samples David C. Ullrich (03/16/05)
• Re: WISDOM of Crowds (Iden?ify -Uare the missing data) tooly (03/16/05)
• Re: search engine performance to a new unprecedented level William Elliot (03/16/05)
• Re: Atheistic Philosopher now believes in God Phÿltêr (03/16/05)
• Re: Tautology test description and samples Chris Menzel (03/16/05)
• search engine performance to a new unprecedented level nancy (03/16/05)
• search engine performance to a new unprecedented level nancy (03/16/05)
• Re: Tautology test description and samples muxol (03/16/05)
• A Class of 3SAT Solvable in Polytime Russell Easterly (03/16/05)
• Re: Atheistic Philosopher now believes in God yõwïe (03/16/05)
• Re: On-line Godel book updated Jim Spriggs (03/16/05)
• Re: A science-president giving the State of the Union speech; help with a term-concept matt (03/16/05)
• Re: WISDOM of Crowds (Iden?ify -Uare the missing data) Albert Wagner (03/16/05)
• Re: "separate entity" and individuation in mathematics Jim Spriggs (03/15/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Ross A. Finlayson (03/15/05)
• Re: Atheistic Philosopher now believes in God anzaurres_at_hotmail.com (03/15/05)
• Re: Aristotles logic decidable? David Costa (03/15/05)
• Re: What do you think of this story? Jim Spriggs (03/15/05)
• Re: WISDOM of Crowds (Iden?ify -Uare the missing data) Immortalist (03/15/05)
• Re: Atheistic Philosopher now believes in God ralph (03/15/05)
• Re: WISDOM of Crowds (Iden?ify -Uare the missing data) Sir Frederick (03/15/05)
• Re: Atheistic Philosopher now believes in God David V. (03/15/05)
• Re: WISDOM of Crowds (Iden?ify -Uare the missing data) Immortalist (03/15/05)
• Re: WISDOM of Crowds (Iden?ify -Uare the missing data) Immortalist (03/15/05)
• Re: WISDOM of Crowds (Iden?ify -Uare the missing data) Immortalist (03/15/05)
• Re: WISDOM of Crowds (Iden?ify -Uare the missing data) Immortalist (03/15/05)
• Re: WISDOM of Crowds (Iden?ify -Uare the missing data) Immortalist (03/15/05)
• Re: WISDOM of Crowds (Iden?ify -Uare the missing data) Immortalist (03/15/05)
• WISDOM of Crowds (Iden?ify -Uare the missing data) Immortalist (03/15/05)
• Re: "The Logical Mathematicians" The Last Danish Pastry (03/15/05)
• Re: On-line Godel book updated William Elliot (03/15/05)
• Re: On-line Godel book updated William Elliot (03/15/05)
• Re: On-line Godel book updated William Elliot (03/15/05)
• Re: "The Logical Mathematicians" spinoza1111_at_yahoo.com (03/15/05)
• Re: On-line Godel book updated Peter_Smith (03/15/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Bhupinder Singh Anand (03/15/05)
• Re: Atheistic Philosopher now believes in God Phÿltêr (03/15/05)
• Re: Atheistic Philosopher now believes in God Phÿltêr (03/15/05)
• Re: On-line Godel book updated Stephen Harris (03/15/05)
• Re: On-line Godel book updated Stephen Harris (03/15/05)
• Re: Aristotles logic decidable? Klaus Glashoff (03/15/05)
• Re: On-line Godel book updated William Elliot (03/15/05)
• Re: Aristotles logic decidable? Keith Ramsay (03/15/05)
• Re: Atheistic Philosopher now believes in God David V. (03/15/05)
• Re: On-line Godel book updated Stephen Harris (03/15/05)
• Re: "The Logical Mathematicians" Robert Israel (03/15/05)
• Re: What do you think of this story? Keith Ramsay (03/15/05)
• Re: Tautology test description and samples Chris Menzel (03/15/05)
• Re: "The Logical Mathematicians" Gerry Myerson (03/15/05)
• Re: "The Logical Mathematicians" Koral Maze (03/15/05)
• Re: Effective algorithmic procedures before Church/Turing Stephen Harris (03/15/05)
• Re: On-line Godel book updated William Elliot (03/15/05)
• Re: "The Logical Mathematicians" Robert Israel (03/15/05)
• Re: "The Logical Mathematicians" Christopher Allan Webber (03/15/05)
• Re: "The Logical Mathematicians" Mike (03/15/05)
• "The Logical Mathematicians" Koral Maze (03/15/05)
• Re: Atheistic Philosopher now believes in God yõwïe (03/15/05)
• Re: Atheistic Philosopher now believes in God yõwïe (03/15/05)
• "separate entity" and individuation in mathematics mitch (03/14/05)
• "separate entity" and individuation in mathematics mitch (03/14/05)
• "separate entity" and individuation in mathematics (html) mitch (03/14/05)
• Re: Tautology test description and samples muxol (03/14/05)
• Re: On-line Godel book updated William Elliot (03/14/05)
• Re: Aristotles logic decidable? David Costa (03/14/05)
• Re: Effective algorithmic procedures before Church/Turing Jim Spriggs (03/14/05)
• Re: double-father-son story on Jesus Re: Occam's Razor on Joseph of Arimethia Archimedes Plutonium (03/14/05)
• Re: Atheistic Philosopher now believes in God ralph (03/14/05)
• Re: Atheistic Philosopher now believes in God anzaurres_at_hotmail.com (03/14/05)
• Re: double-father-son story on Jesus Re: Occam's Razor on Joseph of Arimethia Archimedes Plutonium (03/14/05)
• Re: On-line Godel book updated Peter_Smith (03/14/05)
• Effective algorithmic procedures before Church/Turing Peter_Smith (03/14/05)
• Re: Tautology test description and samples Chris Menzel (03/14/05)
• Re: On-line Godel book updated Chris Menzel (03/14/05)
• Re: On-line Godel book updated Stephen Harris (03/14/05)
• Re: On-line Godel book updated Stephen Harris (03/14/05)
• Re: Tautology test description and samples David C. Ullrich (03/14/05)
• Re: Tautology test description and samples David C. Ullrich (03/14/05)
• Re: If-then in Logic vs Programming Acme Diagnostics (03/14/05)
• Re: Atheistic Philosopher now believes in God Phÿltêr (03/14/05)
• Re: On-line Godel book updated muxol (03/14/05)
• [OT] Re: On-line Godel book updated J.L. Perez-de-la-Cruz (03/14/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Ross A. Finlayson (03/14/05)
• Re: evidence that neither Jesus or his father was a carpenter Sancho Pansy (03/14/05)
• Re: On-line Godel book updated William Elliot (03/14/05)
• Re: On-line Godel book updated William Elliot (03/14/05)
• Re: On-line Godel book updated William Elliot (03/14/05)
• re:On-line Godel book updated muxol (03/14/05)
• Re: Tautology test description and samples muxol (03/14/05)
• Re: If-then in Logic vs Programming R-matrix (03/14/05)
• Re: On-line Godel book updated Stephen Harris (03/14/05)
• Re: On-line Godel book updated Stephen Harris (03/14/05)
• Re: On-line Godel book updated Stephen Harris (03/14/05)
• Re: Tautology test description and samples Chris Menzel (03/14/05)
• Re: On-line Godel book updated muxol (03/14/05)
• Re: Tautology test description and samples muxol (03/14/05)
• Re: Tautology test description and samples muxol (03/14/05)
• Re: Atheistic Philosopher now believes in God Uv (03/13/05)
• Re: Atheistic Philosopher now believes in God george (03/13/05)
• double-father-son story on Jesus Re: Occam's Razor on Joseph of Arimethia Archimedes Plutonium (03/13/05)
• Re: If-then in Logic vs Programming rick++ (03/13/05)
• Re: Beginner's Q: How to derive (x)(Ey)(x=y) Chris Menzel (03/13/05)
• Re: Tautology test description and samples Chris Menzel (03/13/05)
• Re: Tautology test description and samples Chris Menzel (03/13/05)
• Re: Atheistic Philosopher now believes in God ralph (03/13/05)
• Re: Tautology test description and samples Owen (03/13/05)
• Re: Tautology test description and samples Owen (03/13/05)
• Re: On-line Godel book updated Torkel Franzen (03/13/05)
• Re: Tautology test description and samples David C. Ullrich (03/13/05)
• Occam's Razor on Joseph of ArimethiaRe: evidence that neither Jesus or his father was a carpenter Archimedes Plutonium (03/13/05)
• Re: Aristotles logic decidable? Klaus Glashoff (03/13/05)
• Re: If-then in Logic vs Programming R-matrix (03/13/05)
• Re: What do you think of this story? spinoza1111_at_yahoo.com (03/13/05)
• Re: If-then in Logic vs Programming R-matrix (03/13/05)
• Re: Tautology test description and samples muxol (03/13/05)
• Re: Beginner's Q: How to derive (x)(Ey)(x=y) john_correy_at_yahoo.com (03/13/05)
• Re: Atheistic Philosopher now believes in God Rudraigh (03/13/05)
• Re: On-line Godel book updated William Elliot (03/12/05)
• Re: If-then in Logic vs Programming George Dance (03/12/05)
• Re: If-then in Logic vs Programming georgedance04_at_yahoo.ca (03/12/05)
• Re: If-then in Logic vs Programming georgedance04_at_yahoo.ca (03/12/05)
• Re: Some grey areas in foundational issues Aatu Koskensilta (03/12/05)
• Re: Tautology test description and samples Chris Menzel (03/12/05)
• Re: If-then in Logic vs Programming Acme Diagnostics (03/12/05)
• Re: Some grey areas in foundational issues george (03/12/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. george (03/12/05)
• Re: What do you think of this story? Jim Burns (03/12/05)
• Re: What do you think of this story? Danny Kodicek (03/12/05)
• Re: On-line Godel book updated William Elliot (03/12/05)
• Re: What do you think of this story? Jim Spriggs (03/12/05)
• Re: Tautology test description and samples muxol (03/12/05)
• On-line Godel book updated ps218_at_cam.ac.uk (03/12/05)
• Lambda-calculus and Category Theory noone (03/12/05)
• Re: Tautology test description and samples David C. Ullrich (03/12/05)
• Re: evidence that neither Jesus or his father was a carpenter Archimedes Plutonium (03/12/05)
• Re: What do you think of this story? Alan Morgan (03/12/05)
• Re: What do you think of this story? Matt Giwer (03/12/05)
• Re: If-then in Logic vs Programming R-matrix (03/12/05)
• Re: Tautology test description and samples muxol (03/12/05)
• Re: axioms as true mitch (03/12/05)
• Re: evidence that neither Jesus or his father was a carpenter Dom (03/12/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. george (03/11/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. george (03/11/05)
• Re: Some grey areas in foundational issues george (03/11/05)
• Before you go on.... John Ryskampp (03/11/05)
• Re: Some grey areas in foundational issues Bhupinder Singh Anand (03/11/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. george (03/11/05)
• Re: What do you think of this story? Chris Menzel (03/11/05)
• Re: Some grey areas in foundational issues examachine_at_gmail.com (03/11/05)
• Re: What do you think of this story? Babylonian (03/11/05)
• Re: semantic nets vs first-order logic Chris Menzel (03/11/05)
• Re: What do you think of this story? Nathan Gilbert (03/11/05)
• semantic nets vs first-order logic alex goldman (03/11/05)
• Re: If-then in Logic vs Programming Acme Diagnostics (03/11/05)
• Re: What do you think of this story? Larry Huntley (03/11/05)
• Re: Aristotles logic decidable? Keith Ramsay (03/11/05)
• Re: evidence that neither Jesus or his father was a carpenter Archimedes Plutonium (03/11/05)
• Re: What do you think of this story? Keith Ramsay (03/11/05)
• Re: If-then in Logic vs Programming R-matrix (03/11/05)
• Re: If-then in Logic vs Programming Jim Spriggs (03/11/05)
• Re: If-then in Logic vs Programming Jim Spriggs (03/10/05)
• Re: highly illogical! Lee Rudolph (03/10/05)
• Re: What do you think of this story? Will Twentyman (03/10/05)
• Re: evidence that neither Jesus or his father was a carpenter Dom (03/10/05)
• Re: If-then in Logic vs Programming Will Twentyman (03/10/05)
• Re: If-then in Logic vs Programming Barb Knox (03/10/05)
• Re: What do you think of this story? Daryl McCullough (03/10/05)
• Re: highly illogical! Mike Oliver (03/10/05)
• Re: What do you think of this story? Bobby D. Bryant (03/10/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Daryl McCullough (03/10/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Mike Oliver (03/10/05)
• Re: highly illogical! Daryl McCullough (03/10/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Torkel Franzen (03/10/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Daryl McCullough (03/10/05)
• evidence that neither Jesus nor his father were carpenters a_plutonium_at_hotmail.com (03/10/05)
• evidence that neither Jesus or his father was a carpenter Archimedes Plutonium (03/10/05)
• Re: What do you think of this story? Torkel Franzen (03/10/05)
• Re: proving bicondtionals without cases? Arturo Magidin (03/10/05)
• Re: If-then in Logic vs Programming rick++ (03/10/05)
• Re: What do you think of this story? David C. Ullrich (03/10/05)
• Re: If-then in Logic vs Programming David C. Ullrich (03/10/05)
• Re: If-then in Logic vs Programming David C. Ullrich (03/10/05)
• Re: Tautology test description and samples David C. Ullrich (03/10/05)
• Re: Aristotles logic decidable? Klaus Glashoff (03/10/05)
• Re: Aristotles logic decidable? Klaus Glashoff (03/10/05)
• evidence that Jesus was not a carpenter or carpenter's son Archimedes Plutonium (03/10/05)
• Re: If-then in Logic vs Programming R-matrix (03/10/05)
• Re: If-then in Logic vs Programming R-matrix (03/10/05)
• Re: If-then in Logic vs Programming R-matrix (03/10/05)
• Re: proving bicondtionals without cases? Adam Golding (03/10/05)
• Re: If-then in Logic vs Programming R-matrix (03/10/05)
• Re: If-then in Logic vs Programming Alan Smaill (03/10/05)
• Re: If-then in Logic vs Programming Aatu Koskensilta (03/10/05)
• Re: Something I've been curious about. Ken Pledger (03/09/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Jim Spriggs (03/09/05)
• Re: If-then in Logic vs Programming Barb Knox (03/09/05)
• Re: Aristotles logic decidable? David Costa (03/09/05)
• Re: Aristotles logic decidable? David Costa (03/09/05)
• Re: Some grey areas in foundational issues Aatu Koskensilta (03/09/05)
• Re: If-then in Logic vs Programming Acme Diagnostics (03/09/05)
• Re: Tautology test description and samples Mitch Harris (03/09/05)
• Re: Something I've been curious about. James Dolan (03/09/05)
• Re: Aristotles logic decidable? Owen (03/09/05)
• Re: If-then in Logic vs Programming Will Twentyman (03/09/05)
• Re: If-then in Logic vs Programming David C. Ullrich (03/09/05)
• Re: Tautology test description and samples David C. Ullrich (03/09/05)
• Re: Tautology test description and samples Alex Vinokur (03/09/05)
• Re: Aristotles logic decidable? Owen (03/09/05)
• Re: Aristotles logic decidable? Klaus Glashoff (03/09/05)
• Re: Aristotles logic decidable? Klaus Glashoff (03/09/05)
• Re: Aristotles logic decidable? Klaus Glashoff (03/09/05)
• Re: If-then in Logic vs Programming William Elliot (03/09/05)
• Re: If-then in Logic vs Programming R-matrix (03/09/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Bhupinder Singh Anand (03/09/05)
• re: If-then in Logic vs Programming Acme Diagnostics (03/09/05)
• Re: Some grey areas in foundational issues Bhupinder Singh Anand (03/09/05)
• If-then in Logic vs Programming R-matrix (03/09/05)
• Re: Beginner's Q: How to derive (x)(Ey)(x=y) Chris Menzel (03/09/05)
• Re: Aristotles logic decidable? Chris Menzel (03/09/05)
• Re: What mechanically generated proof formats are common? Tom Breton (03/09/05)
• Re: proving bicondtionals without cases? Arturo Magidin (03/08/05)
• CFP: LICS 2005: Call for Short Presentations Alex Simpson (03/08/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Babylonian (03/08/05)
• Re: Some grey areas in foundational issues examachine_at_gmail.com (03/08/05)
• Re: A screenplay about proving God's existence examachine_at_gmail.com (03/08/05)
• Re: Aristotles logic decidable? Klaus Glashoff (03/08/05)
• Re: Aristotles logic decidable? Klaus Glashoff (03/08/05)
• Re: Something I've been curious about. Torkel Franzen (03/08/05)
• Re: Something I've been curious about. Mike Oliver (03/08/05)
• Something I've been curious about. Chairman of the David Hilbert Appreciation Society (03/08/05)
• Re: English Prime ( E-Prime [To Exist or Not to Exist]) crypto_stonelock_at_hotmail.com (03/08/05)
• Re: Tautology test description and samples Alex Vinokur (03/08/05)
• Re: Aristotles logic decidable? Owen (03/08/05)
• Re: Tautology test description and samples William Elliot (03/08/05)
• Re: English Prime ( E-Prime [To Exist or Not to Exist]) Mike Burke (03/08/05)
• Re: Aristotles logic decidable? Owen (03/08/05)
• Re: Aristotles logic decidable? Klaus Glashoff (03/08/05)
• Re: axioms as true Mitch Harris (03/08/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Torkel Franzen (03/08/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Bhupinder Singh Anand (03/08/05)
• Tautology test description and samples Alex Vinokur (03/08/05)
• Re: Beginner's Q: How to derive (x)(Ey)(x=y) john_correy_at_yahoo.com (03/08/05)
• Re: Aristotles logic decidable? Chris Menzel (03/08/05)
• highly illogical! William Elliot (03/08/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Mike Oliver (03/08/05)
• Re: highly illogical! Barb Knox (03/08/05)
• Re: proving bicondtionals without cases? futurist (03/08/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Bhupinder Singh Anand (03/08/05)
• Re: proving bicondtionals without cases? futurist (03/08/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Bhupinder Singh Anand (03/08/05)
• highly illogical! Bill Taylor (03/08/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Paul Holbach (03/08/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Ross A. Finlayson (03/08/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Paul Holbach (03/08/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Mike Oliver (03/08/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Babylonian (03/08/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Mike Oliver (03/08/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Jim Spriggs (03/08/05)
• Re: What mechanically generated proof formats are common? Norman Megill (03/08/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Ross A. Finlayson (03/07/05)
• re the coherence of "full" powersets george (03/07/05)
• Re: axioms as true george (03/07/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. george (03/07/05)
• Re: Some grey areas in foundational issues george (03/07/05)
• Re: highly illogical! Jim Spriggs (03/07/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Jim Spriggs (03/07/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Babylonian (03/07/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Jim Spriggs (03/07/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Bhupinder Singh Anand (03/07/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Bhupinder Singh Anand (03/07/05)
• Re: A screenplay about proving God's existence St. Jackanapes (03/07/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Bhupinder Singh Anand (03/07/05)
• Re: axioms as true Chris Menzel (03/07/05)
• Re: False experts Josef Oswald (03/07/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Mike Oliver (03/07/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Jim Spriggs (03/07/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Jim Spriggs (03/07/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Mike Oliver (03/07/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Will Twentyman (03/07/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Bhupinder Singh Anand (03/07/05)
• Re: axioms as true Mitch Harris (03/07/05)
• Re: Photons/Universe or Neutrinos/Universe Brad Guth (03/07/05)
• Re: Photons/Universe or Neutrinos/Universe Brad Guth (03/07/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Chris Menzel (03/07/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Mike Oliver (03/07/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Torkel Franzen (03/07/05)
• Re: Strange notion of computability Daryl McCullough (03/07/05)
• Re: Aristotles logic decidable? Klaus Glashoff (03/07/05)
• Re: Aristotles logic decidable? Klaus Glashoff (03/07/05)
• Re: Aristotles logic decidable? Keith Ramsay (03/07/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. Babylonian (03/07/05)
• Re: Why an inconsistent ZF may be desirable, and should be welcome. William Elliot (03/07/05)
• Re: I am curious about yellow. William Elliot (03/07/05)
• Re: Beginner's Q: How to derive (x)(Ey)(x=y) Chris Menzel (03/07/05)
• Why an inconsistent ZF may be desirable, and should be welcome. Bhupinder Singh Anand (03/07/05)
• Re: Beginner's Q: How to derive (x)(Ey)(x=y) john_correy_at_yahoo.com (03/07/05)
• Re: I am curious about yellow. Barb Knox (03/06/05)
• Re: A New Series of Books and Software vb_at_cybertester.com (03/06/05)
• Re: Some grey areas in foundational issues george (03/06/05)
• Re: Aristotles logic decidable? Owen (03/06/05)
• Re: Aristotles logic decidable? David Costa (03/06/05)
• Re: Aristotles logic decidable? Owen (03/06/05)
• Re: Aristotles logic decidable? Barb Knox (03/06/05)
• Re: I am curious about yellow. William Elliot (03/06/05)
• Re: Aristotles logic decidable? Klaus Glashoff (03/06/05)
• Re: Aristotles logic decidable? Chris Menzel (03/06/05)
• Re: Aristotles logic decidable? Keith Ramsay (03/06/05)
• Re: A screenplay about proving God's existence yöwie (03/06/05)
• Re: A screenplay about proving God's existence yöwie (03/06/05)
• Re: Aristotles logic decidable? Owen (03/05/05)
• Re: Photons/Universe or Neutrinos/Universe Brad Guth (03/05/05)
• Re: Photons/Universe or Neutrinos/Universe Brad Guth (03/05/05)
• Re: Aristotles logic decidable? Keith Ramsay (03/05/05)
• Re: Aristotles logic decidable? Pierre Asselin (03/05/05)
• Re: False experts gigo448_at_netscape.net (03/05/05)
• Re: False experts Barbara Schwarz (03/05/05)
• Re: I am curious about yellow. Jim Heckman (03/05/05)
• Re: Aristotles logic decidable? John Harrison (03/05/05)
• Re: I am curious about yellow. Jim Spriggs (03/05/05)
• Re: I am curious about yellow. Jim Spriggs (03/05/05)
• Re: I am curious about yellow. Bill Smythe (03/05/05)
• I am curious about yellow. Jim Spriggs (03/05/05)
• Re: Aristotles logic decidable? Klaus Glashoff (03/05/05)
• Re: Aristotles logic decidable? Klaus Glashoff (03/05/05)
• Re: Aristotles logic decidable? Jim Spriggs (03/05/05)
• Re: False experts gigo448_at_netscape.net (03/05/05)
• Re: False experts Josef Oswald (03/05/05)
• A New Series of Books and Software for Scientists, Experts, Teachers and Students Academy (03/05/05)
• Re: False experts gigo448_at_netscape.net (03/05/05)
• Re: False experts Josef Oswald (03/05/05)
• Re: Strange notion of computability Keith Ramsay (03/05/05)
• Re: Perfect Polish space Mike Oliver (03/05/05)
• OT: The logical choice skearney_at_accessbee.com (03/05/05)
• Re: Perfect Polish space poopdeville_at_gmail.com (03/05/05)
• UCLA Logic Colloquium, Mar. 11 H. Enderton (03/05/05)
• Re: Perfect Polish space Mike Oliver (03/05/05)
• Perfect Polish space poopdeville_at_gmail.com (03/04/05)
• Re: False experts gigo448_at_netscape.net (03/04/05)
• Re: False experts Barbara Schwarz (03/04/05)
• Re: False experts gigo448_at_netscape.net (03/04/05)
• Re: False experts Barbara Schwarz (03/04/05)
• Re: Aristotles logic decidable? Owen (03/04/05)
• Re: Aristotles logic decidable? John Harrison (03/04/05)
• Re: False experts Josef Oswald (03/04/05)
• Re: Aristotles logic decidable? Chris Menzel (03/04/05)
• Re: False experts Barbara Schwarz (03/04/05)
• Re: False experts Josef Oswald (03/04/05)
• Re: Aristotles logic decidable? Klaus Glashoff (03/04/05)
• Re: Aristotles logic decidable? Chris Menzel (03/04/05)
• Strange notion of computability Daryl McCullough (03/04/05)
• Re: Prove axiom in S5 A.S. (03/04/05)
• Re: Prove axiom in S5 Barb Knox (03/04/05)
• Re: Prove axiom in S5 A.S. (03/04/05)
• Re: Aristotles logic decidable? Keith Ramsay (03/04/05)
• Re: A screenplay about proving God's existence josephus (03/04/05)
• Re: A screenplay about proving God's existence St. Jackanapes (03/04/05)
• Re: Prove axiom in S5 muxol (03/04/05)
• Re: Prove axiom in S5 Barb Knox (03/04/05)
• Re: Prove axiom in S5 A.S. (03/03/05)
• Re: The definition of consciousness EL (03/03/05)
• Re: Prove axiom in S5 William Elliot (03/03/05)
• Re: Prove axiom in S5 William Elliot (03/03/05)
• Re: Prove axiom in S5 Barb Knox (03/03/05)
• Re: Prove axiom in S5 Barb Knox (03/03/05)
• Re: False experts Barbara Schwarz (03/03/05)
• Re: Prove axiom in S5 A.S. (03/03/05)
• Re: False experts gigo448_at_netscape.net (03/03/05)
• Re: English Prime ( E-Prime [To Exist or Not to Exist]) crypto_stonelock_at_hotmail.com (03/03/05)
• Re: False experts Josef Oswald (03/03/05)
• Re: False experts gigo448_at_netscape.net (03/03/05)
• Re: Some grey areas in foundational issues Aatu Koskensilta (03/03/05)
• Re: S4 + ZFC? Mike Carroll (03/03/05)
• Re: Daryl McCullough supports terrorist attacks aeo6 (03/03/05)
• Re: A screenplay about proving God's existence Phyltress, Godless Princess (03/03/05)
• Re: Daryl McCullough supports terrorist attacks aeo6 (03/03/05)
• Re: Prove axiom in S5 A.S. (03/03/05)
• Re: False experts Josef Oswald (03/03/05)
• Re: Photons/Universe or Neutrinos/Universe Brad Guth (03/03/05)
• Re: Some grey areas in foundational issues george (03/03/05)
• Re: S4 + ZFC? Jim Spriggs (03/03/05)
• Re: False experts gigo448_at_netscape.net (03/03/05)
• Re: S4 + ZFC? Mike Carroll (03/03/05)
• Re: False experts Josef Oswald (03/03/05)
• Re: S4 + ZFC? Jim Spriggs (03/03/05)
• Re: Aristotles logic decidable? John Harrison (03/03/05)
• Re: Photons/Universe or Neutrinos/Universe GR_GR (03/03/05)
• Re: Daryl McCullough supports terrorist attacks Lester Zick (03/03/05)
• Re: Neil W Rickert, yet another moral imposter examachine_at_gmail.com (03/03/05)
• Re: Neil W Rickert, yet another moral imposter Torkel Franzen (03/03/05)
• Re: Neil W Rickert, yet another moral imposter examachine_at_gmail.com (03/03/05)
• Re: Daryl McCullough supports terrorist attacks David C. Ullrich (03/03/05)
• Re: Ponzi or Pyramid Schemes zerkanX (03/03/05)
• Re: Prove axiom in S5 William Elliot (03/03/05)
• Re: Prove axiom in S5 William Elliot (03/03/05)
• Re: S4 + ZFC? J.L. Perez-de-la-Cruz (03/03/05)
• Re: Prove axiom in S5 muxol (03/03/05)
• Re: Daryl McCullough supports terrorist attacks Stephen Harris (03/03/05)
• Re: Daryl McCullough supports terrorist attacks Stephen Harris (03/03/05)
• Re: Prove axiom in S5 Barb Knox (03/03/05)
• Re: Neil W Rickert, yet another moral imposter Stephen Harris (03/03/05)
• Re: Prove axiom in S5 William Elliot (03/03/05)
• Re: Prove axiom in S5 William Elliot (03/03/05)
• Re: Prove axiom in S5 William Elliot (03/03/05)
• Re: Prove axiom in S5 William Elliot (03/03/05)
• Re: Prove axiom in S5 William Elliot (03/03/05)
• Re: definition: co-moron mcyberliver (03/03/05)
• S4 + ZFC? Mike Carroll (03/03/05)
• Re: Daryl McCullough supports terrorist attacks stephen_at_nomail.com (03/03/05)
• Re: Daryl McCullough supports terrorist attacks Mike Oliver (03/03/05)
• Re: Daryl McCullough supports terrorist attacks Daryl McCullough (03/03/05)
• Re: Neil W Rickert, yet another moral imposter Daryl McCullough (03/03/05)
• Re: Daryl McCullough supports terrorist attacks Daryl McCullough (03/03/05)
• Re: Neil W Rickert, yet another moral imposter Daryl McCullough (03/03/05)
• Re: Some grey areas in foundational issues Bhupinder Singh Anand (03/03/05)
• Re: Daryl McCullough supports terrorist attacks Tim Peters (03/03/05)
• Re: Neil W Rickert, yet another moral imposter Stephen Harris (03/03/05)
• Re: Prove axiom in S5 muxol (03/03/05)
• Re: Prove axiom in S5 muxol (03/03/05)
• Re: Photons/Universe or Neutrinos/Universe Ken J. Wards _Great Uncle _at_6_feetunder.net (03/03/05)
• Re: definition: co-moron clonebear_at_webtv.net (03/03/05)
• Re: Photons/Universe or Neutrinos/Universe Brad Guth (03/03/05)
• Re: Daryl McCullough supports terrorist attacks Stephen Harris (03/02/05)
• Re: Neil W Rickert, yet another moral imposter Stephen Harris (03/02/05)
• What mechanically generated proof formats are common? Tom Breton (03/02/05)
• Re: [FAQ, 99/07/28] Mathematical logic on the web pctech (03/02/05)
• Re: Photons/Universe or Neutrinos/Universe pctech (03/02/05)
• Re: False experts gigo448_at_netscape.net (03/02/05)
• Re: False experts gigo448_at_netscape.net (03/02/05)
• Re: Photons/Universe or Neutrinos/Universe Brad Guth (03/02/05)
• Re: False experts Barbara Schwarz (03/02/05)
• Re: Photons/Universe or Neutrinos/Universe Uncle Al (03/02/05)
• Re: False experts anonymous.informer_at_gmail.com (03/02/05)
• Re: Daryl McCullough supports terrorist attacks Daryl McCullough (03/02/05)
• Re: Photons/Universe or Neutrinos/Universe Ken J. Wards _Great Uncle _at_6_feetunder.net (03/02/05)
• Re: Atheistic Philosopher now believes in God Rob Duncan (03/02/05)
• Re: Photons/Universe or Neutrinos/Universe Brad Guth (03/02/05)
• Re: Daryl McCullough supports terrorist attacks Stephen Harris (03/02/05)
• Re: Photons/Universe or Neutrinos/Universe Brad Guth (03/02/05)
• Re: Aristotles logic decidable? Chris Menzel (03/02/05)
• Re: False experts gigo448_at_netscape.net (03/02/05)
• Re: False experts gigo448_at_netscape.net (03/02/05)
• Re: False experts Josef Oswald (03/02/05)
• Re: False experts Josef Oswald (03/02/05)
• Re: Prove axiom in S5 Ken Pledger (03/02/05)
• Re: False experts Josef Oswald (03/02/05)
• Re: False experts Josef Oswald (03/02/05)
• Re: False experts gigo448_at_netscape.net (03/02/05)
• Re: False experts Josef Oswald (03/02/05)
• Re: False experts gigo448_at_netscape.net (03/02/05)
• Re: Photons/Universe or Neutrinos/Universe Uncle Al (03/02/05)
• Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (03/02/05)
• Re: False experts Josef Oswald (03/02/05)
• Re: Aristotles logic decidable? John Harrison (03/02/05)
• Re: Prove axiom in S5 A.S. (03/02/05)
• Re: Prove axiom in S5 A.S. (03/02/05)
• Re: Some grey areas in foundational issues Will Twentyman (03/02/05)
• Re: Prove axiom in S5 H. J. Sander Bruggink (03/02/05)
• Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (03/02/05)
• Re: Daryl McCullough supports terrorist attacks Neil W Rickert (03/02/05)
• Re: Prove axiom in S5 William Elliot (03/02/05)
• Re: Prove axiom in S5 muxol (03/02/05)
• Re: Prove axiom in S5 William Elliot (03/02/05)
• Re: Aristotles logic decidable? Owen (03/02/05)
• Re: Prove axiom in S5 Barb Knox (03/02/05)
• Re: Daryl McCullough supports terrorist attacks Stephen Harris (03/02/05)
• Re: Prove axiom in S5 H. J. Sander Bruggink (03/02/05)
• Re: Atheistic Philosopher now believes in God josephus (03/02/05)
• Re: Prove axiom in S5 William Elliot (03/02/05)
• Re: Prove axiom in S5 William Elliot (03/02/05)
• Re: [FAQ, 99/07/28] Mathematical logic on the web Torkel Franzen (03/02/05)
• Re: Prove axiom in S5 muxol (03/02/05)
• Re: [FAQ, 99/07/28] Mathematical logic on the web OsherD (03/02/05)
• Re: Daryl McCullough supports terrorist attacks Daryl McCullough (03/02/05)
• Re: Daryl McCullough supports terrorist attacks Stephen Harris (03/02/05)
• Re: Daryl McCullough supports terrorist attacks Daryl McCullough (03/02/05)
• Re: Daryl McCullough supports terrorist attacks Stephen Harris (03/02/05)
• Re: Daryl McCullough supports terrorist attacks Stephen Harris (03/02/05)
• Re: Photons/Universe or Neutrinos/Universe LOUFER (03/02/05)
• Re: Photons/Universe or Neutrinos/Universe Jack Martinelli (03/02/05)
• Re: Aristotles logic decidable? Chris Menzel (03/02/05)
• Re: Daryl McCullough supports terrorist attacks Mike Oliver (03/02/05)
• Re: Daryl McCullough supports terrorist attacks Daryl McCullough (03/02/05)
• Re: Photons/Universe or Neutrinos/Universe LOUFER (03/02/05)
• Photons/Universe or Neutrinos/Universe Brad Guth (03/02/05)
• Daryl McCullough supports terrorist attacks Stephen Harris (03/02/05)
• Re: False experts gigo448_at_netscape.net (03/02/05)
• Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (03/02/05)
• Re: False experts Eric (03/02/05)
• Re: False experts Eric (03/02/05)
• Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (03/02/05)
• Re: Prove axiom in S5 Barb Knox (03/02/05)
• Re: Some grey areas in foundational issues Bhupinder Singh Anand (03/02/05)
• Re: Some grey areas in foundational issues Bhupinder Singh Anand (03/02/05)
• Re: False experts gigo448_at_netscape.net (03/02/05)
• Re: False experts gigo448_at_netscape.net (03/02/05)
• Re: False experts Eric (03/02/05)
• Re: False experts gigo448_at_netscape.net (03/02/05)
• Re: False experts Eric (03/02/05)
• Re: False experts Eric (03/02/05)
• Re: False experts Eric (03/02/05)
• Re: Atheistic Philosopher now believes in God Rob Duncan (03/02/05)
• Re: Prove axiom in S5 muxol (03/01/05)
• Re: Aristotles logic decidable? Jim Spriggs (03/01/05)
• Re: Aristotles logic decidable? Barb Knox (03/01/05)
• Re: Prove axiom in S5 A.S. (03/01/05)
• Re: False experts gigo448_at_netscape.net (03/01/05)
• Re: Prove axiom in S5 William Elliot (03/01/05)
• Re: False experts Barbara Schwarz (03/01/05)
• Re: False experts gigo448_at_netscape.net (03/01/05)
• Re: False experts Bob Abendroth (03/01/05)
• Re: False experts gigo448_at_netscape.net (03/01/05)
• Re: False experts gigo448_at_netscape.net (03/01/05)
• Re: False experts Bob Abendroth (03/01/05)
• Re: False experts Barbara Schwarz (03/01/05)
• Re: False experts gigo448_at_netscape.net (03/01/05)
• Re: False experts Barbara Schwarz (03/01/05)
• Re: False experts gigo448_at_netscape.net (03/01/05)
• Re: False experts Bob Abendroth (03/01/05)
• Re: False experts gigo448_at_netscape.net (03/01/05)
• Re: False experts Bob Abendroth (03/01/05)
• Re: A screenplay about proving God's existence Pope Rudraigh (03/01/05)
• Re: Aristotles logic decidable? Chris Menzel (03/01/05)
• Re: Aristotles logic decidable? Klaus Glashoff (03/01/05)
• Re: Aristotles logic decidable? Klaus Glashoff (03/01/05)
• Re: Some grey areas in foundational issues Will Twentyman (03/01/05)
• Simple Prover 3.6 released Stephan Lehmke (03/01/05)
• Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) george (03/01/05)
• Re: Some grey areas in foundational issues Aatu Koskensilta (03/01/05)
• Re: Some grey areas in foundational issues george (03/01/05)
• Re: Atheistic Philosopher now believes in God ralph (03/01/05)
• Re: Prove axiom in S5 A.S. (03/01/05)
• Re: In the empty domain: Chris Menzel (03/01/05)
• Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (03/01/05)
• Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (03/01/05)
• Re: Prove axiom in S5 A.S. (03/01/05)
• Re: False experts gigo448_at_netscape.net (03/01/05)
• Re: False experts rickross_at_rickross.com (03/01/05)
• Re: Aristotles logic decidable? G. Frege (03/01/05)
• Re: Cerberus and Quine examachine_at_gmail.com (03/01/05)
• Re: False experts gigo448_at_netscape.net (03/01/05)
• Re: False experts SheBlewHimDidYouBlowHim (03/01/05)
• Re: Prove axiom in S5 muxol (03/01/05)
• Re: Aristotles logic decidable? Owen (03/01/05)
• Re: Aristotles logic decidable? Owen (03/01/05)
• Re: In the empty domain: john_correy_at_yahoo.com (03/01/05)
• Re: Some grey areas in foundational issues Bhupinder Singh Anand (03/01/05)
• Re: Beginner's Q: How to derive (x)(Ey)(x=y) Chris Menzel (03/01/05)
• Re: Beginner's Q: How to derive (x)(Ey)(x=y) Chris Menzel (03/01/05)
• Re: In the empty domain: john_correy_at_yahoo.com (03/01/05)
• Re: Beginner's Q: How to derive (x)(Ey)(x=y) john_correy_at_yahoo.com (03/01/05)
• Re: False experts Eric (03/01/05)
• Re: In the empty domain: Chris Menzel (03/01/05)
• Re: In the empty domain: john_correy_at_yahoo.com (03/01/05)
• Re: Some grey areas in foundational issues Aatu Koskensilta (03/01/05)
• Re: Some grey areas in foundational issues Bhupinder Singh Anand (03/01/05)
• Re: False experts anonymous.informer_at_gmail.com (03/01/05)
• Re: Prove axiom in S5 William Elliot (03/01/05)
• Re: Prove axiom in S5 muxol (03/01/05)
• Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Shmuel (Seymour J.) Metz (03/01/05)
• Re: Prove axiom in S5 William Elliot (03/01/05)
• Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Shmuel (Seymour J.) Metz (03/01/05)
• Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Shmuel (Seymour J.) Metz (03/01/05)
• Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (03/01/05)
• Re: proving bicondtionals without cases? muxol (03/01/05)
• Raymond Smullayn's piano performances Patrick Dowland (03/01/05)
• [FAQ, 99/07/28] Mathematical logic on the web Boris 'pi' Piwinger (03/01/05)
• Re: False experts gigo448_at_netscape.net (03/01/05)
• Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (03/01/05)
• Re: False experts Robroy (03/01/05)
• Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (03/01/05)
• Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/28/05)
• Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/28/05)
• Re: False experts Eric (02/28/05)
• Re: Some grey areas in foundational issues Will Twentyman (02/28/05)
• Re: False experts gigo448_at_netscape.net (02/28/05)
• Re: False experts gigo448_at_netscape.net (02/28/05)
• Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/28/05)
• Re: False experts Barbara Schwarz (02/28/05)
• Re: False experts Barbara Schwarz (02/28/05)
• Re: False experts Barbara Schwarz (02/28/05)
• Re: Can STRONG induction for N be derived from Peano's Axioms? Arturo Magidin (02/28/05)
• Re: proving bicondtionals without cases? Arturo Magidin (02/28/05)
• Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/28/05)
• Re: proving bicondtionals without cases? futurist (02/28/05)
• Re: Aristotles logic decidable? David Costa (02/28/05)
• L = {w|w contains an equal number of 0's and 1's } in jflap jose (02/28/05)
• Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/28/05)
• Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/28/05)
• Re: Can STRONG induction for N be derived from Peano's Axioms? r.e.s. (02/28/05)
• Re: Can STRONG induction for N be derived from Peano's Axioms? Herman Rubin (02/28/05)
• Re: Can STRONG induction for N be derived from Peano's Axioms? Mitch Harris (02/28/05)
• re:help with some maths (computability) jose (02/28/05)
• Re: Can STRONG induction for N be derived from Peano's Axioms? Bill Dubuque (02/28/05)
• Re: Can STRONG induction for N be derived from Peano's Axioms? Mitch Harris (02/28/05)
• Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mitch Harris (02/28/05)
• Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mitch Harris (02/28/05)
• Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mike Oliver (02/28/05)
• Re: Can STRONG induction for N be derived from Peano's Axioms? Dave Seaman (02/28/05)
• Re: Can STRONG induction for N be derived from Peano's Axioms? G. A. Edgar (02/28/05)
• Re: Can STRONG induction for N be derived from Peano's Axioms? Arturo Magidin (02/28/05)
• Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/28/05)
• Re: Can STRONG induction for N be derived from Peano's Axioms? Mitch Harris (02/28/05)
• Modal Logic William Elliot (02/28/05)
• Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mitch Harris (02/28/05)
• Re: Aristotles logic decidable? Keith Ramsay (02/28/05)
• Re: Aristotles logic decidable? muxol (02/28/05)
• Re: Aristotles logic decidable? William Elliot (02/28/05)
• Re: Atheistic Philosopher now believes in God Phÿltêr (02/28/05)
• Re: False experts SheBlewHimDidYouBlowHim (02/28/05)
• Re: Atheistic Philosopher now believes in God yöwie (02/28/05)

Last message date: 03/30/05
Archived on: 03/30/05 GMT

---

1179 messages sorted by: [ thread ]

We are proud to have Web Hosting and Rack Housing from 9 Net Avenue Deutschland.
(16)