May 2018 Archives by thread

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

Starting: Tue May 1 00:24:48 EDT 2018
Ending: Thu May 31 23:50:21 EDT 2018
Messages: 75

• [FOM] 808: Big Foundational Issues/2   Harvey Friedman
  • [FOM] 808: Big Foundational Issues/2   Joe Shipman
• [FOM] CfP: LACompLing2018 - Logic and Algorithms in Computational Linguistics 2018, Stockholm   Roussanka Loukanova
• [FOM] a simple constructive example when AC is not true   Kreinovich, Vladik
  • [FOM] a simple constructive example when AC is not true   Dennis E. Hamilton
    • [FOM] a simple constructive example when AC is not true   Kreinovich, Vladik
    • [FOM] a simple constructive example when AC is not true   Mario Carneiro
      • [FOM] a simple constructive example when AC is not true   Kreinovich, Vladik
• [FOM] CfP AIRIM'18: AI aspects of Reasoning, Information, and Memory 2018 (AIRIM'18)   Roussanka Loukanova
• [FOM] The Creating Subject, the Brouwer-Kripke Schema, and infinite proofs   Mark van Atten
• [FOM] English translation of Weyl (1910)   Stephen Pollard
  • [FOM] English translation of Weyl (1910)   Kreinovich, Vladik
  • [FOM] English translation of Weyl (1910)   Joe Shipman
• [FOM] Fwd: [Vardi-list] FLoC 2018 - Call for Participation   Martin Davis
• [FOM] H.N. from "Mathematical Cranks"   tchow
  • [FOM] H.N. from "Mathematical Cranks"   A. Mani
  • [FOM] H.N. from "Mathematical Cranks"   Alexander M Lemberg
  • [FOM] H.N. from "Mathematical Cranks"   Alexander M Lemberg
    • [FOM] H.N. from "Mathematical Cranks"   Timothy Y. Chow
      • [FOM] H.N. from "Mathematical Cranks"   Timothy Y. Chow
  • [FOM] H.N. from "Mathematical Cranks"   Alexander M Lemberg
    • [FOM] H.N. from "Mathematical Cranks"   John Baldwin
• [FOM] Logic in Question 8 - Paris 14 & 15 may 2018   jean-yves beziau
• [FOM] moderator is traveling   Martin Davis
• [FOM] Announcement: 7th CSLI Logic Workshop   Chris Mieczyslaw Mierzewski
  • [FOM] Second announcement: 7th CSLI Logic Workshop   Chris Mieczyslaw Mierzewski
• [FOM] Logic in Question 8, Ecole Normale Supérieure, Paris 14 and 15 may 2018   jean-yves beziau
• [FOM] Call for Papers: Workshop in OCL and Textual Modeling (OCL 2018)   Achim D. Brucker
• [FOM] Gentzen's consistency proof   Timothy Y. Chow
  • [FOM] Gentzen's consistency proof   WILLIAM TAIT
    • [FOM] Gentzen's consistency proof   tchow
      • [FOM] Gentzen's consistency proof   tchow
      • [FOM] Gentzen's consistency proof   tchow
      • [FOM] Gentzen's consistency proof   WILLIAM TAIT
• [FOM] paper   Jaykov Foukzon
• [FOM] Logical Methods in Computer Science - LogiCS - multiple PhD positions in Austria   Mihaela Rozman
• [FOM] Third call for BLAST 2018 at the University of Denver   Nikolaos Galatos
• [FOM] Extended Deadline CfP LACompLing2018 - Logic and Algorithms in Computational Linguistics 2018, Stockholm   Roussanka Loukanova
• [FOM] an interesting article   Kreinovich, Vladik
• [FOM] Maddy paper on what Foundations accomplish   Joe Shipman
  • [FOM] Maddy paper on what Foundations accomplish   Timothy Y. Chow
    • [FOM] Maddy paper on what Foundations accomplish   Joe Shipman
      • [FOM] Maddy paper on what Foundations accomplish   Lawrence Paulson
      • [FOM] Maddy paper on what Foundations accomplish   Adam Naumowicz
    • [FOM] Maddy paper on what Foundations accomplish   Josef Urban
• [FOM] REMINDER: FilMat 2018 - Philosophy of mathematics: objects, structures, and logics - 3rd FilMat Conference - Mussomeli, Caltanissetta, Sicily- 25-27 May 2018   Gianluigi Oliveri
• [FOM] Call for abstracts for 4th Workshop on Connexive Logics   Hitoshi Omori
• [FOM] 8 PhD Scholarships in Philosophy and Human Sciences (including Logic) at the University of Milan   gprimiero at libero.it
  • [FOM] CfP: Computing and programming in context - Special Issue in Philosophy & Technology   gprimiero at libero.it
• [FOM] 809: Goedel's Second Reworked/1   Harvey Friedman
  • [FOM] 809: Goedel's Second Reworked/1   Richard Kimberly Heck
    • [FOM] 809: Goedel's Second Reworked/1   Harvey Friedman
• [FOM] Finite to Infinite   joeshipman at aol.com
  • [FOM] Finite to Infinite   Richard Kimberly Heck
• [FOM] Autumn school "Proof and Computation"   Chuangjie Xu
• [FOM] Jolly Thomas, winner of the 2018 BIMAL KRISHNA MATILAL LOGIC PRIZE   jean-yves beziau
• [FOM] CCR 2018 - Extended submission date: 25 June - Computability, Complexity and Randomness, Santiago de Chile 17 - 21 December 2018   Verónica Becher
• [FOM] 810: Goedel's Second Reworked/2   Harvey Friedman
• [FOM] LSFA 2018, 3rd CfP   Francicleber M. Ferreira
• [FOM] Fwd: 19th annual Midwest PhilMath Workshop (MWPMW 19)   Martin Davis
• [FOM] 811: Big Foundational Issues/3   Harvey Friedman
• [FOM] 812: Goedel's Second Reworked/3   Harvey Friedman
• [FOM] CID; CCC 2018; 2nd call for submissions   Spreen, Dieter, Prof. Dr.
• [FOM] Summer School on Proof Theory, Ghent (Belgium), 2-5 Sep 2018   Arnold Beckmann
• [FOM] Workshop on Proof Theory and its Applications, Ghent (Belgium), 6-7 Sep 2018   Arnold Beckmann
• [FOM] [Second Call for Papers] Formal Verification of Physical Systems (FVPS 2018)   Umair Siddique
• [FOM] Paraconsistent Newsletter - Spring 2018   jean-yves beziau
• [FOM] 813: Beyond Perfectly Natural/12   Harvey Friedman
• [FOM] J.R. Arenhart winner of Newton da Costa Logic Prize / Universal Logic Prize at UNILOG'2018   jean-yves beziau
• [FOM] Harrison Advocates ZFC (tweaked)   Harvey Friedman
  • [FOM] Harrison Advocates ZFC (tweaked)   Lawrence Paulson
  • [FOM] Harrison Advocates ZFC (tweaked)   Harvey Friedman
    • [FOM] Harrison Advocates ZFC (tweaked)   Patrik Eklund
• [FOM] Harrison Advocates ZFC   Jeremy Avigad
• [FOM] Fwd: LPAR-22 in Ethiopia - Call for Papers and Workshops   Martin Davis

Last message date: Thu May 31 23:50:21 EDT 2018
Archived on: Fri Jun 1 12:26:07 EDT 2018

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