June 2013 Archives by thread
Starting: Sat Jun 1 10:37:30 EDT 2013
Ending: Sun Jun 30 22:27:16 EDT 2013
Messages: 103
- [FOM] Shinichi Mochizuki on set-theoretical/foundational issues
MartDowd at aol.com
- [FOM] re: psychological basis of intuitionsm
Irving Anellis
- [FOM] Psychological basis of Intuitionism
Antonino Drago
- [FOM] l basis of Intuitionism
Adriano Palma
- [FOM] SOL vs. ZFC
Joe Shipman
- [FOM] Is PA + ~Con(PA) a complete theory?
Andrew Polonsky
- [FOM] FOM Digest, Vol 126, Issue 6
Zvonimir Sikic
- [FOM] Proof Theory in Lisbon
Fernando Ferreira
- [FOM] Call for Expression of Interest - WWTF Vienna Research Groups for Young Investigators
Thomas Krennwallner
- [FOM] l basis of Intuitionism as in geometry
Adriano Palma
- [FOM] ending the thread on the role of psychology in intuitionism
Martin Davis
- [FOM] T + ~Con(T) Refutes Its Goedel Sentence
Richard Heck
- [FOM] Contact information
Andrej Bauer
- [FOM] Book announcement: ALAN TURING - His Work and Impact
S B Cooper
- [FOM] Andrej Bauer complains and leaves FOM
Martin Davis
- [FOM] FOM Digest, Vol 126, Issue 18
Steve Awodey
- [FOM] CfP for Math. in Computer Science Special Issue on 'Enabling Domain Experts to use Formalised Reasoning' (deadline 31 Oct)
Christoph LANGE
- [FOM] A question about Church
Harry Deutsch
- [FOM] incompleteness theorems formally verified
Jeremy Avigad
- [FOM] Incompleteness versus the Platonic multiverse
Paul Budnik
- [FOM] Fwd: SOL vs. ZFC
Joe Shipman
- [FOM] Andrej Bauer's "rejected posts" and the closing of a thread
Martin Davis
- [FOM] Paraconsistency = 5th World Congress, Kolkata, India, 2014
jean-yves beziau
- [FOM] 5th World Congress, Kolkata, India, 2014
Paraconsistent Newsletter
- [FOM] Qustion About Church
Harry Deutsch
- [FOM] Call for informal presentations: Machines, Computations and Universality 2013
Turlough Neary
- [FOM] Third BLAST 2013 announcement
Jipsen, Peter
- [FOM] Is current computability theory intuitionistic?
Steve Stevenson
- [FOM] Constructive treatment of computability theory in Kleene's IM
Martin Davis
- [FOM] The HoTT Book
Steve Awodey
- [FOM] Univalent foundations book
David Roberts
- [FOM] Two preprints on Gödel
Mark van Atten
- [FOM] Square of Opposition - Vatican 2014 - Call for Papers
jean-yves beziau
- [FOM] Postdoc position in Algebra and Model Theory, Konstanz, Germany
carl at math.uni-bonn.de
- [FOM] Postdoc position in Algebra and Model Theory, Konstanz, Germany - CORRECTION
carl at math.uni-bonn.de
- [FOM] Question about theoretical physics
Lukasz T. Stepien
- [FOM] MWPMW 14, Oct 5th and 6th. Reminder
Michael Detlefsen
Last message date:
Sun Jun 30 22:27:16 EDT 2013
Archived on: Tue Jul 2 14:26:48 EDT 2013
This archive was generated by
Pipermail 0.09 (Mailman edition).