August 2010 Archives by thread

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

Starting: Sun Aug 1 19:23:54 EDT 2010
Ending: Tue Aug 31 20:16:05 EDT 2010
Messages: 90

• [FOM] Concerning proof, truth, and certainty in mathematics   Harvey Friedman
  • [FOM] Concerning proof, truth, and certainty in mathematics   Vaughan Pratt
    • [FOM] Concerning proof, truth, and certainty in mathematics   Monroe Eskew
      • [FOM] Concerning proof, truth, and certainty in mathematics   Robert Lindauer
      • [FOM] Concerning proof, truth, and certainty in mathematics   Arnold Neumaier
      • [FOM] Concerning proof, truth, and certainty in mathematics   Nick Nielsen
• [FOM] Theodicy & The Calculus   Jon Awbrey
  • [FOM] Theodicy & The Calculus   Monroe Eskew
• [FOM] Concerning proof, truth, and certainty in mathematics   Bill Taylor
• [FOM] MSFP call for participation   Venanzio Capretta
• [FOM] Concerning proof, truth, and certainty in mathematics   Robert Lindauer
• [FOM] "choice of concepts"   Monroe Eskew
• [FOM] special status of mathematics?   Harvey Friedman
• [FOM] CCA 2011: Computability and Complexity in Analysis - First Call for Papers   Vasco Brattka
• [FOM] Concerning proof, truth, and certainty in mathematics   Irving
• [FOM] CCR 2011: Computability, Complexity and Randomness - First Call for Papers   Vasco Brattka
• [FOM] terminating thread on rigor and religion   Martin Davis
• [FOM] Process logic   ARF (Richard L. Epstein)
• [FOM] The deductive paradigm for mathematics   Marc Alcobé
  • [FOM] The deductive paradigm for mathematics   Kreinovich, Vladik
    • [FOM] The deductive paradigm for mathematics   Monroe Eskew
  • [FOM] The deductive paradigm for mathematics   Vladimir Sazonov
  • [FOM] The deductive paradigm for mathematics   Walt Read
• [FOM] The deductive paradigm for mathematics   Tom Dunion
• [FOM] 437: Kernel Structure Theory 3   Harvey Friedman
• [FOM] Fwd: The deductive paradigm for mathematics   Marc Alcobé
  • [FOM] The deductive paradigm for mathematics   Vladimir Sazonov
    • [FOM] The deductive paradigm for mathematics   Walt Read
• [FOM] purported proof that P != NP   Martin Davis
• [FOM] P NP buzz   Harvey Friedman
  • [FOM] P NP buzz   Alasdair Urquhart
    • [FOM] P NP buzz   Harvey Friedman
      • [FOM] Weak representability as basic?   Panu Raatikainen
• [FOM] Recent Advances in Unprovability (Workshop on concrete incompleteness)   Michiel De Smet
• [FOM] P=/=NP?   Kreinovich, Vladik
• [FOM] P NP Buzz (message from Alasdair Urquhart)   Martin Davis
• [FOM] P NP buzz   Alasdair Urquhart
  • [FOM] P NP buzz   Harvey Friedman
• [FOM] IWIL workshop at LPAR-17 in Indonesia - Extended deadline   Geoff Sutcliffe by way of Martin Davis <eipye at pacbell.net>
• [FOM] P NP buzz   Timothy Y. Chow
• [FOM] P NP buzz   Martin Davis
  • [FOM] P NP buzz   Oran Magal
  • [FOM] P NP buzz   Harvey Friedman
  • [FOM] P NP buzz   William Messing
• [FOM] Galois and P NP   Martin Davis
  • [FOM] Galois and P NP   Richard Heck
    • [FOM] Galois and P NP   Andre.Rodin at ens.fr
      • [FOM] Galois and P NP   Harvey Friedman
    • [FOM] Who released Deolalikar's proof into the wild?   Alasdair Urquhart
      • [FOM] Who released Deolalikar's proof into the wild?   Richard Heck
      • [FOM] Who released Deolalikar's proof into the wild?   Henry Cohn
      • [FOM] Who released Deolalikar's proof into the wild?   Richard Heck
      • [FOM] Who released Deolalikar's proof into the wild?   ravi
      • [FOM] Who released Deolalikar's proof into the wild?   Vaughan Pratt
    • [FOM] Origin of the Buzz   Harvey Friedman
  • [FOM] Galois and P NP   S. S. Kutateladze
• [FOM] P NP buzz   Harvey Friedman
• [FOM] Galois and P v. NP   Dana Scott
  • [FOM] Galois and P v. NP   Antonino Drago
• [FOM] [CiE] Newsletter No.37, August 15, 2010   CiE
• [FOM] P NP buzz   Timothy Y. Chow
  • [FOM] P NP buzz   joeshipman at aol.com
• [FOM] [CiE] Newsletter No.37 - extra item   CiE
• [FOM] "Popular" article about Harvey Friedman's work on arithmetic propositions ...   Martin Davis
• [FOM] 438: Kernel Structure Theory 4   Harvey Friedman
• [FOM] new paper   Steve Awodey
• [FOM] Who coined the term ''natural number''?   Arnold Neumaier
  • [FOM] Who coined the term ''natural number''?   Vaughan Pratt
• [FOM] "Popular" article about Harvey Friedman's work on arithmetic propositions ...   Timothy Y. Chow
  • [FOM] Principia symposium in Cambridge   Thomas Forster
• [FOM] : Who coined the terms "natural number"?   Irving
• [FOM] postings on Lipton blog   Harvey Friedman
• [FOM] Brouwer's choice sequences as a basis for measure theory and probability theory   Giovanni Lagnese
• [FOM] inverse forcing   Monroe Eskew
  • [FOM] inverse forcing   Ashutosh
    • [FOM] inverse forcing   Monroe Eskew
• [FOM] Origin of Notion of Characteristic Function   Richard Heck
• [FOM] The denial of '~p'   Alex Blum
  • [FOM] The denial of '~p'   Richard Heck
    • [FOM] The denial of '~p'   Ivan Antonowitz
    • [FOM] The denial of '~p'   Alex Blum
      • [FOM] The denial of '~p'   Richard Heck
  • [FOM] The denial of '~p'   Andrej Bauer
• [FOM] MWPMW 11 Second Reminder (from Mic Detlefsen)   M D Davis
• [FOM] NonMon@30, Call for Participation   Victor Marek
• [FOM] MSFP - early registration: 30 August   Venanzio Capretta
• [FOM] Intermediate Turing Degrees   Merlin Carl
  • [FOM] Intermediate Turing Degrees   Stephen G Simpson
  • [FOM] Intermediate Turing Degrees   Vaughan Pratt
• [FOM] Recent Advances in Unprovability (Workshop on concrete incompleteness)   Michiel De Smet

Last message date: Tue Aug 31 20:16:05 EDT 2010
Archived on: Wed Sep 1 07:53:23 EDT 2010

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