July 2010 Archives by date

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

Starting: Thu Jul 1 07:03:32 EDT 2010
Ending: Sat Jul 31 21:30:40 EDT 2010
Messages: 100

• [FOM] Chair in Mathematical Logic   palmgren at math.uu.se
• [FOM] Gödel, Darwin and creating mathematics   Paul Budnik
• [FOM] A minor issue in modal logic   Keith Brian Johnson
• [FOM] 434: Digraph Kernel Structure Theory 1   Harvey Friedman
• [FOM] A minor issue in modal logic   Michael Lee Finney
• [FOM] A minor issue in modal logic   Richard Heck
• [FOM] A minor issue in modal logic   Steven Ericsson Zenith
• [FOM] A minor issue in modal logic   Richard Heck
• [FOM] A minor issue in modal logic   Richard Heck
• [FOM] A minor issue in modal logic   laureano luna
• [FOM] A minor issue in modal logic   Michael Carroll
• [FOM] 435: Kernel Structure Theory 1   Harvey Friedman
• [FOM] A minor issue in modal logic   Michael Lee Finney
• [FOM] A minor issue in modal logic   Robert Lindauer
• [FOM] A minor issue in modal logic   Richard Heck
• [FOM] A minor issue in modal logic   Richard Heck
• [FOM] A minor issue in modal logic   Richard Heck
• [FOM] A minor issue in modal logic   laureano luna
• [FOM] A minor issue in modal logic   Richard Heck
• [FOM] Are proofs in mathematics based on sufficient evidence?   Vaughan Pratt
• [FOM] Are proofs in mathematics based on sufficient evidence?   Arnold Neumaier
• [FOM] Preprint: "The unification of Mathematics via Topos Theory"   Olivia Caramello
• [FOM] A minor issue in modal logic   Richard Heck
• [FOM] Are proofs in mathematics based on sufficient evidence?   Steve Stevenson
• [FOM] Are proofs in mathematics based on sufficient evidence?   Jim Hardy
• [FOM] Are proofs in mathematics based on sufficient evidence?   Nick Nielsen
• [FOM] Preprint: "The unification of Mathematics via Topos Theory"   Brian Hart
• [FOM] Are proofs in mathematics based on sufficient evidence?   Martin Davis
• [FOM] Are proofs in mathematics based on sufficient evidence?   Michael Barany
• [FOM] Preprint: "The unification of Mathematics via Topos Theory"   Vaughan Pratt
• [FOM] Are proofs in mathematics based on sufficient evidence?   m at pavis.biodec.com
• [FOM] Are proofs in mathematics based on sufficient evidence?   Richard Heck
• [FOM] Are proofs in mathematics based on sufficient evidence?   Robert Lindauer
• [FOM] Are Proofs in mathematics based on sufficient evidence   Irving
• [FOM] 436: Kernel Structure Theory 2   Harvey Friedman
• [FOM] Are proofs in mathematics based on sufficient evidence?   Richard Heck
• [FOM] Are proofs in mathematics based on sufficient evidence?   Monroe Eskew
• [FOM] R: Preprint: "The unification of Mathematics via Topos Theory"   Olivia Caramello
• [FOM] R: Preprint: "The unification of Mathematics via Topos Theory"   Olivia Caramello
• [FOM] Proof in mathematics   Irving
• [FOM] Are proofs in mathematics based on sufficient evidence?   hendrik at topoi.pooq.com
• [FOM] 18 Word Proof of the Godel, Rosser and Smullyan Incompleteness Theorems   Charlie V
• [FOM] R: Preprint: "The unification of Mathematics via Topos Theory"   Vaughan Pratt
• [FOM] Proof in mathematics   catarina dutilh
• [FOM] 18 Word Proof of the Godel, Rosser and Smullyan Incompleteness Theorems   Panu Raatikainen
• [FOM] Recursive invariance   Michael Carroll
• [FOM] Are proofs in mathematics based on sufficient evidence?   Michael Barany
• [FOM] Call for Papers and Participation: 14th Congress of Logic, Methodology and Philosophy of Science - Nancy (France), 19-26 July, 2011   Pierre Edouard Bour
• [FOM] Are proofs in mathematics based on sufficient evidence?   Monroe Eskew
• [FOM] Are proofs in mathematics based on sufficient evidence?   Jim Hardy
• [FOM] Are Proofs in mathematics based on sufficient evidence?   Irving
• [FOM] Are Proofs in mathematics based on sufficient evidence?   Monroe Eskew
• [FOM] Are Proofs in mathematics based on sufficient evidence?   Vaughan Pratt
• [FOM] Recursive invariance   Vaughan Pratt
• [FOM] Are proofs in mathematics based on sufficient evidence?   Michael Barany
• [FOM] 10 PhD student positions in Computational Logic at Vienna University of Technology   Thomas Krennwallner
• [FOM] Are Proofs in mathematics based on sufficient evidence?   Vaughan Pratt
• [FOM] call for papers   Andre.Rodin at ens.fr
• [FOM] 18 Word Proof of the Godel, Rosser and Smullyan Incompleteness Theorems   Charlie V
• [FOM] Are proofs in mathematics based on sufficient evidence?   Monroe Eskew
• [FOM] Are proofs in mathematics based on sufficient evidence?   joeshipman at aol.com
• [FOM] Are Proofs in mathematics based on sufficient?   Irving
• [FOM] 18 Word Proof of the Godel, Rosser and Smullyan Incompleteness Theorems   Harvey Friedman
• [FOM] R: Preprint: "The unification of Mathematics via Topos Theory"   Vaughan Pratt
• [FOM] Are proofs in mathematics based on sufficient evidence?   Michael Barany
• [FOM] Are Proofs in mathematics based on sufficient evidence?   Monroe Eskew
• [FOM] 18 Word Proof of the Godel, Rosser and Smullyan Incompleteness Theorems   Panu Raatikainen
• [FOM] Are proofs in mathematics based on sufficient evidence?   Irving
• [FOM] 18 Word Proof of the Godel, Rosser and Smullyan Incompleteness Theorems   Martin Davis
• [FOM] Are proofs in mathematics based on sufficient evidence?   Vaughan Pratt
• [FOM] 18 Word Proof of the Godel, Rosser and Smullyan Incompleteness Theorems   steve newberry
• [FOM] MWPMW 11. Reminder   Michael Detlefsen
• [FOM] Are proofs in mathematics based on sufficient evidence?   Monroe Eskew
• [FOM] Are proofs in mathematics based on sufficient evidence?   Monroe Eskew
• [FOM] 18 Word Proof of the Godel, Rosser and Smullyan Incompleteness Theorems   Harvey Friedman
• [FOM] Are proofs in mathematics based on sufficient evidence?   Michael Barany
• [FOM] R: R: Preprint: "The unification of Mathematics via Topos Theory"   Olivia Caramello
• [FOM] Kripke-Kleene equation calculus   Toby Meadows
• [FOM] Submission deadline extended!!! 4th Indian Conference on logic and its applications, New Delhi, Jan 9-11, 2011.   Sujata Ghosh
• [FOM] Homology/MacLane/Book   pax0 at seznam.cz
• [FOM] Kripke-Kleene equation calculus   Harvey Friedman
• [FOM] Are proofs in mathematics based on sufficient?   Irving
• [FOM] CFP: Visual Reasoning with Diagrams (special issue of the journal Logica Universalis)   Moktefi
• [FOM] 18 Word Proof of the Godel, Rosser and Smullyan Incompleteness Theorems   Charlie V
• [FOM] 18 Word Proof of the Godel, Rosser and Smullyan Incompleteness Theorems   Panu Raatikainen
• [FOM] Are proofs in mathematics based on sufficient evidence?   Charles Silver
• [FOM] A Formal System for Euclid   Arnon Avron
• [FOM] inverse forcing problem   Monroe Eskew
• [FOM] Are proofs in mathematics based on sufficient evidence?   Vaughan Pratt
• [FOM] Are proofs in mathematics based on sufficient?   Irving
• [FOM] [CiE] FP7 Marie Curie ITN (Initial Training Networks) Call for Proposals open   S Barry Cooper
• [FOM] inverse forcing problem   Monroe Eskew
• [FOM] FIRST CALL FOR PAPERS CCA 2010 Post Conference Special Issue   Zheng, Xizhong
• [FOM] inverse forcing   Ali Enayat
• [FOM] Ordinal definable numbers   Ali Enayat
• [FOM] A choice principle in Quine-Jensen set theory   Ali Enayat
• [FOM] inverse forcing   Monroe Eskew
• [FOM] LPAR-17 call for short papers, workshop submissions   Geoff Sutcliffe by way of Martin Davis <eipye at pacbell.net>
• [FOM] BRT book   Harvey Friedman
• [FOM] Concerning proof, truth, and certainty in mathematics   ARF (Richard L. Epstein)

Last message date: Sat Jul 31 21:30:40 EDT 2010
Archived on: Sun Aug 1 17:11:04 EDT 2010

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