December 2015 Archives by subject
Starting: Tue Dec 1 04:21:22 EST 2015
Ending: Thu Dec 31 16:27:44 EST 2015
Messages: 34
- [FOM] 648: Necessary Irrelevance 1
Harvey Friedman
- [FOM] 649: Necessary Irrelevance 2
Harvey Friedman
- [FOM] 650: Necessary Irrelevance 3
Harvey Friedman
- [FOM] Announcement: Conference on the Foundational Impact of Recursion Theory
Mummert, Carl
- [FOM] Arithmetic with Limited Exponentiation II
Dmytro Taranovsky
- [FOM] A simplification of Structure Theory.
Zuhair Abdul Ghafoor Al-Johar
- [FOM] A simplification of Structure Theory.
Patrik Eklund
- [FOM] Call for applications: two bursary positions available for the Set Theoretic Pluralism symposium, University of Aberdeen, July 11–18 2016
Benedict Eastaugh
- [FOM] Call for papers: GaLoP 2016
Paul Blain Levy
- [FOM] Cfp: Philosophy of mathematics: truth, existence and explanation - Second FilMat Conference - University of Chieti-Pescara, Chieti - 26-28 May 2016
Pierluigi Graziani
- [FOM] CiE 2016: final CfP EXTENDED DEADLINE
Arnold Beckmann
- [FOM] CMCS 2016 : Last Call for Papers
fabio.zanasi at ens-lyon.fr
- [FOM] FW: Constructive mathematics in Nature
Kreinovich, Vladik
- [FOM] FW: Springer make many logic books freely downloadable
Kreinovich, Vladik
- [FOM] FW: Springer make many logic books freely downloadable
Richard Heck
- [FOM] FW: Springer make many logic books freely downloadable
sambin at math.unipd.it
- [FOM] FW: Springer make many logic books freely downloadable
Lukasz T. Stepien
- [FOM] Fwd: Complexity Workshops - St Petersburg/Moscow - US Student Travel Support
Sam Buss
- [FOM] Gap in the original Hales-Ferguson proof of Kepler
Timothy Y. Chow
- [FOM] Gap in the original Hales-Ferguson proof of Kepler
Walt Read
- [FOM] Gap in the original Hales-Ferguson proof of Kepler
Lawrence Paulson
- [FOM] Gap in the original Hales-Ferguson proof of Kepler
Josef Urban
- [FOM] Gap in the original Hales-Ferguson proof of Kepler
roux cody
- [FOM] Graham Leigh at the University of Gothenburg
Ali Enayat
- [FOM] Intuitionistic correspondence theory
Guillermo Badia
- [FOM] Intuitionistic correspondence theory
Sara L. Uckelman
- [FOM] Job Opportunities in Logic and Computer Science at Swansea
Berger U.
- [FOM] Master in Pure and Applied Logic, Barcelona (Spain)
JOOST JOOSTEN
- [FOM] Moderator's Comments on Harvey Friedman's "challenge"
Martin Davis
- [FOM] New Logic Master's Program at the University of Gothenburg
Ali Enayat
- [FOM] Remembering Aldo Antonelli
Richard Zach
- [FOM] Reminder - Thematic trimester CIPPMI “Current Issues in the Philosophy of Practice of Mathematics & Informatics”, Toulouse, 4th April - 1st July 2016
Sébastien Maronne
- [FOM] Solution to a problem of Friedman regarding Core Logical proof of number-theoretic statements
Tennant, Neil
- [FOM] Solution to Friedman's challenge problem: problem with hyperlink now fixed
Tennant, Neil
Last message date:
Thu Dec 31 16:27:44 EST 2015
Archived on: Thu Dec 31 18:56:50 EST 2015
This archive was generated by
Pipermail 0.09 (Mailman edition).