May 2018 Archives by date
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] 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] 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] 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"
Alexander M Lemberg
- [FOM] H.N. from "Mathematical Cranks"
Timothy Y. Chow
- [FOM] H.N. from "Mathematical Cranks"
John Baldwin
- [FOM] H.N. from "Mathematical Cranks"
Timothy Y. Chow
- [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] 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] paper
Jaykov Foukzon
- [FOM] Logical Methods in Computer Science - LogiCS - multiple PhD positions in Austria
Mihaela Rozman
- [FOM] Gentzen's consistency proof
WILLIAM TAIT
- [FOM] Gentzen's consistency proof
tchow
- [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] Gentzen's consistency proof
tchow
- [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] Gentzen's consistency proof
tchow
- [FOM] Gentzen's consistency proof
WILLIAM TAIT
- [FOM] 8 PhD Scholarships in Philosophy and Human Sciences (including Logic) at the University of Milan
gprimiero at libero.it
- [FOM] 809: Goedel's Second Reworked/1
Harvey Friedman
- [FOM] Finite to Infinite
joeshipman at aol.com
- [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] Finite to Infinite
Richard Kimberly Heck
- [FOM] 809: Goedel's Second Reworked/1
Richard Kimberly Heck
- [FOM] 809: Goedel's Second Reworked/1
Harvey Friedman
- [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] CfP: Computing and programming in context - Special Issue in Philosophy & Technology
gprimiero at libero.it
- [FOM] CID; CCC 2018; 2nd call for submissions
Spreen, Dieter, Prof. Dr.
- [FOM] Maddy paper on what Foundations accomplish
Timothy Y. Chow
- [FOM] Maddy paper on what Foundations accomplish
Joe Shipman
- [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] Maddy paper on what Foundations accomplish
Josef Urban
- [FOM] Second announcement: 7th CSLI Logic Workshop
Chris Mieczyslaw Mierzewski
- [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] Maddy paper on what Foundations accomplish
Lawrence Paulson
- [FOM] Maddy paper on what Foundations accomplish
Adam Naumowicz
- [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
Jeremy Avigad
- [FOM] Fwd: LPAR-22 in Ethiopia - Call for Papers and Workshops
Martin Davis
- [FOM] Harrison Advocates ZFC (tweaked)
Patrik Eklund
Last message date:
Thu May 31 23:50:21 EDT 2018
Archived on: Fri Jun 1 12:26:07 EDT 2018
This archive was generated by
Pipermail 0.09 (Mailman edition).