sci.logic

• Thread Index

---

• Re: incompleteness of first-order logic
  • From: Jan Burse
• Re: incompleteness of first-order logic
  • From: Jan Burse
• Re: Confused about Intuitionistic provability
  • From: Alan Smaill
• Re: <=> same as <-> ?
  • From: Ken Pledger
• Re: Where is the error?
  • From: Charlie-Boo
• Re: Where is the error?
  • From: Charlie-Boo
• Re: Choice Question # 2
  • From: Charlie-Boo
• Question about set definition
  • From: agapito6314
• Re: Choice Question # 2
  • From: Chris Menzel
• Re: Where is the error?
  • From: H. J. Sander Bruggink
• Re: Is there an answer to this logic riddle?
  • From: Charlie-Boo
• Re: Choice Question # 2
  • From: Charlie-Boo
• Re: Where is the error?
  • From: Charlie-Boo
• Re: There is no language of arithmetic
  • From: MoeBlee
• Re: There is no language of arithmetic
  • From: Nam Nguyen
• CH yet again.
  • From: Bill Taylor
• Re: <=> same as <-> ?
  • From: MoeBlee
• CH yet again.
  • From: Bill Taylor
• <=> same as <-> ?
  • From: gaya . patel
• Re: incompleteness of first-order logic
  • From: Li Yi
• Re: incompleteness of first-order logic
  • From: Li Yi
• Re: incompleteness of first-order logic
  • From: Li Yi
• Re: incompleteness of first-order logic
  • From: Li Yi
• Re: CH yet again.
  • From: David C . Ullrich
• Re: incompleteness of first-order logic
  • From: Jan Burse
• Re: incompleteness of first-order logic
  • From: Jan Burse
• Re: CH yet again.
  • From: Aatu Koskensilta
• incompleteness of first-order logic
  • From: Li Yi
• Re: CH yet again.
  • From: MoeBlee
• Re: There is no language of arithmetic
  • From: Rupert
• Re: There is no language of arithmetic
  • From: Rupert
• Re: There is no language of arithmetic
  • From: george
• Re: There is no language of arithmetic
  • From: george
• Re: There is no language of arithmetic
  • From: MoeBlee
• Derivate OF a number
  • From: NILS BÖRJESSON
• Re: There is no language of arithmetic
  • From: Nam Nguyen
• Re: CH yet again.
  • From: Aatu Koskensilta
• Re: CH yet again.
  • From: MoeBlee
• Re: ZFC means?
  • From: Nam Nguyen
• Re: Kripke's inductive partial self-applicable truth predicate
  • From: Aatu Koskensilta
• Re: CH yet again.
  • From: Aatu Koskensilta
• Re: ZFC means?
  • From: Nam Nguyen
• intuitionistic logic and symmetry
  • From: No One
• Re: CH yet again.
  • From: MoeBlee
• Re: Poetential infinity
  • From: MoeBlee
• Re: Poetential infinity
  • From: MoeBlee
• Poetential infinity
  • From: Bill Taylor
• Re: ZFC means?
  • From: MoeBlee
• Re: Where is the error?
  • From: Barb Knox
• Re: ZFC means?
  • From: MoeBlee
• Re: ZFC means?
  • From: MoeBlee
• Re: ZFC means?
  • From: G . Frege
• Re: ZFC means?
  • From: MoeBlee
• Re: ZFC means?
  • From: Chris Menzel
• Re: ZFC means?
  • From: Nam Nguyen
• Re: The observational standpoint for numbers
  • From: Giovanni Lagnese
• Re: ZFC means?
  • From: G . Frege
• Re: ZFC means?
  • From: MoeBlee
• Re: ZFC means?
  • From: G . Frege
• Re: ZFC means?
  • From: MoeBlee
• Re: ZFC means?
  • From: Nam Nguyen
• Re: Choice Question # 2
  • From: G . Frege
• Re: Choice Question # 2
  • From: G . Frege
• Re: ZFC means?
  • From: G . Frege
• Re: Choice Question # 2
  • From: David C . Ullrich
• Re: ZFC means?
  • From: David C . Ullrich
• Re: The observational standpoint for numbers
  • From: Giovanni Lagnese
• Re: The observational standpoint for numbers
  • From: Giovanni Lagnese
• Re: ZFC means?
  • From: MoeBlee
• Re: ZFC means?
  • From: G . Frege
• Re: The observational standpoint for numbers
  • From: Giovanni Lagnese
• Re: ZFC means?
  • From: Nam Nguyen
• Re: ZFC means?
  • From: MoeBlee
• Re: ZFC means?
  • From: Nam Nguyen
