science.mathematics.fom (date)

October 30, 2005

Re: Mathematical explanation, Richard Heck
Mathematical explanation CORRECTION, mjmurphy
Re: Mathematical explanation, mjmurphy
Suarez on the Continuum, Dean Buckner
Re: Mathematical explanation, Neil Tennant
Re: Mathematical explanation, Neil Tennant
Re: Mathematical explanation, Richard Heck
my P = NP talk, Harvey Friedman

October 29, 2005

Mathematical explanation, Dean Buckner
Re: Mathematical explanation, Neil Tennant
away, Martin Davis
Re: R: Intuitionists and excluded middle, Michael Kremer
R: Intuitionists and excluded middle, Antonino Drago
Re: Mathematical explanation, Richard Heck
Re: Intuitionism, predicativism, and ill-defined domains, Nik Weaver
Intuitionism, predicativism, and ill-defined domains, Nik Weaver
Re: Mathematical explanation, Arnon Avron

October 28, 2005

WoLLIC'2006 - Call for Papers, Ruy de Queiroz
Re: Intuitionism, predicativism, and ill-defined domains, Hendrik Boom
Intuitionists and excluded-middle, Hartley Slater

October 27, 2005

TAMC06 - Call for Papers, S B Cooper
Re: Intuitionism, predicativism, and ill-defined domains, Nik Weaver
Mathematical explanation, mjmurphy

October 26, 2005

Re: Disproving Godel's explanation of incompleteness, Roger Bishop Jones
Re: Yessenin-Volpin's consistency proof for ZF, Jean Paul van Bendegem
253:Pi01 Progress, Harvey Friedman
Correction, Arnon Avron
FOM policy on "excessive quotation", Martin Davis
252:Pi01 Revisited, Harvey Friedman
Re: Another constructivist query, Rupert McCallum
Yessenin-Volpin's consistency proof for ZF, Rupert McCallum

October 25, 2005

Re: Constructive Arithmetical Truth is Pi-1-1 Complete, Dmytro Taranovsky
Re: Mathematical explanation, Neil Tennant
Re: Intuitionism, predicativism, and ill-defined domains, Arnon Avron
Godel on the true reason for incompleteness, Alasdair Urquhart
Re: Mathematical explanation, Hendrik Boom
Re: Intuitionists and excluded-middle, Jeremy Clark
Re: Mathematical explanation, paolo mancosu
Re: Mathematical explanation, Neil Tennant
Re: Intuitionists and excluded-middle, Jesse Alama
Re: Disproving Godel's explanation of incompleteness, Ajoy Thamattoor
Mathematical explanation, mjmurphy

October 24, 2005

Re: Intuitionists and excluded-middle, Lew Gordeew
Mathematical explanation, Thomas Forster
Re: Disproving Godel's explanation of incompleteness, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Re: Intuitionists and excluded-middle, Andrej Bauer
Re: Queries for a constructivist, Eray Ozkural
Re: Intuitionists and excluded-middle, Jeremy Clark
Re: Intuitionists and excluded-middle, Hendrik Boom
Another contructivist query, Bill Taylor
Re: Intuitionists and excluded-middle, Neil Tennant
Re: Intuitionists and excluded-middle, Alexei E Angelides
Re: Disproving Godel's explanation of incompleteness, paolo mancosu
Re: Explaining incompleteness, Roger Bishop Jones
Re: Intuitionists and excluded-middle, Neil Tennant
Re: Intuitionists and excluded-middle, Lew Gordeew

October 23, 2005

Comparing the power of logics, Arnon Avron
Constructive Arithmetical Truth is Pi-1-1 Complete, Dmytro Taranovsky
Re: Disproving Godel's explanation of incompleteness, Richard Heck
Re: Disproving Godel's explanation of incompleteness, Richard Zach

October 22, 2005

Re: Queries for a constructivist, Richard Heck
Re: FOM Digest, Vol 34, Issue 22, Colin McLarty
Re: Intuitionists and excluded middle, Ron Rood
Re: Intuitionists and excluded-middle, Andrej Bauer
Re: Intuitionists and excluded-middle, Lew Gordeew
Re: Intuitionists and excluded-middle, Harvey Friedman
Re: Intuitionists and excluded-middle, Alexei E Angelides
Intuitionism and ill-defined domains, Nik Weaver
Queries for a constructivist, Bill Taylor
Call for Participation: 7th Augustus de Morgan Workshop (London, Nov 2005), Martin Davis
Re: Intuitionists and excluded-middle, John McCarthy
Re: Intuitionists and excluded-middle, Jesse Alama
Re: Intuitionists and excluded-middle, Jesse Alama
Re: Disproving Godel's explanation of incompleteness, Roger Bishop Jones
Probability and Number Theory, Dmytro Taranovsky
Re: Intuitionists and excluded middle, Hendrik Boom

October 21, 2005

Re: Intuitionists and excluded-middle, Dana Scott
Re: Disproving Godel's explanation of incompleteness, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Explaining incompleteness, A.P. Hazen
Re: Intuitionists and excluded-middle, Andrej Bauer
Re: Intuitionists and excluded-middle, Neil Tennant
Re: Disproving Godel's explanation of incompleteness, Richard Heck

October 20, 2005

FOM: Gödel's Explanation of Incompleteness., John Corcoran
Re: Intuitionists and excluded-middle, Jesse Alama
Re: Intuitionists and excluded middle, Andrej Bauer
Re: Disproving Godel's explanation of incompleteness, A.P. Hazen
Disproving Godel's explanation of incompleteness, Jeffrey Ketland
Re: Intuitionists and excluded-middle, Lew Gordeew
ARE THERE CONTINGENT LOGICAL TRUTHS?, laureano luna

