September 2011 Archives by thread

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

Starting: Thu Sep 1 22:13:05 EDT 2011
Ending: Fri Sep 30 13:29:10 EDT 2011
Messages: 109

• [FOM] On Myhill on Gödel on paradoxes   Bill Greenberg
  • [FOM] On Myhill on Gödel on paradoxes   Frode Bjørdal
• [FOM] corrected link to LNL 36   jkennedy at mappi.helsinki.fi
• [FOM] FSFLA 2011: final announcement   "Carlos Martín Vide"
• [FOM] FOM posting: EFI Project   Peter Koellner
  • [FOM] FOM posting: EFI Project   Marc Alcobé García
• [FOM] Computability: Contribute to the Inaugural Issue!   Vasco Brattka
• [FOM] DICE 2012 - First Call for Papers   Ugo Dal Lago
• [FOM] MAMLS Jan '12 -- Support available, lodging information -- second announcement   Robert Lubarsky
• [FOM] Reverse mathematics of spectral graph theory   Timothy Y. Chow
• [FOM] ZF[n] and (n+2)-order arithmetic   Colin McLarty
  • [FOM] ZF[n] and (n+2)-order arithmetic   Ali Enayat
  • [FOM] ZF[n] and (n+2)-order arithmetic   Ali Enayat
• [FOM] Paul Cohen was wrong   Monroe Eskew
  • [FOM] Paul Cohen was wrong   S. S. Kutateladze
  • [FOM] Paul Cohen was wrong   Brian White
    • [FOM] Paul Cohen was wrong   Monroe Eskew
      • [FOM] Paul Cohen was wrong   T.Forster at dpmms.cam.ac.uk
  • [FOM] Paul Cohen was wrong   Daniel Mehkeri
    • [FOM] Paul Cohen was wrong   Monroe Eskew
      • [FOM] Paul Cohen was wrong   William Tait
      • [FOM] Paul Cohen was wrong   Monroe Eskew
    • [FOM] Paul Cohen was wrong   T.Forster at dpmms.cam.ac.uk
• [FOM] Fwd: Paul Cohen was wrong   Brian White
• [FOM] 'The Incomputable' - Registration opens   S Barry Cooper
• [FOM] Grothendieck foundations progress, and a posted error   Colin McLarty
  • [FOM] Grothendieck foundations progress, and a posted error   Harvey Friedman
    • [FOM] Grothendieck foundations progress, and a posted error   Colin McLarty
• [FOM] LPAR-18 Venezuela- Call for Papers   Geoff Sutcliffe by way of Martin Davis <martin at eipye.com>
• [FOM] Cohen was right   Ali Enayat
  • [FOM] Cohen was right   Monroe Eskew
    • [FOM] Cohen was right   Rafi Shalom
• [FOM] About Paradox Theory   Zuhair Abdul Ghafoor Al-Johar
  • [FOM] About Paradox Theory   charlie
    • [FOM] About Paradox Theory   David Auerbach
      • [FOM] About Paradox Theory   hdeutsch at ilstu.edu
      • [FOM] About Paradox Theory   T.Forster at dpmms.cam.ac.uk
    • [FOM] About Paradox Theory   Bill Greenberg
    • [FOM] About Paradox Theory   Vaughan Pratt
      • [FOM] About Paradox Theory   T.Forster at dpmms.cam.ac.uk
      • [FOM] About Paradox Theory   hdeutsch at ilstu.edu
      • [FOM] About Paradox Theory   hdeutsch at ilstu.edu
      • [FOM] About Paradox Theory   David Auerbach
      • [FOM] About Paradox Theory   Vaughan Pratt
      • [FOM] About Paradox Theory   Andrej Bauer
      • [FOM] About Paradox Theory   Vaughan Pratt
      • [FOM] About Paradox Theory   hdeutsch at ilstu.edu
      • [FOM] About Paradox Theory   marcel.crabbe at uclouvain.be
      • [FOM] About Paradox Theory   Rob Arthan
      • [FOM] About Paradox Theory   Rob Arthan
  • [FOM] About Paradox Theory   Irving Anellis
  • [FOM] About paradox theory   Zvonimir Sikic
  • [FOM] About Paradox Theory   Daniel Mehkeri
    • [FOM] About Paradox Theory   T.Forster at dpmms.cam.ac.uk
    • [FOM] About Paradox Theory   Aatu Koskensilta
  • [FOM] About Paradox Theory   Daniel Mehkeri
  • [FOM] About Paradox Theory   Zvonimir Sikic
    • [FOM] About Paradox Theory   T.Forster at dpmms.cam.ac.uk
  • [FOM] About Paradox Theory   Taylor Dupuy
    • [FOM] About Paradox Theory   Peter Arndt
    • [FOM] About Paradox Theory   Rob Arthan
