August 2010 Archives by date
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] Theodicy & The Calculus
Jon Awbrey
- [FOM] Concerning proof, truth, and certainty in mathematics
Bill Taylor
- [FOM] Concerning proof, truth, and certainty in mathematics
Arnold Neumaier
- [FOM] MSFP call for participation
Venanzio Capretta
- [FOM] Concerning proof, truth, and certainty in mathematics
Robert Lindauer
- [FOM] Concerning proof, truth, and certainty in mathematics
Nick Nielsen
- [FOM] Theodicy & The Calculus
Monroe Eskew
- [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
Tom Dunion
- [FOM] The deductive paradigm for mathematics
Vladimir Sazonov
- [FOM] 437: Kernel Structure Theory 3
Harvey Friedman
- [FOM] Fwd: The deductive paradigm for mathematics
Marc Alcobé
- [FOM] purported proof that P != NP
Martin Davis
- [FOM] The deductive paradigm for mathematics
Walt Read
- [FOM] P NP buzz
Harvey Friedman
- [FOM] Recent Advances in Unprovability (Workshop on concrete incompleteness)
Michiel De Smet
- [FOM] P=/=NP?
Kreinovich, Vladik
- [FOM] The deductive paradigm for mathematics
Vladimir Sazonov
- [FOM] P NP buzz
Alasdair Urquhart
- [FOM] P NP buzz
Harvey Friedman
- [FOM] P NP Buzz (message from Alasdair Urquhart)
Martin Davis
- [FOM] P NP buzz
Alasdair Urquhart
- [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
Harvey Friedman
- [FOM] Weak representability as basic?
Panu Raatikainen
- [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
S. S. Kutateladze
- [FOM] Galois and P NP
Andre.Rodin at ens.fr
- [FOM] Who released Deolalikar's proof into the wild?
Alasdair Urquhart
- [FOM] Galois and P NP
Harvey Friedman
- [FOM] Origin of the Buzz
Harvey Friedman
- [FOM] P NP buzz
Harvey Friedman
- [FOM] Galois and P v. NP
Dana Scott
- [FOM] Who released Deolalikar's proof into the wild?
Richard Heck
- [FOM] Who released Deolalikar's proof into the wild?
ravi
- [FOM] [CiE] Newsletter No.37, August 15, 2010
CiE
- [FOM] Who released Deolalikar's proof into the wild?
Henry Cohn
- [FOM] Who released Deolalikar's proof into the wild?
Vaughan Pratt
- [FOM] Who released Deolalikar's proof into the wild?
Richard Heck
- [FOM] P NP buzz
Timothy Y. Chow
- [FOM] [CiE] Newsletter No.37 - extra item
CiE
- [FOM] P NP buzz
joeshipman at aol.com
- [FOM] Galois and P v. NP
Antonino Drago
- [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] "Popular" article about Harvey Friedman's work on arithmetic propositions ...
Timothy Y. Chow
- [FOM] : Who coined the terms "natural number"?
Irving
- [FOM] The deductive paradigm for mathematics
Walt Read
- [FOM] Principia symposium in Cambridge
Thomas Forster
- [FOM] Who coined the term ''natural number''?
Vaughan Pratt
- [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] Origin of Notion of Characteristic Function
Richard Heck
- [FOM] inverse forcing
Ashutosh
- [FOM] The denial of '~p'
Alex Blum
- [FOM] MWPMW 11 Second Reminder (from Mic Detlefsen)
M D Davis
- [FOM] inverse forcing
Monroe Eskew
- [FOM] NonMon@30, Call for Participation
Victor Marek
- [FOM] The denial of '~p'
Richard Heck
- [FOM] MSFP - early registration: 30 August
Venanzio Capretta
- [FOM] The denial of '~p'
Ivan Antonowitz
- [FOM] The denial of '~p'
Alex Blum
- [FOM] The denial of '~p'
Andrej Bauer
- [FOM] Intermediate Turing Degrees
Merlin Carl
- [FOM] The denial of '~p'
Richard Heck
- [FOM] Recent Advances in Unprovability (Workshop on concrete incompleteness)
Michiel De Smet
- [FOM] Intermediate Turing Degrees
Stephen G Simpson
- [FOM] Intermediate Turing Degrees
Vaughan Pratt
Last message date:
Tue Aug 31 20:16:05 EDT 2010
Archived on: Wed Sep 1 07:53:23 EDT 2010
This archive was generated by
Pipermail 0.09 (Mailman edition).