October 2005 Archives by subject
Starting: Sat Oct 1 14:50:09 EDT 2005
Ending: Mon Oct 31 21:17:02 EDT 2005
Messages: 176
- [FOM] 252:Pi01 Revisited
Harvey Friedman
- [FOM] 253:Pi01 Progress
Harvey Friedman
- [FOM] A Defence of Set Theory as Foundations
Dmytro Taranovsky
- [FOM] A Defence of Set Theory as Foundations
Andrej Bauer
- [FOM] A Defence of Set Theory as Foundations
Patrick Caldon
- [FOM] A Defence of Set Theory as Foundations
Jeremy Clark
- [FOM] A Defence of Set Theory as Foundations
Nik Weaver
- [FOM] A Defence of Set Theory as Foundations
Aatu Koskensilta
- [FOM] A Defence of Set Theory as Foundations
Patrick Caldon
- [FOM] A Defence of Set Theory as Foundations
Roger Bishop Jones
- [FOM] A Defence of Set Theory as Foundations
Robert Lindauer
- [FOM] A Defence of Set Theory as Foundations
Nik Weaver
- [FOM] A Defence of Set Theory as Foundations
Robert Lindauer
- [FOM] A Defence of Set Theory as Foundations
Roger Bishop Jones
- [FOM] A Defence of Set Theory as Foundations
Robert Lindauer
- [FOM] A Defence of Set Theory as Foundations
Nik Weaver
- [FOM] A Defence of Set Theory as Foundations
Arnon Avron
- [FOM] Another constructivist query
Rupert McCallum
- [FOM] Another contructivist query
Bill Taylor
- [FOM] ARE THERE CONTINGENT LOGICAL TRUTHS?
laureano luna
- [FOM] away
Martin Davis
- [FOM] BUFFALO LOGIC COLLOQUIUM 2005-6 FOURTH FALL ANNOUNCEMENT
John Corcoran
- [FOM] Call for Participation: 7th Augustus de Morgan Workshop (London, Nov 2005)
Martin Davis
- [FOM] CFP Conference (Anti-)Realisms
Manuel Rebuschi
- [FOM] Comparing the power of logics
Arnon Avron
- [FOM] Constructive Arithmetical Truth is Pi-1-1 Complete
Dmytro Taranovsky
- [FOM] Re: Constructive Arithmetical Truth is Pi-1-1 Complete
Dmytro Taranovsky
- [FOM] Correction
Martin Davis
- [FOM] Correction
Arnon Avron
- [FOM] CSL 06 workshops and Ackermann Award
Computer Science Logic '06 Conference
- [FOM] Disproving Godel's explanation of incompleteness
Roger Bishop Jones
- [FOM] Disproving Godel's explanation of incompleteness
Michael Kremer
- [FOM] Disproving Godel's explanation of incompleteness
praatika at mappi.helsinki.fi
- [FOM] Disproving Godel's explanation of incompleteness
Kenny Easwaran
- [FOM] Disproving Godel's explanation of incompleteness
Jeffrey Ketland
- [FOM] Disproving Godel's explanation of incompleteness
A.P. Hazen
- [FOM] Disproving Godel's explanation of incompleteness
Richard Heck
- [FOM] Disproving Godel's explanation of incompleteness
praatika at mappi.helsinki.fi
- [FOM] Disproving Godel's explanation of incompleteness
Roger Bishop Jones
- [FOM] Disproving Godel's explanation of incompleteness
Richard Zach
- [FOM] Disproving Godel's explanation of incompleteness
Richard Heck
- [FOM] Disproving Godel's explanation of incompleteness
paolo mancosu
- [FOM] Disproving Godel's explanation of incompleteness
praatika at mappi.helsinki.fi
- [FOM] Disproving Godel's explanation of incompleteness
Ajoy Thamattoor
- [FOM] Disproving Godel's explanation of incompleteness
Roger Bishop Jones
- [FOM] Excluded Middle
Lawrence Stout
- [FOM] EXCLUDED MIDDLE AS LOGICAL LAW
Laureano Luna
- [FOM] Explaining incompleteness
A.P. Hazen
- [FOM] Explaining incompleteness
Roger Bishop Jones
- [FOM] FOM Digest, Vol 34, Issue 22
Colin McLarty
- [FOM] FOM policy on "excessive quotation"
Martin Davis
- [FOM] FOM: Gödel's Explanation of Incompleteness.
John Corcoran
- [FOM] FOM: The Law of Excluded Middle
John Corcoran
- [FOM] FOM: The Law of Excluded Middle
Richard Heck
- [FOM] FOM: The Law of Excluded Middle
praatika at mappi.helsinki.fi
- [FOM] FOM: The Law of Excluded Middle
Paul Hollander
- [FOM] FOM] FOM: The Principle of Excluded Middle
Giuseppina RONZITTI
- [FOM] Godel on the true reason for incompleteness
Alasdair Urquhart
- [FOM] Gödel on intuitionism and LEM
Martin Davis
- [FOM] Gödel on intuitionism and LEM
Vladimir Sazonov
- [FOM] Intuitionism and ill-defined domains
Nik Weaver
- [FOM] Intuitionism, predicativism, and ill-defined domains
Arnon Avron
- [FOM] Intuitionism, predicativism, and ill-defined domains
Nik Weaver
- [FOM] Intuitionism, predicativism, and ill-defined domains
Hendrik Boom
- [FOM] Intuitionism, predicativism, and ill-defined domains
Nik Weaver
- [FOM] Intuitionism, predicativism, and ill-defined domains
Nik Weaver
- [FOM] Intuitionism, predicativism, and ill-defined domains
Jaap van Oosten
- [FOM] Intuitionists and excluded middle
Ron Rood
- [FOM] Intuitionists and excluded middle
Keith Brian Johnson
- [FOM] Intuitionists and excluded middle
Hendrik Boom
- [FOM] Intuitionists and excluded middle
Keith Brian Johnson
- [FOM] Intuitionists and excluded middle
Andrej Bauer
- [FOM] Intuitionists and excluded middle
Hendrik Boom
- [FOM] Intuitionists and excluded middle
Ron Rood
- [FOM] Intuitionists and excluded middle
Hartley Slater
- [FOM] Intuitionists and excluded-middle
Arnon Avron
- [FOM] Intuitionists and excluded-middle
Lew Gordeew
- [FOM] Intuitionists and excluded-middle
praatika at mappi.helsinki.fi
- [FOM] Intuitionists and excluded-middle
Nik Weaver
- [FOM] Intuitionists and excluded-middle
Ritwik Bhattacharya
- [FOM] Intuitionists and excluded-middle
Hendrik Boom
- [FOM] Intuitionists and excluded-middle
Todd Wilson
- [FOM] Intuitionists and excluded-middle
praatika at mappi.helsinki.fi
- [FOM] Intuitionists and excluded-middle
Arnon Avron
- [FOM] Intuitionists and excluded-middle
Ritwik Bhattacharya
- [FOM] Intuitionists and excluded-middle
Lew Gordeew
- [FOM] Intuitionists and excluded-middle
Dana Scott
- [FOM] Intuitionists and excluded-middle
Paul Hollander
- [FOM] Intuitionists and excluded-middle
Lew Gordeew
- [FOM] Intuitionists and excluded-middle
Jesse Alama
- [FOM] Intuitionists and excluded-middle
Neil Tennant
- [FOM] Intuitionists and excluded-middle
Andrej Bauer
- [FOM] Intuitionists and excluded-middle
Dana Scott
- [FOM] Intuitionists and excluded-middle
Jesse Alama
- [FOM] Intuitionists and excluded-middle
Jesse Alama
- [FOM] Intuitionists and excluded-middle
John McCarthy
- [FOM] Intuitionists and excluded-middle
Alexei E Angelides
- [FOM] Intuitionists and excluded-middle
Harvey Friedman
- [FOM] Intuitionists and excluded-middle
Lew Gordeew
- [FOM] Intuitionists and excluded-middle
Andrej Bauer
- [FOM] Intuitionists and excluded-middle
Lew Gordeew
- [FOM] Intuitionists and excluded-middle
Neil Tennant
- [FOM] Intuitionists and excluded-middle
Alexei E Angelides
- [FOM] Intuitionists and excluded-middle
Neil Tennant
- [FOM] Intuitionists and excluded-middle
Hendrik Boom
- [FOM] Intuitionists and excluded-middle
Jeremy Clark
- [FOM] Intuitionists and excluded-middle
Andrej Bauer
- [FOM] Intuitionists and excluded-middle
Lew Gordeew
- [FOM] Intuitionists and excluded-middle
Jesse Alama
- [FOM] Intuitionists and excluded-middle
Jeremy Clark
- [FOM] Intuitionists and excluded-middle
Hartley Slater
- [FOM] Iterative Set Theory: Historical References
A.P. Hazen
- [FOM] Kleene's Philosophy
addamo at wp.pl
- [FOM] Mathematical explanation
Thomas Forster
- [FOM] Mathematical explanation
mjmurphy
- [FOM] Mathematical explanation
Neil Tennant
- [FOM] Mathematical explanation
Hendrik Boom
- [FOM] Mathematical explanation
paolo mancosu
- [FOM] Mathematical explanation
Neil Tennant
- [FOM] Mathematical explanation
mjmurphy
- [FOM] Mathematical explanation
Arnon Avron
- [FOM] Mathematical explanation
Richard Heck
- [FOM] Mathematical explanation
Dean Buckner
- [FOM] Mathematical explanation
Neil Tennant
- [FOM] Mathematical explanation
Richard Heck
- [FOM] Mathematical explanation
Neil Tennant
- [FOM] Mathematical explanation
Neil Tennant
- [FOM] Mathematical explanation
mjmurphy
- [FOM] Mathematical explanation
Richard Heck
- [FOM] Mathematical explanation
Schaefer, Marcus
- [FOM] Mathematical explanation
Gernot Salzer
- [FOM] Mathematical explanation
Paul Hollander
- [FOM] Mathematical explanation
mjmurphy
- [FOM] Mathematical explanation
Richard Heck
- [FOM] Mathematical explanation CORRECTION
mjmurphy
- [FOM] my P = NP talk
Harvey Friedman
- [FOM] My personal experience with LEM
Martin Davis
- [FOM] My personal experience with LEM
Nik Weaver
- [FOM] On Constructive Mathematical Truth
Dmytro Taranovsky
- [FOM] Re: On Constructive Mathematical Truth
Dmytro Taranovsky
- [FOM] PhD student positions at the "ILLC Centre for Logic and Games", Amsterdam, The Netherlands
Benedikt Loewe
- [FOM] Probability and Number Theory
Dmytro Taranovsky
- [FOM] proving Q inconsistent
Rupert McCallum
- [FOM] proving Q inconsistent
Richard Heck
- [FOM] Queries for a constructivist
Bill Taylor
- [FOM] Queries for a constructivist
Richard Heck
- [FOM] Queries for a constructivist
Eray Ozkural
- [FOM] R: Intuitionists and excluded middle
Antonino Drago
- [FOM] R: Intuitionists and excluded middle
Michael Kremer
- [FOM] rapid-fire exchange of messages
Martin Davis
- [FOM] second volume of Brouwer is published
Martin Davis
- [FOM] Suarez on the Continuum
Dean Buckner
- [FOM] TAMC06 - Call for Papers
S B Cooper
- [FOM] The defence of well-founded set theory
Bill Greenberg
- [FOM] The defence of well-founded set theory
Roger Bishop Jones
- [FOM] The defence of well-founded set theory
Aatu Koskensilta
- [FOM] The defence of well-founded set theory
Roger Bishop Jones
- [FOM] The defence of well-founded set theory
barov at mccme.ru
- [FOM] The defence of well-founded set theory
Roger Bishop Jones
- [FOM] The defence of well-founded set theory
A.P. Hazen
- [FOM] The defence of well-founded set theory
Andrej Bauer
- [FOM] The defence of well-founded set theory
Roger Bishop Jones
- [FOM] The defence of well-founded set theory
A.P. Hazen
- [FOM] The defence of well-founded set theory
Aatu Koskensilta
- [FOM] The defence of well-founded set theory
Vladimir Sazonov
- [FOM] The defence of well-founded set theory
Vladimir Sazonov
- [FOM] Theorem on Convex sets
joeshipman at aol.com
- [FOM] Theorem on Convex sets
Jeremy Clark
- [FOM] Theorem on Convex sets
joeshipman at aol.com
- [FOM] V does not exist
Roger Bishop Jones
- [FOM] V does not exist
Richard Heck
- [FOM] V does not exist
Roger Bishop Jones
- [FOM] WoLLIC'2006 - Call for Papers
Ruy de Queiroz
- [FOM] Yessenin-Volpin's consistency proof for ZF
Rupert McCallum
- [FOM] Yessenin-Volpin's consistency proof for ZF
Jean Paul van Bendegem
- [FOM] Yet another online resource - sequent calculus
Alex Sakharov
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).