June 2013 Archives by thread

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

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] Shinichi Mochizuki on set-theoretical/foundational issues   Colin McLarty
• [FOM] re: psychological basis of intuitionsm   Irving Anellis
• [FOM] Psychological basis of Intuitionism   Antonino Drago
  • [FOM] Psychological basis of Intuitionism   Andrej Bauer
    • [FOM] Psychological basis of Intuitionism   sambin at math.unipd.it
      • [FOM] Psychological basis of Intuitionism   Andrej Bauer
      • [FOM] Psychological basis of Intuitionism   Kreinovich, Vladik
      • [FOM] Psychological basis of Intuitionism   sambin at math.unipd.it
      • [FOM] Psychological basis of Intuitionism   Kreinovich, Vladik
      • [FOM] Psychological basis of Intuitionism   Steve Stevenson
      • [FOM] Psychological basis of Intuitionism   Colin McLarty
    • [FOM] Psychological basis of Intuitionism   Arnold Neumaier
      • [FOM] Psychological basis of Intuitionism   Richard Weyhrauch
    • [FOM] Psychological basis of Intuitionism   Steve Stevenson
      • [FOM] Psychological basis of Intuitionism   Andrej Bauer
      • [FOM] Psychological basis of Intuitionism   Antonino Drago
• [FOM] l basis of Intuitionism   Adriano Palma
• [FOM] SOL vs. ZFC   Joe Shipman
  • [FOM] SOL vs. ZFC   Aatu Koskensilta
    • [FOM] SOL vs. ZFC   Joe Shipman
      • [FOM] SOL vs. ZFC   Alex Blum
  • [FOM] SOL vs. ZFC   jkennedy at mappi.helsinki.fi
    • [FOM] SOL vs. ZFC   Joe Shipman
  • [FOM] SOL vs. ZFC   Timothy Y. Chow
    • [FOM] SOL vs. ZFC   Joe Shipman
      • [FOM] SOL vs. ZFC   Timothy Y. Chow
  • [FOM] SOL vs. ZFC   José Ferreirós Domínguez
  • [FOM] SOL vs. ZFC   José Ferreirós Domínguez
  • [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] 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?   Arnon Avron
  • [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] 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] ending the thread on the role of psychology in intuitionism   frank waaldijk
• [FOM] T + ~Con(T) Refutes Its Goedel Sentence   Richard Heck
  • [FOM] T + ~Con(T) Refutes Its Goedel Sentence   Peter Smith
• [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] Andrej Bauer complains and leaves FOM   Alex Blum
• [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] A question about Church   Francisco Gomes Martins
    • [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] Question About Church   Alasdair Urquhart
    • [FOM] Question About Church   Harry Deutsch
  • [FOM] Qustion About Church   Francisco Gomes Martins
• [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] Is current computability theory intuitionistic?   joeshipman at aol.com
    • [FOM] Is current computability theory intuitionistic?   Mitchell Spector
  • [FOM] Is current computability theory intuitionistic?   Alasdair Urquhart
    • [FOM] Is current computability theory intuitionistic?   WILLIAM TAIT
      • [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?   WILLIAM TAIT
      • [FOM] Is current computability theory intuitionistic?   Craig Smorynski
      • [FOM] Is current computability theory intuitionistic?   WILLIAM TAIT
      • [FOM] Is current computability theory intuitionistic?   Craig Smorynski
  • [FOM] Is current computability theory intuitionistic?   Arnon Avron
    • [FOM] Is current computability theory intuitionistic?   Antonino Drago
  • [FOM] Is current computability theory intuitionistic?   Carl Mummert
    • [FOM] Is current computability theory intuitionistic?   Panu Raatikainen
    • [FOM] Is current computability theory intuitionistic?   Sam Sanders
  • [FOM] Is current computability theory intuitionistic?   Vasco Brattka
  • [FOM] Is current computability theory intuitionistic?   Timothy Y. Chow
  • [FOM] Is current computability theory intuitionistic?   Dustin Wehr
• [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] 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] 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

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