October 2005 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

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] The defence of well-founded set theory   Andrej Bauer
      • [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   Aatu Koskensilta
      • [FOM] A Defence of Set Theory as Foundations   Patrick Caldon
      • [FOM] A Defence of Set Theory as Foundations   Jeremy Clark
      • [FOM] Intuitionists and excluded-middle   Arnon Avron
      • [FOM] Intuitionists and excluded-middle   Lew Gordeew
      • [FOM] Intuitionists and excluded-middle   Arnon Avron
      • [FOM] Intuitionists and excluded-middle   Todd Wilson
      • [FOM] Excluded Middle   Lawrence Stout
      • [FOM] The defence of well-founded set theory   Vladimir Sazonov
• [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   Aatu Koskensilta
• [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] The defence of well-founded set theory   Roger Bishop Jones
  • [FOM] V does not exist   Roger Bishop Jones
    • [FOM] V does not exist   Richard Heck
      • [FOM] V does not exist   Roger Bishop Jones
• [FOM] Iterative Set Theory: Historical References   A.P. Hazen
• [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] The defence of well-founded set theory   A.P. Hazen
• [FOM] A Defence of Set Theory as Foundations   Nik Weaver
  • [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   Arnon Avron
      • [FOM] A Defence of Set Theory as Foundations   Roger Bishop Jones
      • [FOM] A Defence of Set Theory as Foundations   Robert Lindauer
• [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] proving Q inconsistent   Richard Heck
• [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   Ritwik Bhattacharya
  • [FOM] Intuitionists and excluded-middle   Hendrik Boom
• [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] Gödel on intuitionism and LEM   Vladimir Sazonov
• [FOM] EXCLUDED MIDDLE AS LOGICAL LAW   Laureano Luna
• [FOM] On Constructive Mathematical Truth   Dmytro Taranovsky
  • [FOM] Re: On Constructive Mathematical Truth   Dmytro Taranovsky
• [FOM] Intuitionists and excluded-middle   praatika at mappi.helsinki.fi
  • [FOM] Intuitionists and excluded-middle   Ritwik Bhattacharya
• [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] 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] R: Intuitionists and excluded middle   Antonino Drago
      • [FOM] R: Intuitionists and excluded middle   Michael Kremer
• [FOM] My personal experience with LEM   Nik Weaver
• [FOM] Intuitionists and excluded-middle   Dana Scott
  • [FOM] Intuitionists and excluded-middle   Hendrik Boom
• [FOM] Intuitionists and excluded-middle   Paul Hollander
• [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] FOM: The Principle of Excluded Middle   Giuseppina RONZITTI
• [FOM] Disproving Godel's explanation of incompleteness   Roger Bishop Jones
  • [FOM] Disproving Godel's explanation of incompleteness   Michael Kremer
• [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   Roger Bishop Jones
• [FOM] Disproving Godel's explanation of incompleteness   Kenny Easwaran
  • [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   Richard Zach
      • [FOM] Disproving Godel's explanation of incompleteness   Richard Heck
      • [FOM] Disproving Godel's explanation of incompleteness   paolo mancosu
      • [FOM] Mathematical explanation   Thomas Forster
      • [FOM] Mathematical explanation   mjmurphy
      • [FOM] Mathematical explanation   Neil Tennant
      • [FOM] Mathematical explanation   mjmurphy
      • [FOM] Mathematical explanation   Arnon Avron
      • [FOM] Mathematical explanation   Neil Tennant
      • [FOM] Mathematical explanation   Richard Heck
      • [FOM] Mathematical explanation   Neil Tennant
      • [FOM] Mathematical explanation   Neil Tennant
      • [FOM] Mathematical explanation   Gernot Salzer
      • [FOM] Mathematical explanation   Richard Heck
      • [FOM] Mathematical explanation   mjmurphy
      • [FOM] Mathematical explanation   Richard Heck
      • [FOM] Mathematical explanation   mjmurphy
      • [FOM] Mathematical explanation   Richard Heck
      • [FOM] Mathematical explanation CORRECTION   mjmurphy
      • [FOM] Mathematical explanation   Paul Hollander
      • [FOM] Mathematical explanation   Hendrik Boom
      • [FOM] Mathematical explanation   Neil Tennant
      • [FOM] Mathematical explanation   paolo mancosu
• [FOM] ARE THERE CONTINGENT LOGICAL TRUTHS?   laureano luna
• [FOM] Correction   Martin Davis
• [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   Jesse Alama
    • [FOM] Intuitionists and excluded-middle   Andrej Bauer
      • [FOM] Intuitionists and excluded-middle   Jesse Alama
      • [FOM] Intuitionists and excluded-middle   Alexei E Angelides
      • [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   Andrej Bauer
      • [FOM] Intuitionists and excluded-middle   Jeremy Clark
      • [FOM] Intuitionists and excluded-middle   Jesse Alama
      • [FOM] Intuitionists and excluded-middle   Jeremy Clark
      • [FOM] Intuitionists and excluded-middle   Andrej Bauer
• [FOM] Disproving Godel's explanation of incompleteness   Jeffrey Ketland
  • [FOM] Disproving Godel's explanation of incompleteness   Ajoy Thamattoor
    • [FOM] Godel on the true reason for incompleteness   Alasdair Urquhart
• [FOM] FOM: Gödel's Explanation of Incompleteness.   John Corcoran
• [FOM] Explaining incompleteness   A.P. Hazen
  • [FOM] Explaining incompleteness   Roger Bishop Jones
• [FOM] Disproving Godel's explanation of incompleteness   praatika at mappi.helsinki.fi
• [FOM] Intuitionists and excluded-middle   Dana Scott
  • [FOM] Intuitionists and excluded-middle   Harvey Friedman
• [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] Queries for a constructivist   Richard Heck
  • [FOM] Queries for a constructivist   Eray Ozkural
• [FOM] Intuitionism and ill-defined domains   Nik Weaver
  • [FOM] Intuitionism, predicativism, and ill-defined domains   Arnon Avron
    • [FOM] Correction   Arnon Avron
    • [FOM] Intuitionism, predicativism, and ill-defined domains   Nik Weaver
      • [FOM] Intuitionism, predicativism, and ill-defined domains   Hendrik Boom
• [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] Re: 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] Disproving Godel's explanation of incompleteness   Roger Bishop Jones
• [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] 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

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...