February 2014 Archives by thread
Starting: Mon Feb 3 11:38:19 EST 2014
Ending: Fri Feb 28 16:27:40 EST 2014
Messages: 78
- [FOM] Sixth French Philosophy of Mathematics Workshop (FPMW 6), October 9-11, 2014, Toulouse (France)
Brice Halimi
- [FOM] CTFM 2014 -- updated information
Stephen G Simpson
- [FOM] Reference request: realizability interpretations for CZF
Anders Lundstedt
- [FOM] CFP: Symposium on the Foundations of Mathematics, Kurt Gödel Research Center, University of Vienna.
Neil Barton
- [FOM] Fwd: categories: Midlands Graduate School 2014, Nottingham, UK
Paul B Levy
- [FOM] Last CFP: Abstractionism / Neo-Logicism (UConn Logic Group)
Rossberg, Marcus
- [FOM] question about Mendelson's Intro to Math Logic
Robert Lubarsky
- [FOM] CCR 2014 Announcement
Veronica Becher
- [FOM] South American Journal of Logic
jean-yves beziau
- [FOM] Mendelson exercise (from Luigi Oliveri)
Martin Davis
- [FOM] CFP: THE STUDENT SESSION OF THE THIRD EAST-ASIAN SCHOOL ON LOGIC, LANGUAGE AND COMPUTATION (EASLLC 2014)
jkennedy at mappi.helsinki.fi
- [FOM] Bases for vector spaces
T.Forster at dpmms.cam.ac.uk
- [FOM] Alternative foundations?
Victor Marek
- [FOM] From John Steel (Mitchell meeting)
Martin Davis
- [FOM] An example in homotopy type theory
Kevin Watkins
- [FOM] FW: [Alternative foundations: confirmation from Edward Frenkel
Kreinovich, Vladik
- [FOM] Carnegie Mellon Summer School in Logic and Formal Epistemology
Jeremy Avigad
- [FOM] PhD Research Studentships
gprimiero at libero.it
- [FOM] CFP: 11th International Workshop on Boolean Problems (IWSBP'14)
Miroslav Velev
- [FOM] Alternative Foundations?/question
Harvey Friedman
- [FOM] Computational set theory
henk
- [FOM] General Purpose/Special Purpose
Harvey Friedman
- [FOM] Objective mathematics in a finite unbounded universe
Paul Budnik
- [FOM] Alternative Foundations/philosophical
Harvey Friedman
- [FOM] An attempt of a constructive proof for Takeuti Conjecture
Sandro Skansi
- [FOM] Call for submissions: MSCS special Computable Analysis; EXTENSION OF DEADLINE
Dieter Spreen
- [FOM] Foundations Crucial
Harvey Friedman
Last message date:
Fri Feb 28 16:27:40 EST 2014
Archived on: Sun Mar 2 17:34:39 EST 2014
This archive was generated by
Pipermail 0.09 (Mailman edition).