April 2008 Archives by author

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

Starting: Tue Apr 1 08:47:51 EDT 2008
Ending: Wed Apr 30 21:25:15 EDT 2008
Messages: 61

• [FOM] LC08: THIRD CALL FOR PAPERS AND PARTICIPATION   Logic Colloquium 2008
• [FOM] WoLLIC 2008 - Call for Participation   by way of Martin Davis <martin at eipye.com>
• [FOM] Size theory.   Zuhair Abdul Ghafoor Al-Johar
• [FOM] Plea for literature on recursion theory in V_\omega   Jesse Alama
• [FOM] Number theory proof mentioned by Frege   Rob Arthan
• [FOM] Number theory proof mentioned by Frege   John Baldwin
• [FOM] Complexity of (Universal) Turing Machines   Andrej Bauer
• [FOM] Plea for literature on recursion theory in V_\omega   Robert Black
• [FOM] mathematics as formal   Alex Blum
• [FOM] CCA 2008: Second Call for Papers and Announcement   Vasco Brattka
• [FOM] inductive definitions in first order logic   Gergely Buday
• [FOM] Summer School   Douglas Cenzer
• [FOM] Complexity of (Universal) Turing Machines   Timothy Y. Chow
• [FOM] methodological thesis   Timothy Y. Chow
• [FOM] methodological thesis   Timothy Y. Chow
• [FOM] Kurt Goedel Colloquium 2008 Announcement   Martin Davis
• [FOM] Eliminability of AC   Francois G. Dorais
• [FOM] Plea for literature on recursion theory in V_\omega   Francois G. Dorais
• [FOM] Plea for literature on recursion theory in V_\omega   Ali Enayat
• [FOM] mathematics as formal   Steven Ericsson-Zenith
• [FOM] 324: Existential Comprehension   Harvey Friedman
• [FOM] 325: Single Quantifier Comprehension   Harvey Friedman
• [FOM] methodological thesis   Harvey Friedman
• [FOM] Complexity of (Universal) Turing Machines   Steve Gardner
• [FOM] Complexity of (Universal) Turing Machines   Steve Gardner
• [FOM] Number theory proof mentioned by Frege   Chris Gray
• [FOM] Number theory proof mentioned by Frege   Chris Gray
• [FOM] Number theory proof mentioned by Frege   Chris Gray
• [FOM] A first-order theory of relations   Allen Hazen
• [FOM] methodological thesis   Richard Heck
• [FOM] Plea for literature on recursion theory in V_\omega   Csaba Henk
• [FOM] Gödel's Theorem & Hilbert, etc.   Joseph Hilton
• [FOM] Eliminability of AC   James Hirschorn
• [FOM] FotFS VII "Bringing together Philosophy and Sociology of Science", Brussels (Belgium), 21-24 October 2008   Bart Van Kerkhove
• [FOM] Kreisel Remark   Simon Kochen
• [FOM] methodological thesis   Rupert McCallum
• [FOM] methodological thesis   Marcin Mostowski
• [FOM] Number theory proof mentioned by Frege   Vaughan Pratt
• [FOM] Complexity of (Universal) Turing Machines   Vaughan Pratt
• [FOM] Plea for literature on recursion theory in V_\omega   Vaughan Pratt
• [FOM] methodological thesis   Vaughan Pratt
• [FOM] Conference: Logical Pluralism, Tartu August 27-31   Marcus Rossberg
• [FOM] Complexity of (Universal) Turing Machines   Vladimir Sazonov
• [FOM] CFP: 2008 AAAI Symposium on Automated Scientific Discovery   Andrew Shilliday
• [FOM] Number theory proof mentioned by Frege   Simonyi, András
• [FOM] Eliminability of AC   Robert M. Solovay
• [FOM] methodological thesis   Studtmann, Paul
• Re: [FOM] Gödel's Theorem & Hilbert, etc.   T.Forster at dpmms.cam.ac.uk
• [FOM] A first-order theory of relations   T.Forster at dpmms.cam.ac.uk
• [FOM] Plea for literature on recursion theory in V_\omega   Paul Tarau
• [FOM] Complexity of (Universal) Turing Machines   Ilya Tsindlekht
• [FOM] Number theory proof mentioned by Frege   Alasdair Urquhart
• [FOM] Number theory proof mentioned by Frege   Alasdair Urquhart
• [FOM] The Reasoner 2(5) now available   Jon Williamson
• [FOM] Complexity of (Universal) Turing Machines   Hector Zenil-Chavez
• [FOM] ULTRAMATH2008: Deadline for early registration   dinasso at dm.unipi.it
• [FOM] workshop in seville   josef at us.es
• [FOM] Existential Incomopleteness of Set Theory   laureano luna
• [FOM] Consistency strength order   pax0 at seznam.cz
• [FOM] Gödel's Theorem & Hilbert, etc.   praatika at mappi.helsinki.fi
• [FOM] inductive definitions in first order logic   rgheck

Last message date: Wed Apr 30 21:25:15 EDT 2008
Archived on: Thu May 1 14:09:07 EDT 2008

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