March 2012 Archives by date

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

Starting: Thu Mar 1 11:48:18 EST 2012
Ending: Sat Mar 31 01:10:29 EDT 2012
Messages: 123

• [FOM] Deadline changes in Logic & Relativity conference honoring István Németi's 70th birthday   Gergely Székely
• [FOM] Math vs. Logic   Dana Scott
• [FOM] Strength of Logical Principles   Dmytro Taranovsky
• [FOM] Discriminated Part-hood   Zuhair Abdul Ghafoor Al-Johar
• [FOM] About automated theorem proving Gerhard Gentzen-style without using prenex form for formulas   dorin alex
• [FOM] response to Sam Sanders' intriguing recent post on reductionism   Tom Dunion
• [FOM] Math vs. Logic   Vaughan Pratt
• [FOM] "only in a Pickwickian sense"   Margaret MacDougall
• [FOM] iterative conception/cumulative hierarchy   Nik Weaver
• [FOM] Turing Centenary Workshop on "The Incomputable", June 12-15, 2012   S Barry Cooper
• [FOM] Call for participation -- Proof Theory and Modal Logic   David Fernández Duque
• [FOM] Physical Theories and Hypercomputation   Dmytro Taranovsky
• [FOM] Testing Hypercomputers   Dmytro Taranovsky
• [FOM] Turing Centenary Meeting, Chinese Academy of Sciences, Beijing, China   S B Cooper
• [FOM] Physical Theories and Hypercomputation   Antonino Drago
• [FOM] CALL FOR PAPERS: SPECIAL ISSUE ABOUT FREGE'S PHILOSOPHY   mlika hamdi
• [FOM] Final CfP: ESSLLI 2012 Student Session   ESSLLI 2012 Student Session
• [FOM] Physical Theories and Hypercomputation   Vaughan Pratt
• [FOM] Fictionalism About Mathematics   Harry Deutsch
• [FOM] Fictionalism About Mathematics   Richard Heck
• [FOM] Physical Theories and Hypercomputation   Antonino Drago
• [FOM] Fictionalism About Mathematics   Harry Deutsch
• [FOM] Fictionalism About Mathematics   Kevin Scharp
• [FOM] Fictionalism About Mathematics   ARF (Richard L. Epstein)
• [FOM] Fictionalism About Mathematics   T.Forster at dpmms.cam.ac.uk
• [FOM] Fictionalism About Mathematics   Vaughan Pratt
• [FOM] Physical Theories and Hypercomputation   Dmytro Taranovsky
• [FOM] Fictionalism About Mathematics   Colin McLarty
• [FOM] Fictionalism About Mathematics   Alan Weir
• [FOM] Fictionalism About Mathematics   Colin McLarty
• [FOM] Fictionalism About Mathematics   MartDowd at aol.com
• [FOM] Fictionalism About Mathematics   Richard Heck
• [FOM] Fictionalism About Mathematics   Justin D'Ambrosio
• [FOM] Fictionalism About Mathematics   Feng Ye
• [FOM] Fictionalism About Mathematics   charlie
• [FOM] Logic and Computability Session, IV Latin American Congress of Mathematicians (IV CLAM)   Veronica Becher
• [FOM] Fictionalism About Mathematics   Vaughan Pratt
• [FOM] Fictionalism About Mathematics   W.Taylor at math.canterbury.ac.nz
• [FOM] Fictionalism About Mathematics   Harry Deutsch
• [FOM] [Fwd: Re: Fictionalism About Mathematics]   Director CPFS
• [FOM] Physical Theories and Hypercomputation   Apostolos Syropoulos
• [FOM] Fictionalism About Mathematics   Aatu Koskensilta
• [FOM] Fictionalism About Mathematics   Richard Heck
• [FOM] Fictionalism About Mathematics   Avril Styrman
• [FOM] iterative conception/cumulative hierarchy   d_obrien
• [FOM] Fictionalism About Mathematics   W.Taylor at math.canterbury.ac.nz
• [FOM] Fictionalism About Mathematics   Aatu Koskensilta
• [FOM] Fictionalism About Mathematics   Panu Raatikainen
• [FOM] Fictionalism About Mathematics   Thomas Forster
• [FOM] Lewis on Fictionalism About Mathematics   Staffan Angere
• [FOM] Lewis on Fictionalism About Mathematics   Richard Heck
• [FOM] closing the thread on fictionalism   Martin Davis
• [FOM] 486:Naturalness Issues   Harvey Friedman
• [FOM] Deadlines for ASL and Elsevier Travel Grants for CiE 2012   S Barry Cooper
• [FOM] Post doc position in Ghent   Andreas Weiermann
• [FOM] 486:Naturalness Issues   Timothy Y. Chow
• [FOM] 486:Naturalness Issues   David Roberts
• [FOM] “only in a Pickwickian sense”   Jon Awbrey
• [FOM] R: CfPs in the area of History and Philosophy of Computing   gprimiero at libero.it
• [FOM] Richard Epstein's view   Timothy Y. Chow
• [FOM] 486:Naturalness Issues   Harvey Friedman
• [FOM] Richard Epstein's view   Harry Deutsch
• [FOM] 486:Naturalness Issues   Harvey Friedman
• [FOM] Richard Epstein's view   charlie
• [FOM] Richard Epstein's view   Arnon Avron
• [FOM] Richard Epstein's view   Neil Dewar
• [FOM] Richard Epstein's view   Monroe Eskew
• [FOM] CORRECTED SUBMISSION DEADLINE Logic and Computability Session, IV Latin American Congress of Mathematicians, Argentina   Veronica Becher
• [FOM] Axiomatizing Higher Order Set Theory   Dmytro Taranovsky
• [FOM] 486:Naturalness Issues   Sam Sanders
• [FOM] Goedel's God   Donald Stahl
• [FOM] Second Announcement and CFP: 8th SCANDINAVIAN LOGIC SYMPOSIUM 20-21 August 2012 at Roskilde University, DENMARK   Erik Palmgren
• [FOM] 487:Invariant Maximality/Naturalness   Harvey Friedman
• [FOM] Clarification of #487   Harvey Friedman
• [FOM] A question about uncountable torsion-free divisible groups   Thomas Forster
• [FOM] A question about uncountable torsion-free divisible groups   Ashutosh
• [FOM] 487:Invariant Maximality/Naturalness   David Roberts
• [FOM] Definability beyond HOD   Dmytro Taranovsky
• [FOM] A question about uncountable torsion-free divisible groups   Christian Espindola
• [FOM] 486:Naturalness Issues   Arnon Avron
• [FOM] 3 year postdoctoral research position in Innsbruck   Georg Moser
• [FOM] 488:Invariant Maximality Program   Harvey Friedman
• [FOM] 486:Naturalness Issues   rda at lemma-one.com
• [FOM] A question about uncountable torsion-free divisible groups   Thomas Forster
• [FOM] A question about uncountable torsion-free divisible groups   Christian Espindola
• [FOM] A New Ordinal Notation System   Dmytro Taranovsky
• [FOM] 489:Invariant Maximality Programs   Harvey Friedman
• [FOM] 486:Naturalness Issues   Rob Arthan
• [FOM] 490:Invariant Maximality Program 2   Harvey Friedman
• [FOM] Harvey on invariant maximality   Andrew Arana
• [FOM] 489:Invariant Maximality Programs   Dmytro Taranovsky
• [FOM] Constructivity in Logic Conference   Melvin Fitting
• [FOM] Harvey on invariant maximality   Harvey Friedman
• [FOM] 491:Formal Simplicity   Harvey Friedman
• [FOM] 491:Formal Simplicity   Sam Sanders
• [FOM] A few more thoughts on the expression 'only in a Pickwickian sense'   Margaret MacDougall
• [FOM] illative logic   Arnold Neumaier
• [FOM] LICS 2012 Call for Short Presentations and Posters [FROM:stephan.kreutzer at tu-berlin.de]   Kreutzer, Stephan
• [FOM] illative logic   Alasdair Urquhart
• [FOM] illative logic   Jay Sulzberger
• [FOM] illative logic   Sara L. Uckelman
• [FOM] illative combinatory logic   Andreas Blass
• [FOM] A few more thoughts on the expression “only in a Pickwickian sense”   Jon Awbrey
• [FOM] illative logic   Rob Arthan
• [FOM] Call for Participation: RTA 2012   Georg Moser
• [FOM] Response / critical review of Franzen's Gödel book   // ravi
• [FOM] VeriML   Guillaume Fortaine
• [FOM] illative logic   Patrik Eklund
• [FOM] Richard Epstein's view   Timothy Y. Chow
• [FOM] A few more thoughts on the expression “only in a Pickwickian sense” [nominalism and pragmatism]   Margaret MacDougall
• [FOM] Harvey on invariant maximality   Timothy Y. Chow
• [FOM] LFCS 2013, San Diego January 6-8: First Call for Papers   Sergei Artemov
• [FOM] 491:Formal Simplicity   David Roberts
• [FOM] Response / critical review of Franzen's Gödel book   charlie
• [FOM] Harvey on invariant maximality   Harvey Friedman
• [FOM] postdoc in Udine   Alberto Marcone
• [FOM] Kreisel, Löb, and G2   Panu Raatikainen
• [FOM] Harvey on invariant maximality   Sam Sanders
• [FOM] Richard Epstein's view   Arnon Avron
• [FOM] 492:Invariant Maximality/conjectures   Friedman, Harvey
• [FOM] Equivalence of Downward Löwenheim-Skolem theorem and the Axiom of Dependent Choice   Christian Espindola
• [FOM] Richard Epstein's view   Timothy Y. Chow
• [FOM] 493:Invariant Maximality/conjectures 2   Friedman, Harvey

Last message date: Sat Mar 31 01:10:29 EDT 2012
Archived on: Sat Mar 31 19:23:32 EDT 2012

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