• Re: Choice Question # 2
  • From: MoeBlee
• Re: Choice Question # 2
  • From: MoeBlee
• Re: Choice Question # 2
  • From: MoeBlee
• Re: Choice Question # 2
  • From: MoeBlee
• Re: Choice Question # 2
  • From: MoeBlee
• Re: Choice Question # 2
  • From: Chris Menzel
• Re: Choice Question # 2
  • From: MoeBlee
• Re: ZFC means?
  • From: G . Frege
• Re: Choice Question # 2
  • From: Charlie-Boo
• Re: Choice Question # 2
  • From: Charlie-Boo
• Choice Question # 2
  • From: Charlie-Boo
• Re: There is no language of arithmetic
  • From: Rupert
• Re: There is no language of arithmetic
  • From: Rupert
• Re: There is no language of arithmetic
  • From: george
• Re: There is no language of arithmetic
  • From: george
• Re: The observational standpoint for numbers
  • From: Giovanni Lagnese
• Re: find a counterexample
  • From: Aatu Koskensilta
• Blum's speed up
  • From: ljehan
• Re: ZFC means?
  • From: Chris Menzel
• Re: ZFC means?
  • From: Daryl McCullough
• Re: ZFC means?
  • From: Daryl McCullough
• Re: ZFC means?
  • From: Torkel Franzen
• Re: ZFC means?
  • From: David C . Ullrich
• Re: ZFC means?
  • From: Daryl McCullough
• Re: ZFC means?
  • From: David C . Ullrich
• Re: find a counterexample
  • From: William Elliot
• Re: find a counterexample
  • From: William Elliot
• in part timelike and in part spacelike
  • From: NILS BÖRJESSON
• Re: ZFC means?
  • From: Daryl McCullough
• Re: Metamathematically True or False?
  • From: george
• Re: ZFC means?
  • From: Daryl McCullough
• Re: Kripke's inductive partial self-applicable truth predicate
  • From: Daryl McCullough
• Re: find a counterexample
  • From: georgie
• Re: ZFC means?
  • From: george
• Re: Kripke's inductive partial self-applicable truth predicate
  • From: Aatu Koskensilta
• Re: ZFC means?
  • From: Chris Menzel
• Re: What is known about ZF + cf(kappa) <= omega for all kappa?
  • From: Chris Menzel
• Re: reflexivity and idempotence.
  • From: Chris Menzel
• Re: find a counterexample
  • From: Li Yi
• Re: reflexivity and idempotence.
  • From: Torkel Franzen
• Re: find a counterexample
  • From: William Elliot
• Re: logically implication and tautologically implication
  • From: Aatu Koskensilta
• Re: first order logic - dummy
  • From: Aatu Koskensilta
• logically implication and tautologically implication
  • From: Li Yi
• first order logic - dummy
  • From: Li Yi
• Re: find a counterexample
  • From: Li Yi
• Re: reflexivity and idempotence.
  • From: William Elliot
• Re: find a counterexample
  • From: William Elliot
• find a counterexample
  • From: Li Yi
• Re: computable analysis problem
  • From: David C . Ullrich
• Re: Substitutability in First-Order Logic
  • From: MoeBlee
• Re: Substitutability in First-Order Logic
  • From: MoeBlee
• Re: Poetential infinity
  • From: MoeBlee
• Substitutability in First-Order Logic
  • From: Li Yi
• Commonsense Reasoning: Book announcement
  • From: Erik T. Mueller
• Re: Where is the error?
  • From: Jan Burse
• Re: Poetential infinity
  • From: david petry
• Re: Kripke's inductive partial self-applicable truth predicate
  • From: Aatu Koskensilta
• Re: Where is the error?
  • From: Aatu Koskensilta
• Re: computable analysis problem
  • From: Snis Pilbor
• computable analysis problem
  • From: Snis Pilbor
• Re: ZFC means?
  • From: MoeBlee
• Re: ZFC means?
  • From: Daryl McCullough
• Re: ZFC means?
  • From: Charlie-Boo
• Re: Is there an answer to this logic riddle?
  • From: Gene Ledbetter
• Re: ZFC means?
  • From: MoeBlee
• Re: Where is the error?
  • From: Torkel Franzen
• Re: Where is the error?
  • From: Charlie-Boo
• Re: reflexivity and idempotence.
  • From: MoeBlee
• Re: Where is the error?
  • From: Charlie-Boo
• Re: Where is the error?
  • From: Torkel Franzen
• Re: Where is the error?
  • From: H. J. Sander Bruggink
• Re: Where is the error?
  • From: Charlie-Boo
