sci.logic

Thread Index

Re: Is wittgensteins colour exclusion problem formalizable?
- From: J P
Re: Is wittgensteins colour exclusion problem formalizable?
- From: translogi
hi
- From: ahire . vaibhav
Re: infinitely many nn's = infinite nn's?
- From: Phil
What could be reasoned from one proposition "A is B"?
- From: Conbra
Re: Axiomatic set theory is still contradictory
- From: johnny.tooloose
Re: Axiomatic set theory is still contradictory
- From: johnny.tooloose
Re: Is wittgensteins colour exclusion problem formalizable?
- From: J P
Re: Axiomatic set theory is still contradictory
- From: Charlie-Boo
Re: OUTGOEDELING A HUMAN?
- From: Daryl McCullough
Re: OUTGOEDELING A HUMAN?
- From: aatu . koskensilta
Re: OUTGOEDELING A HUMAN?
- From: aatu . koskensilta
Re: OUTGOEDELING A HUMAN?
- From: LauLuna
Re: OUTGOEDELING A HUMAN?
- From: LauLuna
Re: The set of all JOKES.....
- From: LauLuna
Re: The set of all JOKES.....
- From: LauLuna
Re: The set of all JOKES.....
- From: LauLuna
Re: Which theories hold a true but unprovable statement?
- From: aatu . koskensilta
Re: OUTGOEDELING A HUMAN?
- From: aatu . koskensilta
Re: OUTGOEDELING A HUMAN?
- From: aatu . koskensilta
Re: OUTGOEDELING A HUMAN?
- From: aatu . koskensilta
Re: Inconsistent = all sentences provable?
- From: aatu . koskensilta
Re: Inconsistent = all sentences provable?
- From: aatu . koskensilta
Re: Inconsistent = all sentences provable?
- From: aatu . koskensilta
Re: OUTGOEDELING A HUMAN?
- From: Nam D. Nguyen
Re: Inconsistent = all sentences provable?
- From: Charlie-Boo
Re: Inconsistent = all sentences provable?
- From: Charlie-Boo
Re: Inconsistent = all sentences provable?
- From: Charlie-Boo
Re: OUTGOEDELING A HUMAN?
- From: herbzet
Re: The set of all JOKES.....
- From: John Jones
Re: The set of all JOKES.....
- From: charleswehner@xxxxxxxxxxx
Re: OUTGOEDELING A HUMAN?
- From: John Jones
Re: The set of all JOKES.....
- From: John Jones
Re: The set of all JOKES.....
- From: charleswehner@xxxxxxxxxxx
Re: The set of all JOKES.....
- From: charleswehner@xxxxxxxxxxx
Re: OUTGOEDELING A HUMAN?
- From: Daryl McCullough
Re: OUTGOEDELING A HUMAN?
- From: Daryl McCullough
Re: OUTGOEDELING A HUMAN?
- From: Daryl McCullough
Re: OUTGOEDELING A HUMAN?
- From: Daryl McCullough
Re: OUTGOEDELING A HUMAN?
- From: LauLuna
Re: OUTGOEDELING A HUMAN?
- From: LauLuna
Re: OUTGOEDELING A HUMAN?
- From: LauLuna
Re: The set of all JOKES.....
- From: LauLuna
Re: Is wittgensteins colour exclusion problem formalizable?
- From: translogi
Re: OUTGOEDELING A HUMAN?
- From: LauLuna
Re: OUTGOEDELING A HUMAN?
- From: LauLuna
Re: OUTGOEDELING A HUMAN?
- From: LauLuna
Re: OUTGOEDELING A HUMAN?
- From: Nam D. Nguyen
Elementary equivalence and elementary substructures
- From: mordov
Re: wittgensteins Tractarian logic any suggestions.?
- From: G . Frege
Re: OUTGOEDELING A HUMAN?
- From: abo
Re: wittgensteins Tractarian logic any suggestions.?
- From: G . Frege
Re: OUTGOEDELING A HUMAN?
- From: herbzet
Re: wittgensteins Tractarian logic any suggestions.?
- From: G . Frege
Re: wittgensteins Tractarian logic any suggestions.?
- From: G . Frege
Re: OUTGOEDELING A HUMAN?
- From: Daryl McCullough
Re: The set of all JOKES.....
- From: John Jones
Re: Is wittgensteins colour exclusion problem formalizable?
- From: John Jones
Re: A theory
- From: Charlie-Boo
Re: Is wittgensteins colour exclusion problem formalizable?
- From: translogi
Re: OUTGOEDELING A HUMAN?
- From: Daryl McCullough
Re: OUTGOEDELING A HUMAN?
- From: abo
Re: OUTGOEDELING A HUMAN?
- From: Daryl McCullough
Re: OUTGOEDELING A HUMAN?
- From: Daryl McCullough
Re: OUTGOEDELING A HUMAN?
- From: Daryl McCullough
Re: OUTGOEDELING A HUMAN?
- From: LauLuna
Re: OUTGOEDELING A HUMAN?
- From: Daryl McCullough
Re: OUTGOEDELING A HUMAN?
- From: LauLuna
Re: OUTGOEDELING A HUMAN?
- From: abo
Re: OUTGOEDELING A HUMAN?
- From: Daryl McCullough
Re: OUTGOEDELING A HUMAN?
- From: Daryl McCullough
Re: OUTGOEDELING A HUMAN?
- From: Daryl McCullough
Re: OUTGOEDELING A HUMAN?
- From: LauLuna
Re: Is wittgensteins colour exclusion problem formalizable?
- From: John Jones
Re: wittgensteins Tractarian logic any suggestions.?
- From: translogi
Re: wittgensteins Tractarian logic any suggestions.?
- From: John Jones
Re: OUTGOEDELING A HUMAN?
- From: Charlie-Boo
Re: OUTGOEDELING A HUMAN?
- From: Charlie-Boo
Re: OUTGOEDELING A HUMAN?
- From: abo
Re: OUTGOEDELING A HUMAN?
- From: Nam D. Nguyen
Re: OUTGOEDELING A HUMAN?
- From: abo
Re: OUTGOEDELING A HUMAN?
- From: Daryl McCullough
Re: OUTGOEDELING A HUMAN?
- From: Nam D. Nguyen
Re: OUTGOEDELING A HUMAN?
- From: Daryl McCullough
Re: OUTGOEDELING A HUMAN?
- From: Nam D. Nguyen
Re: OUTGOEDELING A HUMAN?
- From: Daryl McCullough
Re: OUTGOEDELING A HUMAN?
- From: Nam D. Nguyen
Re: OUTGOEDELING A HUMAN?
- From: Daryl McCullough
Re: wittgensteins Tractarian logic any suggestions.?
- From: G . Frege
Re: wittgensteins Tractarian logic any suggestions.?
- From: Jan Burse
Re: wittgensteins Tractarian logic any suggestions.?
- From: G . Frege
Re: A creative philosophy of mathematics
- From: MoeBlee
Re: OUTGOEDELING A HUMAN?
- From: abo
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: OUTGOEDELING A HUMAN?
- From: Daryl McCullough
Re: Can ZFC prove Addition is Associative?
- From: herbzet
Re: The set of all JOKES.....
- From: charleswehner@xxxxxxxxxxx
Re: OUTGOEDELING A HUMAN?
- From: David Marcus
Re: Is wittgensteins colour exclusion problem formalizable?
- From: translogi
Re: OUTGOEDELING A HUMAN?
- From: Daryl McCullough
Re: OUTGOEDELING A HUMAN?
- From: LauLuna
Call for Papers with Extended Deadline: WORLDCOMP'07 (June 25-28, 2007, Las Vegas, USA): conferences in computer science, computer engineering, and applied computing
- From: A. M. G. Solo
Re: OUTGOEDELING A HUMAN?
- From: abo
Re: OUTGOEDELING A HUMAN?
- From: Nam D. Nguyen
Re: THE SUBTLE FRAUD OF RELATIVITY
- From: Ross A. Finlayson
A theory
- From: Ross A. Finlayson
Re: OUTGOEDELING A HUMAN?
- From: Daryl McCullough
Re: OUTGOEDELING A HUMAN?
- From: abo
Re: OUTGOEDELING A HUMAN?
- From: Daryl McCullough
Re: The set of all JOKES.....
- From: John Jones
Re: wittgensteins Tractarian logic any suggestions.?
- From: John Jones
Re: Is wittgensteins colour exclusion problem formalizable?
- From: John Jones
Re: OUTGOEDELING A HUMAN?
- From: abo
The set of all JOKES.....
- From: charleswehner@xxxxxxxxxxx
Re: wittgensteins Tractarian logic any suggestions.?
- From: G . Frege
Re: OUTGOEDELING A HUMAN?
- From: Daryl McCullough
wittgensteins Tractarian logic any suggestions.?
- From: translogi
Re: Is wittgensteins colour exclusion problem formalizable?
- From: translogi
Re: OUTGOEDELING A HUMAN?
- From: David Marcus
Re: OUTGOEDELING A HUMAN?
- From: LauLuna
Re: This sentence is not true
- From: David Marcus
Re: OUTGOEDELING A HUMAN?
- From: Daryl McCullough
Re: This sentence is not true
- From: Indoarsman
Re: OUTGOEDELING A HUMAN?
- From: abo
Re: OUTGOEDELING A HUMAN?
- From: Daryl McCullough
Re: OUTGOEDELING A HUMAN?
- From: Aatu Koskensilta
Re: OUTGOEDELING A HUMAN?
- From: Daryl McCullough
Re: Canonical form with NOR or NAND?
- From: Jack W.
Re: OUTGOEDELING A HUMAN?
- From: Aatu Koskensilta
Re: Stuck on a logic problem
- From: Peter_Smith
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
"A Glitch in The Matrix Exists"
- From: newstips6706
Re: Can ZFC prove Addition is Associative?
- From: herbzet
Re: Which theories hold a true but unprovable statement?
- From: Gc
Re: Which theories hold a true but unprovable statement?
- From: Gc
Re: Which theories hold a true but unprovable statement?
- From: george
Re: Is wittgensteins colour exclusion problem formalizable?
- From: John Jones
Re: OUTGOEDELING A HUMAN?
- From: John Jones
Stuck on a logic problem
- From: Snis Pilbor
Re: Which theories hold a true but unprovable statement?
- From: MoeBlee
Re: OUTGOEDELING A HUMAN?
- From: Daryl McCullough
Re: OUTGOEDELING A HUMAN?
- From: george
Re: Is wittgensteins colour exclusion problem formalizable?
- From: translogi
Re: OUTGOEDELING A HUMAN?
- From: Daryl McCullough
Re: OUTGOEDELING A HUMAN?
- From: Daryl McCullough
CSL07 (11-15 September, 2007, Lausanne): Call for papers
- From: alessandro . facchini
Re: OUTGOEDELING A HUMAN?
- From: LauLuna
OUTGOEDELING A HUMAN?
- From: LauLuna
Re: Is wittgensteins colour exclusion problem formalizable?
- From: John Jones
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: This sentence is not true
- From: David Marcus
Re: This sentence is not true
- From: David Marcus
Re: Is wittgensteins colour exclusion problem formalizable?
- From: translogi
Re: This sentence is not true
- From: Indoarsman
Re: This sentence is not true
- From: Indoarsman
Re: The Day I Met the Liar
- From: John Jones
Re: Which theories hold a true but unprovable statement?
- From: Ross A. Finlayson
Re: Which theories hold a true but unprovable statement?
- From: Aatu Koskensilta
Re: Is wittgensteins colour exclusion problem formalizable?
- From: John Jones
Re: Inconsistent = all sentences provable?
- From: Aatu Koskensilta
Re: Is wittgensteins colour exclusion problem formalizable?
- From: translogi
Re: Which theories hold a true but unprovable statement?
- From: Charlie-Boo
Re: Which theories hold a true but unprovable statement?
- From: Charlie-Boo
Re: Which theories hold a true but unprovable statement?
- From: Charlie-Boo
Re: Is Truth Mysterious?
- From: herbzet
The Day I Met the Liar
- From: Indoarsman
Re: Which theories hold a true but unprovable statement?
- From: Peter_Smith
Re: Causality in sample space
- From: Mike
Re: Causality in sample space
- From: John Jones
Re: Which theories hold a true but unprovable statement?
- From: Gc
Re: Which theories hold a true but unprovable statement?
- From: Gc
Re: Which theories hold a true but unprovable statement?
- From: aatu . koskensilta
Re: This sentence is not true
- From: Newberry
Re: Is Truth Mysterious?
- From: David Marcus
Re: Is Truth Mysterious?
- From: LauLuna
Causality in sample space
- From: Mike
Re: Which theories hold a true but unprovable statement?
- From: Gc
Re: Which theories hold a true but unprovable statement?
- From: Aatu Koskensilta
Fractional cardinality?
- From: Frederick Williams
Re: Which theories hold a true but unprovable statement?
- From: Gc
Re: Which theories hold a true but unprovable statement?
- From: Aatu Koskensilta
Re: Inconsistent = all sentences provable?
- From: Aatu Koskensilta
Re: Inconsistent = all sentences provable?
- From: Aatu Koskensilta
Re: This sentence is not true
- From: David Marcus
Re: Which theories hold a true but unprovable statement?
- From: Rupert
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: This sentence is not true
- From: Indoarsman
Re: Inconsistent = all sentences provable?
- From: Charlie-Boo
Re: Inconsistent = all sentences provable?
- From: Charlie-Boo
Re: Is Truth Mysterious?
- From: David Marcus
Re: Inconsistent = all sentences provable?
- From: Charlie-Boo
Re: Inconsistent = all sentences provable?
- From: Charlie-Boo
Re: Inconsistent = all sentences provable?
- From: herbzet
Re: Can ZFC prove Addition is Associative?
- From: herbzet
Re: Is Truth Mysterious?
- From: herbzet
Re: Which theories hold a true but unprovable statement?
- From: Gc
Re: Which theories hold a true but unprovable statement?
- From: Rupert
Re: Which theories hold a true but unprovable statement?
- From: Rupert
Re: Which theories hold a true but unprovable statement?
- From: Rupert
Re: Is Truth Mysterious?
- From: David Marcus
Re: E=mc2 and British Nobel Laureate Frederick Soddi
- From: Frederick Williams
Re: Is Truth Mysterious?
- From: Daryl McCullough
Re: Recursive within enumerable?
- From: Frederick Williams
Re: Is Truth Mysterious?
- From: LauLuna
Re: Is Truth Mysterious?
- From: LauLuna
Re: Is Truth Mysterious?
- From: LauLuna
Re: Recursive within enumerable?
- From: Bill Taylor
Re: Question about hypothetical syllogism
- From: Newberry
Re: This sentence is not true
- From: Indoarsman
Re: Recursive within enumerable?
- From: Peter_Smith
Re: Is Truth Mysterious?
- From: David Marcus
Re: Is wittgensteins colour exclusion problem formalizable?
- From: John Jones
Re: Is wittgensteins colour exclusion problem formalizable?
- From: Aatu Koskensilta
Is wittgensteins colour exclusion problem formalizable?
- From: translogi
Re: Axiomatic set theory is still contradictory
- From: MoeBlee
Re: Axiomatic set theory is still contradictory
- From: MoeBlee
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Recursive within enumerable?
- From: Daryl McCullough
Re: The Power Set Reduced
- From: Aatu Koskensilta
Re: The Power Set Reduced
- From: Aatu Koskensilta
Re: Axiomatic set theory is still contradictory
- From: David C . Ullrich
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Inconsistent = all sentences provable?
- From: george
Re: Recursive within enumerable?
- From: Chris Menzel
Recursive within enumerable?
- From: Bill Taylor
Re: Axiomatic set theory is still contradictory
- From: george
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Axiomatic set theory is still contradictory
- From: george
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Book with this proof system for propositional logic
- From: G . Frege
Re: Is Truth Mysterious?
- From: David Marcus
Re: Is Truth Mysterious?
- From: herbzet
Re: Is Truth Mysterious?
- From: herbzet
Re: Is Truth Mysterious?
- From: herbzet
Re: Axiomatic set theory is still contradictory
- From: ken.quirici@xxxxxxxxxx
Re: Question about hypothetical syllogism
- From: G . Frege
Re: Question about hypothetical syllogism
- From: G . Frege
Re: Question about hypothetical syllogism
- From: G . Frege
Re: Axiomatic set theory is still contradictory
- From: MoeBlee
Re: Book with this proof system for propositional logic
- From: G . Frege
Re: Question about hypothetical syllogism
- From: G . Frege
Re: Axiomatic set theory is still contradictory
- From: victor72
Re: Axiomatic set theory is still contradictory
- From: MoeBlee
Re: Question about hypothetical syllogism
- From: G . Frege
Re: Question about hypothetical syllogism
- From: Jan Burse
HealthCare Lab Professionals
- From: lab
Lab Professionals
- From: lab
Re: Axiomatic set theory is still contradictory
- From: Fuckwit
Re: Question about hypothetical syllogism
- From: G . Frege
Re: Axiomatic set theory is still contradictory
- From: David C . Ullrich
Re: Book with this proof system for propositional logic
- From: G Patel
Re: Axiomatic set theory is still contradictory
- From: victor72
Re: Question about hypothetical syllogism
- From: Jan Burse
Re: Axiomatic set theory is still contradictory
- From: Nam D. Nguyen
Axiomatic set theory is still contradictory
- From: victor72
Re: Is Truth Mysterious?
- From: David Marcus
Re: Question about hypothetical syllogism
- From: Newberry
Re: The Power Set Reduced
- From: David Marcus
Re: The Power Set Reduced
- From: MoeBlee
Re: Inconsistent = all sentences provable?
- From: herbzet
Re: Is Truth Mysterious?
- From: G . Frege
Re: Is Truth Mysterious?
- From: G . Frege
Re: Is Truth Mysterious?
- From: Daryl McCullough
Re: Book with this proof system for propositional logic
- From: G . Frege
Re: The Power Set Reduced
- From: Chris Menzel
Book with this proof system for propositional logic
- From: G Patel
Re: Question about hypothetical syllogism
- From: G . Frege
Re: Question about hypothetical syllogism
- From: G . Frege
Re: Is Truth Mysterious?
- From: Neil W Rickert
Re: The Power Set Reduced
- From: herbzet
Re: Is Truth Mysterious?
- From: herbzet
Re: Is Truth Mysterious?
- From: herbzet
Re: Is Truth Mysterious?
- From: LauLuna
Re: Question about hypothetical syllogism
- From: Jan Burse
Re: Question about hypothetical syllogism
- From: Jan Burse
Re: Question about hypothetical syllogism
- From: Jan Burse
Re: Is Truth Mysterious?
- From: Daryl McCullough
Re: Question about hypothetical syllogism
- From: G . Frege
Re: Inconsistent = all sentences provable?
- From: george
Re: The Power Set Reduced
- From: george
Re: The Power Set Reduced
- From: george
Re: The Power Set Reduced
- From: MoeBlee
Re: The Power Set Reduced
- From: MoeBlee
Re: The Power Set Reduced
- From: Aatu Koskensilta
Re: The Power Set Reduced
- From: MoeBlee
Re: The Power Set Reduced
- From: Aatu Koskensilta
Re: Question about hypothetical syllogism
- From: G . Frege
Re: Is Truth Mysterious?
- From: David Marcus
Re: Is Truth Mysterious?
- From: george
Re: Is Truth Mysterious?
- From: LauLuna
Re: Is Truth Mysterious?
- From: LauLuna
Re: Is Truth Mysterious?
- From: galathaea
Re: The Power Set Reduced
- From: Frederick Williams
Re: Is Truth Mysterious?
- From: Daryl McCullough
Re: Question about hypothetical syllogism
- From: G . Frege
Re: how to prove ~(P <--> Q) |- ~P <-->Q
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Is Truth Mysterious?
- From: Neil W Rickert
Re: The Power Set Reduced
- From: Frederick Williams
Re: This sentence is not true
- From: Newberry
Re: Is Truth Mysterious?
- From: David Marcus
Re: Is Truth Mysterious?
- From: herbzet
Re: Is Truth Mysterious?
- From: David Marcus
Re: Is Truth Mysterious?
- From: LauLuna
Re: Is Truth Mysterious?
- From: LauLuna
Re: Is Truth Mysterious?
- From: David Marcus
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Is Truth Mysterious?
- From: LauLuna
Re: Can ZFC prove Addition is Associative?
- From: herbzet
Re: Is Truth Mysterious?
- From: herbzet
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Inconsistent = all sentences provable?
- From: herbzet
Re: Which theories hold a true but unprovable statement?
- From: george
Re: Question about hypothetical syllogism
- From: G . Frege
Re: Inconsistent = all sentences provable?
- From: george
Re: Question about hypothetical syllogism
- From: translogi
Re: Which theories hold a true but unprovable statement?
- From: george
Re: Is Truth Mysterious?
- From: george
Re: The Power Set Reduced
- From: MoeBlee
Re: This sentence is not true
- From: David Marcus
Re: Is Truth Mysterious?
- From: Daryl McCullough
Re: Is Truth Mysterious?
- From: LauLuna
Re: This sentence is not true
- From: Daryl McCullough
Re: Is Truth Mysterious?
- From: Daryl McCullough
Re: Is Truth Mysterious?
- From: Daryl McCullough
Re: The Power Set Reduced
- From: LauLuna
Re: Is Truth Mysterious?
- From: LauLuna
Re: Is Truth Mysterious?
- From: LauLuna
Re: This sentence is not true
- From: LauLuna
Re: Which theories hold a true but unprovable statement?
- From: Chris Menzel
Re: This sentence is not true
- From: Newberry
Re: This sentence is not true
- From: David Marcus
Re: This sentence is not true
- From: Newberry
Re: Question about hypothetical syllogism
- From: Newberry
Re: Is Truth Mysterious?
- From: herbzet
Re: Can ZFC prove Addition is Associative?
- From: herbzet
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: Stephen Harris
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Which theories hold a true but unprovable statement?
- From: herbzet
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Is Truth Mysterious?
- From: Daryl McCullough
Is Truth Mysterious?
- From: LauLuna
Is Truth Mysterious?
- From: LauLuna
Re: Can ZFC prove Addition is Associative?
- From: herbzet
Re: Question about hypothetical syllogism
- From: G . Frege
Re: The Power Set Reduced
- From: MoeBlee
Re: This sentence is not true
- From: Daryl McCullough
Re: The Power Set Reduced
- From: G . Frege
Re: The Power Set Reduced
- From: george
Re: This sentence is not true
- From: LauLuna
Re: Can ZFC prove Addition is Associative?
- From: Bill Hale
Re: Uncomputable numbers are all in your head
- From: David Marcus
Re: The Power Set Reduced
- From: MoeBlee
Re: The Power Set Paradox
- From: MoeBlee
Re: Uncomputable numbers are all in your head
- From: Scott
Re: The Power Set Paradox
- From: MoeBlee
Re: This sentence is not true
- From: David Marcus
Re: The Set of All Sets Exists
- From: MoeBlee
Re: Can ZFC prove Addition is Associative?
- From: MoeBlee
Re: Can ZFC prove Addition is Associative?
- From: MoeBlee
Re: Can ZFC prove Addition is Associative?
- From: MoeBlee
Re: Which theories hold a true but unprovable statement?
- From: george
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Question about hypothetical syllogism
- From: G . Frege
Re: You are all smart: what's the damned answer?
- From: John Jones
Re: Can ZFC prove Addition is Associative?
- From: Alan Smaill
Re: Can ZFC prove Addition is Associative?
- From: Alan Smaill
Re: This sentence is not true
- From: aatu . koskensilta
Re: Question about hypothetical syllogism
- From: G . Frege
Re: Question about hypothetical syllogism
- From: G . Frege
Re: Question about hypothetical syllogism
- From: translogi
Re: Does This Ever Happen to Anyone Else?
- From: H. J. Sander Bruggink
Re: Question about hypothetical syllogism
- From: G . Frege
Re: Question about hypothetical syllogism
- From: G . Frege
Re: Which is 'this' sentence
- From: R. Srinivasan
Re: Question about hypothetical syllogism
- From: Newberry
Re: Can ZFC prove Addition is Associative?
- From: herbzet
Re: Can ZFC prove Addition is Associative?
- From: Norman Megill
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Question about hypothetical syllogism
- From: G . Frege
Re: The Set of All Sets Exists
- From: Gc
Re: Inconsistent = all sentences provable?
- From: Peter_Smith
Re: The Set of All Sets Exists
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: David Marcus
Re: The Set of All Sets Exists
- From: george
Re: The Set of All Sets Exists
- From: G . Frege
Re: The Set of All Sets Exists
- From: george
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: David Marcus
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: This sentence is not true
- From: David Marcus
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Does This Ever Happen to Anyone Else?
- From: Charlie-Boo
Re: The Set of All Sets Exists
- From: george
Question about hypothetical syllogism
- From: Newberry
Re: The Set of All Sets Exists
- From: george
Re: This sentence is not true
- From: Newberry
Re: Inconsistent = all sentences provable?
- From: Charlie-Boo
Re: The Set of All Sets Exists
- From: george
Re: Inconsistent = all sentences provable?
- From: george
Re: This sentence is not true
- From: David Marcus
Re: This sentence is not true
- From: Newberry
Re: You are all smart: what's the damned answer?
- From: Jan Burse
Re: This sentence is not true
- From: David Marcus
Re: This sentence is not true
- From: David Marcus
Re: This sentence is not true
- From: David Marcus
Re: Mathematical induction in automated theorem prover
- From: Alan Smaill
Re: The Power Set Paradox
- From: Alan Smaill
Re: You are all smart: what's the damned answer?
- From: John Jones
Re: Which theories hold a true but unprovable statement?
- From: Frederick Williams
Re: This sentence is not true
- From: George Dance
Re: Inconsistent = all sentences provable?
- From: G . Frege
Re: Lorentz Contraction
- From: William Elliot
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Inconsistent = all sentences provable?
- From: herbzet
Re: Can ZFC prove Addition is Associative?
- From: herbzet
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: This sentence is not true
- From: Newberry
Re: This sentence is not true
- From: Newberry
Re: This sentence is not true
- From: Daryl McCullough
Re: This sentence is not true
- From: Newberry
Re: This sentence is not true
- From: Newberry
Re: This sentence is not true
- From: Newberry
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Problem on Closed intervals Algorithm...Challenge!
- From: jake
Re: Inconsistent = all sentences provable?
- From: Peter_Smith
Re: Inconsistent = all sentences provable?
- From: Peter_Smith
Lorentz Contraction
- From: John Jones
Re: Inconsistent = all sentences provable?
- From: george
Re: The Power Set Reduced
- From: george
Re: The Power Set Reduced
- From: george
Re: Can ZFC prove Addition is Associative?
- From: herbzet
Re: Can ZFC prove Addition is Associative?
- From: herbzet
Re: This sentence is not true
- From: David Marcus
Re: This sentence is not true
- From: Daryl McCullough
Re: This sentence is not true
- From: David Marcus
Re: This sentence is not true
- From: Daryl McCullough
Re: Which is 'this' sentence
- From: David Marcus
Re: The Power Set Reduced
- From: Frederick Williams
Re: Which is 'this' sentence
- From: R. Srinivasan
Re: This sentence is not true
- From: David Marcus
Re: Which is 'this' sentence
- From: David Marcus
Re: Which is 'this' sentence
- From: R. Srinivasan
Re: This sentence is not true
- From: Newberry
Re: Which is 'this' sentence
- From: Daryl McCullough
Re: The PICTURE LANGUAGE known as "Mathematics"
- From: Frederick Williams
Re: Any popular theories discovered to be inconsistent?
- From: Frederick Williams
Re: Which is 'this' sentence
- From: R. Srinivasan
The Power Set Reduced
- From: victor72
Re: Which is 'this' sentence
- From: R. Srinivasan
Interesting algorithm...need insights..
- From: hank
Re: Mathematical induction in automated theorem prover
- From: Lash Rambo
Re: Mathematical induction in automated theorem prover
- From: Dan Christensen
Re: This sentence is not true
- From: David Marcus
Re: This sentence is not true
- From: Newberry
Re: The Power Set Paradox
- From: G . Frege
Re: The Power Set Paradox
- From: MoeBlee
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: The Power Set Paradox
- From: MoeBlee
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: The Power Set Paradox
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: herbzet
Re: Can ZFC prove Addition is Associative?
- From: herbzet
Re: The Power Set Paradox
- From: G . Frege
Re: The Power Set Paradox
- From: MoeBlee
Re: The Power Set Paradox
- From: MoeBlee
Re: Inconsistent = all sentences provable?
- From: G . Frege
Re: The Set of All Sets Exists
- From: Nam D. Nguyen
Re: The Set of All Sets Exists
- From: G . Frege
Re: The Set of All Sets Exists
- From: Fuckwit
Re: The Set of All Sets Exists
- From: G . Frege
Re: The Power Set Paradox
- From: Chris Menzel
Re: The Power Set Paradox
- From: Chris Menzel
Re: The Set of All Sets Exists
- From: victor72
Re: how to prove ~(P <--> Q) |- ~P <-->Q
- From: G . Frege
Re: The Set of All Sets Exists
- From: george
Re: The Set of All Sets Exists
- From: Ross A. Finlayson
Re: Inconsistent = all sentences provable?
- From: Peter_Smith
Re: The Set of All Sets Exists
- From: Ross A. Finlayson
Re: The Set of All Sets Exists
- From: george
Re: The Set of All Sets Exists
- From: george
Re: The Set of All Sets Exists
- From: george
Re: The Set of All Sets Exists
- From: george
Re: The Set of All Sets Exists
- From: george
Re: Inconsistent = all sentences provable?
- From: george
Re: A creative philosophy of mathematics
- From: galathaea
Re: sci.logic Comments
- From: Ross A. Finlayson
Re: The Power Set Paradox
- From: MoeBlee
Re: This sentence is not true
- From: David Marcus
Re: Which is 'this' sentence
- From: Daryl McCullough
Re: The Power Set Paradox
- From: MoeBlee
Re: Any popular theories discovered to be inconsistent?
- From: MoeBlee
Re: The Power Set Paradox
- From: aatu . koskensilta
Re: The Power Set Paradox
- From: Chris Menzel
Re: The Power Set Paradox
- From: aatu . koskensilta
Re: The Power Set Paradox
- From: Chris Menzel
Re: The Power Set Paradox
- From: MoeBlee
Re: Which is 'this' sentence
- From: David Marcus
Re: The Power Set Paradox
- From: aatu . koskensilta
Re: how to prove ~(P <--> Q) |- ~P <-->Q
- From: translogi
Re: The Power Set Paradox
- From: MoeBlee
Re: The Power Set Paradox
- From: MoeBlee
Re: The Power Set Paradox
- From: Chris Menzel
Re: The Power Set Paradox
- From: aatu . koskensilta
Re: The Power Set Paradox
- From: MoeBlee
Re: Which is 'this' sentence
- From: R. Srinivasan
Re: This sentence is not true
- From: David Marcus
Re: This sentence is not true
- From: Daryl McCullough
Re: how to prove ~(P <--> Q) |- ~P <-->Q
- From: George Dance
Re: The Set of All Sets Exists
- From: victor72
Re: Which is 'this' sentence
- From: Daryl McCullough
Re: This sentence is not true
- From: Daryl McCullough
Re: Which is 'this' sentence
- From: John Jones
Re: Which is 'this' sentence
- From: John Jones
Re: The Power Set Paradox
- From: aatu . koskensilta
Re: Which is 'this' sentence
- From: R. Srinivasan
Re: The Power Set Paradox
- From: ken.quirici@xxxxxxxxxx
Re: The Set of All Sets Exists
- From: LauLuna
Re: Which is 'this' sentence
- From: LauLuna
Re: The Power Set Paradox
- From: aatu . koskensilta
Re: Any popular theories discovered to be inconsistent?
- From: aatu . koskensilta
Re: This sentence is not true
- From: Chris Menzel
Re: This sentence is not true
- From: aatu . koskensilta
Re: This sentence is not true
- From: LauLuna
Re: Any popular theories discovered to be inconsistent?
- From: Frederick Williams
Re: Which is 'this' sentence
- From: Daryl McCullough
Re: This sentence is not true
- From: George Dance
Re: The Power Set Paradox
- From: ken.quirici@xxxxxxxxxx
Re: Any popular theories discovered to be inconsistent?
- From: aatu . koskensilta
Re: Any popular theories discovered to be inconsistent?
- From: Arturo Magidin
Re: A creative philosophy of mathematics
- From: aatu . koskensilta
Re: Inconsistent = all sentences provable?
- From: G . Frege
Re: Inconsistent = all sentences provable?
- From: aatu . koskensilta
Re: Inconsistent = all sentences provable?
- From: Peter_Smith
Re: Any popular theories discovered to be inconsistent?
- From: aatu . koskensilta
Inconsistent = all sentences provable?
- From: jackbatlin
Re: Any popular theories discovered to be inconsistent?
- From: jackbatlin
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Which is 'this' sentence
- From: R. Srinivasan
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Which is 'this' sentence
- From: John Jones
Re: sci.logic Comments
- From: aatu . koskensilta
Re: Can ZFC prove Addition is Associative?
- From: aatu . koskensilta
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: The Set of All Sets Exists
- From: G . Frege
Re: Which theories hold a true but unprovable statement?
- From: Rupert
Re: Any popular theories discovered to be inconsistent?
- From: aatu . koskensilta
Re: This sentence is not true
- From: aatu . koskensilta
Re: Which is 'this' sentence
- From: William Elliot
Re: Which is 'this' sentence
- From: R. Srinivasan
The Set of All Sets Exists
- From: victor72
Re: how to prove ~(P <--> Q) |- ~P <-->Q
- From: R. Srinivasan
Re: Any popular theories discovered to be inconsistent?
- From: Ross A. Finlayson
Re: Can ZFC prove Addition is Associative?
- From: herbzet
Re: Which is 'this' sentence
- From: R. Srinivasan
Re: This sentence is not true
- From: galathaea
Re: Which is 'this' sentence
- From: William Elliot
Re: Which is 'this' sentence
- From: William Elliot
Re: This sentence is not true
- From: David Marcus
Re: This sentence is not true
- From: Newberry
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: herbzet
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: how to prove ~(P <--> Q) |- ~P <-->Q
- From: G . Frege
Re: Strange models of propositional logic
- From: Jan Burse
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Strange models of propositional logic
- From: John Jones
Re: Which is 'this' sentence
- From: John Jones
Re: Can ZFC prove Addition is Associative?
- From: David Marcus
Re: The Power Set Paradox
- From: MoeBlee
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: Norman Megill
Re: The Power Set Paradox
- From: ken.quirici@xxxxxxxxxx
Re: The Power Set Paradox
- From: ken.quirici@xxxxxxxxxx
Re: Can ZFC prove Addition is Associative?
- From: Alan Smaill
Re: Which is 'this' sentence
- From: John Jones
Re: Which is 'this' sentence
- From: John Jones
Re: Strange models of propositional logic
- From: Jan Burse
Re: The Power Set Paradox
- From: Ross A. Finlayson
Re: Which theories hold a true but unprovable statement?
- From: george
Re: Which theories hold a true but unprovable statement?
- From: george
Re: Which theories hold a true but unprovable statement?
- From: george
Re: The Power Set Paradox
- From: george
Re: Can ZFC prove Addition is Associative?
- From: MoeBlee
Re: Can ZFC prove Addition is Associative?
- From: David Marcus
Re: Can ZFC prove Addition is Associative?
- From: Bill Hale
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: David Marcus
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: Daryl McCullough
Re: The Power Set Paradox
- From: MoeBlee
Re: how to prove ~(P <--> Q) |- ~P <-->Q
- From: G . Frege
Re: Help with the following algorithm about Intervals..!
- From: bartmate
Re: how to prove ~(P <--> Q) |- ~P <-->Q
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: Bill Hale
Re: Which is 'this' sentence
- From: Daryl McCullough
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: how to prove ~(P <--> Q) |- ~P <-->Q
- From: translogi
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Which is 'this' sentence
- From: R. Srinivasan
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Bill Hale
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Help with the following algorithm about Intervals..!
- From: jake
Re: Can ZFC prove Addition is Associative?
- From: Norman Megill
Re: Can ZFC prove Addition is Associative?
- From: Bill Hale
Re: Can ZFC prove Addition is Associative?
- From: Bill Hale
Re: Which is 'this' sentence
- From: R. Srinivasan
Re: Can ZFC prove Addition is Associative?
- From: Alan Smaill
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Norman Megill
Re: Which is 'this' sentence
- From: John Jones
Re: Which is 'this' sentence
- From: John Jones
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Which is 'this' sentence
- From: Daryl McCullough
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Which is 'this' sentence
- From: William Elliot
Re: Can ZFC prove Addition is Associative?
- From: Norman Megill
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Does This Ever Happen to Anyone Else?
- From: H. J. Sander Bruggink
Re: how to computably enumerate "computable sequences of computably enumerable sets"
- From: David C . Ullrich
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Does This Ever Happen to Anyone Else?
- From: Alan Smaill
Re: Which is 'this' sentence
- From: R. Srinivasan
Re: Can ZFC prove Addition is Associative?
- From: Alan Smaill
Re: Can ZFC prove Addition is Associative?
- From: Norman Megill
Re: Which is 'this' sentence
- From: R. Srinivasan
Re: Can ZFC prove Addition is Associative?
- From: Bill Hale
Re: Which is 'this' sentence
- From: William Elliot
Re: The Power Set Paradox
- From: victor72
Re: The Power Set Paradox
- From: victor72
Re: Can ZFC prove Addition is Associative?
- From: David Marcus
Re: Does This Ever Happen to Anyone Else?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: David Marcus
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: The Power Set Paradox
- From: Ross A. Finlayson
Re: Can ZFC prove Addition is Associative?
- From: Bill Hale
Re: Can ZFC prove Addition is Associative?
- From: Daryl McCullough
Re: Can ZFC prove Addition is Associative?
- From: Bill Hale
Re: Can ZFC prove Addition is Associative?
- From: David Marcus
Re: The Power Set Paradox
- From: David Marcus
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: The Power Set Paradox
- From: victor72
Re: This sentence is not true
- From: David Marcus
Re: This sentence is not true
- From: Newberry
Re: Can ZFC prove Addition is Associative?
- From: herbzet
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Which theories hold a true but unprovable statement?
- From: Rupert
Re: Can ZFC prove Addition is Associative?
- From: herbzet
Re: Which is 'this' sentence
- From: marcia
Re: BOING BOING BOING EINBOING STEINBOING
- From: John Jones
Re: "Sentential logic" as a theory or as a "framework" for theories?
- From: jackbatlin
Which is 'this' sentence
- From: John Jones
Re: A creative philosophy of mathematics
- From: Peter_Smith
Re: The Power Set Paradox
- From: Chris Menzel
Re: The Power Set Paradox
- From: MoeBlee
Re: This sentence is not true
- From: David Marcus
Re: "Sentential logic" as a theory or as a "framework" for theories?
- From: Arturo Magidin
Re: This sentence is not true
- From: Daryl McCullough
Re: how to computably enumerate "computable sequences of computably enumerable sets"
- From: asdf
Re: Can ZFC prove Addition is Associative?
- From: Alan Smaill
Re: Does This Ever Happen to Anyone Else?
- From: Alan Smaill
Re: This sentence is not true
- From: Daryl McCullough
Re: how to prove ~(P <--> Q) |- ~P <-->Q
- From: G . Frege
Re: Which theories hold a true but unprovable statement?
- From: jackbatlin
Re: "Sentential logic" as a theory or as a "framework" for theories?
- From: jackbatlin
Re: This sentence is not true
- From: LauLuna
Re: This sentence is not true
- From: Newberry
Re: Which theories hold a true but unprovable statement?
- From: Frederick Williams
Re: "Sentential logic" as a theory or as a "framework" for theories?
- From: Frederick Williams
Which theories hold a true but unprovable statement?
- From: jackbatlin
"Sentential logic" as a theory or as a "framework" for theories?
- From: jackbatlin
Re: how to prove ~(P <--> Q) |- ~P <-->Q
- From: R. Srinivasan
Re: how to computably enumerate "computable sequences of computably enumerable sets"
- From: David C . Ullrich
Re: Can ZFC prove Addition is Associative?
- From: David C . Ullrich
how to computably enumerate "computable sequences of computably enumerable sets"
- From: asdf
Re: how to prove ~(P <--> Q) |- ~P <-->Q
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: The Power Set Paradox
- From: victor72
Re: Goedel's proof
- From: Peter_Smith
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: This sentence is not true
- From: David Marcus
Re: This sentence is not true
- From: Newberry
Re: This sentence is not true
- From: Newberry
Re: how to prove ~(P <--> Q) |- ~P <-->Q
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Bill Hale
Re: how to prove ~(P <--> Q) |- ~P <-->Q
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Goedel's proof
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: herbzet
Re: Solve for x in eqn1 substitute in for x in eqn2
- From: Luke Wu
Re: Can ZFC prove Addition is Associative?
- From: herbzet
Re: Can ZFC prove Addition is Associative?
- From: herbzet
Re: Can ZFC prove Addition is Associative?
- From: herbzet
Re: This sentence is not true
- From: David Marcus
Re: The Power Set Paradox
- From: G . Frege
Re: The Power Set Paradox
- From: victor72
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: Bill Hale
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: This sentence is not true
- From: Daryl McCullough
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Uncomputable numbers are all in your head
- From: David Marcus
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: This sentence is not true
- From: David Marcus
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: This sentence is not true
- From: John Jones
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Fuckwit
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Strange models of propositional logic
- From: LauLuna
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Uncomputable numbers are all in your head
- From: Scott
Re: Uncomputable numbers are all in your head
- From: Scott
Re: This sentence is not true
- From: aatu . koskensilta
Re: This sentence is not true
- From: LauLuna
Re: This sentence is not true
- From: David Marcus
Re: how to prove ~(P <--> Q) |- ~P <-->Q
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Strange models of propositional logic
- From: Jan Burse
Re: Strange models of propositional logic
- From: Jan Burse
Re: Strange models of propositional logic
- From: Jan Burse
Re: This sentence is not true
- From: Daryl McCullough
Re: how to prove ~(P <--> Q) |- ~P <-->Q
- From: G . Frege
Re: Completeness and incompleteness
- From: Arturo Magidin
Re: Completeness and incompleteness
- From: Lee Rudolph
Completeness and incompleteness
- From: jackbatlin
Re: The Power Set Paradox
- From: LauLuna
Re: This sentence is not true
- From: LauLuna
Re: This sentence is not true
- From: LauLuna
Re: This sentence is not true
- From: aatu . koskensilta
Re: Can ZFC prove Addition is Associative?
- From: David C . Ullrich
Re: Can ZFC prove Addition is Associative?
- From: David C . Ullrich
Re: The Power Set Paradox
- From: Chris Menzel
Re: Goedel's proof
- From: Peter_Smith
Re: Goedel's proof
- From: Charlie-Boo
The Power Set Paradox
- From: victor72
Re: This sentence is not true
- From: Daryl McCullough
Re: This sentence is not true
- From: Daryl McCullough
Re: This sentence is not true
- From: Newberry
Re: This sentence is not true
- From: Newberry
Re: This sentence is not true
- From: Newberry
Re: This sentence is not true
- From: Newberry
Re: Strange models of propositional logic
- From: Jan Burse
Re: Strange models of propositional logic
- From: Jan Burse
Re: sci.logic Comments
- From: Ross A. Finlayson
Re: Goedel's proof
- From: Peter_Smith
Re: Goedel's proof
- From: Charlie-Boo
Re: Does This Ever Happen to Anyone Else?
- From: Charlie-Boo
Re: Strange models of propositional logic
- From: Jan Burse
Re: Does This Ever Happen to Anyone Else?
- From: Fuckwit
Re: This sentence is not true
- From: galathaea
Re: Goedel's proof
- From: george
Re: This sentence is not true
- From: David Marcus
Re: This sentence is not true
- From: John Jones
Re: This sentence is not true
- From: george
Re: This sentence is not true
- From: george
Re: Can ZFC prove Addition is Associative?
- From: Alan Smaill
Re: Can ZFC prove Addition is Associative?
- From: Bill Hale
Re: Can ZFC prove Addition is Associative?
- From: Bill Hale
Re: This sentence is not true
- From: Chris Menzel
Re: This sentence is not true
- From: David Marcus
Re: Goedel's proof
- From: Peter_Smith
Re: Is {{}} a valid construct?
- From: Neo
Re: Can ZFC prove Addition is Associative?
- From: herbzet
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: herbzet
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: This sentence is not true
- From: Daryl McCullough
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Does This Ever Happen to Anyone Else?
- From: Charlie-Boo
Re: Does This Ever Happen to Anyone Else?
- From: Charlie-Boo
Re: Does This Ever Happen to Anyone Else?
- From: Fuckwit
Re: Does This Ever Happen to Anyone Else?
- From: Fuckwit
Re: Does This Ever Happen to Anyone Else?
- From: Alan Smaill
Re: Does This Ever Happen to Anyone Else?
- From: Charlie-Boo
Re: Does This Ever Happen to Anyone Else?
- From: Charlie-Boo
Re: Does This Ever Happen to Anyone Else?
- From: Charlie-Boo
Re: Does This Ever Happen to Anyone Else?
- From: Charlie-Boo
Re: This sentence is not true
- From: G . Frege
Re: This sentence is not true
- From: LauLuna
Re: Goedel's proof
- From: Charlie-Boo
Re: Physics comments from math/logic types?
- From: LauLuna
Re: Can ZFC prove Addition is Associative?
- From: Fuckwit
how to prove ~(P <--> Q) |- ~P <-->Q
- From: translogi
Re: Can ZFC prove Addition is Associative?
- From: Fuckwit
Re: Can ZFC prove Addition is Associative?
- From: Fuckwit
Re: Can ZFC prove Addition is Associative?
- From: G . Frege
Re: Can ZFC prove Addition is Associative?
- From: David C . Ullrich
Re: Can ZFC prove Addition is Associative?
- From: David C . Ullrich
Re: sci.logic Comments
- From: aatu . koskensilta
Re: This sentence is not true
- From: aatu . koskensilta
Re: Does This Ever Happen to Anyone Else?
- From: Alan Smaill
Re: Does This Ever Happen to Anyone Else?
- From: Alan Smaill
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Fuckwit
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Mathematical induction in automated theorem prover
- From: William Elliot
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: This sentence is not true
- From: David Marcus
This sentence is not true
- From: Newberry
Re: Does This Ever Happen to Anyone Else?
- From: Lee Rudolph
Re: Can ZFC prove Addition is Associative?
- From: Bill Hale
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Bill Hale
Re: Reflections on Free Will and Proposed Perfect Knowledge of God
- From: David
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Does This Ever Happen to Anyone Else?
- From: Charlie-Boo
Re: Does This Ever Happen to Anyone Else?
- From: Fuckwit
Re: sci.logic Comments
- From: Ross A. Finlayson
Re: Mathematical induction in automated theorem prover
- From: Lash Rambo
Re: Strange models of propositional logic
- From: John Jones
Re: Strange models of propositional logic
- From: LauLuna
Strange models of propositional logic
- From: LauLuna
Re: Goedel's proof
- From: Newberry
Re: DOUBLE ALBERT BURGER WITH FRIES POPULAR IN EINSTEIN TAKEAWAY
- From: John Jones
Re: Mathematical induction in automated theorem prover
- From: David C . Ullrich
Re: Can ZFC prove Addition is Associative?
- From: David C . Ullrich
Re: Set puzzle explained
- From: John Jones
Re: Mathematical induction in automated theorem prover
- From: William Elliot
Re: Mathematical induction in automated theorem prover
- From: Lash Rambo
Re: Mathematical induction in automated theorem prover
- From: William Elliot
Re: From Pythagoras to programming
- From: Nicki
Re: Does This Ever Happen to Anyone Else?
- From: Charlie-Boo
Re: Does This Ever Happen to Anyone Else?
- From: Charlie-Boo
Re: Does This Ever Happen to Anyone Else?
- From: Charlie-Boo
Re: Mathematical induction in automated theorem prover
- From: Lash Rambo
Re: Does This Ever Happen to Anyone Else?
- From: Charlie-Boo
Re: Does This Ever Happen to Anyone Else?
- From: Alan Smaill
Re: Does This Ever Happen to Anyone Else?
- From: Charlie-Boo
Re: Does This Ever Happen to Anyone Else?
- From: Charlie-Boo
Re: Does This Ever Happen to Anyone Else?
- From: Alan Smaill
Re: Constructive math query:- Countable orders
- From: Keith Ramsay
Re: Goedel's proof
- From: Nam D. Nguyen
Re: Does This Ever Happen to Anyone Else?
- From: Fuckwit
Re: Does This Ever Happen to Anyone Else?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Bill Hale
Re: Goedel's proof
- From: Peter_Smith
Re: sci.logic Comments
- From: aatu . koskensilta
Re: Goedel's proof
- From: Peter_Smith
Re: Does This Ever Happen to Anyone Else?
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Bill Hale
Re: Can ZFC prove Addition is Associative?
- From: David Marcus
sci.logic Comments
- From: Ross A. Finlayson
Re: Goedel's proof
- From: Charlie-Boo
Re: Goedel's proof
- From: Charlie-Boo
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Goedel's proof
- From: R. Srinivasan
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Goedel's proof
- From: george
Re: Goedel's proof
- From: george
Re: Goedel's proof
- From: george
Re: Ve?
- From: G . Frege
Re: Does This Ever Happen to Anyone Else?
- From: Charlie-Boo
Re: Mathematical induction in automated theorem prover
- From: David C . Ullrich
Re: Does This Ever Happen to Anyone Else?
- From: David C . Ullrich
Re: Does This Ever Happen to Anyone Else?
- From: David C . Ullrich
Re: Mathematical induction in automated theorem prover
- From: William Elliot
Re: Goedel's proof
- From: LauLuna
Re: Goedel's proof
- From: Peter_Smith
Re: Mathematical induction in automated theorem prover
- From: Lash Rambo
Re: Does This Ever Happen to Anyone Else?
- From: Chris Menzel
Re: Constructive math query:- Countable orders
- From: Keith Ramsay
attn: curcio - extremely super mp3 music - dem - (1/1)
- From: panchito
Re: Does This Ever Happen to Anyone Else?
- From: Charlie-Boo
Re: Mathematical induction in automated theorem prover
- From: William Elliot
Re: Does This Ever Happen to Anyone Else?
- From: Charlie-Boo
Re: Goedel's proof
- From: Charlie-Boo
Re: Goedel's proof
- From: Nam Nguyen
Re: Goedel's proof
- From: Charlie-Boo
Re: Goedel's proof
- From: Charlie-Boo
Re: Goedel's proof
- From: Charlie-Boo
Re: Is {{}} a valid construct?
- From: Charlie-Boo
Re: Goedel's proof
- From: Newberry
Re: Is {{}} a valid construct?
- From: Charlie-Boo
Re: Is {{}} a valid construct?
- From: Charlie-Boo
Re: Set puzzle explained
- From: David Marcus
Re: Goedel's proof
- From: Charlie-Boo
Re: Uncomputable numbers are all in your head
- From: David Marcus
Re: Goedel's proof
- From: Peter_Smith
Re: Mathematical induction in automated theorem prover
- From: Lash Rambo
Re: Goedel's proof
- From: Charlie-Boo
Re: Mathematical induction in automated theorem prover
- From: Lash Rambo
Re: Mathematical induction in automated theorem prover
- From: Lash Rambo
Re: Uncomputable numbers are all in your head
- From: MoeBlee
Re: From Pythagoras to programming
- From: John Jones
Re: Goedel's proof
- From: Peter_Smith
Re: Set puzzle explained
- From: John Jones
Re: Set puzzle explained
- From: Jan Burse
Re: Uncomputable numbers are all in your head
- From: Scott
Set puzzle explained
- From: John Jones
Re: Does This Ever Happen to Anyone Else?
- From: minsky@xxxxxxxxxxxxx
Re: Uncomputable numbers are all in your head
- From: MoeBlee
Re: Uncomputable numbers are all in your head
- From: MoeBlee
Re: Uncomputable numbers are all in your head
- From: Scott
Re: Does This Ever Happen to Anyone Else?
- From: Chris Menzel
Re: Request for clarification of what is a non first-order definable set.
- From: Scott
Re: Can ZFC prove Addition is Associative?
- From: Charlie-Boo
Re: Mathematical induction in automated theorem prover
- From: Jan Burse
Re: Mathematical induction in automated theorem prover
- From: Jan Burse
Re: Ve?
- From: Jan Burse
Re: Goedel's proof
- From: Charlie-Boo
Re: Goedel's proof
- From: Chris Menzel
Re: Proof
- From: Tom
Re: Proof
- From: Tom
Re: Does This Ever Happen to Anyone Else?
- From: Chris Menzel
Re: Five things morons believe
- From: Charlie-Boo
Re: "The mathematical universe is strongly typed"
- From: abo
Re: Goedel's proof
- From: Charlie-Boo
Re: Does This Ever Happen to Anyone Else?
- From: Charlie-Boo
Re: Does This Ever Happen to Anyone Else?
- From: Charlie-Boo
Re: Mathematical induction in automated theorem prover
- From: Charlie-Boo
Re: Set Puzzle
- From: Charlie-Boo
Set Puzzle
- From: John Jones
Re: "The mathematical universe is strongly typed"
- From: Peter_Smith
Re: Physics comments from math/logic types?
- From: John Jones
Re: Set of certainties
- From: John Jones
Re: Mathematical induction in automated theorem prover
- From: David C . Ullrich
Re: Mathematical induction in automated theorem prover
- From: William Elliot
Mathematical induction in automated theorem prover
- From: Lash Rambo
Re: Wasabiburn unites with internets
- From: AndyMC
Re: Set of certainties
- From: Nam D. Nguyen
Re: Proof
- From: Dan Christensen
Re: Global Warming and the White House Conspiracy
- From: William Elliot
Re: Ve?
- From: Charlie-Boo
Re: Halting problem totally unsolvable?
- From: Charlie-Boo
Re: Does This Ever Happen to Anyone Else?
- From: Charlie-Boo
Re: Does This Ever Happen to Anyone Else?
- From: Charlie-Boo
Re: Does This Ever Happen to Anyone Else?
- From: Charlie-Boo
Re: Proof
- From: herbzet
Re: Goedel's proof
- From: Chris Menzel
Re: Is Validity Just a Hypothetical or Conditional Characteristic?
- From: herbzet
Re: Halting problem totally unsolvable?
- From: Charlie-Boo
Re: Goedel's proof
- From: Charlie-Boo
Set of certainties
- From: John Jones
Re: CROSSPOSTING TO LOGIC SITE BY ATHEIST MORON
- From: John Jones
Wear and tear
- From: John Jones
Re: Proof
- From: Tom
Re: Reflections on Free Will and Proposed Perfect Knowledge of God
- From: aktivator99
Re: Proof
- From: Tom
Re: Is Validity Just a Hypothetical or Conditional Characteristic?
- From: Jan Burse
Re: Reflections on Free Will and Proposed Perfect Knowledge of God
- From: R. Srinivasan
Re: "The mathematical universe is strongly typed"
- From: abo
Re: Constructive math query:- Countable orders
- From: LauLuna
Re: Reflections on Free Will and Proposed Perfect Knowledge of God
- From: LauLuna
Re: Ve?
- From: G . Frege
Global Warming and the White House Conspiracy
- From: carter . sterling
Re: Reflections on Free Will and Proposed Perfect Knowledge of God
- From: Stephen Harris
Re: Ve?
- From: G . Frege
Re: Ve?
- From: Frederick Williams
Re: "The mathematical universe is strongly typed"
- From: Peter_Smith
Re: Reflections on Free Will and Proposed Perfect Knowledge of God
- From: Daryl McCullough
Re: Reflections on Free Will and Proposed Perfect Knowledge of God
- From: Daryl McCullough
Re: Reflections on Free Will and Proposed Perfect Knowledge of God
- From: guenther vonKnakspot
Re: Is Validity Just a Hypothetical or Conditional Characteristic?
- From: herbzet
Re: Ve?
- From: William Elliot
Re: "The mathematical universe is strongly typed"
- From: abo
Ve?
- From: Mad_man_on_a_MissIon
Re: Reflections on Free Will and Proposed Perfect Knowledge of God
- From: Stephen Harris
Re: Proof
- From: dc
Re: Reflections on Free Will and Proposed Perfect Knowledge of God
- From: Stephen Harris
Re: Is Validity Just a Hypothetical or Conditional Characteristic?
- From: Jan Burse
Re: Is Validity Just a Hypothetical or Conditional Characteristic?
- From: Jan Burse
[FAQ, 06/11/05] Mathematical logic on the web
- From: Boris 'pi' Piwinger
Re: Inconceivable
- From: Stephen Harris
Re: Reflections on Free Will and Proposed Perfect Knowledge of God
- From: Stephen Harris
Re: Reflections on Free Will and Proposed Perfect Knowledge of God
- From: Stephen Harris
Re: Reflections on Free Will and Proposed Perfect Knowledge of God
- From: Stephen Harris
Re: Proof
- From: John Jones
Re: Reflections on Free Will and Proposed Perfect Knowledge of God
- From: Daryl McCullough
representation of monotone boolean functions
- From: sasha mal