Showing 1-20 of 299 topics
Autumn school "Proof and Computation" Chuangjie Xu 5/21/18
Formally continuous functions on Baire space and the principle of point-free continuity frank waaldijk 5/21/18
Bishop's work on type theory Martín Hötzel Escardó 5/8/18
Bishop's work on Type Theory Martín Hötzel Escardó 5/4/18
The Creating Subject, the Brouwer-Kripke Schema, and infinite proofs Mark van Atten 5/2/18
RE: constructivenews Kreinovich, Vladik 4/30/18
FW: [FOM] A question about AC in constructive mathematics Kreinovich, Vladik 4/30/18
Fwd: Us congress hearing of maan alsaan Money laundry قضية الكونغجرس لغسيل الأموال للمليادير معن الصانع Hash L 4/22/18
Re: DAS KONTINUUM - 100 years later Kreinovich, Vladik 4/13/18
¬¬WLPO Martín Hötzel Escardó 4/10/18
Non-separable normed spaces Andrej Bauer 4/6/18
FW: question: who has proved ... ? Kreinovich, Vladik 3/27/18
Fwd: Weyl and intuitionistic infinitesimals Mark van Atten 3/14/18
Associate Senior Lecturer/Assistant Professor in Computer Science directed towards Logic of Programs Erik Palmgren 3/1/18
How thin can spreads be without choice? Andrej Bauer 2/28/18
Last Call for Papers for: International Workshop on Classical Logic and Computation (CL&C'18) in Oxford - satellite workshop of FSCD 2018 (former TLCA + RTA) Bahareh Afshari 2/27/18
Re: Computability, Complexity and Randomness (CCR 2018) Santiago de Chile 17 - 21 December 2018 Kreinovich, Vladik 2/25/18
Fw: Conference on Mathematical Logic, satellite conference of the International Congress of Mathematicians 2018 (ICM 2018), Rio de Janeiro, 1 to 9 August 2018. Kreinovich, Vladik 2/25/18
MacGillavry Fellowship Benno van den Berg 2/16/18
Call for part.: Second Workshop on Mathematical Logic and its Applications takako nemoto 2/12/18
More topics »