• Re: ZFC means?
  • From: Charlie-Boo
• Re: Where is the error?
  • From: Torkel Franzen
• Re: ZFC means?
  • From: Charlie-Boo
• Re: ZFC means?
  • From: Charlie-Boo
• Re: Where is the error?
  • From: Charlie-Boo
• Re: Where is the error?
  • From: Daryl McCullough
• Re: ZFC means?
  • From: Daryl McCullough
• Re: Where is the error?
  • From: Charlie-Boo
• Re: Where is the error?
  • From: Torkel Franzen
• Re: Where is the error?
  • From: Charlie-Boo
• Re: Where is the error?
  • From: Torkel Franzen
• Re: ZFC means?
  • From: Daryl McCullough
• Re: ZFC means?
  • From: Charlie-Boo
• Re: ZFC means?
  • From: Daryl McCullough
• Re: Kripke's inductive partial self-applicable truth predicate
  • From: Daryl McCullough
• Re: Where is the error?
  • From: Charlie-Boo
• Re: ZFC means?
  • From: Charlie-Boo
• Re: ZFC means?
  • From: Charlie-Boo
• Re: Where is the error?
  • From: Torkel Franzen
• Re: Where is the error?
  • From: Charlie-Boo
• Re: Where is the error?
  • From: Charlie-Boo
• Re: Where is the error?
  • From: Aatu Koskensilta
• Re: ZFC means?
  • From: Daryl McCullough
• Re: reflexivity and idempotence.
  • From: William Elliot
• Propositional Logic problem 1
  • From: Li Yi
• Re: ZFC means?
  • From: David C . Ullrich
• Re: ZFC means?
  • From: David C . Ullrich
• Re: reflexivity and idempotence.
  • From: Torkel Franzen
• Re: reflexivity and idempotence.
  • From: William Elliot
• Re: What is known about ZF + cf(kappa) <= omega for all kappa?
  • From: Keith Ramsay
• Re: Where is the error?
  • From: Jan Burse
• Re: ZFC means?
  • From: MoeBlee
• Re: reflexivity and idempotence.
  • From: MoeBlee
• reflexivity and idempotence.
  • From: William Elliot
• Re: ZFC means?
  • From: MoeBlee
• Re: Where is the error?
  • From: Rupert
• Re: ZFC means?
  • From: Charlie-Boo
• Re: Where is the error?
  • From: Charlie-Boo
• Re: ZFC means?
  • From: Chris Menzel
• Re: Where is the error?
  • From: Charlie-Boo
• Re: ZFC means?
  • From: Daryl McCullough
• Re: ZFC means?
  • From: Daryl McCullough
• Re: ZFC means?
  • From: Daryl McCullough
• Re: ZFC means?
  • From: Daryl McCullough
• Re: ZFC means?
  • From: Daryl McCullough
• Re: Where is the error?
  • From: Rupert
• Re: reflexivity and idempotence.
  • From: MoeBlee
• Re: ZFC means?
  • From: Charlie-Boo
• Re: Where is the error?
  • From: Charlie-Boo
• Re: ZFC means?
  • From: Charlie-Boo
• Re: Poetential infinity
  • From: Stephen Harris
• Re: ZFC means?
  • From: Charlie-Boo
• Re: Poetential infinity
  • From: Stephen Harris
• Re: ZFC means?
  • From: Charlie-Boo
• Re: ZFC means?
  • From: Charlie-Boo
• Re: reflexivity and idempotence.
  • From: adamgolding
• Re: Poetential infinity
  • From: Stephen Harris
• Re: ZFC means?
  • From: MoeBlee
• Re: Poetential infinity
  • From: Stephen Harris
• Re: reflexivity and idempotence.
  • From: adamgolding
• Re: Poetential infinity
  • From: Chris Menzel
• Re: ZFC means?
  • From: Charlie-Boo
• Re: ZFC means?
  • From: MoeBlee
• Re: Poetential infinity
  • From: Daryl McCullough
• Re: ZFC means?
  • From: Chris Menzel
• Re: ZFC means?
  • From: Daryl McCullough
• Re: Poetential infinity
  • From: Chris Menzel
• Re: ZFC means?
  • From: MoeBlee
• Re: ZFC means?
  • From: G . Frege
• Re: Poetential infinity
  • From: Stephen Harris
• [Announcement] Blog on the history of Fermat's Last Theorem
  • From: larry . freeman
• Re: ZFC means?
  • From: Daryl McCullough
• Re: ZFC means?
  • From: Daryl McCullough
• Re: ZFC means?
  • From: Charlie-Boo
• Re: Poetential infinity
  • From: Stephen Harris
