sci.logic

Thread Index

Re: Obections to Cantor's Theory (Wikipedia article)
- From: malbrain
Re: Cardinals for Tony
- From: torkel
Re: Cardinals for Tony
- From: William Elliot
Re: Weird problem
- From: torkel
Weird problem
- From: Bill Taylor
Re: Logic in Schools
- From: torkel
Cardinals for Tony
- From: Daryl McCullough
Re: Logic in Schools
- From: George Dance
Re: Obections to Cantor's Theory (Wikipedia article)
- From: Martin Shobe
Re: Obections to Cantor's Theory (Wikipedia article)
- From: malbrain
Re: Obections to Cantor's Theory (Wikipedia article)
- From: malbrain
Re: Best ways to Godel number the recursives?
- From: Snis Pilbor
Re: Logic in Schools
- From: Acme Diagnostics
Quantifiers for Tony Orlow
- From: Daryl McCullough
Re: Obections to Cantor's Theory (Wikipedia article)
- From: Daryl McCullough
Re: Obections to Cantor's Theory (Wikipedia article)
- From: aeo6
Re: Logic in Schools
- From: Torkel Franzen
Re: Logic in Schools
- From: George Dance
Re: Logic in Schools
- From: Torkel Franzen
Re: Logic in Schools
- From: George Dance
Re: Best ways to Godel number the recursives?
- From: examachine
Re: Logic in Schools
- From: Torkel Franzen
Re: Logic in Schools
- From: George Dance
Re: Logic in Schools
- From: Torkel Franzen
Re: Logic in Schools
- From: George Dance
Re: Obections to Cantor's Theory (Wikipedia article)
- From: malbrain
Re: Obections to Cantor's Theory (Wikipedia article)
- From: Martin Shobe
Re: Obections to Cantor's Theory (Wikipedia article)
- From: Randy Poe
Re: Obections to Cantor's Theory (Wikipedia article)
- From: malbrain
Re: Best ways to Godel number the recursives?
- From: H. Enderton
Re: Weird problem
- From: H. Enderton
Re: primitive recursive
- From: H. Enderton
Re: Logic in Schools
- From: torkel
Re: Obections to Cantor's Theory (Wikipedia article)
- From: Daryl McCullough
Re: Obections to Cantor's Theory (Wikipedia article)
- From: Robert Low
Re: Obections to Cantor's Theory (Wikipedia article)
- From: aeo6
Re: Logic in Schools
- From: Torkel Franzen
Re: Logic in Schools
- From: George Dance
predicate logic encoding of Post's Correspondence Problem
- From: yarden . katz
Re: Logic in Schools
- From: torkel
Re: Logic in Schools
- From: George Dance
Re: Best ways to Godel number the recursives?
- From: Snis Pilbor
Re: Best ways to Godel number the recursives?
- From: Pierre Asselin
Re: Obections to Cantor's Theory (Wikipedia article)
- From: Chris Menzel
Re: Obections to Cantor's Theory (Wikipedia article)
- From: georgie
Re: Best ways to Godel number the recursives?
- From: Snis Pilbor
Re: Logic in Schools
- From: George Dance
Re: Logic in Schools
- From: torkel
Re: Logic in Schools
- From: George Dance
Re: Equivalent modal logics
- From: George Dance
Re: Equivalent modal logics
- From: Michael De
Re: Best ways to Godel number the recursives?
- From: Pierre Asselin
Re: What isn't a tautology?
- From: George Dance
Best ways to Godel number the recursives?
- From: Snis Pilbor
Re: What isn't a tautology?
- From: Chris Menzel
Re: Deduction problem in first order logic
- From: torkel
Re: What isn't a tautology?
- From: Owen
Re: Deduction problem in first order logic
- From: THE SWARM MASTER
Re: Honorary truth?
- From: Owen
Re: Anti-Cantorians and the Applicability of Logic
- From: David C . Ullrich
Re: a simple question regarding irony
- From: |-|erc
Re: What isn't a tautology?
- From: Jim Spriggs
Re: What isn't a tautology?
- From: Chris Menzel
Re: What isn't a tautology?
- From: Chris Menzel
Re: Obections to Cantor's Theory (Wikipedia article)
- From: MoeBlee
Re: What isn't a tautology?
- From: George Dance
Re: What isn't a tautology?
- From: dtheobald
Re: Anti-Cantorians and the Applicability of Logic
- From: david petry
Re: What isn't a tautology?
- From: George Dance
Re: What isn't a tautology?
- From: Chris Menzel
Re: primitive recursive
- From: Barb Knox
Re: What isn't a tautology?
- From: George Dance
Re: What isn't a tautology?
- From: George Dance
Re: What isn't a tautology?
- From: Michael De
Re: Deduction problem in first order logic
- From: Torkel Franzen
Re: What isn't a tautology?
- From: Michael De
Re: a simple question regarding irony
- From: Tron
Re: What isn't a tautology?
- From: Chris Menzel
Re: Deduction problem in first order logic
- From: THE SWARM MASTER
Re: Anti-Cantorians and the Applicability of Logic
- From: Jim Spriggs
Re: Equivalent modal logics
- From: George Dance
Re: Anti-Cantorians and the Applicability of Logic
- From: Ross A. Finlayson
Re: Weird problem
- From: Jim Spriggs
Re: Weird problem
- From: torkel
Re: Weird problem
- From: Babylonian
Re: Equivalent modal logics
- From: Jesse Alama
Re: Honorary truth?
- From: Dunk
Re: What isn't a tautology?
- From: George Dance
Anti-Cantorians and the Applicability of Logic
- From: Daryl McCullough
Re: a simple question regarding irony
- From: torkel
Re: Weird problem
- From: Aatu Koskensilta
Re: What isn't a tautology?
- From: George Dance
Re: Weird problem
- From: Peter Webb
Re: a simple question regarding irony
- From: gsax
Re: What isn't a tautology?
- From: George Dance
Re: What isn't a tautology?
- From: David C . Ullrich
Re: What isn't a tautology?
- From: George Dance
Re: Deduction problem in first order logic
- From: torkel
primitive recursive
- From: Bill Taylor
Re: a simple question regarding irony
- From: Helene . Boucher
Re: a simple question regarding irony
- From: gsax
Re: a simple question regarding irony
- From: Helene . Boucher
a simple question regarding irony
- From: gsax
Re: What isn't a tautology?
- From: Michael De
Re: What isn't a tautology?
- From: Michael De
Re: primitive recursive
- From: Jesse Alama
Re: Obections to Cantor's Theory (Wikipedia article)
- From: MoeBlee
Re: primitive recursive
- From: Barb Knox
Re: What isn't a tautology?
- From: Chris Menzel
Re: Update: Objections to Cantor's Theory
- From: G . Frege
Re: Update: Objections to Cantor's Theory
- From: george
Deduction problem in first order logic
- From: THE SWARM MASTER
Re: Logic in Schools
- From: George Dance
Re: Update: Objections to Cantor's Theory
- From: david petry
Re: What isn't a tautology?
- From: Owen
Re: What isn't a tautology?
- From: George Dance
Re: What isn't a tautology?
- From: Michael De
Re: Update: Objections to Cantor's Theory
- From: georgie
Re: What isn't a tautology?
- From: David C . Ullrich
Re: What isn't a tautology?
- From: Owen
Re: Questions for Uncountability Deniers
- From: MoeBlee
Re: Honorary truth?
- From: MoeBlee
Re: Honorary truth?
- From: MoeBlee
Re: What isn't a tautology?
- From: Chris Menzel
Re: What isn't a tautology?
- From: Michael De
Re: What isn't a tautology?
- From: Michael De
Re: What isn't a tautology?
- From: Chris Menzel
Re: What isn't a tautology?
- From: Chris Menzel
Re: Questions for Uncountability Deniers
- From: Dunk
Re: Update: Objections to Cantor's Theory
- From: george
Re: Honorary truth?
- From: Dunk
Re: What isn't a tautology?
- From: Chris Menzel
Re: Turing completeness of the functional paradigm?
- From: Babylonian
Re: Questions for Uncountability Deniers
- From: georgie
Re: Turing completeness of the functional paradigm?
- From: Chris Menzel
Re: Basis for Lambda Functions
- From: Chris Menzel
Re: What isn't a tautology?
- From: George Dance
Re: Equivalent modal logics
- From: George Dance
Re: Turing completeness of the functional paradigm?
- From: Tom
Re: What isn't a tautology?
- From: Owen
Re: Who believes/believed that set theory is/was inconsistent?
- From: David C . Ullrich
Re: Who believes/believed that set theory is/was inconsistent?
- From: David C . Ullrich
Re: What isn't a tautology?
- From: David C . Ullrich
Re: What isn't a tautology?
- From: Owen
Re: Who believes/believed that set theory is/was inconsistent?
- From: Keith Ramsay
Re: Who believes/believed that set theory is/was inconsistent?
- From: torkel
Re: Post Axiom Syndrome
- From: Ross A. Finlayson
Re: Questions for Uncountability Deniers
- From: Ross A. Finlayson
Re: Questions for Uncountability Deniers
- From: sradhakr
Re: Turing completeness of the functional paradigm?
- From: Keith Ramsay
Re: Questions for Uncountability Deniers
- From: William Elliot
Re: Basis for Lambda Functions
- From: William Elliot
Re: Obections to Cantor's Theory (Wikipedia article)
- From: sradhakr
Questions for Uncountability Deniers
- From: MoeBlee
Basis for Lambda Functions
- From: Bill Taylor
Re: Turing completeness of the functional paradigm?
- From: Babylonian
Re: What isn't a tautology?
- From: Michael De
Re: What isn't a tautology?
- From: Michael De
Re: Turing completeness of the functional paradigm?
- From: Keith Ramsay
Re: Turing completeness of the functional paradigm?
- From: Keith Ramsay
Re: Prime model in DLO
- From: Jean-Pierre MERX
Re: Post Axiom Syndrome
- From: george
Re: Turing completeness of the functional paradigm?
- From: george
Re: Who believes/believed that set theory is/was inconsistent?
- From: george
Re: Who believes/believed that set theory is/was inconsistent?
- From: george
Re: Obections to Cantor's Theory (Wikipedia article)
- From: george
Re: What isn't a tautology?
- From: Chris Menzel
Re: Being and Nothing
- From: Andrew
Re: Turing completeness of the functional paradigm?
- From: Tom
Re: What isn't a tautology?
- From: Owen
Re: Being and Nothing
- From: William Elliot
Re: Turing completeness of the functional paradigm?
- From: Robert Low
Re: What isn't a tautology?
- From: Chris Menzel
Re: Obections to Cantor's Theory (Wikipedia article)
- From: MoeBlee
Re: Honorary truth?
- From: MoeBlee
Re: Equivalent modal logics
- From: Michael De
Re: Equivalent modal logics
- From: Jesse Alama
Re: Honorary truth?
- From: Dunk
Re: What isn't a tautology?
- From: Michael De
Re: What isn't a tautology?
- From: dtheobald
Re: Turing completeness of the functional paradigm?
- From: Chris Menzel
Re: What isn't a tautology?
- From: Chris Menzel
Re: Turing completeness of the functional paradigm?
- From: Robert Low
Re: What isn't a tautology?
- From: Chris Menzel
Re: What isn't a tautology?
- From: Michael De
Re: What isn't a tautology?
- From: Michael De
Re: What isn't a tautology?
- From: Chris Menzel
Re: Honorary truth?
- From: MoeBlee
Re: What isn't a tautology?
- From: Michael De
Re: Turing completeness of the functional paradigm?
- From: Chris Menzel
Re: Equivalent modal logics
- From: Owen
Re: What isn't a tautology?
- From: Chris Menzel
Re: What isn't a tautology?
- From: Chris Menzel
Re: Equivalent modal logics
- From: Chris Menzel
Re: Turing completeness of the functional paradigm?
- From: Robert Low
Re: Turing completeness of the functional paradigm?
- From: Babylonian
Re: Turing completeness of the functional paradigm?
- From: Tom
Re: Turing completeness of the functional paradigm?
- From: Tom
Re: Being and Nothing
- From: Andrew
Honorary truth?
- From: Dunk
Re: What isn't a tautology?
- From: Michael De
Re: What isn't a tautology?
- From: Barb Knox
Re: What isn't a tautology?
- From: Michael De
Re: Completeness
- From: Jesse Alama
Re: Logic in Schools
- From: Acme Diagnostics
Re: Equivalent modal logics
- From: Jesse Alama
Re: What isn't a tautology?
- From: Chris Menzel
Re: Post Axiom Syndrome
- From: Ross A. Finlayson
Re: What isn't a tautology?
- From: Michael De
Re: What isn't a tautology?
- From: Michael De
Re: Who believes/believed that set theory is/was inconsistent?
- From: Keith Ramsay
Re: Post Axiom Syndrome
- From: Chris Menzel
Re: Confused about Intuitionistic provability
- From: examachine
Re: What isn't a tautology?
- From: dtheobald
Re: Who believes/believed that set theory is/was inconsistent?
- From: Jim Spriggs
Re: Who believes/believed that set theory is/was inconsistent?
- From: David C . Ullrich
Re: Who believes/believed that set theory is/was inconsistent?
- From: David C . Ullrich
Re: What isn't a tautology?
- From: Chris Menzel
Re: Completeness
- From: torkel
Re: What isn't a tautology?
- From: Michael De
Re: What isn't a tautology?
- From: Chris Menzel
Re: What isn't a tautology?
- From: Michael De
Re: What isn't a tautology?
- From: Michael De
Re: What isn't a tautology?
- From: Chris Menzel
Re: What isn't a tautology?
- From: Chris Menzel
Re: What isn't a tautology?
- From: dtheobald
Re: What isn't a tautology?
- From: Jim Spriggs
Re: What isn't a tautology?
- From: George Dance
Re: What isn't a tautology?
- From: Michael De
Re: Who believes/believed that set theory is/was inconsistent?
- From: Keith Ramsay
Re: What isn't a tautology?
- From: Chris Menzel
Re: Is it a paradox? (fwd)
- From: Jim Burns
Re: Is it a paradox? (fwd)
- From: Max Weiss
Re: What isn't a tautology?
- From: Jim Spriggs
Re: What isn't a tautology?
- From: Chris Menzel
Re: What isn't a tautology?
- From: Michael De
Re: What isn't a tautology?
- From: Chris Menzel
Re: Logic in Schools
- From: Jim Spriggs
Re: Who believes/believed that set theory is/was inconsistent?
- From: Jim Spriggs
Re: Is it a paradox? (fwd)
- From: George Dance
Re: Turing completeness of the functional paradigm?
- From: Babylonian
Re: Who believes/believed that set theory is/was inconsistent?
- From: Helene . Boucher
Re: Who believes/believed that set theory is/was inconsistent?
- From: David C . Ullrich
Re: Is it a paradox? (fwd)
- From: David C . Ullrich
Re: Logic in Schools
- From: George Dance
Re: What isn't a tautology?
- From: George Dance
Re: Logic in Schools
- From: PureAI
Re: What isn't a tautology?
- From: Chris Menzel
Re: What isn't a tautology?
- From: Chris Menzel
Re: Equivalent modal logics
- From: George Dance
Re: Equivalent modal logics
- From: George Dance
Re: Who believes/believed that set theory is/was inconsistent?
- From: Keith Ramsay
Re: What isn't a tautology?
- From: George Dance
Re: Is it a paradox? (fwd)
- From: Jim Spriggs
Re: Is it a paradox? (fwd)
- From: Peter Webb
Who believes/believed that set theory is/was inconsistent?
- From: Jim Spriggs
Re: Is it a paradox? (fwd)
- From: Jim Spriggs
Re: What isn't a tautology?
- From: George Dance
Re: What isn't a tautology?
- From: George Dance
Re: Logic in Schools
- From: George Dance
Re: What isn't a tautology?
- From: erite423
Re: Is it a paradox? (fwd)
- From: Peter Webb
Re: Is it a paradox? (fwd)
- From: Owen
Re: What isn't a tautology?
- From: Michael De
Re: Is it a paradox? (fwd)
- From: Michael De
Re: Post-Axiomatic Mathematics Proclamation
- From: Jim Spriggs
Re: What isn't a tautology?
- From: Michael De
Re: Is it a paradox? (fwd)
- From: Peter Webb
Re: What isn't a tautology?
- From: Chris Menzel
Re: Is it a paradox? (fwd)
- From: David C . Ullrich
Re: What isn't a tautology?
- From: erite423
Re: Turing completeness of the functional paradigm?
- From: William Elliot
Re: Turing completeness of the functional paradigm?
- From: Tom
Being and Nothing
- From: William Elliot
Re: Turing completeness of the functional paradigm?
- From: Tom
Re: Confused about Intuitionistic provability
- From: Keith Ramsay
Re: Logic in Schools
- From: Acme Diagnostics
Re: Confused about Intuitionistic provability
- From: Keith Ramsay
Re: which is more fundamental?
- From: Acme Diagnostics
Re: which is more fundamental?
- From: gsax
Re: What isn't a tautology?
- From: Michael De
Re: Post-Axiomatic Mathematics Proclamation
- From: Martin Shobe
Re: Logic in Schools
- From: Jim Spriggs
Re: What isn't a tautology?
- From: Chris Menzel
Re: What isn't a tautology?
- From: Jim Spriggs
Re: What isn't a tautology?
- From: Douglas Theobald
Re: What isn't a tautology?
- From: erite423
Re: What isn't a tautology?
- From: Douglas Theobald
Re: Turing completeness of the functional paradigm?
- From: William Elliot
Re: Post-Axiomatic Mathematics Proclamation
- From: Jim Spriggs
Re: What isn't a tautology?
- From: Jim Spriggs
Re: What isn't a tautology?
- From: Jim Spriggs
Re: What isn't a tautology?
- From: Douglas Theobald
What isn't a tautology?
- From: Dunk
Re: Turing completeness of the functional paradigm?
- From: Babylonian
Logic in Schools
- From: George Dance
Re: Logic in Schools
- From: George Dance
Re: Turing completeness of the functional paradigm?
- From: Tom
Re: Is it a paradox? (fwd)
- From: Peter Webb
Re: which is more fundamental?
- From: Peter Webb
Re: Turing completeness of the functional paradigm?
- From: William Elliot
Re: Turing completeness of the functional paradigm?
- From: Tom
Re: Is it a paradox? (fwd)
- From: Michael De
Re: Is it a paradox? (fwd)
- From: William Elliot
Re: Is it a paradox? (fwd)
- From: Reinhold Friedrich Burger
re: which is more fundamental?
- From: Acme Diagnostics
Re: Is it a paradox? (fwd)
- From: Neil W Rickert
Re: Is it a paradox? (fwd)
- From: Tron
Re: which is more fundamental?
- From: Jim Spriggs
Re: which is more fundamental?
- From: William Elliot
Re: which is more fundamental?
- From: Colin
Is it a paradox? (fwd)
- From: Reinhold Friedrich Burger
Re: Is this theorem really in S?
- From: torkel
Re: Is this theorem really in S?
- From: H. Enderton
Re: Logic in Schools
- From: torkel
Re: Is this theorem really in S?
- From: Chris Menzel
Re: Logic in Schools
- From: George Dance
Re: which is more fundamental?
- From: William Elliot
Re: Turing completeness of the functional paradigm?
- From: William Elliot
Re: which is more fundamental?
- From: Babylonian
Re: Turing completeness of the functional paradigm?
- From: Tom
Penrose's impossible object in 4D
- From: gsax
which is more fundamental?
- From: gsax
Re: Completeness
- From: Thomas Käufl
Re: Turing completeness of the functional paradigm?
- From: William Elliot
Re: Completeness
- From: Ross A. Finlayson
Re: Confused about Intuitionistic provability
- From: Babylonian
Re: Logic in Schools
- From: Keith Ramsay
Re: Completeness
- From: Jim Spriggs
Re: Completeness
- From: Jim Spriggs
Re: Completeness
- From: Chris Menzel
Re: Completeness
- From: H. Enderton
Re: Confused about Intuitionistic provability
- From: Babylonian
Re: Need a proof (or disproof) of this conjecture
- From: THE SWARM MASTER
Turing completeness of the functional paradigm?
- From: Tom
Re: Completeness
- From: David C . Ullrich
Re: Need a proof (or disproof) of this conjecture
- From: David C . Ullrich
Re: Completeness
- From: Thomas Käufl
Re: Confused about Intuitionistic provability
- From: Keith Ramsay
Re: Completeness
- From: torkel
Re: Completeness
- From: Michael De
Re: Completeness
- From: Michael De
Re: Completeness
- From: torkel
Re: Post Axiom Syndrome
- From: Ross A. Finlayson
Re: Completeness
- From: William Elliot
Re: Post Axiom Syndrome
- From: Max Weiss
Re: Confused about Intuitionistic provability
- From: Daryl McCullough
Re: Need a proof (or disproof) of this conjecture
- From: H. Enderton
Re: Need a proof (or disproof) of this conjecture
- From: THE SWARM MASTER
Re: Need a proof (or disproof) of this conjecture
- From: David C . Ullrich
Re: Need a proof (or disproof) of this conjecture
- From: David C . Ullrich
Re: Need a proof (or disproof) of this conjecture
- From: David C . Ullrich
Re: Need a proof (or disproof) of this conjecture
- From: Michael De
Re: Need a proof (or disproof) of this conjecture
- From: george
Re: Post Axiom Syndrome
- From: Jim Spriggs
Re: Post Axiom Syndrome
- From: Chris Menzel
Post Axiom Syndrome
- From: William Elliot
Re: Need a proof (or disproof) of this conjecture
- From: Michael De
Re: Need a proof (or disproof) of this conjecture
- From: THE SWARM MASTER
Re: Need a proof (or disproof) of this conjecture
- From: Michael De
Re: Need a proof (or disproof) of this conjecture
- From: Michael De
Re: von Neumann universe
- From: H. Enderton
Re: Need a proof (or disproof) of this conjecture
- From: H. Enderton
Re: Need a proof (or disproof) of this conjecture
- From: Michael De
Re: Post Axiom Syndrome
- From: Robert Low
Re: Post Axiom Syndrome
- From: Ross A. Finlayson
Re: Post Axiom Syndrome
- From: Robert Low
Re: Post Axiom Syndrome
- From: Ross A. Finlayson
Re: Interpretations and assignments.
- From: Acme Diagnostics
Re: Post Axiom Syndrome
- From: Chris Menzel
Re: Post Axiom Syndrome
- From: examachine
Re: Confused about Intuitionistic provability
- From: examachine
Re: Need a proof (or disproof) of this conjecture
- From: torkel
Need a proof (or disproof) of this conjecture
- From: THE SWARM MASTER
Re: Confused about Intuitionistic provability
- From: Alan Smaill
Re: Interpretations and assignments.
- From: Acme Diagnostics
Re: Interpretations and assignments.
- From: G . Frege
Re: Interpretations and assignments.
- From: torkel
Re: Confused about Intuitionistic provability
- From: Babylonian
Re: Interpretations and assignments.
- From: George Dance
Re: Interpretations and assignments.
- From: George Dance
Re: Question on logic and Godel
- From: Robert Low
Re: Question on logic and Godel
- From: Helene . Boucher
Re: Post Axiom Syndrome
- From: Ross A. Finlayson
Re: Question on logic and Godel
- From: Helene . Boucher
Re: Confused about Intuitionistic provability
- From: Keith Ramsay
Re: Post Axiom Syndrome
- From: Chris Menzel
Re: Partially ordered quantifiers
- From: Michael De
Re: Post Axiom Syndrome
- From: Ross A. Finlayson
Re: Question on logic and Godel
- From: Michael De
Re: Partially ordered quantifiers
- From: Chris Menzel
Re: Question on logic and Godel
- From: Chris Menzel
Partially ordered quantifiers
- From: Michael De
Re: Question on logic and Godel
- From: Michael De
Re: Question on logic and Godel
- From: Pierre Asselin
Re: Question on logic and Godel
- From: Robert Low
Re: Question on logic and Godel
- From: Helene . Boucher
Re: Question on logic and Godel
- From: Robert Low
Re: Question on logic and Godel
- From: Helene . Boucher
Re: Question on logic and Godel
- From: Robert Low
Re: Post Axiom Syndrome
- From: Chris Menzel
Re: Question on logic and Godel
- From: Chris Menzel
Re: Question on logic and Godel
- From: Helene . Boucher
Re: Post Axiom Syndrome
- From: Ross A. Finlayson
Re: Question on logic and Godel
- From: george
Re: Question on logic and Godel
- From: Robert Low
Re: Question on logic and Godel
- From: Jim Spriggs
Re: Question on logic and Godel
- From: Michael De
Re: Question on logic and Godel
- From: Lee Rudolph
Re: Question on logic and Godel
- From: Chris Menzel
Re: Question on logic and Godel
- From: Bhupinder Singh Anand
Re: Question on logic and Godel
- From: Helene . Boucher
Re: Question on logic and Godel
- From: RichD
Re: Question on logic and Godel
- From: Michael De
Re: Confused about Intuitionistic provability
- From: galathaea
Re: Question on logic and Godel
- From: Michael De
Re: Question on logic and Godel
- From: Chris Menzel
Question on logic and Godel
- From: RichD
Re: PL or PLI
- From: William Elliot
Re: Equivalent modal logics
- From: Jesse Alama
Re: Interpretations and assignments.
- From: Acme Diagnostics
Re: Interpretations and assignments.
- From: Acme Diagnostics
Re: Interpretations and assignments.
- From: Acme Diagnostics
Re: Interpretations and assignments.
- From: G . Frege
Re: Logic in Schools
- From: Torkel Franzen
Re: Interpretations and assignments.
- From: Acme Diagnostics
Re: Interpretations and assignments.
- From: G . Frege
Re: Interpretations and assignments.
- From: Acme Diagnostics
Re: Interpretations and assignments.
- From: Acme Diagnostics
Re: Interpretations and assignments.
- From: Acme Diagnostics
Re: Interpretations and assignments.
- From: Acme Diagnostics
Re: Interpretations and assignments.
- From: George Dance
Re: PL or PLI
- From: G . Frege
Re: PL or PLI
- From: George Dance
Re: Interpretations and assignments.
- From: G . Frege
Re: Logic in Schools
- From: George Dance
Re: Logic in Schools
- From: Torkel Franzen
Re: Interpretations and assignments.
- From: George Dance
Re: Logic in Schools
- From: George Dance
Re: Interpretations and assignments.
- From: G . Frege
Re: Interpretations and assignments.
- From: Torkel Franzen
Re: Interpretations and assignments.
- From: G . Frege
Re: Interpretations and assignments.
- From: G . Frege
Re: Interpretations and assignments.
- From: George Dance
Re: Interpretations and assignments.
- From: George Dance
Re: Interpretations and assignments.
- From: Torkel Franzen
Re: Interpretations and assignments.
- From: George Dance
Re: Logic in Schools
- From: Acme Diagnostics
Re: Interpretations and assignments.
- From: Torkel Franzen
Re: Logic in Schools
- From: Torkel Franzen
Re: Interpretations and assignments.
- From: George Dance
Re: PL or PLI
- From: William Elliot
Re: Logic in Schools
- From: George Dance
Re: Logic in Schools
- From: Acme Diagnostics
Re: Interpretations and assignments.
- From: Torkel Franzen
Re: Interpretations and assignments.
- From: George Dance
Re: Interpretations and assignments.
- From: George Dance
Re: PL or PLI
- From: George Dance
Re: Humans are Becoming Genetically Less Intelligent
- From: Hero . van . Jindelt
Re: Logic in Schools
- From: Torkel Franzen
Re: PL or PLI
- From: William Elliot
Re: PL or PLI
- From: Michael De
Re: Interpretations and assignments.
- From: Paul Holbach
Re: PL or PLI
- From: George Dance
Re: von Neumann universe
- From: Paul Holbach
Re: Interpretations and assignments.
- From: G . Frege
Re: Interpretations and assignments.
- From: George Dance
Re: Interpretations and assignments.
- From: Michael De
Re: Interpretations and assignments.
- From: Michael De
Re: Logic in Schools
- From: George Dance
Re: von Neumann universe
- From: Aatu Koskensilta
Re: PL or PLI
- From: William Elliot
Re: Logic in Schools
- From: Keith Ramsay
Re: Interpretations and assignments.
- From: Torkel Franzen
Re: Interpretations and assignments.
- From: G . Frege
Re: Interpretations and assignments.
- From: George Dance
Re: Interpretations and assignments.
- From: george
Re: Confused about Intuitionistic provability
- From: Keith Ramsay
Re: von Neumann universe
- From: Chris Menzel
von Neumann universe
- From: H. Enderton
Re: Interpretations and assignments.
- From: Torkel Franzen
Re: Interpretations and assignments.
- From: George Dance
Re: Logic in Schools
- From: George Dance
Re: PL or PLI
- From: George Dance
Re: Interpretations and assignments.
- From: Torkel Franzen
Re: Interpretations and assignments.
- From: Torkel Franzen
Re: Interpretations and assignments.
- From: George Dance
Re: logic relay chat
- From: Jesse Alama
Re: Interpretations and assignments.
- From: Owen
PL or PLI
- From: 1st Semester Logic Student
Re: Interpretations and assignments.
- From: Torkel Franzen
Re: Interpretations and assignments.
- From: George Dance
Re: Interpretations and assignments.
- From: George Dance
Re: Interpretations and assignments.
- From: Torkel Franzen
Re: Interpretations and assignments.
- From: George Dance
Re: Interpretations and assignments.
- From: G . Frege
Re: Interpretations and assignments.
- From: Chris Menzel
Re: Interpretations and assignments.
- From: G . Frege
Re: Interpretations and assignments.
- From: G . Frege
Re: Post Axiom Syndrome
- From: george
Re: Interpretations and assignments.
- From: Torkel Franzen
Re: Interpretations and assignments.
- From: Owen
Re: Interpretations and assignments.
- From: Michael De
Re: Confused about Intuitionistic provability
- From: galathaea
Re: Interpretations and assignments.
- From: Chris Menzel
Re: Interpretations and assignments.
- From: Michael De
Re: Interpretations and assignments.
- From: Torkel Franzen
Re: Interpretations and assignments.
- From: Michael De
Re: Interpretations and assignments.
- From: Torkel Franzen
Re: Interpretations and assignments.
- From: Torkel Franzen
Re: Confused about Intuitionistic provability
- From: Torkel Franzen
Re: Confused about Intuitionistic provability
- From: Keith Ramsay
Re: Interpretations and assignments.
- From: Michael De
Re: Confused about Intuitionistic provability
- From: Jim Spriggs
Re: Confused about Intuitionistic provability
- From: Jim Spriggs
Re: Confused about Intuitionistic provability
- From: Jim Spriggs
Re: Interpretations and assignments.
- From: Chris Menzel
Re: Post Axiom Syndrome
- From: Ross A. Finlayson
Re: Interpretations and assignments.
- From: Michael De
Re: Interpretations and assignments.
- From: Owen
Re: Interpretations and assignments.
- From: G . Frege
Re: Interpretations and assignments.
- From: Barb Knox
Re: Interpretations and assignments.
- From: G . Frege
Re: Logic in Schools
- From: George Dance
Re: Interpretations and assignments.
- From: George Dance
Re: Interpretations and assignments.
- From: Owen
Confused about Intuitionistic provability
- From: Barb Knox
Re: Interpretations and assignments.
- From: Owen
Re: Interpretations and assignments.
- From: Owen
Re: Interpretations and assignments.
- From: Owen
Re: Interpretations and assignments.
- From: Owen
Re: Interpretations and assignments.
- From: G . Frege
Re: Interpretations and assignments.
- From: Chris Menzel
Re: Interpretations and assignments.
- From: G . Frege
Re: Interpretations and assignments.
- From: G . Frege
Re: Interpretations and assignments.
- From: Owen
Re: Interpretations and assignments.
- From: Chris Menzel
Re: Interpretations and assignments.
- From: Owen
Re: Interpretations and assignments.
- From: Chris Menzel
Re: Interpretations and assignments.
- From: Owen
Re: Interpretations and assignments.
- From: Chris Menzel
Re: Interpretations and assignments.
- From: Owen
Re: Interpretations and assignments.
- From: Michael De
Re: Interpretations and assignments.
- From: Michael De
Re: Interpretations and assignments.
- From: Michael De
Re: Interpretations and assignments.
- From: Torkel Franzen
Re: Interpretations and assignments.
- From: Michael De
Re: Interpretations and assignments.
- From: G . Frege
Re: Interpretations and assignments.
- From: G . Frege
Re: Interpretations and assignments.
- From: Torkel Franzen
Re: Humans are Becoming Genetically Less Intelligent
- From: Jim Spriggs
Re: Interpretations and assignments.
- From: Michael De
Re: Interpretations and assignments.
- From: Torkel Franzen
Re: Interpretations and assignments.
- From: William Elliot
Interpretations and assignments.
- From: Michael De
Re: Humans are Becoming Genetically Less Intelligent
- From: Stephen Montgomery-Smith
Re: Post-Axiomatic Mathematics Proclamation
- From: Tom Breton
Re: Logic in Schools
- From: Acme Diagnostics
Re: Logic in Schools
- From: Acme Diagnostics
Re: OT: Re: Humans are Becoming Genetically Less Intelligent
- From: Europa
Re: Logic in Schools
- From: Torkel Franzen
Re: Logic in Schools
- From: George Dance
Re: Logic in Schools
- From: Torkel Franzen
Re: Logic in Schools
- From: Torkel Franzen
Re: Logic in Schools
- From: George Dance
Re: Logic in Schools
- From: George Dance
Re: Logic in Schools
- From: George Dance
OT: Re: Humans are Becoming Genetically Less Intelligent
- From: Peter Webb
Re: Humans are Becoming Genetically Less Intelligent
- From: Robert Low
Humans are Becoming Genetically Less Intelligent
- From: Europa
Re: Post-Axiomatic Mathematics Proclamation
- From: Chris Menzel
Re: Post-Axiomatic Mathematics Proclamation
- From: Stephen Montgomery-Smith
Re: Post-Axiomatic Mathematics Proclamation
- From: george
Re: Post Axiom Syndrome
- From: george
theory of a model class
- From: Andrea Leonardi
Re: Post-Axiomatic Mathematics Proclamation
- From: Babylonian
Re: Post-Axiomatic Mathematics Proclamation
- From: Lee Rudolph
Re: Post-Axiomatic Mathematics Proclamation
- From: Mitch Harris
Re: Post-Axiomatic Mathematics Proclamation
- From: Herman Jurjus
Re: Post-Axiomatic Mathematics Proclamation
- From: Stephen Montgomery-Smith
Re: Post-Axiomatic Mathematics Proclamation
- From: Keith Ramsay
Re: Post-Axiomatic Mathematics Proclamation
- From: Chris Menzel
Re: Equivalent modal logics
- From: Michael De
Re: Post-Axiomatic Mathematics Proclamation
- From: Stephen Montgomery-Smith
Re: Post-Axiomatic Mathematics Proclamation
- From: Jim Spriggs
Re: Post-Axiomatic Mathematics Proclamation
- From: Stephen Montgomery-Smith
Re: Post-Axiomatic Mathematics Proclamation
- From: Chris Menzel
Re: Post-Axiomatic Mathematics Proclamation
- From: Stephen Montgomery-Smith
Re: Equivalent modal logics
- From: Chris Menzel
Re: Post Axiom Syndrome
- From: Babylonian
Post Axiom Syndrome
- From: William Elliot
Re: Derivations (SD)
- From: William Elliot
Re: Logic in Schools
- From: G . Frege
Re: Logic in Schools
- From: G . Frege
Re: Logic in Schools
- From: G . Frege
Re: Logic in Schools
- From: G . Frege
Re: Logic in Schools
- From: G . Frege
Re: Derivations (SD)
- From: Acme Diagnostics
Re: Equivalent modal logics
- From: Michael De
Re: Equivalent modal logics
- From: Michael De
Re: Equivalent modal logics
- From: Chris Menzel
Re: Logic in Schools
- From: Paul Holbach
Re: Logic in Schools
- From: Michael De
Re: Equivalent modal logics
- From: Michael De
Re: Equivalent modal logics
- From: Chris Menzel
Re: Derivations (SD)
- From: William Elliot
Re: Logic in Schools
- From: G . Frege
Re: Derivations (SD)
- From: Acme Diagnostics
Re: Derivations (SD)
- From: Acme Diagnostics
Re: Gödel's theorems in Wikipedia
- From: timm
Re: Logic in Schools
- From: Paul Holbach
Re: Derivations (SD)
- From: 1st Semester Logic Student
Re: Logic in Schools
- From: G . Frege
Re: Logic in Schools
- From: G . Frege
Re: Derivations (SD)
- From: David C . Ullrich
Re: Logic in Schools
- From: G . Frege
Re: Derivations (SD)
- From: William Elliot
Re: Derivations (SD)
- From: William Elliot
Re: Derivations (SD)
- From: Helene . Boucher
Re: Derivations (SD)
- From: 1st Semester Logic Student
Re: Derivations (SD)
- From: 1st Semester Logic Student
Re: Derivations (SD)
- From: William Elliot
Re: Derivations (SD)
- From: 1st Semester Logic Student
Re: Logic in Schools
- From: Michael De
Re: errata
- From: Max Weiss
Re: Derivations (SD)
- From: 1st Semester Logic Student
Re: Derivations (SD)
- From: 1st Semester Logic Student
Re: Logic in Schools
- From: G . Frege
Re: Derivations (SD)
- From: William Elliot
Re: Logic in Schools
- From: mikejde@xxxxxxxxx
Re: Derivations (SD)
- From: 1st Semester Logic Student
Re: Equivalent modal logics
- From: mikejde@xxxxxxxxx
Re: Equivalent modal logics
- From: mikejde@xxxxxxxxx
Re: Equivalent modal logics
- From: mikejde@xxxxxxxxx
Re: Logic in Schools
- From: Acme Diagnostics
Re: Derivations (SD)
- From: William Elliot
Re: Logic in Schools
- From: Acme Diagnostics
Re: Logic in Schools
- From: G . Frege
Re: Logic in Schools
- From: G . Frege
Re: Logic in Schools
- From: Paul Holbach
Re: Derivations (SD)
- From: Jim Spriggs
Re: Logic in Schools
- From: Torkel Franzen
Re: Derivations (SD)
- From: Barb Knox
Re: Logic in Schools
- From: George Dance
Re: Logic in Schools
- From: G . Frege
Re: Logic in Schools
- From: G . Frege
Re: Logic in Schools
- From: G . Frege
Re: Derivations (SD)
- From: 1st Semester Logic Student
Re: Equivalent modal logics
- From: Jim Spriggs
Re: Derivations (SD)
- From: 1st Semester Logic Student
Re: Derivations (SD)
- From: Jim Spriggs
Re: Equivalent modal logics
- From: Jim Spriggs
Re: Logic in Schools
- From: Paul Holbach
Re: Logic in Schools
- From: Paul Holbach
Re: Modal logics with binders and fixpoints
- From: Torkel Franzen
Modal logics with binders and fixpoints
- From: Vincenzo Ciancia
Re: Logic in Schools
- From: Torkel Franzen
Re: Logic in Schools
- From: George Dance
Re: Logic in Schools
- From: Acme Diagnostics
Re: Logic in Schools
- From: George Dance
Re: Logic in Schools
- From: Torkel Franzen
Re: Logic in Schools
- From: George Dance
Re: Logic in Schools
- From: Torkel Franzen
Re: Logic in Schools
- From: Torkel Franzen
Re: Logic in Schools
- From: George Dance
Re: Equivalent modal logics
- From: Chris Menzel
Re: Equivalent modal logics
- From: David C . Ullrich
Re: Derivations (SD)
- From: David C . Ullrich
Derivations (SD)
- From: William Elliot
Re: Derivations (SD)
- From: Robert Low
Re: Derivations (SD)
- From: 1st Semester Logic Student
Re: Derivations (SD)
- From: 1st Semester Logic Student
Equivalent modal logics
- From: mikejde@xxxxxxxxx
Re: Logic in Schools
- From: Acme Diagnostics
[FAQ, 99/07/28] Mathematical logic on the web
- From: Boris 'pi' Piwinger