August 2014 Archives by thread

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

Starting: Fri Aug 1 22:12:33 EDT 2014
Ending: Sat Aug 30 23:37:18 EDT 2014
Messages: 83

• [FOM] Formally verifying "checkers is a draw"   Timothy Y. Chow
  • [FOM] Formally verifying "checkers is a draw"   Timothy Y. Chow
    • [FOM] Formally verifying "checkers is a draw"   Josef Urban
      • [FOM] Formally verifying "checkers is a draw"   Timothy Y. Chow
      • [FOM] Formally verifying "checkers is a draw"   Bas Spitters
      • [FOM] Formally verifying "checkers is a draw"   Josef Urban
      • [FOM] Formally verifying "checkers is a draw"   Timothy Y. Chow
      • [FOM] Formally verifying "checkers is a draw"   Josef Urban
      • [FOM] Formally verifying "checkers is a draw"   Timothy Y. Chow
      • [FOM] Formally verifying "checkers is a draw"   Rempe-Gillen, Lasse
      • [FOM] A computationally very hard, mathematically very interesting problem   Arnold Neumaier
      • [FOM] Formally verifying "checkers is a draw"   AD Brooke-Taylor
      • [FOM] Formally verifying "checkers is a draw"   Bas Spitters
      • [FOM] Formally verifying "checkers is a draw"   Rob Arthan
    • [FOM] Formally verifying "checkers is a draw"   martdowd at aol.com
• [FOM] 525: Explicitly Finite Pi01   Harvey Friedman
• [FOM] 526: More Perfect Pi01   Harvey Friedman
• [FOM] Fwd: Flyspeck project completion   Josef Urban
• [FOM] 527: Some Mental Pictures I   Harvey Friedman
• [FOM] Continuum/Feferman   Harvey Friedman
• [FOM] Proof Engineering Implications 1   Harvey Friedman
• [FOM] Math Depth/Maddy   Harvey Friedman
  • [FOM] Math Depth/Maddy   Nik Weaver
    • [FOM] Math Depth/Maddy   Nick Nielsen
• [FOM] Continuum/Letters/Clarification   Harvey Friedman
• [FOM] Thoughts on CH 1   Harvey Friedman
  • [FOM] Thoughts on CH 1   martdowd at aol.com
• [FOM] foundational exposition   Harvey Friedman
• [FOM] Manjul Bhargava: A nice exception to a rule   Colin McLarty
  • [FOM] Manjul Bhargava: A nice exception to a rule   David Roberts
    • [FOM] Manjul Bhargava: A nice exception to a rule   Joe Shipman
  • [FOM] Manjul Bhargava: A nice exception to a rule   Timothy Y. Chow
• [FOM] Thoughts on CH 2   Harvey Friedman
  • [FOM] Thoughts on CH 2   joeshipman at aol.com
    • [FOM] Thoughts on CH 2   Monroe Eskew
  • [FOM] Thoughts on CH 2   Arnon Avron
    • [FOM] Thoughts on CH 2   Harvey Friedman
  • [FOM] Thoughts on CH 2   Timothy Y. Chow
• [FOM] CFP: SoTFoM II `Competing Foundations?', 12-13 January 2015, London.   Neil Barton
• [FOM] CCC 2014 - PARTICIPATION AND REGISTRATION   Dieter Spreen
• [FOM] Mathematicians talking   Harvey Friedman
• [FOM] Numbered postings 1-527   Harvey Friedman
• [FOM] 528: More Perfect Pi01   Harvey Friedman
• [FOM] Forest Primeval → Riffs & Rotes   Jon Awbrey
• [FOM] good math   Harvey Friedman
  • [FOM] good math hunting   Jon Awbrey
• [FOM] 529: Yet More Perfect Pi01   Harvey Friedman
• [FOM] FW: a conference in memory of G. Mints: mark your calendars   Kreinovich, Vladik
• [FOM] Thoughts on CH 3   Harvey Friedman
  • [FOM] Thoughts on CH 3   Monroe Eskew
• [FOM] Fields Medal   Harry Deutsch
  • [FOM] Fields Medal   Frank Waaldijk
• [FOM] CH and vagueness   Martin Davis
  • [FOM] CH and vagueness   tf at maths.cam.ac.uk
• [FOM] foundational crisis??   Harvey Friedman
  • [FOM] Foundational Crisis?   Jon Awbrey
• [FOM] set theory/CH   Harvey Friedman
  • [FOM] set theory/CH   Monroe Eskew
• [FOM] blurry pictures/incompleteness   Harvey Friedman
• [FOM] 530: Friendlier Perfect Pi01   Harvey Friedman
• [FOM] 531: General Theory/Perfect Pi01   Harvey Friedman
• [FOM] V = L/crises   Harvey Friedman
  • [FOM] V = L/crises   Joe Shipman
    • [FOM] V = L/crises   John Baldwin
  • [FOM] V = L/crises   martdowd at aol.com
  • [FOM] V = L/crises   Timothy Y. Chow
    • [FOM] V = L/crises   W.Taylor at math.canterbury.ac.nz
      • [FOM] V = L/crises   joeshipman at aol.com
• [FOM] 532: More General Theory/Perfect Pi01   Harvey Friedman
• [FOM] set theory, V = L, CH   Harvey Friedman
  • [FOM] set theory, V = L, CH   Joe Shipman
• [FOM] 533: Progress - General Theory/Perfect Pi01   Harvey Friedman
• [FOM] Foundational Crisis   Richard Pollack
• [FOM] Impact of Inconsistency Proofs   Harvey Friedman
  • [FOM] Impact of Inconsistency Proofs   Mikhail Katz
• [FOM] Elements of Librationism and the Continuum Hypothesis   Frode Bjørdal
• [FOM] An argument for V = L   Timothy Y. Chow
  • [FOM] An argument for V = L   Harvey Friedman
    • [FOM] An argument for V = L   martdowd at aol.com
• [FOM] Fwd: planned CIMS mail system outage   Martin Davis
• [FOM] 534: Perfect Explicitly Pi01   Harvey Friedman
• [FOM] 535: Updated Perfect Explicitly Pi01   Harvey Friedman
• [FOM] Impact of Inonsistency/press releases   Harvey Friedman

Last message date: Sat Aug 30 23:37:18 EDT 2014
Archived on: Sun Aug 31 01:37:32 EDT 2014

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