• Re: ZFC means?
  • From: Charlie-Boo
• Re: Poetential infinity
  • From: Daryl McCullough
• Re: Poetential infinity
  • From: G . Frege
• Re: ZFC means?
  • From: Torkel Franzen
• Re: Poetential infinity
  • From: Chris Menzel
• Re: ZFC means?
  • From: Charlie-Boo
• Re: ZFC means?
  • From: Daryl McCullough
• Re: Poetential infinity
  • From: MoeBlee
• Re: ZFC means?
  • From: Daryl McCullough
• Re: ZFC means?
  • From: Daryl McCullough
• Re: ZFC means?
  • From: Charlie-Boo
• Re: Where is the error?
  • From: Charlie-Boo
• Re: ZFC means?
  • From: Charlie-Boo
• Re: Where is the error?
  • From: Jan Burse
• Re: Where is the error?
  • From: Jan Burse
• Re: Where is the error?
  • From: H. J. Sander Bruggink
• Re: Where is the error?
  • From: Charlie-Boo
• Re: Where is the error?
  • From: Charlie-Boo
• Re: Is there an answer to this logic riddle?
  • From: Charlie-Boo
• Re: ZFC means?
  • From: Daryl McCullough
• Re: ZFC means?
  • From: Daryl McCullough
• Re: Poetential infinity
  • From: Peter Webb
• Re: Where is the error?
  • From: David C . Ullrich
• Re: ZFC means?
  • From: David C . Ullrich
• Re: Poetential infinity
  • From: Stephen Harris
• Re: reflexivity and idempotence.
  • From: William Elliot
• Re: j:V --> V
  • From: MoeBlee
• Re: Where is the error?
  • From: H. J. Sander Bruggink
• Re: j:V --> V
  • From: Torkel Franzen
• Re: j:V --> V
  • From: MoeBlee
• Re: j:V --> V
  • From: Aatu Koskensilta
• Re: j:V --> V
  • From: Torkel Franzen
• Re: j:V --> V
  • From: MoeBlee
• Re: ZFC means?
  • From: Charlie-Boo
• Re: Poetential infinity
  • From: MoeBlee
• Re: Recursion
  • From: MoeBlee
• Re: Poetential infinity
  • From: Charlie-Boo
• j:V --> V
  • From: Bill Taylor
• Poetential infinity
  • From: Bill Taylor
• Re: Where is the error?
  • From: Charlie-Boo
• Re: Where is the error?
  • From: Charlie-Boo
• Re: Where is the error?
  • From: Charlie-Boo
• Re: Where is the error?
  • From: Charlie-Boo
• Re: Recursion
  • From: Tom
• Re: reflexivity and idempotence.
  • From: MoeBlee
• Re: reflexivity and idempotence.
  • From: MoeBlee
• Re: reflexivity and idempotence.
  • From: MoeBlee
• Re: reflexivity and idempotence.
  • From: adamgolding
• Re: Where is the error?
  • From: Jan Burse
• Re: ZFC means?
  • From: Daryl McCullough
• Re: ZFC means?
  • From: Charlie-Boo
• Re: Where is the error?
  • From: Solipsist
• Re: Where is the error?
  • From: Solipsist
• Re: ZFC means?
  • From: Charlie-Boo
• Re: reflexivity and idempotence.
  • From: MoeBlee
• Re: ZFC means?
  • From: Charlie-Boo
• Re: Simple yet Profound Metatheorem
  • From: Charlie-Boo
• BÖRJESSONS LOGIC: TIME IS ALGEBRA!
  • From: NILS BÖRJESSON
• Re: Where is the error?
  • From: Jan Burse
• Re: Where is the error?
  • From: Charlie-Boo
• BÖRJESSONS LOGIC: LOGIC IS GEOMETRY
  • From: NILS BÖRJESSON
• Re: reflexivity and idempotence.
  • From: adamgolding
• Re: list of universities math deps. specializing in mathematical logic?
  • From: Chris Menzel
• Re: reflexivity and idempotence.
  • From: adamgolding
• Re: list of universities math deps. specializing in mathematical logic?
  • From: adamgolding
• Re: list of universities math deps. specializing in mathematical logic?
  • From: adamgolding
• Re: Where is the error?
  • From: Solipsist
• Re: Where is the error?
  • From: H. J. Sander Bruggink
• Re: Where is the error?
  • From: Solipsist
• Re: ZFC means?
  • From: Daryl McCullough
• Re: Where is the error?
  • From: David C . Ullrich
• Re: Simple yet Profound Metatheorem
  • From: David C . Ullrich
• Re: Where is the error?
  • From: Solipsist
