sci.logic

Thread Index

Re: What does "dictum de omni et nullo" mean?
- From: Jim Spriggs
Re: What does "dictum de omni et nullo" mean?
- From: Alan Smaill
What does "dictum de omni et nullo" mean?
- From: Jim Spriggs
Re: Cohen model for a > countable model of set theory
- From: shunya
Re: Cohen model for a > countable model of set theory
- From: David C . Ullrich
ITS SOO BIG YOU CANT PUT IT IN ORDER
- From: HERC777
Re: Cohen model for a > countable model of set theory
- From: shunya
Re: arithmetic in ZF
- From: george
Re: arithmetic in ZF
- From: george
UCLA Logic Colloquium, May 6
- From: H. Enderton
Re: Nomenology: The study of names & personality
- From: Peter Webb
Nomenology: The study of names & personality
- From: Whoacart333
Re: approaching a proof
- From: Mitch Harris
Re: Nature and Natural Numbers
- From: HERC777
Nature and Natural Numbers
- From: William Elliot
Re: approaching a proof
- From: Charlie-Boo
Re: Relation between sets and their elements
- From: Paul Holbach
Re: arithmetic in ZF
- From: Babylonian
Re: arithmetic in ZF
- From: Babylonian
Re: Why do we have the natural numbers?
- From: Patrick
Re: topological models of set theory
- From: george
Re: Courage?
- From: Ross A. Finlayson
Re: arithmetic in ZF
- From: Keith Ramsay
Re: Courage?
- From: Keith Ramsay
Re: Relation between sets and their elements
- From: Nam Nguyen
Re: Relation between sets and their elements
- From: Paul Holbach
Re: arithmetic in ZF
- From: Bhupinder Singh Anand
Re: Relation between sets and their elements
- From: Paul Holbach
Re: arithmetic in ZF
- From: Ross A. Finlayson
Re: approaching a proof
- From: david petry
Re: What Logic Really Is
- From: Peter_Smith
Re: kinds of definitions
- From: Jim Spriggs
Re: proof by contradiction in Euclid's elements
- From: Ken Pledger
kinds of definitions
- From: messagebag
Re: arithmetic in ZF
- From: Chris Menzel
Re: Relation between sets and their elements
- From: Paul Holbach
Re: Relation between sets and their elements
- From: Paul Holbach
Re: Recursivity vs. Provability
- From: Charlie-Boo
Re: What Logic Really Is
- From: Charlie-Boo
Re: arithmetic in ZF
- From: george
Re: Recursivity vs. Provability
- From: george
Re: Recursivity vs. Provability
- From: Charlie-Boo
Re: arithmetic in ZF
- From: Ross A. Finlayson
Re: TRUE / FALSE / EITHER "I underestimate you"
- From: HERC777
Re: arithmetic in ZF
- From: Barb Knox
Re: Relation between sets and their elements
- From: Tom Breton
Re: arithmetic in ZF
- From: Bhupinder Singh Anand
Re: Relation between sets and their elements
- From: Tom Breton
Re: arithmetic in ZF
- From: Ross A. Finlayson
Re: A new Arithmetic Principle?
- From: Nam Nguyen
Re: Recursivity vs. Provability
- From: Babylonian
Re: Recursivity vs. Provability
- From: Charlie-Boo
Re: proof by contradiction in Euclid's elements
- From: William Elliot
Re: TRUE / FALSE / EITHER "I underestimate you"
- From: Charlie-Boo
Re: representation and replacement
- From: george
Re: TRUE / FALSE / EITHER "I underestimate you"
- From: HERC777
Re: Recursivity vs. Provability
- From: george
Re: What Logic Really Is
- From: Peter_Smith
Re: What Logic Really Is
- From: Peter_Smith
Re: Relation between sets and their elements
- From: Dan Christensen
proof by contradiction in Euclid's elements
- From: ken quirici
Re: Cohen model for a > countable model of set theory
- From: David C . Ullrich
Cohen model for a > countable model of set theory
- From: Mahesh Naik
TRUE / FALSE / EITHER "I underestimate you"
- From: HERC777
Re: Relation between sets and their elements
- From: Paul Holbach
Re: Relation between sets and their elements
- From: Paul Holbach
Re: What Logic Really Is
- From: Charlie-Boo
Re: Relation between sets and their elements
- From: Paul Holbach
Re: Riddle of the day
- From: Jim Spriggs
Re: What Logic Really Is
- From: Charlie-Boo
Re: What Logic Really Is
- From: Peter_Smith
Re: Recursivity vs. Provability
- From: H. Enderton
Re: A new Arithmetic Principle?
- From: george
Re: Relation between sets and their elements
- From: Dan Christensen
Re: What Logic Really Is
- From: Charlie-Boo
Re: Relation between sets and their elements
- From: Peter Webb
Riddle of the day
- From: William Elliot
Re: Relation between sets and their elements
- From: William Elliot
Re: Relation between sets and their elements
- From: William Elliot
Re: Relation between sets and their elements
- From: William Elliot
Re: Relation between sets and their elements
- From: Chris Menzel
Re: Relation between sets and their elements
- From: Paul Holbach
Re: Relation between sets and their elements
- From: Chris Menzel
Re: Relation between sets and their elements
- From: Peter Webb
Re: Relation between sets and their elements
- From: Paul Holbach
Re: Relation between sets and their elements
- From: Paul Holbach
Re: Relation between sets and their elements
- From: Paul Holbach
Re: Relation between sets and their elements
- From: Paul Holbach
Re: Relation between sets and their elements
- From: Paul Holbach
Re: Relation between sets and their elements
- From: Paul Holbach
Re: Relation between sets and their elements
- From: Owen
Re: Relation between sets and their elements
- From: G . Frege
Re: Relation between sets and their elements
- From: G . Frege
Re: Relation between sets and their elements
- From: Nam Nguyen
Re: Relation between sets and their elements
- From: Paul Holbach
Re: Relation between sets and their elements
- From: Paul Holbach
Relation between sets and their elements
- From: Paul Holbach
Re: approaching a proof
- From: Jim Spriggs
Re: A new Arithmetic Principle?
- From: Nam Nguyen
Re: What Logic Really Is
- From: Chris Menzel
Re: What Logic Really Is
- From: Peter_Smith
Copyright your own material
- From: ELCO
Re: A new Arithmetic Principle?
- From: Nam Nguyen
Re: A new Arithmetic Principle?
- From: Jim Spriggs
Re: A new Arithmetic Principle?
- From: Nam Nguyen
Re: A new Arithmetic Principle?
- From: Jim Spriggs
Re: A new Arithmetic Principle?
- From: Nam Nguyen
Re: A new Arithmetic Principle?
- From: Nam Nguyen
A new Arithmetic Principle?
- From: Nam Nguyen
Re: What Logic Really Is
- From: Charlie-Boo
Re: What does this symbol mean?
- From: HERC777
What does this symbol mean?
- From: alan
Re: representation and replacement
- From: Barb Knox
Re: What Logic Really Is
- From: Chris Menzel
representation and replacement
- From: vsgdp
Re: What Logic Really Is
- From: Charlie-Boo
Re: Physical models of set theory
- From: george
Re: arithmetic in ZF
- From: george
Re: What Logic Really Is
- From: Chris Menzel
Re: What Logic Really Is
- From: Robert Kolker
Re: say I flip a coin 100 times...
- From: HERC777
Re: arithmetic in ZF
- From: george
Re: say I flip a coin 100 times...
- From: george
Re: approaching a proof
- From: William Elliot
Re: approaching a proof
- From: Nam Nguyen
Re: approaching a proof
- From: dave
Re: approaching a proof
- From: Chris Menzel
Re: approaching a proof
- From: Nam Nguyen
Re: approaching a proof
- From: ken quirici
Re: approaching a proof
- From: Robert Low
Re: approaching a proof
- From: Barb Knox
Re: approaching a proof
- From: Peter Webb
Re: approaching a proof
- From: Mitch Harris
Re: approaching a proof
- From: Peter Webb
Re: approaching a proof
- From: William Elliot
Re: approaching a proof
- From: Nam Nguyen
Re: approaching a proof
- From: Nam Nguyen
Re: approaching a proof
- From: Bill Smythe
Re: approaching a proof
- From: ken quirici
Re: approaching a proof
- From: HERC777
Re: approaching a proof
- From: HERC777
Breaking news
- From: Tom
approaching a proof
- From: ken quirici
Re: Courage?
- From: Dennis Ritchie
Re: Courage?
- From: Chris Menzel
Re: Courage?
- From: Will Twentyman
Re: Courage?
- From: Chris Menzel
Re: Courage?
- From: Bill Smythe
Re: arithmetic in ZF
- From: Bhupinder Singh Anand
Re: Set vs. Sequence
- From: Douglas Eagleson
Re: arithmetic in ZF
- From: george
Re: Direct proof of the recursiveness of Ackermann?
- From: H. Enderton
Re: Set vs. Sequence
- From: Robert Low
Re: Direct proof of the recursiveness of Ackermann?
- From: Peter_Smith
Re: Set vs. Sequence
- From: Barb Knox
Re: Set vs. Sequence
- From: Robert Low
Re: Set vs. Sequence
- From: Barb Knox
Re: Set vs. Sequence
- From: Robert Low
Re: Set vs. Sequence
- From: Barb Knox
Re: Set vs. Sequence
- From: Robert Low
Re: Set vs. Sequence
- From: Barb Knox
Direct proof of the recursiveness of Ackermann?
- From: Snis Pilbor
Multidimensional and multimodal (modal) logics
- From: Yarden Katz
Re: Set vs. Sequence
- From: Peter Webb
Re: Set vs. Sequence
- From: Robert Low
Re: Set vs. Sequence
- From: Barb Knox
Re: Set vs. Sequence
- From: HERC777
Set vs. Sequence
- From: P.T.
Re: arithmetic in ZF
- From: Bhupinder Singh Anand
Re: arithmetic in ZF
- From: Daryl McCullough
Re: arithmetic in ZF
- From: Aatu Koskensilta
Re: arithmetic in ZF
- From: Torkel Franzen
Re: arithmetic in ZF
- From: george
Re: arithmetic in ZF
- From: Daryl McCullough
Re: arithmetic in ZF
- From: george
Re: arithmetic in ZF
- From: george
Re: say I flip a coin 100 times...
- From: george
Re: about the examples of modal logic
- From: miao
Re: basic binary functions
- From: Owen
Re: Constructivists' stance on cardinality
- From: H. Enderton
Re: Is this a fallacy?
- From: Acme Diagnostics
Re: basic binary functions
- From: Peter_Smith
Re: Courage?
- From: Chris Menzel
Re: Courage?
- From: Chris Menzel
Re: basic binary functions
- From: xcvb_789
Re: Courage?
- From: Eckard Blumschein
Re: Truth is not r.e. [was: Re: Proof christians are full of crap]
- From: Robert Low
Re: about the examples of modal logic
- From: Chris Menzel
Re: about the examples of modal logic
- From: Barb Knox
Re: arithmetic in ZF
- From: Torkel Franzen
Re: Truth is not r.e. [was: Re: Proof christians are full of crap]
- From: Barb Knox
Re: arithmetic in ZF
- From: george
Re: What is wrong with this argument?
- From: Jan Burse
Re: Truth is not r.e. [was: Re: Proof christians are full of crap]
- From: Robert Low
Truth is not r.e. [was: Re: Proof christians are full of crap]
- From: Barb Knox
Re: universal language
- From: HERC777
Re: universal language
- From: William Elliot
Re: arithmetic in ZF
- From: Bhupinder Singh Anand
Re: Church Thesis for hyperrecursives?
- From: Bhupinder Singh Anand
Re: Proof christians are full of crap
- From: Robert Low
Re: Church Thesis for hyperrecursives?
- From: Babylonian
Re: request:logic:please help me
- From: KAroline
Re: arithmetic in ZF
- From: Daryl McCullough
Re: arithmetic in ZF
- From: Bhupinder Singh Anand
Re: arithmetic in ZF
- From: Daryl McCullough
Re: universal language
- From: HERC777
Re: Probability for Modal Semantics
- From: David C . Ullrich
Re: Church Thesis for hyperrecursives?
- From: Bhupinder Singh Anand
about the examples of modal logic
- From: miao
Re: arithmetic in ZF
- From: Bhupinder Singh Anand
Re: universal language
- From: William Elliot
Re: basic binary functions
- From: HERC777
Re: universal language
- From: HERC777
Re: universal language
- From: William Elliot
Re: arithmetic in ZF
- From: Barb Knox
universal language
- From: HERC777
Re: Is this a fallacy?
- From: Tron
Re: Church Thesis for hyperrecursives?
- From: Babylonian
Re: request:logic:please help me
- From: Pavel314
request:logic:please help me
- From: KAroline
Re: Church Thesis for hyperrecursives?
- From: Bhupinder Singh Anand
Re: Church Thesis for hyperrecursives?
- From: Babylonian
Re: arithmetic in ZF
- From: Bhupinder Singh Anand
Re: Church Thesis for hyperrecursives?
- From: Bhupinder Singh Anand
Re: arithmetic in ZF
- From: george
Translation For Non-Quantitative People of My Proof of Born's ww* = P
- From: OsherD
Probability for Modal Semantics
- From: Andrew J Bacon
Re: Church Thesis for hyperrecursives?
- From: Babylonian
Re: Church Thesis for hyperrecursives?
- From: Bhupinder Singh Anand
Re: And can machines even think?
- From: HERC777
Re: arithmetic in ZF
- From: Bhupinder Singh Anand
There are only a couple trillion people who can comprehend everything in memory and for thoughts on this web site NASA CAN and form a though of what Quantium A.I is and where it is at and if it know me and can it find you or does it care with qunatium physics..The people on mars have it down pefect. Can you right that simple program!!!!
- From: xexe
Re: Probable Influence (PI) Proof of Born's Theorem ww* = P
- From: OsherD
Re: Probable Influence (PI) Proof of Born's Theorem ww* = P
- From: OsherD
Probable Influence (PI) Proof of Born's Theorem ww* = P
- From: OsherD
Re: basic binary functions
- From: Owen
Re: basic binary functions
- From: Owen
Re: basic binary functions
- From: Gregory Toomey
Re: Is this a fallacy?
- From: Acme Diagnostics
Final CFP: 7th Intl Workshop on Logic & Computational Complexity
- From: Jim Royer
Re: topological models of set theory
- From: george
Re: topological models of set theory
- From: george
super quote
- From: Birchy
Uniform models
- From: Aanandaha
Re: arithmetic in ZF
- From: george
Re: Is this a fallacy?
- From: shepherdmoon
Re: basic binary functions
- From: Peter_Smith
Re: basic binary functions
- From: Peter_Smith
basic binary functions
- From: xcvb_789
Re: Church Thesis for hyperrecursives?
- From: Torkel Franzen
Re: Is this a fallacy?
- From: Acme Diagnostics
Re: Church Thesis for hyperrecursives?
- From: H. Enderton
Re: Church Thesis for hyperrecursives?
- From: Torkel Franzen
Re: Church Thesis for hyperrecursives?
- From: Stephen Harris
Re: theorem vs. metatheorem
- From: Jim Spriggs
Re: arithmetic in ZF
- From: Torkel Franzen
Re: And can machines even think?
- From: Tom
Re: Is this a fallacy?
- From: William Elliot
Re: Church Thesis for hyperrecursives?
- From: Torkel Franzen
arithmetic in ZF
- From: H. Enderton
Church Thesis for hyperrecursives?
- From: Snis Pilbor
Re: Is this a fallacy?
- From: shepherdmoon
Re: Proof christians are full of crap
- From: Daryl McCullough
Re: Is this a fallacy?
- From: Acme Diagnostics
Re: Is this a fallacy?
- From: William Elliot
Re: Do we really need to have models for a theory?
- From: Ross A. Finlayson
Re: Do we really need to have models for a theory?
- From: mitch
Re: Is this a fallacy?
- From: Acme Diagnostics
Re: And can machines even think?
- From: Stephen Harris
Re: And can machines even think?
- From: Tom
Re: Question about the Kleene Normal Form Thrm.
- From: Torkel Franzen
Re: On-line Godel book updated
- From: george
Re: And can machines even think?
- From: Stephen Harris
Re: Is this a fallacy?
- From: Acme Diagnostics
Re: Do we really need to have models for a theory?
- From: Ross A. Finlayson
Re: And can machines even think?
- From: Tom
Re: And can machines even think?
- From: Tom
Re: And can machines even think?
- From: Tom
Re: And can machines even think?
- From: H. J. Sander Bruggink
Re: Question about the Kleene Normal Form Thrm.
- From: Torkel Franzen
Question about the Kleene Normal Form Thrm.
- From: Snis Pilbor
Re: theorem vs. metatheorem
- From: Chris Menzel
Re: theorem vs. metatheorem
- From: lkjh_098
Re: Is this a fallacy?
- From: William Elliot
Re: Is this a fallacy?
- From: shepherdmoon
Re: And can machines even think?
- From: Stephen Harris
Re: Is this a fallacy?
- From: William Elliot
re: Is this a fallacy?
- From: Acme Diagnostics
Re: And can machines even think?
- From: Jim Spriggs
Re: topological models of set theory
- From: mitch
Re: topological models of set theory
- From: mitch
Re: Do we really nedd to have models for a theory?
- From: mitch
Re: And can machines even think?
- From: The Ghost In The Machine
Re: Do we really nedd to have models for a theory?
- From: mitch
Is this a fallacy?
- From: shepherdmoon
Re: And can machines even think?
- From: Stephen Harris
Re: And can machines even think?
- From: Jim Spriggs
Re: And can machines even think?
- From: Charlie-Boo
Re: And can machines even think?
- From: G . Frege
And can machines even think?
- From: Tom
ramified language
- From: Allan Adler
Forcing for admissible sets
- From: Allan Adler
UCLA Logic Colloquium, April 8
- From: H. Enderton
Re: On-line Godel book updated
- From: Bhupinder Singh Anand
Re: Euclid's actual proof - have at it!
- From: ken quirici
Re: Euclid's actual proof - have at it!
- From: ken quirici
Re: Euclid's actual proof - have at it!
- From: ken quirici
Re: Euclid's actual proof - have at it!
- From: Arturo Magidin
Euclid's actual proof - have at it!
- From: ken quirici
topological models of set theory
- From: george
Re: theorem vs. metatheorem
- From: Stephan Lehmke
Re: theorem vs. metatheorem
- From: Tom Breton
[FAQ, 99/07/28] Mathematical logic on the web
- From: Boris 'pi' Piwinger
Re: theorem vs. metatheorem
- From: William Elliot
Re: theorem vs. metatheorem
- From: William Elliot
Re: theorem vs. metatheorem
- From: Jim Spriggs
Re: theorem vs. metatheorem
- From: Owen
Re: Physical models of set theory
- From: mitch
theorem vs. metatheorem
- From: lkjh_098
Re: Monadic 2nd Order Logic
- From: Owen
Re: Do we really nedd to have models for a theory?
- From: Ross A. Finlayson
Re: The Infinite Calculus
- From: Chris Menzel
Re: The Infinite Calculus
- From: Mike Oliver
Re: The Infinite Calculus
- From: Will Twentyman
Re: The Infinite Calculus
- From: Chris Menzel
Re: The Infinite Calculus
- From: Jim Spriggs
Re: Do we really nedd to have models for a theory?
- From: george
Re: Monadic 2nd Order Logic
- From: H. Enderton