December 2015 Archives by thread

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

Starting: Tue Dec 1 04:21:22 EST 2015
Ending: Thu Dec 31 16:27:44 EST 2015
Messages: 34

• [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] Arithmetic with Limited Exponentiation II   Dmytro Taranovsky
• [FOM] Call for applications: two bursary positions available for the Set Theoretic Pluralism symposium, University of Aberdeen, July 11–18 2016   Benedict Eastaugh
• [FOM] Job Opportunities in Logic and Computer Science at Swansea   Berger U.
• [FOM] Intuitionistic correspondence theory   Guillermo Badia
  • [FOM] Intuitionistic correspondence theory   Sara L. Uckelman
• [FOM] FW: Constructive mathematics in Nature   Kreinovich, Vladik
• [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
• [FOM] Cfp: Philosophy of mathematics: truth, existence and explanation - Second FilMat Conference - University of Chieti-Pescara, Chieti - 26-28 May 2016   Pierluigi Graziani
• [FOM] Remembering Aldo Antonelli   Richard Zach
• [FOM] Moderator's Comments on Harvey Friedman's "challenge"   Martin Davis
• [FOM] Fwd: Complexity Workshops - St Petersburg/Moscow - US Student Travel Support   Sam Buss
• [FOM] CiE 2016: final CfP EXTENDED DEADLINE   Arnold Beckmann
• [FOM] New Logic Master's Program at the University of Gothenburg   Ali Enayat
• [FOM] Announcement: Conference on the Foundational Impact of Recursion Theory   Mummert, Carl
• [FOM] CMCS 2016 : Last Call for Papers   fabio.zanasi at ens-lyon.fr
• [FOM] A simplification of Structure Theory.   Zuhair Abdul Ghafoor Al-Johar
  • [FOM] A simplification of Structure Theory.   Patrik Eklund
• [FOM] 648: Necessary Irrelevance 1   Harvey Friedman
• [FOM] 649: Necessary Irrelevance 2   Harvey Friedman
• [FOM] Graham Leigh at the University of Gothenburg   Ali Enayat
• [FOM] 650: Necessary Irrelevance 3   Harvey Friedman
• [FOM] Master in Pure and Applied Logic, Barcelona (Spain)   JOOST JOOSTEN
• [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] 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] Call for papers: GaLoP 2016   Paul Blain Levy

Last message date: Thu Dec 31 16:27:44 EST 2015
Archived on: Thu Dec 31 18:56:50 EST 2015

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