• Will anyone do me a favor to tell me where can I download books/papers about hyperlattic/lattice/superlattice?
  • From: yumingfeng25928@xxxxxxxxx
• Re: Where is the error?
  • From: Charlie-Boo
• Re: ZFC means?
  • From: Charlie-Boo
• Re: ZFC means?
  • From: Charlie-Boo
• Re: Recursion
  • From: MoeBlee
• Re: Simple yet Profound Metatheorem
  • From: Charlie-Boo
• Where is the error?
  • From: Solipsist
• Re: ZFC means?
  • From: Barb Knox
• Re: Recursion
  • From: Tom
• Re: What's the difference between Commutativity and Symmetry?
  • From: MoeBlee
• Re: Recursion
  • From: MoeBlee
• Re: Recursion
  • From: Tom
• Re: list of universities math deps. specializing in mathematical logic?
  • From: abo
• Re: list of universities math deps. specializing in mathematical logic?
  • From: mozert1
• Re: What's the difference between Commutativity and Symmetry?
  • From: Chris Menzel
• Re: ZFC means?
  • From: Chris Menzel
• Re: reflexivity and idempotence.
  • From: William Elliot
• Re: What's the difference between Commutativity and Symmetry?
  • From: smnewberger
• Re: Recursion
  • From: MoeBlee
• Re: reflexivity and idempotence.
  • From: MoeBlee
• Re: reflexivity and idempotence.
  • From: smnewberger
• Re: ZFC means?
  • From: David C . Ullrich
• Re: ZFC means?
  • From: David C . Ullrich
• Re: ZFC means?
  • From: David C . Ullrich
• Re: Recursion
  • From: Tom
• Re: What's the difference between Commutativity and Symmetry?
  • From: MoeBlee
• reflexivity and idempotence.
  • From: adamgolding
• What's the difference between Commutativity and Symmetry?
  • From: adamgolding
• Re: Inductive Arguments
  • From: adamgolding
• Re: list of universities math deps. specializing in mathematical logic?
  • From: adamgolding
• Re: Recursion
  • From: MoeBlee
• Re: re-stating FLT and FTA in PA
  • From: Daryl McCullough
• Re: Recursion
  • From: Tom
• Re: re-stating FLT and FTA in PA
  • From: Aatu Koskensilta
• Re: Recursion
  • From: MoeBlee
• Re: re-stating FLT and FTA in PA
  • From: george
• Re: re-stating FLT and FTA in PA
  • From: george
• Recursion
  • From: Tom
• Re: Is there an answer to this logic riddle?
  • From: Charlie-Boo
• Re: ZFC means?
  • From: Charlie-Boo
• Re: Is there an answer to this logic riddle?
  • From: Daryl McCullough
• Re: ZFC means?
  • From: Daryl McCullough
• Re: Is there an answer to this logic riddle?
  • From: Rupert
• Re: ZFC means?
  • From: Chris Menzel
• list of universities math deps. specializing in mathematical logic?
  • From: mozert1
• Re: ZFC means?
  • From: Daryl McCullough
• Re: ZFC means?
  • From: Charlie-Boo
• Re: ZFC means?
  • From: Charlie-Boo
• Re: ZFC means?
  • From: G . Frege
• Re: ZFC means?
  • From: Charlie-Boo
• Re: ZFC means?
  • From: Torkel Franzen
• Re: ZFC means?
  • From: Charlie-Boo
• Re: ZFC means?
  • From: Charlie-Boo
• Re: ZFC means?
  • From: Torkel Franzen
• Re: ZFC means?
  • From: Charlie-Boo
• Re: ZFC means?
  • From: Torkel Franzen
• Re: ZFC means?
  • From: Charlie-Boo
• Re: ZFC means?
  • From: Charlie-Boo
• Re: FOPL & ST question
  • From: Tom
• Re: Is there an answer to this logic riddle?
  • From: Daryl McCullough
• Re: Is there an answer to this logic riddle?
  • From: Rupert
• Re: Is there an answer to this logic riddle?
  • From: Rupert
• Re: FOPL & ST question
  • From: G . Frege
• Re: Is there an answer to this logic riddle?
  • From: Randy Yates
• Re: FOPL & ST question
  • From: Tom
• Re: FOPL & ST question
  • From: Tom
• Re: FOPL & ST question
  • From: William Elliot
• Re: FOPL & ST question
  • From: Tom
• FOPL & ST question
  • From: William Elliot
• Kripke models with constant domain
  • From: Colin
• Re: re-stating FLT and FTA in PA
  • From: Daryl McCullough
• Re: Is there an answer to this logic riddle?
  • From: Torkel Franzen
