March 2012 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• 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] Math vs. Logic   Vaughan Pratt
• [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] "only in a Pickwickian sense"   Margaret MacDougall
• [FOM] iterative conception/cumulative hierarchy   Nik Weaver
  • [FOM] iterative conception/cumulative hierarchy   d_obrien
• [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] Physical Theories and Hypercomputation   Antonino Drago
  • [FOM] Physical Theories and Hypercomputation   Vaughan Pratt
    • [FOM] Physical Theories and Hypercomputation   Dmytro Taranovsky
      • [FOM] Physical Theories and Hypercomputation   Antonino Drago
      • [FOM] Physical Theories and Hypercomputation   Apostolos Syropoulos
• [FOM] Testing Hypercomputers   Dmytro Taranovsky
• [FOM] Turing Centenary Meeting, Chinese Academy of Sciences, Beijing, China   S B Cooper
• [FOM] CALL FOR PAPERS: SPECIAL ISSUE ABOUT FREGE'S PHILOSOPHY   mlika hamdi
• [FOM] Final CfP: ESSLLI 2012 Student Session   ESSLLI 2012 Student Session
• [FOM] Fictionalism About Mathematics   Harry Deutsch
  • [FOM] Fictionalism About Mathematics   Richard Heck
    • [FOM] Fictionalism About Mathematics   Harry Deutsch
      • [FOM] Fictionalism About Mathematics   Richard Heck
    • [FOM] Fictionalism About Mathematics   Kevin Scharp
      • [FOM] Fictionalism About Mathematics   T.Forster at dpmms.cam.ac.uk
      • [FOM] Fictionalism About Mathematics   Aatu Koskensilta
      • [FOM] Fictionalism About Mathematics   Avril Styrman
      • [FOM] Fictionalism About Mathematics   Thomas Forster
      • [FOM] Fictionalism About Mathematics   Vaughan Pratt
      • [FOM] Fictionalism About Mathematics   Colin McLarty
      • [FOM] Fictionalism About Mathematics   charlie
      • [FOM] Fictionalism About Mathematics   Aatu Koskensilta
  • [FOM] Fictionalism About Mathematics   ARF (Richard L. Epstein)
    • [FOM] Fictionalism About Mathematics   Justin D'Ambrosio
  • [FOM] Fictionalism About Mathematics   Alan Weir
    • [FOM] Fictionalism About Mathematics   Colin McLarty
    • [FOM] Fictionalism About Mathematics   W.Taylor at math.canterbury.ac.nz
    • [FOM] Fictionalism About Mathematics   Harry Deutsch
      • [FOM] Fictionalism About Mathematics   Richard Heck
      • [FOM] Fictionalism About Mathematics   Panu Raatikainen
  • [FOM] Fictionalism About Mathematics   MartDowd at aol.com
    • [FOM] Fictionalism About Mathematics   W.Taylor at math.canterbury.ac.nz
  • [FOM] Fictionalism About Mathematics   Feng Ye
  • [FOM] Fictionalism About Mathematics   Vaughan Pratt
• [FOM] Logic and Computability Session, IV Latin American Congress of Mathematicians (IV CLAM)   Veronica Becher
• [FOM] [Fwd: Re: Fictionalism About Mathematics]   Director CPFS
• [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] 486:Naturalness Issues   Timothy Y. Chow
    • [FOM] 486:Naturalness Issues   Harvey Friedman
      • [FOM] 486:Naturalness Issues   Sam Sanders
      • [FOM] A question about uncountable torsion-free divisible groups   Thomas Forster
      • [FOM] A question about uncountable torsion-free divisible groups   Ashutosh
      • [FOM] A question about uncountable torsion-free divisible groups   Christian Espindola
      • [FOM] A question about uncountable torsion-free divisible groups   Thomas Forster
      • [FOM] A question about uncountable torsion-free divisible groups   Christian Espindola
      • [FOM] 486:Naturalness Issues   Arnon Avron
      • [FOM] 486:Naturalness Issues   rda at lemma-one.com
      • [FOM] 486:Naturalness Issues   Rob Arthan
  • [FOM] 486:Naturalness Issues   David Roberts
    • [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] “only in a Pickwickian sense”   Jon Awbrey
  • [FOM] A few more thoughts on the expression 'only in a Pickwickian sense'   Margaret MacDougall
• [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] Richard Epstein's view   Harry Deutsch
  • [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] Richard Epstein's view   Timothy Y. Chow
    • [FOM] Richard Epstein's view   Arnon Avron
      • [FOM] Richard Epstein's view   Timothy Y. Chow
• [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] 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] 487:Invariant Maximality/Naturalness   David Roberts
  • [FOM] 488:Invariant Maximality Program   Harvey Friedman
  • [FOM] 489:Invariant Maximality Programs   Harvey Friedman
    • [FOM] 489:Invariant Maximality Programs   Dmytro Taranovsky
  • [FOM] 490:Invariant Maximality Program 2   Harvey Friedman
  • [FOM] 491:Formal Simplicity   Harvey Friedman
    • [FOM] 491:Formal Simplicity   Sam Sanders
    • [FOM] 491:Formal Simplicity   David Roberts
  • [FOM] 492:Invariant Maximality/conjectures   Friedman, Harvey
  • [FOM] 493:Invariant Maximality/conjectures 2   Friedman, Harvey
• [FOM] Clarification of #487   Harvey Friedman
• [FOM] Definability beyond HOD   Dmytro Taranovsky
• [FOM] 3 year postdoctoral research position in Innsbruck   Georg Moser
• [FOM] A New Ordinal Notation System   Dmytro Taranovsky
• [FOM] Harvey on invariant maximality   Andrew Arana
  • [FOM] Harvey on invariant maximality   Harvey Friedman
  • [FOM] Harvey on invariant maximality   Timothy Y. Chow
    • [FOM] Harvey on invariant maximality   Harvey Friedman
    • [FOM] Harvey on invariant maximality   Sam Sanders
• [FOM] Constructivity in Logic Conference   Melvin Fitting
• [FOM] illative logic   Arnold Neumaier
  • [FOM] illative logic   Alasdair Urquhart
    • [FOM] Response / critical review of Franzen's Gödel book   // ravi
      • [FOM] Response / critical review of Franzen's Gödel book   charlie
    • [FOM] illative logic   Patrik Eklund
  • [FOM] illative logic   Jay Sulzberger
  • [FOM] illative logic   Sara L. Uckelman
  • [FOM] illative logic   Rob Arthan
• [FOM] LICS 2012 Call for Short Presentations and Posters [FROM:stephan.kreutzer at tu-berlin.de]   Kreutzer, Stephan
• [FOM] illative combinatory logic   Andreas Blass
• [FOM] A few more thoughts on the expression “only in a Pickwickian sense”   Jon Awbrey
  • [FOM] A few more thoughts on the expression “only in a Pickwickian sense” [nominalism and pragmatism]   Margaret MacDougall
• [FOM] Call for Participation: RTA 2012   Georg Moser
• [FOM] VeriML   Guillaume Fortaine
• [FOM] LFCS 2013, San Diego January 6-8: First Call for Papers   Sergei Artemov
• [FOM] postdoc in Udine   Alberto Marcone
• [FOM] Kreisel, Löb, and G2   Panu Raatikainen
• [FOM] Equivalence of Downward Löwenheim-Skolem theorem and the Axiom of Dependent Choice   Christian Espindola

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

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