October 2005 Archives by thread
Starting: Sat Oct 1 14:50:09 EDT 2005
Ending: Mon Oct 31 21:17:02 EDT 2005
Messages: 176
- [FOM] second volume of Brouwer is published
Martin Davis
- [FOM] The defence of well-founded set theory
Bill Greenberg
- [FOM] The defence of well-founded set theory
Roger Bishop Jones
- [FOM] CSL 06 workshops and Ackermann Award
Computer Science Logic '06 Conference
- [FOM] The defence of well-founded set theory
barov at mccme.ru
- [FOM] The defence of well-founded set theory
A.P. Hazen
- [FOM] Iterative Set Theory: Historical References
A.P. Hazen
- [FOM] Theorem on Convex sets
joeshipman at aol.com
- [FOM] The defence of well-founded set theory
A.P. Hazen
- [FOM] A Defence of Set Theory as Foundations
Nik Weaver
- [FOM] Yet another online resource - sequent calculus
Alex Sakharov
- [FOM] The defence of well-founded set theory
Vladimir Sazonov
- [FOM] proving Q inconsistent
Rupert McCallum
- [FOM] CFP Conference (Anti-)Realisms
Manuel Rebuschi
- [FOM] BUFFALO LOGIC COLLOQUIUM 2005-6 FOURTH FALL ANNOUNCEMENT
John Corcoran
- [FOM] Intuitionists and excluded-middle
praatika at mappi.helsinki.fi
- [FOM] Intuitionists and excluded-middle
Nik Weaver
- [FOM] rapid-fire exchange of messages
Martin Davis
- [FOM] Gödel on intuitionism and LEM
Martin Davis
- [FOM] EXCLUDED MIDDLE AS LOGICAL LAW
Laureano Luna
- [FOM] On Constructive Mathematical Truth
Dmytro Taranovsky
- [FOM] Intuitionists and excluded-middle
praatika at mappi.helsinki.fi
- [FOM] My personal experience with LEM
Martin Davis
- [FOM] Intuitionists and excluded-middle
Lew Gordeew
- [FOM] PhD student positions at the "ILLC Centre for Logic and Games", Amsterdam, The Netherlands
Benedikt Loewe
- [FOM] Intuitionists and excluded middle
Ron Rood
- [FOM] My personal experience with LEM
Nik Weaver
- [FOM] Intuitionists and excluded-middle
Dana Scott
- [FOM] Intuitionists and excluded-middle
Paul Hollander
- [FOM] FOM: The Law of Excluded Middle
John Corcoran
- [FOM] FOM: The Law of Excluded Middle
praatika at mappi.helsinki.fi
- [FOM] FOM] FOM: The Principle of Excluded Middle
Giuseppina RONZITTI
- [FOM] Disproving Godel's explanation of incompleteness
Roger Bishop Jones
- [FOM] FOM: The Law of Excluded Middle
Paul Hollander
- [FOM] A Defence of Set Theory as Foundations
Nik Weaver
- [FOM] Disproving Godel's explanation of incompleteness
praatika at mappi.helsinki.fi
- [FOM] Disproving Godel's explanation of incompleteness
Kenny Easwaran
- [FOM] ARE THERE CONTINGENT LOGICAL TRUTHS?
laureano luna
- [FOM] Correction
Martin Davis
- [FOM] Intuitionists and excluded-middle
Lew Gordeew
- [FOM] Disproving Godel's explanation of incompleteness
Jeffrey Ketland
- [FOM] FOM: Gödel's Explanation of Incompleteness.
John Corcoran
- [FOM] Explaining incompleteness
A.P. Hazen
- [FOM] Disproving Godel's explanation of incompleteness
praatika at mappi.helsinki.fi
- [FOM] Intuitionists and excluded-middle
Dana Scott
- [FOM] Probability and Number Theory
Dmytro Taranovsky
- [FOM] Intuitionists and excluded-middle
John McCarthy
- [FOM] Call for Participation: 7th Augustus de Morgan Workshop (London, Nov 2005)
Martin Davis
- [FOM] Queries for a constructivist
Bill Taylor
- [FOM] Intuitionism and ill-defined domains
Nik Weaver
- [FOM] Intuitionists and excluded-middle
Lew Gordeew
- [FOM] FOM Digest, Vol 34, Issue 22
Colin McLarty
- [FOM] Comparing the power of logics
Arnon Avron
- [FOM] Constructive Arithmetical Truth is Pi-1-1 Complete
Dmytro Taranovsky
- [FOM] Intuitionists and excluded-middle
Lew Gordeew
- [FOM] Another contructivist query
Bill Taylor
- [FOM] Disproving Godel's explanation of incompleteness
praatika at mappi.helsinki.fi
- [FOM] Intuitionists and excluded-middle
Lew Gordeew
- [FOM] Yessenin-Volpin's consistency proof for ZF
Rupert McCallum
- [FOM] Another constructivist query
Rupert McCallum
- [FOM] 252:Pi01 Revisited
Harvey Friedman
- [FOM] 253:Pi01 Progress
Harvey Friedman
- [FOM] FOM policy on "excessive quotation"
Martin Davis
- [FOM] Yessenin-Volpin's consistency proof for ZF
Jean Paul van Bendegem
- [FOM] TAMC06 - Call for Papers
S B Cooper
- [FOM] Intuitionists and excluded-middle
Hartley Slater
- [FOM] WoLLIC'2006 - Call for Papers
Ruy de Queiroz
- [FOM] Intuitionism, predicativism, and ill-defined domains
Nik Weaver
- [FOM] Mathematical explanation
Dean Buckner
- [FOM] away
Martin Davis
- [FOM] my P = NP talk
Harvey Friedman
- [FOM] Suarez on the Continuum
Dean Buckner
- [FOM] Mathematical explanation
Schaefer, Marcus
- [FOM] Intuitionists and excluded middle
Hartley Slater
- [FOM] Intuitionism, predicativism, and ill-defined domains
Jaap van Oosten
- [FOM] Kleene's Philosophy
addamo at wp.pl
Last message date:
Mon Oct 31 21:17:02 EDT 2005
Archived on: Tue Nov 1 19:34:46 EDT 2005
This archive was generated by
Pipermail 0.09 (Mailman edition).