• Re: re-stating FLT and FTA in PA
  • From: Torkel Franzen
• Re: re-stating FLT and FTA in PA
  • From: george
• Re: FOPL & ST question
  • From: Tom
• Re: Is there an answer to this logic riddle?
  • From: Daryl McCullough
• Re: Is there an answer to this logic riddle?
  • From: Rajah
• Re: FOPL & ST question
  • From: William Elliot
• Re: FOPL & ST question
  • From: Torkel Franzen
• Re: FOPL & ST question
  • From: William Elliot
• Re: FOPL & ST question
  • From: Aatu Koskensilta
• Re: FOPL & ST question
  • From: Torkel Franzen
• Re: FOPL & ST question
  • From: William Elliot
• Re: FOPL & ST question
  • From: Torkel Franzen
• Re: FOPL & ST question
  • From: William Elliot
• Re: FOPL & ST question
  • From: William Elliot
• Re: FOPL & ST question
  • From: Torkel Franzen
• Is there an answer to this logic riddle?
  • From: Randy Yates
• Re: FOPL & ST question
  • From: Randy Yates
• Re: Undecidability of undecidability: some examples?
  • From: george
• Re: Undecidability of undecidability: some examples?
  • From: Chris Menzel
• Re: FOPL & ST question
  • From: Chris Menzel
• Re: FOPL & ST question
  • From: Tom
• FOPL & ST question
  • From: William Elliot
• Re: Starbucks
  • From: Bryan
• Re: Undecidability of undecidability: some examples?
  • From: george
• Re: [Newbie Question] Inductive Arguments
  • From: Ken Pledger
• Re: Starbucks
  • From: Stevebear
• Re: FOPL & ST question
  • From: Tom
• Re: FOPL & ST question
  • From: William Elliot
• Re: Undecidability of undecidability: some examples?
  • From: Torkel Franzen
• Re: FOPL & ST question
  • From: William Elliot
• Re: Undecidability of undecidability: some examples?
  • From: george
• Re: Undecidability of undecidability: some examples?
  • From: Aatu Koskensilta
• Starbucks
  • From: Bryan
• Re: Undecidability of undecidability: some examples?
  • From: Torkel Franzen
• Re: Undecidability of undecidability: some examples?
  • From: george
• Re: FOPL & ST question
  • From: Tom
• Re: FOPL & ST question
  • From: G . Frege
• Re: FOPL & ST question
  • From: William Elliot
• Re: FOPL & ST question
  • From: G . Frege
• Re: FOPL & ST question
  • From: William Elliot
• Re: FOPL & ST question
  • From: Tom
• Re: [Newbie Question] Inductive Arguments
  • From: tjb
• Re: FOPL & ST question
  • From: William Elliot
• Re: [Newbie Question] Inductive Arguments
  • From: Tim
• [Newbie Question] Inductive Arguments
  • From: tjb
• FOPL & ST question
  • From: Tom
• Re: tableau and gentzen systems
  • From: Thomas Käufl
• Re: There is no language of arithmetic
  • From: Rupert
• Re: Metamathematically True or False?
  • From: Aatu Koskensilta
• Re: Metamathematically True or False?
  • From: george
• Re: Metamathematically True or False?
  • From: george
• Re: Modal-logic with scope-modifying operators
  • From: galathaea
• Re: Modal-logic with scope-modifying operators
  • From: Michael De
• There is no language of arithmetic
  • From: george
• Re: Definite description and set abstraction notation - recursive definition?
  • From: Torkel Franzen
• Re: Definite description and set abstraction notation - recursive definition?
  • From: MoeBlee
• Re: Definite description and set abstraction notation - recursive definition?
  • From: MoeBlee
• Re: Modal-logic with scope-modifying operators
  • From: Aatu Koskensilta
• Re: Modal-logic with scope-modifying operators
  • From: Aatu Koskensilta
• Re: ZFC means?
  • From: Barb Knox
• strange
  • From: mio fiume
• Some Metamathematical Questions
  • From: Charlie-Boo
• Re: Metamathematically True or False?
  • From: Daryl McCullough
• Re: Metamathematically True or False?
  • From: Daryl McCullough
• Re: Metamathematically True or False?
  • From: Daryl Mc
• Re: Definite description and set abstraction notation - recursive definition?
  • From: Chris Menzel
• Re: Metamathematically True or False?
  • From: george
• Re: Metamathematically True or False?
  • From: george
• Re: ZFC means?
  • From: David C . Ullrich
• Re: Simple yet Profound Metatheorem
  • From: David C . Ullrich