October 19, 2005

Correction, Martin Davis
Re: Disproving Godel's explanation of incompleteness, Kenny Easwaran
Re: A Defence of Set Theory as Foundations, Arnon Avron
Re: Disproving Godel's explanation of incompleteness, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
A Defence of Set Theory as Foundations, Nik Weaver
Re: FOM: The Law of Excluded Middle, Paul Hollander
Re: Intuitionists and excluded middle, Keith Brian Johnson

October 18, 2005

Re: Intuitionists and excluded middle, Hendrik Boom
Re: Disproving Godel's explanation of incompleteness, Michael Kremer
Re: A Defence of Set Theory as Foundations, Robert Lindauer
Disproving Godel's explanation of incompleteness, Roger Bishop Jones
Re: Intuitionists and excluded middle, Keith Brian Johnson
Re: On Constructive Mathematical Truth, Dmytro Taranovsky
FOM] FOM: The Principle of Excluded Middle, Giuseppina RONZITTI
Re: A Defence of Set Theory as Foundations, Roger Bishop Jones

October 17, 2005

Re: FOM: The Law of Excluded Middle, Richard Heck
Re: FOM: The Law of Excluded Middle, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Re: Intuitionists and excluded-middle, Paul Hollander
Intuitionists and excluded middle, Ron Rood
Re: A Defence of Set Theory as Foundations, Robert Lindauer
Re: Intuitionists and excluded-middle, Dana Scott
My personal experience with LEM, Nik Weaver
FOM: The Law of Excluded Middle, John Corcoran

October 15, 2005

PhD student positions at the "ILLC Centre for Logic and Games", Amsterdam, The Netherlands, Benedikt Loewe
Re: Intuitionists and excluded-middle, Lew Gordeew

October 14, 2005

Re: Intuitionists and excluded-middle, Ritwik Bhattacharya
My personal experience with LEM, Martin Davis
Re: Intuitionists and excluded-middle, Arnon Avron
Re: Intuitionists and excluded-middle, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Re: A Defence of Set Theory as Foundations, Nik Weaver

October 13, 2005

On Constructive Mathematical Truth, Dmytro Taranovsky
Re: Gödel on intuitionism and LEM, Vladimir Sazonov
Re: A Defence of Set Theory as Foundations, Robert Lindauer
Re: Intuitionists and excluded-middle, Todd Wilson

October 12, 2005

Re: Intuitionists and excluded-middle, Hendrik Boom
EXCLUDED MIDDLE AS LOGICAL LAW, Laureano Luna
Gödel on intuitionism and LEM, Martin Davis
Re: Intuitionists and excluded-middle, Ritwik Bhattacharya
rapid-fire exchange of messages, Martin Davis
Re: V does not exist, Roger Bishop Jones
Re: A Defence of Set Theory as Foundations, Roger Bishop Jones
Re: Intuitionists and excluded-middle, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Intuitionists and excluded-middle, Nik Weaver
Re: Excluded Middle, Lawrence Stout
BUFFALO LOGIC COLLOQUIUM 2005-6 FOURTH FALL ANNOUNCEMENT, John Corcoran
Re: Intuitionists and excluded-middle, Lew Gordeew
CFP Conference (Anti-)Realisms, Manuel Rebuschi
Re: proving Q inconsistent, Richard Heck

October 10, 2005

Intuitionists and excluded-middle, Arnon Avron
proving Q inconsistent, Rupert McCallum
Re: V does not exist, Richard Heck

October 07, 2005

V does not exist, Roger Bishop Jones
Re: A Defence of Set Theory as Foundations, Patrick Caldon

October 06, 2005

Re: The defence of well-founded set theory, Aatu Koskensilta
Re: The defence of well-founded set theory, A.P. Hazen
Re: The defence of well-founded set theory, Vladimir Sazonov
Re: The defence of well-founded set theory, Vladimir Sazonov
Yet another online resource - sequent calculus, Alex Sakharov
Re: Theorem on Convex sets, joeshipman-YDxpq3io04c
Re: Theorem on Convex sets, Jeremy Clark
Re: A Defence of Set Theory as Foundations, Aatu Koskensilta
Re: A Defence of Set Theory as Foundations, Jeremy Clark
A Defence of Set Theory as Foundations, Nik Weaver
Re: The defence of well-founded set theory, Roger Bishop Jones
Re: A Defence of Set Theory as Foundations, Patrick Caldon
Re: A Defence of Set Theory as Foundations, Andrej Bauer

October 05, 2005

A Defence of Set Theory as Foundations, Dmytro Taranovsky
Theorem on Convex sets, joeshipman-YDxpq3io04c
Iterative Set Theory: Historical References, A.P. Hazen
Re: The defence of well-founded set theory, Roger Bishop Jones
Re: The defence of well-founded set theory, Andrej Bauer
The defence of well-founded set theory, A.P. Hazen
Re: The defence of well-founded set theory, Roger Bishop Jones
Re: The defence of well-founded set theory, barov-3ZgaBc53ezU

October 04, 2005

Re: The defence of well-founded set theory, Aatu Koskensilta

October 03, 2005

CSL 06 workshops and Ackermann Award, Computer Science Logic '06 Conference
Re: The defence of well-founded set theory, Roger Bishop Jones
Re: The defence of well-founded set theory, Bill Greenberg

October 01, 2005

second volume of Brouwer is published, Martin Davis
Re: The defence of well-founded set theory, Stanislav Barov
Re: biografies of logicans, Stanislav Barov
alleged Hilbert quote, Patrick Girard