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