sci.logic
- Re: Need help constructing ADD function from PA,
george
- Longest Day of the Year,
William Elliot
- BEING AND EXISTENCE,
Roberto Vescarelli
- Re: Cantor's diagonalization argument,
george
- History of the deduction theorem,
andreas . stokke
- On Ultrafinitism,
Bill Taylor
- Proof of finite axiomatizability,
Atreides
- Question about Quine's New Foundations,
lugita15
- A Simple Example on Model Theory and Descriptive Set Theory,
Payam Razavi
- The L3 Revolution,
Confutus
- Re: The L3 Revolution,
William Elliot
- Re: The L3 Revolution,
Confutus
- Re: The L3 Revolution,
Confutus
- Re: The L3 Revolution,
Jan Burse
- Re: The L3 Revolution,
Confutus
- Re: The L3 Revolution,
Jan Burse
- Re: The L3 Revolution,
Jan Burse
- Re: The L3 Revolution,
Confutus
- Re: The L3 Revolution,
Jan Burse
- Re: The L3 Revolution,
Confutus
- Re: The L3 Revolution,
Jan Burse
- Re: The L3 Revolution,
Confutus
- Re: The L3 Revolution,
galathaea
- Re: The L3 Revolution,
Confutus
- Re: The L3 Revolution,
galathaea
- Re: The L3 Revolution,
Jan Burse
- Re: The L3 Revolution,
Frederick Williams
- Applying logic to how search engine work.,
neo
- The Modified Halting Problem, Take ??? .,
The Ghost In The Machine
- Re: The Modified Halting Problem, Take ??? .,
Stephen Harris
- Re: The Modified Halting Problem, Take ??? .,
Stephen Harris
- Re: The Modified Halting Problem, Take ??? .,
R. Srinivasan
- Message not available
- Message not available
- Re: The Modified Halting Problem, Take ??? .,
Stephen Harris
- Re: The Modified Halting Problem, Take ??? .,
R. Srinivasan
- Re: The Modified Halting Problem, Take ??? .,
R. Srinivasan
- Re: The Modified Halting Problem, Take ??? .,
Stephen Harris
- Re: The Modified Halting Problem, Take ??? .,
R. Srinivasan
- Re: The Modified Halting Problem, Take ??? .,
Stephen Harris
- Re: The Modified Halting Problem, Take ??? .,
R. Srinivasan
- Re: The Modified Halting Problem, Take ??? .,
Stephen Harris
- Re: The Modified Halting Problem, Take ??? .,
Aatu Koskensilta
- Message not available
- Message not available
- Re: The Modified Halting Problem, Take ??? .,
Aatu Koskensilta
- Re: The Modified Halting Problem, Take ??? .,
R. Srinivasan
- Re: The Modified Halting Problem, Take ??? .,
R. Srinivasan
- Re: The Modified Halting Problem, Take ??? .,
R. Srinivasan
- Re: The Modified Halting Problem, Take ??? .,
Aatu Koskensilta
- Re: The Modified Halting Problem, Take ??? .,
R. Srinivasan
- Re: The Modified Halting Problem, Take ??? .,
Aatu Koskensilta
- Re: The Modified Halting Problem, Take ??? .,
R. Srinivasan
- Re: The Modified Halting Problem, Take ??? .,
R. Srinivasan
- Re: The Modified Halting Problem, Take ??? .,
Stephen Harris
- Re: The Modified Halting Problem, Take ??? .,
Stephen Harris
Re: The Modified Halting Problem, Take ??? .,
Stephen Harris
Exit Plato's Cave - for real, instructions given,
Douglas Eagleson
Re: Is the Halting Problem merely an ill-formed question?,
george
Petersen's magical argument,
LauLuna
Axiomatization of Ordinal Arithmetic,
lugita15
Halting Problem for Humans,
Daryl McCullough
A kind of fun question.,
Nam Nguyen
Logic of uncertainty, early explorations.,
Confutus
- Re: Logic of uncertainty, early explorations.,
Frederick Williams
- Re: Logic of uncertainty, early explorations.,
William Elliot
- Re: Logic of uncertainty, early explorations.,
Confutus
- Re: Logic of uncertainty, early explorations.,
William Elliot
- Re: Logic of uncertainty, early explorations.,
Confutus
- Re: Logic of uncertainty, early explorations.,
Confutus
- Re: Logic of uncertainty, early explorations.,
William Elliot
- Re: Logic of uncertainty, early explorations.,
Confutus
- Re: Logic of uncertainty, early explorations.,
Confutus
- Re: Logic of uncertainty, early explorations.,
Confutus
- Re: Logic of uncertainty, early explorations.,
Confutus
- Re: Logic of uncertainty, early explorations.,
Confutus
- Re: Logic of uncertainty, early explorations.,
Confutus
Where's the logic in Earth having that moon ???,
Brad Guth
What is the difference?,
bluelabel
Non-arbitrary mathematics,
Eckard Blumschein
Re: Need help constructing an add function from PA,
george
hi,
mysun_1
MAKE MONEY with PAYPAL,
jacksmacko99
Logic of uncertainty.,
Confutus
Re: A Possible "solution" to the Halting Problem,
george
Are Heytings axioms for intuitionistic logic sufficient?,
translogi@xxxxxxxxxxxxxx
Re: Are Heytings axioms for intuitionistic logic sufficient?,
Frederick Williams
Re: Are Heytings axioms for intuitionistic logic sufficient?,
MoeBlee
Re: Beliefs; Necessary But Not Sufficient For Truth?,
Yuri
A implies I,
William of Ockham
- Re: A implies I,
Yuri
- Re: A implies I,
Confutus
- Re: A implies I,
William of Ockham
- Re: A implies I,
Frederick Williams
- Re: A implies I,
William of Ockham
- Re: A implies I,
David C . Ullrich
- Re: A implies I,
William of Ockham
- Re: A implies I,
David C . Ullrich
- Re: A implies I,
William of Ockham
- Re: A implies I,
David C . Ullrich
- Re: A implies I,
William of Ockham
- Re: A implies I,
Confutus
- Re: A implies I,
Chris Menzel
- Re: A implies I,
William of Ockham
- Re: A implies I,
Arturo Magidin
- Re: A implies I,
Chris Menzel
- Re: A implies I,
William of Ockham
- Re: A implies I,
Chris Menzel
- Re: A implies I,
William of Ockham
- Re: A implies I,
George Dance
- Re: A implies I,
Chris Menzel
- Re: A implies I,
George Dance
- Re: A implies I,
Chris Menzel
- Re: A implies I,
William of Ockham
- Re: A implies I,
Chris Menzel
- Re: A implies I,
George Dance
Re: A implies I,
George Dance
New sub minimal or sub intuitionistic logic ?,
translogi@xxxxxxxxxxxxxx
how to define Thm in PRA,
koboldpupil@xxxxxxxxxxx
Re: how to define Thm in PRA,
george
- Re: how to define Thm in PRA,
Peter_Smith
- Re: how to define Thm in PRA,
george
- Re: how to define Thm in PRA,
george
- Re: how to define Thm in PRA,
Peter_Smith
- Re: how to define Thm in PRA,
george
- Re: how to define Thm in PRA,
abo
- Re: how to define Thm in PRA,
george
- Re: how to define Thm in PRA,
Daryl McCullough
- Re: how to define Thm in PRA,
george
- Re: how to define Thm in PRA,
Daryl McCullough
- Re: how to define Thm in PRA,
george
- Re: how to define Thm in PRA,
Peter_Smith
- Re: how to define Thm in PRA,
Daryl McCullough
- Re: how to define Thm in PRA,
Daryl McCullough
- Re: how to define Thm in PRA,
george
- Re: how to define Thm in PRA,
Daryl McCullough
- Re: how to define Thm in PRA,
george
- Re: how to define Thm in PRA,
Daryl McCullough
Re: how to define Thm in PRA,
george
Re: how to define Thm in PRA,
george
Re: how to define Thm in PRA,
Rupert
Re: how to define Thm in PRA,
george
Re: how to define Thm in PRA,
george
Re: how to define Thm in PRA,
george
basic logic help,
A Aitken
It is provable that it is provable that ...,
Frederick Williams
Equivalence,
herbzet
- Re: Equivalence,
Aatu Koskensilta
- Re: Equivalence,
herbzet
- Re: Equivalence,
aatu . koskensilta
- Re: Equivalence,
george
- Re: Equivalence,
aatu . koskensilta
- Re: Equivalence,
herbzet
- Re: Equivalence,
aatu . koskensilta
- Re: Equivalence,
herbzet
- Re: Equivalence,
Aatu Koskensilta
- Re: Equivalence,
MoeBlee
- Re: Equivalence,
Aatu Koskensilta
- Re: Equivalence,
herbzet
- Re: Equivalence,
Gc
- Re: Equivalence,
aatu . koskensilta
- Re: Equivalence,
Gc
- Re: Equivalence,
herbzet
- Re: Equivalence,
George Dance
- Re: Equivalence,
herbzet
- Re: Equivalence,
herbzet
- Re: Equivalence,
Peter_Smith
- Re: Equivalence,
george
Does anyone recognize this propositional calculus?,
Frederick Williams
Re: Artificial Mind - Part One - Basic Architecture and Cognitive Structure 1st Edition is now available (free download for Evaluation Edition),
Frederick Williams
The/a Logic of Impossibility,
Frederick Williams
Non-isomorphic free ultrafilters?,
Bill Taylor
Maximal logic,
Glaukon
2nd-Order Predicate: mammal ?,
Karmata
Trademark expressions in symbolic logic,
michel . cotourier
"is a" & "has a" relations re: 2nd-Order Logic,
Karmata
Craig's theorem,
Glaukon
Is Einstein’s E=mc2, CONCEPTUALLY applicable for energy emitted Chemical Reactions.,
physicsajay
2nd-Order Predication over 1st-Order Objects,
Karmata
Help with models,
bluelabel
Re: Turing vs. Godel (Newbie Question),
Stephen Harris
Explicit choice functions on subsets of R,
Peter Webb
- Re: Explicit choice functions on subsets of R,
lugita15
- Re: Explicit choice functions on subsets of R,
Rupert
- Re: Explicit choice functions on subsets of R,
aatu . koskensilta
- Re: Explicit choice functions on subsets of R,
Ross A. Finlayson
- Re: Explicit choice functions on subsets of R,
aatu . koskensilta
- Re: Explicit choice functions on subsets of R,
Rupert
- Re: Explicit choice functions on subsets of R,
Alan Smaill
- Re: Explicit choice functions on subsets of R,
Aatu Koskensilta
- Re: Explicit choice functions on subsets of R,
Alan Smaill
- Re: Explicit choice functions on subsets of R,
Aatu Koskensilta
- Re: Explicit choice functions on subsets of R,
Aatu Koskensilta
- Re: Explicit choice functions on subsets of R,
Alan Smaill
Re: Modus Ponens and Trivial Truth,
Confutus
Re: Sheer lies, cheating by Dr Alexander Inpain , who introduced as Scientist and Administrator at CERN ( European Organization for Nuclear Research ) in various post . But it proved all fraud. He was disusing about my work Einstein Sep 1905 paper and my book,
physicsajay
Thankyou and goodbye.,
John Jones
Re: Why Has None of Computer Science been Formalized?,
hale
Question about second-order logic,
lugita15
- Re: Question about second-order logic,
yumingfeng25928@xxxxxxxxx
- Re: Question about second-order logic,
Rupert
- Re: Question about second-order logic,
lugita15
- Re: Question about second-order logic,
Rupert
- Re: Question about second-order logic,
Paul Holbach
- Re: Question about second-order logic,
george
- Re: Question about second-order logic,
lugita15
- Re: Question about second-order logic,
george
- Re: Question about second-order logic,
lugita15
- Re: Question about second-order logic,
lugita15
- Re: Question about second-order logic,
Rupert
- Re: Question about second-order logic,
george
- Re: Question about second-order logic,
lugita15
- Re: Question about second-order logic,
LauLuna
- Re: Question about second-order logic,
lugita15
- Re: Question about second-order logic,
LauLuna
- Re: Question about second-order logic,
lugita15
- Re: Question about second-order logic,
Rupert
- Re: Question about second-order logic,
Chris Menzel
- Re: Question about second-order logic,
lugita15
- Re: Question about second-order logic,
Chris Menzel
- Re: Question about second-order logic,
abo
recursively axiomatizable,
bluelabel
Re: Zen and...Math??,
Fuckwit
Introduction to Tarski's works,
mctodd333
Arturo and Tim Peters" - Zorn's Lemma,
Peter Webb
.,
John Jones
Re: Goldbach Conjecture & the Foundation of First Order Logic.,
Alexandre BELDI
Re: A New Resolution to Impredicativity,
Keith Ramsay
Question about first-order arithmetic,
lugita15
- Re: Question about first-order arithmetic,
Peter_Smith
- Re: Question about first-order arithmetic,
lugita15
- Re: Question about first-order arithmetic,
Peter_Smith
- Re: Question about first-order arithmetic,
lugita15
- Re: Question about first-order arithmetic,
Peter_Smith
- Re: Question about first-order arithmetic,
lugita15
- Re: Question about first-order arithmetic,
Peter_Smith
- Re: Question about first-order arithmetic,
lugita15
- Re: Question about first-order arithmetic,
george
- Re: Question about first-order arithmetic,
lugita15
- Re: Question about first-order arithmetic,
Aatu Koskensilta
- Re: Question about first-order arithmetic,
Aatu Koskensilta
- Re: Question about first-order arithmetic,
george
- Re: Question about first-order arithmetic,
aatu . koskensilta
- Re: Question about first-order arithmetic,
george
- Re: Question about first-order arithmetic,
Aatu Koskensilta
- Re: Question about first-order arithmetic,
george
- Re: Question about first-order arithmetic,
george
- Re: Question about first-order arithmetic,
george
- Re: Question about first-order arithmetic,
Peter_Smith
- Re: Question about first-order arithmetic,
george
- Re: Question about first-order arithmetic,
george
- Re: Question about first-order arithmetic,
george
- Re: Question about first-order arithmetic,
Aatu Koskensilta
- Re: Question about first-order arithmetic,
lugita15
- Re: Question about first-order arithmetic,
Aatu Koskensilta
- Re: Question about first-order arithmetic,
lugita15
- Re: Question about first-order arithmetic,
Aatu Koskensilta
- Re: Question about first-order arithmetic,
Aatu Koskensilta
- Re: Question about first-order arithmetic,
JEFFREY KETLAND
- Re: Question about first-order arithmetic,
Peter_Smith
- Re: Question about first-order arithmetic,
aatu . koskensilta
- Re: Question about first-order arithmetic,
aatu . koskensilta
- Re: Question about first-order arithmetic,
aatu . koskensilta
- Re: Question about first-order arithmetic,
george
- Re: Question about first-order arithmetic,
george
[FAQ, 99/07/28] Mathematical logic on the web,
Boris 'pi' Piwinger
how to prove ~ ( P & Q) => ~P v ~Q,
translogi@xxxxxxxxxxxxxx
Re: The Tractatus and Logic today,
George Dance
Modal Logic,
Khodaeifar
- Re: Modal Logic,
Rhys B. Cartwright-Jones
- Re: Modal Logic,
Confutus
- Re: Modal Logic,
Jan Burse
- Re: Modal Logic,
Confutus
- Re: Modal Logic,
Frederick Williams
- Re: Modal Logic,
Confutus
- Re: Modal Logic,
Frederick Williams
- Re: Modal Logic,
Confutus
- Re: Modal Logic,
Jan Burse
- Re: Modal Logic,
Confutus
- Re: Modal Logic,
Jan Burse
- Re: Modal Logic,
Confutus
- Re: Modal Logic,
Frederick Williams
- Re: Modal Logic,
Confutus
- Re: Modal Logic,
Frederick Williams
- Re: Modal Logic,
Confutus
- Re: Modal Logic,
Owen
- Re: Modal Logic,
Frederick Williams
- Re: Modal Logic,
Confutus
- Re: Modal Logic,
Confutus
- Re: Modal Logic,
Owen
- Re: Modal Logic,
Confutus
- Re: Modal Logic,
Owen
- Re: Modal Logic,
Chris Menzel
- Re: Modal Logic,
Frederick Williams
- Re: Modal Logic,
Owen
- Re: Modal Logic,
Chris Menzel
- Re: Modal Logic,
Confutus
- Re: Modal Logic,
Owen
- Re: Modal Logic,
Owen
- Re: Modal Logic,
Owen
- Re: Modal Logic,
Frederick Williams
- Re: Modal Logic,
Dmitry Sustretov <dmitry.sustretov@xxxxxxxxx>
Quine The Afterlife,
CoreyWhite
Help With A Psuedo-Proof Please,
CoreyWhite
Re: Computability and logic,
Tom
- Re: Computability and logic,
george
- <Possible follow-ups>
- Re: Computability and logic,
MoeBlee
- Re: Computability and logic,
Tom
- Re: Computability and logic,
MoeBlee
- Re: Computability and logic,
Tom
- Re: Computability and logic,
MoeBlee
- Re: Computability and logic,
Tom
- Re: Computability and logic,
MoeBlee
- Re: Computability and logic,
Tom
- Re: Computability and logic,
MoeBlee
- Re: Computability and logic,
Tom
- Re: Computability and logic,
MoeBlee
- Re: Computability and logic,
Tom
- Re: Computability and logic,
george
- Re: Computability and logic,
MoeBlee
- Re: Computability and logic,
george
- Re: Computability and logic,
MoeBlee
- Re: Computability and logic,
Tom
phrase search,
nicolas_laurent545
Re: My investigations into Godels Incompleteness Theorem,
Peter_Smith
<Possible follow-ups>
Re: My investigations into Godels Incompleteness Theorem,
John Jones
- Re: My investigations into Godels Incompleteness Theorem,
Daryl McCullough
- Re: My investigations into Godels Incompleteness Theorem,
John Jones
- Re: My investigations into Godels Incompleteness Theorem,
Daryl McCullough
- Re: My investigations into Godels Incompleteness Theorem,
John Jones
- Re: My investigations into Godels Incompleteness Theorem,
MoeBlee
- Re: My investigations into Godels Incompleteness Theorem,
MoeBlee
- Re: My investigations into Godels Incompleteness Theorem,
John Jones
- Re: My investigations into Godels Incompleteness Theorem,
MoeBlee
- Re: My investigations into Godels Incompleteness Theorem,
Daryl McCullough
- Re: My investigations into Godels Incompleteness Theorem,
John Jones
- Re: My investigations into Godels Incompleteness Theorem,
Peter_Smith
- Re: My investigations into Godels Incompleteness Theorem,
Daryl McCullough
- Re: My investigations into Godels Incompleteness Theorem,
John Jones
- Re: My investigations into Godels Incompleteness Theorem,
Daryl McCullough
- Re: My investigations into Godels Incompleteness Theorem,
John Jones
- Re: My investigations into Godels Incompleteness Theorem,
Daryl McCullough
- Re: My investigations into Godels Incompleteness Theorem,
Daryl McCullough
- Re: My investigations into Godels Incompleteness Theorem,
John Jones
- Re: My investigations into Godels Incompleteness Theorem,
Daryl McCullough
- Re: My investigations into Godels Incompleteness Theorem,
John Jones
- Re: My investigations into Godels Incompleteness Theorem,
Alan Smaill
- Re: My investigations into Godels Incompleteness Theorem,
John Jones
- Re: My investigations into Godels Incompleteness Theorem,
Alan Smaill
- Re: My investigations into Godels Incompleteness Theorem,
John Jones
- Re: My investigations into Godels Incompleteness Theorem,
Alan Smaill
- Re: My investigations into Godels Incompleteness Theorem,
John Jones
- Re: My investigations into Godels Incompleteness Theorem,
MoeBlee
- Re: My investigations into Godels Incompleteness Theorem,
John Jones
- Re: My investigations into Godels Incompleteness Theorem,
MoeBlee
- Re: My investigations into Godels Incompleteness Theorem,
John Jones
- Re: My investigations into Godels Incompleteness Theorem,
MoeBlee
- Re: My investigations into Godels Incompleteness Theorem,
MoeBlee
- Re: My investigations into Godels Incompleteness Theorem,
Daryl McCullough
- Re: My investigations into Godels Incompleteness Theorem,
Daryl McCullough
- Re: My investigations into Godels Incompleteness Theorem,
Daryl McCullough
- Re: My investigations into Godels Incompleteness Theorem,
Peter_Smith
Re: My investigations into Godels Incompleteness Theorem,
Charlie-Boo
Re: My investigations into Godels Incompleteness Theorem,
John Jones
Re: My investigations into Godels Incompleteness Theorem,
R. Srinivasan
- Re: My investigations into Godels Incompleteness Theorem,
John Jones
- Re: My investigations into Godels Incompleteness Theorem,
Peter_Smith
- Re: My investigations into Godels Incompleteness Theorem,
John Jones
- Re: My investigations into Godels Incompleteness Theorem,
Peter_Smith
- Re: My investigations into Godels Incompleteness Theorem,
John Jones
- Re: My investigations into Godels Incompleteness Theorem,
Daryl McCullough
- Re: My investigations into Godels Incompleteness Theorem,
John Jones
- Re: My investigations into Godels Incompleteness Theorem,
Chris Menzel
- Re: My investigations into Godels Incompleteness Theorem,
John Jones
- Re: My investigations into Godels Incompleteness Theorem,
Chris Menzel
- Re: My investigations into Godels Incompleteness Theorem,
John Jones
- Re: My investigations into Godels Incompleteness Theorem,
Chris Menzel
- Re: My investigations into Godels Incompleteness Theorem,
John Jones
- Re: My investigations into Godels Incompleteness Theorem,
Daryl McCullough
- Re: My investigations into Godels Incompleteness Theorem,
David C . Ullrich
- Re: My investigations into Godels Incompleteness Theorem,
Charlie-Boo
- Re: My investigations into Godels Incompleteness Theorem,
David C . Ullrich
- Re: My investigations into Godels Incompleteness Theorem,
John Jones
- Re: My investigations into Godels Incompleteness Theorem,
David C . Ullrich
- Re: My investigations into Godels Incompleteness Theorem,
John Jones
- Re: My investigations into Godels Incompleteness Theorem,
David C . Ullrich
- Re: My investigations into Godels Incompleteness Theorem,
John Jones
- Re: My investigations into Godels Incompleteness Theorem,
David C . Ullrich
- Re: My investigations into Godels Incompleteness Theorem,
Stephen Harris
- Re: My investigations into Godels Incompleteness Theorem,
John Jones
- Re: My investigations into Godels Incompleteness Theorem,
Peter_Smith
- Re: My investigations into Godels Incompleteness Theorem,
John Jones
- Re: My investigations into Godels Incompleteness Theorem,
Peter_Smith
- Re: My investigations into Godels Incompleteness Theorem,
Stephen Harris
- Re: My investigations into Godels Incompleteness Theorem,
Peter_Smith
- Re: My investigations into Godels Incompleteness Theorem,
abo
- Re: My investigations into Godels Incompleteness Theorem,
abo
- Re: My investigations into Godels Incompleteness Theorem,
Daryl McCullough
- Re: My investigations into Godels Incompleteness Theorem,
John Jones
- Re: My investigations into Godels Incompleteness Theorem,
Charlie-Boo
- Re: My investigations into Godels Incompleteness Theorem,
R. Srinivasan
- Re: My investigations into Godels Incompleteness Theorem,
John Jones
Sudoku Creator and Step by Step Solver,
Sri
Re: Modus Ponens Is Unprovable?,
herbzet
Classical Modal Logic, Semantics,
Khodaeifar
Re: Foundations of Mathematics,
Charlie-Boo
- <Possible follow-ups>
- Re: Foundations of Mathematics,
Charlie-Boo
- Re: Foundations of Mathematics,
Charlie-Boo
- Re: Foundations of Mathematics,
John Jones
- Re: Foundations of Mathematics,
Stephen Harris
- Re: Foundations of Mathematics,
Stephen Harris
- Re: Foundations of Mathematics,
John Jones
- Re: Foundations of Mathematics,
Stephen Harris
- Re: Foundations of Mathematics,
John Jones
- Re: Foundations of Mathematics,
Peter_Smith
- Re: Foundations of Mathematics,
John Jones
- Re: Foundations of Mathematics,
Stephen Harris
- Re: Foundations of Mathematics,
Stephen Harris
- Re: Foundations of Mathematics,
John Jones
- Re: Foundations of Mathematics,
Daryl McCullough
- Re: Foundations of Mathematics,
Charlie-Boo
- Re: Foundations of Mathematics,
John Jones
- Re: Foundations of Mathematics,
Charlie-Boo
- Re: Foundations of Mathematics,
John Jones
- Re: Foundations of Mathematics,
Charlie-Boo
- Re: Foundations of Mathematics,
Charlie-Boo
