science.mathematics.fom (thread)

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