sci.logic
- Proof,
Tom
- Re: Constructive math query:- Countable orders,
LauLuna
- Inconceivable,
Swami BV Vishnu Daivata
- Reflections on Free Will and Proposed Perfect Knowledge of God,
David
- Re: Announcement: New release of free online calculator,
zzbunker@xxxxxxxxxxxx
- Re: Five things morons believe,
pinhead
- I want to cook and eat American women!!!,
Arturo Magidin
- CAPITAL LETTERS MOOTED IN EINSTEIN CURIO,
John Jones
- An analysis of the Proof by Contradiction,
John Jones
- israel,
andromeda
- the universe,
andromeda
- Re: Is Validity Just a Hypothetical or Conditional Characteristic?,
herbzet
- Re: Is Validity Just a Hypothetical or Conditional Characteristic?,
Jan Burse
- Re: Is Validity Just a Hypothetical or Conditional Characteristic?,
Jan Burse
- Re: Is Validity Just a Hypothetical or Conditional Characteristic?,
herbzet
- Re: Is Validity Just a Hypothetical or Conditional Characteristic?,
herbzet
- Re: Is Validity Just a Hypothetical or Conditional Characteristic?,
herbzet
- Re: Is Validity Just a Hypothetical or Conditional Characteristic?,
Jan Burse
- Re: Is Validity Just a Hypothetical or Conditional Characteristic?,
herbzet
- Re: Is Validity Just a Hypothetical or Conditional Characteristic?,
galathaea
- Re: Is Validity Just a Hypothetical or Conditional Characteristic?,
herbzet
- Re: Is Validity Just a Hypothetical or Conditional Characteristic?,
Alan Smaill
- Re: Is Validity Just a Hypothetical or Conditional Characteristic?,
herbzet
- Re: Is Validity Just a Hypothetical or Conditional Characteristic?,
herbzet
- Re: Is Validity Just a Hypothetical or Conditional Characteristic?,
Jan Burse
- Re: Is Validity Just a Hypothetical or Conditional Characteristic?,
herbzet
- Re: Is Validity Just a Hypothetical or Conditional Characteristic?,
herbzet
- Re: Is Validity Just a Hypothetical or Conditional Characteristic?,
herbzet
- Re: Definition of AI.,
David
- Goedel's proof,
Newberry
- entropy of set,
Mike
- spam conference,
John Jones
- third world debt,
John Jones
- Make Money,
lsanchez
- Need help with simple FOL proof -- without using existential quantifiers,
Dan Christensen
- Re: Gentzen on Wikipedia,
Paul Holbach
- for abbey: awe-inspiring tunes - ilco eb - (1/1),
addy
- Request for clarification of what is a non first-order definable set.,
Scott
- EINSTEIN WHIMSEY IMPLICATED IN CROSSPOSTING,
John Jones
- Re: Kant and the A Priori,
John Jones
- Re: Simple examples of transfinite induction,
Aatu Koskensilta
- Re: Halting problem totally unsolvable?,
george
- Canonical form with NOR or NAND?,
Jack W.
- OT: Special pleading,
Frederick Williams
- Quantifier non-elimination in Presburger arithmetic,
Anton
- Non-deterministic vs. deterministic TM,
un student
- compare,
andromeda
- near fusion,
andromeda
- Methatheory of Propositional Calculus: A Doubt,
LauLuna
- Re: Methatheory of Propositional Calculus: A Doubt,
aatu . koskensilta
- Re: Methatheory of Propositional Calculus: A Doubt,
Peter_Smith
- Re: Methatheory of Propositional Calculus: A Doubt,
George Dance
- Re: Methatheory of Propositional Calculus: A Doubt,
LauLuna
- Re: Methatheory of Propositional Calculus: A Doubt,
Peter_Smith
- Re: Methatheory of Propositional Calculus: A Doubt,
LauLuna
- Re: Methatheory of Propositional Calculus: A Doubt,
Peter_Smith
- Re: Methatheory of Propositional Calculus: A Doubt,
LauLuna
- Re: Methatheory of Propositional Calculus: A Doubt,
LauLuna
- Re: Methatheory of Propositional Calculus: A Doubt,
Peter_Smith
- Re: Methatheory of Propositional Calculus: A Doubt,
LauLuna
- Re: Methatheory of Propositional Calculus: A Doubt,
Peter_Smith
- Re: Methatheory of Propositional Calculus: A Doubt,
LauLuna
- Re: Methatheory of Propositional Calculus: A Doubt,
Peter_Smith
- Re: Methatheory of Propositional Calculus: A Doubt,
R. Srinivasan
- Re: Methatheory of Propositional Calculus: A Doubt,
LauLuna
- Re: Methatheory of Propositional Calculus: A Doubt,
R. Srinivasan
- Re: Methatheory of Propositional Calculus: A Doubt,
LauLuna
- Re: Methatheory of Propositional Calculus: A Doubt,
George Dance
- Re: Methatheory of Propositional Calculus: A Doubt,
LauLuna
- Re: Methatheory of Propositional Calculus: A Doubt,
herbzet
- Re: Methatheory of Propositional Calculus: A Doubt,
LauLuna
- Re: Methatheory of Propositional Calculus: A Doubt,
LauLuna
- Re: Methatheory of Propositional Calculus: A Doubt,
LauLuna
- Re: Methatheory of Propositional Calculus: A Doubt,
R. Srinivasan
- Re: Methatheory of Propositional Calculus: A Doubt,
R. Srinivasan
- Re: Methatheory of Propositional Calculus: A Doubt,
Chris Menzel
- Re: Methatheory of Propositional Calculus: A Doubt,
R. Srinivasan
- Re: Methatheory of Propositional Calculus: A Doubt,
Chris Menzel
- Re: Methatheory of Propositional Calculus: A Doubt,
R. Srinivasan
- Re: Methatheory of Propositional Calculus: A Doubt,
Alan Smaill
- Re: Methatheory of Propositional Calculus: A Doubt,
Chris Menzel
- Re: Methatheory of Propositional Calculus: A Doubt,
R. Srinivasan
- Re: Methatheory of Propositional Calculus: A Doubt,
R. Srinivasan
- Re: Methatheory of Propositional Calculus: A Doubt,
Alan Smaill
- Re: Methatheory of Propositional Calculus: A Doubt,
R. Srinivasan
- Re: Methatheory of Propositional Calculus: A Doubt,
Aatu Koskensilta
- Re: Methatheory of Propositional Calculus: A Doubt,
R. Srinivasan
- Re: Methatheory of Propositional Calculus: A Doubt,
Alan Smaill
- Re: Methatheory of Propositional Calculus: A Doubt,
Chris Menzel
- Re: Methatheory of Propositional Calculus: A Doubt,
R. Srinivasan
- Re: Methatheory of Propositional Calculus: A Doubt,
Alan Smaill
- Re: Methatheory of Propositional Calculus: A Doubt,
R. Srinivasan
- Re: Methatheory of Propositional Calculus: A Doubt,
Alan Smaill
- Re: Methatheory of Propositional Calculus: A Doubt,
Aatu Koskensilta
- Re: Methatheory of Propositional Calculus: A Doubt,
LauLuna
- Re: Methatheory of Propositional Calculus: A Doubt,
Chris Menzel
- Re: Methatheory of Propositional Calculus: A Doubt,
LauLuna
- Re: Methatheory of Propositional Calculus: A Doubt,
herbzet
- law of the excluded middle deriving law of non contradiction and vice versa,
jameshanley39@xxxxxxxxxxx
- Is math an abstract of seeing,
Jan Burse
- johnreed Catch 22 - January 10, 2007,
johnlawrencereedjr
- Shoenfield 6e7c,
mmweiss
- Defining the "Unexpected" in third order logic,
John Jones
- Undecidability in Physics,
LauLuna
- Mathematics, Geometry and Pictography,
John Jones
- MetaLanguage in Mathematics,
gaya . patel
- Re: MetaLanguage in Mathematics,
William Elliot
- Re: MetaLanguage in Mathematics,
gaya . patel
- Re: MetaLanguage in Mathematics,
William Elliot
- Re: MetaLanguage in Mathematics,
gaya . patel
- Re: MetaLanguage in Mathematics,
William Elliot
- Re: MetaLanguage in Mathematics,
gaya . patel
- Re: MetaLanguage in Mathematics,
William Elliot
- Re: MetaLanguage in Mathematics,
Chris Menzel
- Re: MetaLanguage in Mathematics,
Aatu Koskensilta
- Re: MetaLanguage in Mathematics,
MoeBlee
- Re: MetaLanguage in Mathematics,
Chris Menzel
- Re: MetaLanguage in Mathematics,
Peter_Smith
- Re: MetaLanguage in Mathematics,
Chris Menzel
- Re: MetaLanguage in Mathematics,
Aatu Koskensilta
- Re: MetaLanguage in Mathematics,
MoeBlee
- Re: MetaLanguage in Mathematics,
Peter_Smith
- Re: MetaLanguage in Mathematics,
H. J. Sander Bruggink
- Philosophy Of Solving Problems,
symphony
- "if and only if" in normal mathematics,
gaya . patel
- "treq",
Selva
- Re: 1, 2, 3, 5, 7... PRIME Numbers,
William Elliot
- Embeddings and negation,
Michael De
- The Number '1',
newstips6706
- Stuck on an Enderton problem,
stonemcstone
- G. Frege plase: A is subset of B,
gaya . patel
- Logical fallacies,
translogi
- Re: Logical fallacies,
Fuckwit
- Re: Logical fallacies,
George Dance
- Re: Logical fallacies,
herbzet
- Re: Logical fallacies,
Peter_Smith
- Re: Logical fallacies,
herbzet
- Re: Logical fallacies,
Peter_Smith
- Re: Logical fallacies,
herbzet
- Re: Logical fallacies,
Peter_Smith
- Re: Logical fallacies,
herbzet
- Re: Logical fallacies,
Peter_Smith
- Re: Logical fallacies,
herbzet
- Re: Logical fallacies,
George Dance
- Re: Logical fallacies,
herbzet
- Re: Logical fallacies,
George Dance
- Re: Logical fallacies,
George Dance
- diagonalization and Axiom of Choice,
Mark-T
- Re: Can ZFC prove Addition is Associative?,
R. Srinivasan
- Mathematical vulgarities of sets,
John Jones
- Re: Mathematical vulgarities of sets,
Charlie-Boo
- Re: Mathematical vulgarities of sets,
MoeBlee
- Re: Mathematical vulgarities of sets,
Chris Menzel
- Re: Mathematical vulgarities of sets,
James Dolan
- Re: Mathematical vulgarities of sets,
Peter_Smith
- Re: Mathematical vulgarities of sets,
John Jones
- Re: Mathematical vulgarities of sets,
Stephen Harris
- Re: Mathematical vulgarities of sets,
Aatu Koskensilta
- Re: Mathematical vulgarities of sets,
Aatu Koskensilta
- Re: Mathematical vulgarities of sets,
Peter_Smith
- Re: Mathematical vulgarities of sets,
John Jones
- Re: Mathematical vulgarities of sets,
Peter_Smith
- Re: Mathematical vulgarities of sets,
John Jones
- Re: Mathematical vulgarities of sets,
Bill Taylor
- Re: Mathematical vulgarities of sets,
Chris Menzel
- Re: Mathematical vulgarities of sets,
Chris Menzel
- Re: Mathematical vulgarities of sets,
John Jones
- Re: Mathematical vulgarities of sets,
Aatu Koskensilta
- Re: Mathematical vulgarities of sets,
Chris Menzel
- Re: Mathematical vulgarities of sets,
Aatu Koskensilta
- Re: Mathematical vulgarities of sets,
Chris Menzel
- Silly question-Please answer quickly,
babu
- The Certainties of Counting,
John Jones
- silver,
the51intruder
- <Possible follow-ups>
- silver,
andromeda
- Model Theory question.,
David C . Ullrich
A potential new axiom to ZF, or even ZFC?,
Nam D. Nguyen
- Re: A potential new axiom to ZF, or even ZFC?,
Nam D. Nguyen
- Re: A potential new axiom to ZF, or even ZFC?,
Nam D. Nguyen
- Re: A potential new axiom to ZF, or even ZFC?,
Peter_Smith
- Re: A potential new axiom to ZF, or even ZFC?,
Nam D. Nguyen
- Re: A potential new axiom to ZF, or even ZFC?,
Peter_Smith
- Re: A potential new axiom to ZF, or even ZFC?,
Nam D. Nguyen
- Re: A potential new axiom to ZF, or even ZFC?,
Nam D. Nguyen
- Re: A potential new axiom to ZF, or even ZFC?,
Peter_Smith
- Re: A potential new axiom to ZF, or even ZFC?,
Nam Nguyen
- Ttranscendental Goldbach Conjecture,
Nam Nguyen
- Re: Ttranscendental Goldbach Conjecture,
Nam Nguyen
- No need for a new axiom,
Peter_Smith
Explanation of Chaos,
John Jones
Re: Deep Thoughts # 27: Some Fundamental Answers,
R. Srinivasan
Re: New Axiom is own Counter Example.,
R. Srinivasan
Differences between sets and elements,
William Elliot
Proofs,
n . e . brown
#moderncalcs a new IRC Channel,
RadSurfer
[OT] - pronunciation,
Person
Chapter Three of Logic Algebra was released today,
Conbra
A question of time.,
GOP 'n' 2008
A is subst of B,
gaya . patel
- Re: A is subst of B,
Fuckwit
- Re: A is subst of B,
Frederick Williams
- Re: A is subst of B,
gaya . patel
- Re: A is subst of B,
MoeBlee
- Re: A is subst of B,
Nam Nguyen
- Re: A is subst of B,
Nam D. Nguyen
- Re: A is subst of B,
Nam D. Nguyen
- Re: A is subst of B,
Frederick Williams
- Re: A is subst of B,
gaya . patel
- Re: A is subst of B,
G . Frege
- G. Frege please,
gaya . patel
- Re: A is subst of B,
Frederick Williams
- Re: A is subst of B,
G . Frege
- Re: A is subst of B,
herbzet
- Re: A is subst of B,
Chris Menzel
- Re: A is subst of B,
Peter_Smith
- Re: A is subst of B,
George Dance
- Re: A is subst of B,
MoeBlee
- Re: A is subst of B,
Conbra
Gentzen's consistency proof,
Peter_Smith
Skolem Prenex form,
translogi
Re: Eureka! Russell's set exists!!,
Newberry
The practical logic for young civilizations,
Boris
How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?),
Charlie-Boo
- Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?),
george
- Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?),
sanderbruggink
- Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?),
george
- Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?),
H. J. Sander Bruggink
- Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?),
Charlie-Boo
- Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?),
Charlie-Boo
- Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?),
Nam Nguyen
- Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?),
Charlie-Boo
- Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?),
Nam Nguyen
- Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?),
Bill Hale
- Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?),
Nam Nguyen
- Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?),
Bill Hale
- Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?),
Nam Nguyen
- Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?),
Charlie-Boo
- Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?),
george
The Difference between a Set and an Element,
JohnCreighton_
- Re: The Difference between a Set and an Element,
Peter_Smith
- Re: The Difference between a Set and an Element,
Newberry
- Re: The Difference between a Set and an Element,
Chris Menzel
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
Peter_Smith
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
george
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
george
- Re: The Difference between a Set and an Element,
Chris Menzel
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
Peter_Smith
- Message not available
- Re: The Difference between a Set and an Element,
Peter_Smith
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
JohnCreighton_
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
JohnCreighton_
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
JohnCreighton_
- Re: The Difference between a Set and an Element,
Chris Menzel
- Re: The Difference between a Set and an Element,
george
- Re: The Difference between a Set and an Element,
Albrecht
- Re: The Difference between a Set and an Element,
JohnCreighton_
- Re: The Difference between a Set and an Element,
Frederick Williams
- Re: The Difference between a Set and an Element,
Chris Menzel
Re: The Difference between a Set and an Element,
William Elliot
Re: The Difference between a Set and an Element,
ernobe
Re: The Difference between a Set and an Element,
MoeBlee
Re: The Difference between a Set and an Element,
george
Re: The Difference between a Set and an Element,
Frederick Williams
- Re: The Difference between a Set and an Element,
JohnCreighton_
- Re: The Difference between a Set and an Element,
george
- Re: The Difference between a Set and an Element,
Frederick Williams
- Re: The Difference between a Set and an Element,
Nam Nguyen
- Re: The Difference between a Set and an Element,
Chris Menzel
- Re: The Difference between a Set and an Element,
Nam Nguyen
- Re: The Difference between a Set and an Element,
Chris Menzel
- Re: The Difference between a Set and an Element,
Nam D. Nguyen
- Re: The Difference between a Set and an Element,
Chris Menzel
- Re: The Difference between a Set and an Element,
Nam D. Nguyen
- Re: The Difference between a Set and an Element,
JohnCreighton_
- Re: The Difference between a Set and an Element,
Nam D. Nguyen
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
Paul Holbach
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
Paul Holbach
- Re: The Difference between a Set and an Element,
Paul Holbach
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
Paul Holbach
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
Chris Menzel
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
Paul Holbach
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
Paul Holbach
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
Paul Holbach
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
Paul Holbach
- Re: The Difference between a Set and an Element,
Paul Holbach
- Re: The Difference between a Set and an Element,
Paul Holbach
- Re: The Difference between a Set and an Element,
Peter_Smith
- Re: The Difference between a Set and an Element,
Paul Holbach
- Re: The Difference between a Set and an Element,
Paul Holbach
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
Paul Holbach
- Re: The Difference between a Set and an Element,
Paul Holbach
- Re: The Difference between a Set and an Element,
Peter_Smith
- Re: The Difference between a Set and an Element,
Nam D. Nguyen
- Re: The Difference between a Set and an Element,
Chris Menzel
- Re: The Difference between a Set and an Element,
Nam D. Nguyen
- Re: The Difference between a Set and an Element,
Paul Holbach
- Re: The Difference between a Set and an Element,
Chris Menzel
- Re: The Difference between a Set and an Element,
Nam D. Nguyen
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
Paul Holbach
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
Paul Holbach
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
Paul Holbach
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
Paul Holbach
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
Paul Holbach
- Re: The Difference between a Set and an Element,
Chris Menzel
- Re: The Difference between a Set and an Element,
Paul Holbach
- Re: The Difference between a Set and an Element,
Chris Menzel
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
Chris Menzel
- Re: The Difference between a Set and an Element,
Peter_Smith
- Re: The Difference between a Set and an Element,
Peter_Smith
- Re: The Difference between a Set and an Element,
Daryl McCullough
- Re: The Difference between a Set and an Element,
JohnCreighton_
- Re: The Difference between a Set and an Element,
Chris Menzel
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
Chris Menzel
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
MoeBlee
- Re: The Difference between a Set and an Element,
G . Frege
- Re: The Difference between a Set and an Element,
MoeBlee
- Re: The Difference between a Set and an Element,
Peter_Smith
- Re: The Difference between a Set and an Element,
Frederick Williams
- Re: The Difference between a Set and an Element,
G . Frege
Re: The Difference between a Set and an Element,
Owen
<Possible follow-ups>
The Difference between a Set and an Element,
JohnCreighton_
And, logically, best for 2007 ...,
Peter_Smith
aaaaaaaaaaaaaa,
bramha
When to Use Implication?,
JohnCreighton_
[FAQ, 06/11/05] Mathematical logic on the web,
Boris 'pi' Piwinger
Re: How long are the arms of Formalisms?,
John Jones
- Re: How long are the arms of Formalisms?,
John Jones
- Re: How long are the arms of Formalisms?,
David
- Re: How long are the arms of Formalisms?,
John Jones
- Re: How long are the arms of Formalisms?,
Peter_Smith
- Re: How long are the arms of Formalisms?,
aatu . koskensilta
- Re: How long are the arms of Formalisms?,
John Jones
- Re: How long are the arms of Formalisms?,
aatu . koskensilta
- Re: How long are the arms of Formalisms?,
John Jones
- Re: How long are the arms of Formalisms?,
aatu . koskensilta
- Re: How long are the arms of Formalisms?,
Nam Nguyen
- Re: How long are the arms of Formalisms?,
aatu . koskensilta
- Re: How long are the arms of Formalisms?,
Nam Nguyen
- Re: How long are the arms of Formalisms?,
John Jones
- <Possible follow-ups>
- Re: How long are the arms of Formalisms?,
David