• Re: Definite description and set abstraction notation - recursive definition?
  • From: Torkel Franzen
• Re: Simple yet Profound Metatheorem
  • From: Daryl McCullough
• Re: Definite description and set abstraction notation - recursive definition?
  • From: MoeBlee
• Re: Simple yet Profound Metatheorem
  • From: Torkel Franzen
• Re: Modal-logic with scope-modifying operators
  • From: Chris Menzel
• Re: Metamathematically True or False?
  • From: Rupert
• Re: Metamathematically True or False?
  • From: Rupert
• Re: Metamathematically True or False?
  • From: Torkel Franzen
• Re: Simple yet Profound Metatheorem
  • From: Charlie-Boo
• Re: Modal-logic with scope-modifying operators
  • From: Michael De
• Re: Metamathematically True or False?
  • From: Charlie-Boo
• Re: Metamathematically True or False?
  • From: Charlie-Boo
• Re: undecidability of fol
  • From: MoeBlee
• Re: ZFC means?
  • From: Daryl McCullough
• Re: Simple yet Profound Metatheorem
  • From: Daryl McCullough
• ZFC IS INCONSISTENT.
  • From: Foukzon
• Re: ZFC means?
  • From: Charlie-Boo
• Re: Simple yet Profound Metatheorem
  • From: Charlie-Boo
• Re: Simple yet Profound Metatheorem
  • From: Charlie-Boo
• Re: Simple yet Profound Metatheorem
  • From: Charlie-Boo
• Re: Metamathematically True or False?
  • From: Rupert
• Re: Metamathematically True or False?
  • From: Rupert
• Re: Metamathematically True or False?
  • From: Rupert
• Re: Choice Question
  • From: Charlie-Boo
• Re: Choice Question
  • From: Charlie-Boo
• Re: ZFC means?
  • From: Daryl McCullough
• Re: Choice Question
  • From: Jan Burse
• Re: ZFC means?
  • From: Charlie-Boo
• Re: Simple yet Profound Metatheorem
  • From: Daryl McCullough
• undecidability of fol
  • From: Per Freem
• Re: Choice Question
  • From: Charlie-Boo
• Re: ZFC means?
  • From: Daryl McCullough
• Re: Simple yet Profound Metatheorem
  • From: Charlie-Boo
• Re: ZFC means?
  • From: Charlie-Boo
• Re: Simple yet Profound Metatheorem
  • From: Daryl McCullough
• Re: Simple yet Profound Metatheorem
  • From: Daryl McCullough
• Re: Simple yet Profound Metatheorem
  • From: H. J. Sander Bruggink
• Re: Simple yet Profound Metatheorem
  • From: Charlie-Boo
• Re: Simple yet Profound Metatheorem
  • From: Charlie-Boo
• Re: Simple yet Profound Metatheorem
  • From: Charlie-Boo
• Re: Choice Question
  • From: Jan Burse
• Re: Choice Question
  • From: Jan Burse
• Re: Choice Question
  • From: Jan Burse
• Re: Definite description and set abstraction notation - recursive definition?
  • From: Torkel Franzen
• Re: Simple yet Profound Metatheorem
  • From: H. J. Sander Bruggink
• Re: Metamathematically True or False?
  • From: Torkel Franzen
• Re: Book Recommendation
  • From: smnewberger
• Re: Book Recommendation
  • From: smnewberger
• Re: Book Recommendation
  • From: smnewberger
• Modal-logic with scope-modifying operators
  • From: Aatu Koskensilta
• Re: Metamathematically True or False?
  • From: george
• Re: Choice Question
  • From: Aatu Koskensilta
• Re: Metamathematically True or False?
  • From: george
• Re: Choice Question
  • From: george
• Re: Metamathematically True or False?
  • From: george
• Re: Book Recommendation
  • From: smnewberger
• Re: Book Recommendation
  • From: smnewberger
• Re: Book Recommendation
  • From: Dan Christensen
• Re: If you need comprehensible input, how do children start talking when they are less than three or four year of age? Everything is incomprehensible initially, right?
  • From: Gene Ledbetter
• Re: Book Recommendation
  • From: raydpratt
• Re: Book Recommendation
  • From: raydpratt
• Re: If you need comprehensible input, how do children start talking when they are less than three or four year of age? Everything is incomprehensible initially, right?
  • From: neom
• Re: If you need comprehensible input, how do children start talking when they are less than three or four year of age? Everything is incomprehensible initially, right?
  • From: neom
• Re: Book Recommendation
  • From: G . Frege
• Re: Book Recommendation
  • From: Tom
• Book Recommendation
  • From: Tom
