July 2010 Archives by thread
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
laureano luna
- [FOM] 435: Kernel Structure Theory 1
Harvey Friedman
- [FOM] A minor issue in modal logic
laureano luna
- [FOM] Are proofs in mathematics based on sufficient evidence?
Vaughan Pratt
- [FOM] Preprint: "The unification of Mathematics via Topos Theory"
Olivia Caramello
- [FOM] Are proofs in mathematics based on sufficient evidence?
Steve Stevenson
- [FOM] Are proofs in mathematics based on sufficient evidence?
Martin Davis
- [FOM] Are proofs in mathematics based on sufficient evidence?
Michael Barany
- [FOM] Are Proofs in mathematics based on sufficient evidence
Irving
- [FOM] 436: Kernel Structure Theory 2
Harvey Friedman
- [FOM] Proof in mathematics
Irving
- [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] Recursive invariance
Michael Carroll
- [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?
Irving
- [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] 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?
Irving
- [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] MWPMW 11. Reminder
Michael Detlefsen
- [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] Are proofs in mathematics based on sufficient?
Irving
- [FOM] CFP: Visual Reasoning with Diagrams (special issue of the journal Logica Universalis)
Moktefi
- [FOM] A Formal System for Euclid
Arnon Avron
- [FOM] inverse forcing problem
Monroe Eskew
- [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] 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] 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
This archive was generated by
Pipermail 0.09 (Mailman edition).