March 2017 Archives by date

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

Starting: Wed Mar 1 11:38:36 EST 2017
Ending: Fri Mar 31 12:20:50 EDT 2017
Messages: 63

• [FOM] Are the Decidable Theories R.E.?   Richard Heck
• [FOM] Are the Decidable Theories R.E.?   Noah Schweber
• [FOM] Bound in Gödel 1931   Joe Shipman
• [FOM] IMLA 2017 Deadline Extension: 29th March   Valeria de Paiva
• [FOM] congratulations to Yuri Matiyasevich on his special birthday   Kreinovich, Vladik
• [FOM] Godel and PA   Martin Davis
• [FOM] Godel and PA   Joe Shipman
• [FOM] Godel and PA   Richard Heck
• [FOM] Are the Decidable Theories R.E.?   Saeed Salehi
• [FOM] Godel and PA   Lawrence Paulson
• [FOM] 24th WoLLIC 2017 - DEADLINE APPROACHING   Ruy de Queiroz
• [FOM] Are the Decidable Theories R.E.?   Noah Schweber
• [FOM] Godel and PA   Joe Shipman
• [FOM] Godel and PA   Richard Heck
• [FOM] Godel and PA   Richard Heck
• [FOM] Fwd: Are the Decidable Theories R.E.?   Saeed Salehi
• [FOM] Wittgenstein Inspired Skepticism   Thomas Klimpel
• [FOM] Wittgenstein Inspired Skepticism   Timothy Y. Chow
• [FOM] Wittgenstein Inspired Skepticism   Harvey Friedman
• [FOM] top/down, bottom/up   Harvey Friedman
• [FOM] vagueness in mathematics?   Annatala Wolf
• [FOM] vagueness in mathematics?   Hendrik Boom
• [FOM] Wittgenstein Inspired Skepticism   tchow
• [FOM] vagueness in mathematics?   Dennis E. Hamilton
• [FOM] late 19th/early 20th C women in foundations   Sara L. Uckelman
• [FOM] Automated Formal Methods (AFM) 2017 Final Call for papers   Sam Owre
• [FOM] 753: Emulation Theory for Math Logic/1   Harvey Friedman
• [FOM] late 19th/early 20th C women in foundations   John Baldwin
• [FOM] late 19th/early 20th C women in foundations   Mate Szabo
• [FOM] late 19th/early 20th C women in foundations   Alice ter Meulen
• [FOM] late 19th/early 20th C women in foundations   Richard Heck
• [FOM] late 19th/early 20th C women in foundations   WILLIAM TAIT
• [FOM] Seventh Summer School on Formal Techniques, May 21-26, 2017, Menlo College, Atherton   Sam Owre
• [FOM] Adventures in Incompleteness Movie   Harvey Friedman
• [FOM] 755: Large Cardinals and Emulations/35   Harvey Friedman
• [FOM] 754: Large Cardinals and Emulations/34   Harvey Friedman
• [FOM] Reminder: First FilMat Graduate Conference - Philosophy of mathematics: history, theories and practice - Trento, July 13/14 2017   Andrea Sereni
• [FOM] 752: Emulation Theory for Pure Math/1   Harvey Friedman
• [FOM] Short movie about Gödel   henk
• [FOM] Fwd: website pulished   Shashi Srivastava
• [FOM] Continuity, Computability, Constructivity 2017; call for submissions   Dieter Spreen
• [FOM] 2nd CfP: HaPoC4   gprimiero at libero.it
• [FOM] CfP: LACompLing2017 - Logic and Algorithms in Computational Linguistics 2017   Roussanka Loukanova
• [FOM] post re: H. Friedman post "Concerning First and Second-Order Logics" of 22 May 2016   Gregory Taylor
• [FOM] CfP: AI aspects of Reasoning, Information, and Memory 2017 (AIRIM'17)   Roussanka Loukanova
• [FOM] Multiple types of foundation for mathematics (cognitive, biological, mathematical...)   Aaron Sloman
• [FOM] The Big Five in a discontinuous world (jww Dag Normann)   Sam Sanders
• [FOM] Multiple types of foundation for mathematics (cognitive, biological, mathematical...)   Patrik Eklund
• [FOM] 24th WoLLIC 2017 - DEADLINE EXTENDED   Ruy de Queiroz
• [FOM] AFM deadline extension: Automated Formal Methods 2017 Final Call for papers   Sam Owre
• [FOM] Call for Participation: RAMiCS, May 15-18, Lyon, France   Damien Pous
• [FOM] R: Multiple types of foundation for mathematics (cognitive, biological, mathematical...)   Antonino Drago
• [FOM] 756: Large Cardinals and Emulations/36   Harvey Friedman
• [FOM] LICS & LMW '17 : Final Call for Scholarship Applications (deadline 31 March)   Anupam Das
• [FOM] Opportunities at Swansea   Tucker J.V.
• [FOM] 757: Large Cardinals and Emulations/37   Harvey Friedman
• [FOM] object-oriented programming   Robert Lubarsky
• [FOM] Position Openning   Insall, Eugene
• [FOM] object-oriented programming   Antonio Ravara
• [FOM] object-oriented programming   Chris Gray
• [FOM] object-oriented programming   Tom Duff
• [FOM] The FOM of objects and classes in programming languages   Patrik Eklund
• [FOM] Object-oriented programming   scott

Last message date: Fri Mar 31 12:20:50 EDT 2017
Archived on: Fri Mar 31 23:51:18 EDT 2017

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