• [FOM] Job Opportunity for Mathematics PhDs at MIT Lincoln Labs in Lexington, MA   by way of Martin Davis <martin at eipye.com>
• [FOM] A last lesson by Ken Lopez-Escobar   walter.carnielli at cle.unicamp.br
• [FOM] sad news: RIP Ken Lopez-Escobar   Valeria de Paiva
• [FOM] First Call for Papers: Turing Centenary Conference, Cambridge, 18-23 June, 2012   S Barry Cooper
• [FOM] N.A.Shanin (fwd)   Grigori Mints
• [FOM] proofs by contradiction in (classical?) Physics   Fouche
  • [FOM] proofs by contradiction in (classical?) Physics   Brian White
  • [FOM] proofs by contradiction in (classical?) Physics   Vaughan Pratt
    • [FOM] proofs by contradiction in (classical?) Physics   mlink at math.bu.edu
  • [FOM] proofs by contradiction in (classical?) Physics   Hendrik Boom
  • [FOM] proofs by contradiction in (classical?) Physics   Antonino Drago
    • [FOM] proofs by contradiction in (classical?) Physics   Ivan Antonowitz
    • [FOM] proofs by contradiction in (classical?) Physics   Vaughan Pratt
• [FOM] origin of "real"   Thomas Lord
  • [FOM] origin of "real"   W.Taylor at math.canterbury.ac.nz
  • [FOM] origin of "real"   Alasdair Urquhart
  • [FOM] origin of "real"   Irving Anellis
  • [FOM] origin of "real"   Luigi Borzacchini
• [FOM] Telis Menas   hdeutsch at ilstu.edu
• [FOM] Embedding intuitionistic logic in classical   Staffan Angere
  • [FOM] Embedding intuitionistic logic in classical   ARF (Richard L. Epstein)
  • [FOM] Embedding intuitionistic logic in classical   Joao Marcos
    • [FOM] Embedding intuitionistic logic in classical   Staffan Angere
  • [FOM] Embedding intuitionistic logic in classical   Alasdair Urquhart
  • [FOM] Embedding intuitionistic logic in classical   Joao Marcos
  • [FOM] Embedding intuitionistic logic in classical   Joao Marcos
    • [FOM] Embedding intuitionistic logic in classical   Staffan Angere
      • [FOM] Embedding intuitionistic logic in classical   ARF (Richard L. Epstein)
• [FOM] proofs by contradiction in (classical?)   Taylor Dupuy
• [FOM] refuting one particular argument which claims continuum's size cannot be any \aleph_n   Tom Dunion
• [FOM] Conference on the History and Philosophy of Computing, Ghent 7-10/11/2011 -- Programme Available Online   gprimiero at libero.it
• [FOM] Generalizing Kleene's O   Paul Budnik
• [FOM] LICS 2012 - Call for Workshop Proposals   Kreutzer, Stephan
• [FOM] CiE Newsletter No.50, September 21, 2011   Olivier Bournez
• [FOM] LATA 2012: final call for papers   "Carlos Martín Vide"
• [FOM] Proposed new axioms for set theory   MartDowd at aol.com
• [FOM] Second Call for Papers, Jean van Heijenoort Centenary   Irving Anellis
• [FOM] inconsistency of P   Edward Nelson
  • [FOM] inconsistency of P   Michael Blackmon
    • [FOM] inconsistency of P   Shane Steinert-Threlkeld
  • [FOM] inconsistency of P   Edward Nelson
  • [FOM] inconsistency of P   Edward Nelson
  • [FOM] inconsistency of P   David Diamondstone
• [FOM] MWPMW 12 and Related Workshops   Michael Detlefsen
• [FOM] IJCAR 2012: Call for Papers   Bernhard Gramlich
• [FOM] CfP: COMPUTING 2011 - Symposium on 75 Years of Turing Machine and Lambda-Calculus   Carsten Sinz
• [FOM] The Reasoner 5(10) available for download   Jon Williamson
• [FOM] FSFLA 2011: call for participation   "Carlos Martín Vide"

Last message date: Fri Sep 30 13:29:10 EDT 2011
Archived on: Fri Sep 30 13:32:55 EDT 2011

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