• Re: Definite description and set abstraction notation - recursive definition?
  • From: MoeBlee
• Re: Definite description and set abstraction notation - recursive definition?
  • From: MoeBlee
• Re: Definite description and set abstraction notation - recursive definition?
  • From: MoeBlee
• Re: Metamathematically True or False?
  • From: george
• Re: Choice Question
  • From: george
• Re: If you need comprehensible input, how do children start talking when they are less than three or four year of age? Everything is incomprehensible initially, right?
  • From: William Elliot
• If you need comprehensible input, how do children start talking when they are less than three or four year of age? Everything is incomprehensible initially, right?
  • From: penguinsare
• Re: Definite description and set abstraction notation - recursive definition?
  • From: Torkel Franzen
• Re: Simple yet Profound Metatheorem
  • From: Barb Knox
• Re: Definite description and set abstraction notation - recursive definition?
  • From: Aatu Koskensilta
• Re: Definite description and set abstraction notation - recursive definition?
  • From: MoeBlee
• Re: Definite description and set abstraction notation - recursive definition?
  • From: Aatu Koskensilta
• Re: Definite description and set abstraction notation - recursive definition?
  • From: MoeBlee
• Re: Definite description and set abstraction notation - recursive definition?
  • From: MoeBlee
• Re: Definite description and set abstraction notation - recursive definition?
  • From: Paul Holbach
• Re: Choice Question
  • From: Jan Burse
• Re: Definite description and set abstraction notation - recursive definition?
  • From: Aatu Koskensilta
• Re: Choice Question
  • From: Aatu Koskensilta
• Re: Definite description and set abstraction notation - recursive definition?
  • From: Barb Knox
• Re: Simple yet Profound Metatheorem
  • From: Charlie-Boo
• Re: Choice Question
  • From: Jan Burse
• Re: Choice Question
  • From: Michael De
• Definite description and set abstraction notation - recursive definition?
  • From: MoeBlee
• Re: Choice Question
  • From: Aatu Koskensilta
• Re: Choice Question
  • From: george
• Re: Choice Question
  • From: Jan Burse
• Re: Choice Question
  • From: george
• Re: Choice Question
  • From: Michael De
• Re: Choice Question
  • From: Aatu Koskensilta
• Re: Metamathematically True or False?
  • From: Torkel Franzen
• Re: Choice Question
  • From: Michael De
• Re: Simple yet Profound Metatheorem
  • From: Charlie-Boo
• Re: Metamathematically True or False?
  • From: Charlie-Boo
• Choice Question
  • From: Charlie-Boo
• Re: Metamathematically True or False?
  • From: Daryl McCullough
• Re: Metamathematically True or False?
  • From: Aatu Koskensilta
• Re: Metamathematically True or False?
  • From: Torkel Franzen
• Re: Metamathematically True or False?
  • From: Rupert
• Re: Metamathematically True or False?
  • From: Rupert
• Re: Metamathematically True or False?
  • From: Rupert
• Re: Metamathematically True or False?
  • From: george
• Re: Metamathematically True or False?
  • From: Aatu Koskensilta
• Re: Metamathematically True or False?
  • From: george
• Re: Metamathematically True or False?
  • From: george
• Re: tableau and gentzen systems
  • From: Michael De
• Re: Metamathematically True or False?
  • From: Aatu Koskensilta
• Re: Predicativism and natural numbers
  • From: Aatu Koskensilta
• Re: tableau and gentzen systems
  • From: Jan Burse
• tableau and gentzen systems
  • From: Per Freem
• Re: Metamathematically True or False?
  • From: Torkel Franzen
• Re: Adequate sets of n-ary connectives
  • From: Michael De
• Re: not simple enough for a village idiot
  • From: Rupert
• Re: Predicativism and natural numbers
  • From: george
• Re: Metamathematically True or False?
  • From: Rupert
• Re: Metamathematically True or False?
  • From: george
• Re: Metamathematically True or False?
  • From: george
• Re: Adequate sets of n-ary connectives
  • From: Russell Easterly
• Re: not simple enough for a village idiot
  • From: george
• Re: not simple enough for a village idiot
  • From: george
• Re: not simple enough for a village idiot
  • From: george
• Re: grundlagen
  • From: george
• Re: grundlagen
  • From: george
• Re: grundlagen
  • From: george
• Re: grundlagen
  • From: george
• Re: grundlagen
  • From: george
• Re: Predicativism and natural numbers
  • From: george
• Re: Martin Gardner's New Prediction Paradox
  • From: TheNightFly
• [FAQ, 99/07/28] Mathematical logic on the web
  • From: Boris 'pi' Piwinger

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