June 2013 Archives by subject
Starting: Sat Jun 1 10:37:30 EDT 2013
Ending: Sun Jun 30 22:27:16 EDT 2013
Messages: 103
- [FOM] 5th World Congress, Kolkata, India, 2014
Paraconsistent Newsletter
- [FOM] Andrej Bauer's "rejected posts" and the closing of a thread
Martin Davis
- [FOM] Andrej Bauer complains and leaves FOM
Martin Davis
- [FOM] Andrej Bauer complains and leaves FOM
Alex Blum
- [FOM] A question about Church
Harry Deutsch
- [FOM] A question about Church
Francisco Gomes Martins
- [FOM] A question about Church
Harry Deutsch
- [FOM] Book announcement: ALAN TURING - His Work and Impact
S B Cooper
- [FOM] Call for Expression of Interest - WWTF Vienna Research Groups for Young Investigators
Thomas Krennwallner
- [FOM] Call for informal presentations: Machines, Computations and Universality 2013
Turlough Neary
- [FOM] CfP for Math. in Computer Science Special Issue on 'Enabling Domain Experts to use Formalised Reasoning' (deadline 31 Oct)
Christoph LANGE
- [FOM] Constructive treatment of computability theory in Kleene's IM
Martin Davis
- [FOM] Contact information
Andrej Bauer
- [FOM] ending the thread on the role of psychology in intuitionism
Martin Davis
- [FOM] ending the thread on the role of psychology in intuitionism
frank waaldijk
- [FOM] FOM Digest, Vol 126, Issue 18
Steve Awodey
- [FOM] FOM Digest, Vol 126, Issue 6
Zvonimir Sikic
- [FOM] Fwd: SOL vs. ZFC
Joe Shipman
- [FOM] incompleteness theorems formally verified
Jeremy Avigad
- [FOM] Incompleteness versus the Platonic multiverse
Paul Budnik
- [FOM] Is current computability theory intuitionistic?
Steve Stevenson
- [FOM] Is current computability theory intuitionistic?
joeshipman at aol.com
- [FOM] Is current computability theory intuitionistic?
Alasdair Urquhart
- [FOM] Is current computability theory intuitionistic?
Arnon Avron
- [FOM] Is current computability theory intuitionistic?
Carl Mummert
- [FOM] Is current computability theory intuitionistic?
Vasco Brattka
- [FOM] Is current computability theory intuitionistic?
WILLIAM TAIT
- [FOM] Is current computability theory intuitionistic?
Mitchell Spector
- [FOM] Is current computability theory intuitionistic?
Panu Raatikainen
- [FOM] Is current computability theory intuitionistic?
Antonino Drago
- [FOM] Is current computability theory intuitionistic?
Timothy Y. Chow
- [FOM] Is current computability theory intuitionistic?
Sam Sanders
- [FOM] Is current computability theory intuitionistic?
Craig Smorynski
- [FOM] Is current computability theory intuitionistic?
WILLIAM TAIT
- [FOM] Is current computability theory intuitionistic?
Peter Hancock
- [FOM] Is current computability theory intuitionistic?
Craig Smorynski
- [FOM] Is current computability theory intuitionistic?
WILLIAM TAIT
- [FOM] Is current computability theory intuitionistic?
WILLIAM TAIT
- [FOM] Is current computability theory intuitionistic?
Craig Smorynski
- [FOM] Is current computability theory intuitionistic?
Dustin Wehr
- [FOM] Is PA + ~Con(PA) a complete theory?
Andrew Polonsky
- [FOM] Is PA + ~Con(PA) a complete theory?
Knight, Joseph W
- [FOM] Is PA + ~Con(PA) a complete theory?
Richard Heck
- [FOM] Is PA + ~Con(PA) a complete theory?
meskew at math.uci.edu
- [FOM] Is PA + ~Con(PA) a complete theory?
Aatu Koskensilta
- [FOM] Is PA + ~Con(PA) a complete theory?
Oosten, J. van
- [FOM] Is PA + ~Con(PA) a complete theory?
Andrew Polonsky
- [FOM] Is PA + ~Con(PA) a complete theory?
Arnon Avron
- [FOM] l basis of Intuitionism
Adriano Palma
- [FOM] l basis of Intuitionism as in geometry
Adriano Palma
- [FOM] MWPMW 14, Oct 5th and 6th. Reminder
Michael Detlefsen
- [FOM] Paraconsistency = 5th World Congress, Kolkata, India, 2014
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] Proof Theory in Lisbon
Fernando Ferreira
- [FOM] Psychological basis of Intuitionism
Andrej Bauer
- [FOM] Psychological basis of Intuitionism
Antonino Drago
- [FOM] Psychological basis of Intuitionism
sambin at math.unipd.it
- [FOM] Psychological basis of Intuitionism
Arnold Neumaier
- [FOM] Psychological basis of Intuitionism
Steve Stevenson
- [FOM] Psychological basis of Intuitionism
Andrej Bauer
- [FOM] Psychological basis of Intuitionism
Kreinovich, Vladik
- [FOM] Psychological basis of Intuitionism
Andrej Bauer
- [FOM] Psychological basis of Intuitionism
Richard Weyhrauch
- [FOM] Psychological basis of Intuitionism
Steve Stevenson
- [FOM] Psychological basis of Intuitionism
Antonino Drago
- [FOM] Psychological basis of Intuitionism
Colin McLarty
- [FOM] Psychological basis of Intuitionism
sambin at math.unipd.it
- [FOM] Psychological basis of Intuitionism
Kreinovich, Vladik
- [FOM] re: psychological basis of intuitionsm
Irving Anellis
- [FOM] Question About Church
Alasdair Urquhart
- [FOM] Question About Church
Harry Deutsch
- [FOM] Question about theoretical physics
Lukasz T. Stepien
- [FOM] Question about theoretical physics
Walt Read
- [FOM] Question about theoretical physics
Joe Shipman
- [FOM] Question about theoretical physics
Steve Stevenson
- [FOM] Question about theoretical physics
Nick Nielsen
- [FOM] Qustion About Church
Harry Deutsch
- [FOM] Qustion About Church
Francisco Gomes Martins
- [FOM] Shinichi Mochizuki on set-theoretical/foundational issues
MartDowd at aol.com
- [FOM] Shinichi Mochizuki on set-theoretical/foundational issues
Colin McLarty
- [FOM] SOL vs. ZFC
Joe Shipman
- [FOM] SOL vs. ZFC
Aatu Koskensilta
- [FOM] SOL vs. ZFC
Joe Shipman
- [FOM] SOL vs. ZFC
jkennedy at mappi.helsinki.fi
- [FOM] SOL vs. ZFC
Timothy Y. Chow
- [FOM] SOL vs. ZFC
Joe Shipman
- [FOM] SOL vs. ZFC
José Ferreirós Domínguez
- [FOM] SOL vs. ZFC
Alex Blum
- [FOM] SOL vs. ZFC
Joe Shipman
- [FOM] SOL vs. ZFC
José Ferreirós Domínguez
- [FOM] SOL vs. ZFC
Timothy Y. Chow
- [FOM] SOL vs. ZFC
Dustin Wehr
- [FOM] SOL vs. ZFC
Joe Shipman
- [FOM] SOL vs. ZFC
José Ferreirós Domínguez
- [FOM] SOL vs. ZFC
José Ferreirós Domínguez
- [FOM] Square of Opposition - Vatican 2014 - Call for Papers
jean-yves beziau
- [FOM] T + ~Con(T) Refutes Its Goedel Sentence
Richard Heck
- [FOM] T + ~Con(T) Refutes Its Goedel Sentence
Peter Smith
- [FOM] The HoTT Book
Steve Awodey
- [FOM] Third BLAST 2013 announcement
Jipsen, Peter
- [FOM] Two preprints on Gödel
Mark van Atten
- [FOM] Univalent foundations book
David Roberts
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).