December 2011 Archives by subject

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

Starting: Thu Dec 1 00:32:55 EST 2011
Ending: Sat Dec 31 11:42:53 EST 2011
Messages: 104

• [FOM] 473:Invariant Maximal Powers/Incompleteness 1   Harvey Friedman
• [FOM] [CiE 2012] TURING CENTENARY CONFERENCE, Cambridge, 18-23 June 2012   S Barry Cooper
• [FOM] ] Incentives for the development of philosophical views in   Adriano Palma
• [FOM] acceptable enumerations   T.Forster at dpmms.cam.ac.uk
• [FOM] acceptable enumerations   Panu Raatikainen
• [FOM] acceptable enumerations   T.Forster at dpmms.cam.ac.uk
• [FOM] acceptable enumerations   Samuel Moelius
• [FOM] acceptable enumerations   Vaughan Pratt
• [FOM] Alan Woods passed away   Andreas Weiermann
• [FOM] Announcement: 2nd International SAT/SMT Summer School   Alberto Griggio
• [FOM] Announcement and CFP: What Are Foundations of Mathematics and What Are They For?   Cambridge Philosophy Conference
• [FOM] CAV 2012: Call for Papers   CAV 2012 CFP
• [FOM] CfP Philosophy & Technology: Trends in the History and Philosophy of Computing   gprimiero at libero.it
• [FOM] CiE Newsletter No.53, December 28, 2011   Olivier Bournez
• [FOM] complexity of P-timeness   leivant
• [FOM] Con(ZF) proved from three basic themes   Zuhair Abdul Ghafoor Al-Johar
• [FOM] Con(ZF) proved from three basic themes   Zuhair Abdul Ghafoor Al-Johar
• [FOM] Con(ZF) proved from three basic themes   Zuhair Abdul Ghafoor Al-Johar
• [FOM] DICE 2012 - Last Call for Papers   Ugo Dal Lago
• [FOM] Discrete Mathematics, Jean Gallier   Jean Gallier
• [FOM] Exact Upper Bound   pax0 at seznam.cz
• [FOM] excluded middle and constructive mathematics   Nik Weaver
• [FOM] expressive power of natural languages   W.Taylor at math.canterbury.ac.nz
• [FOM] expressive power of natural languages   John Kadvany
• [FOM] expressive power of natural languages   Richard Heck
• [FOM] expressive power of natural languages   Vaughan Pratt
• [FOM] expressive power of natural languages   Mark Lance
• [FOM] expressive power of natural languages   Patrik Eklund
• [FOM] expressive power of natural languages   Jakub Szymanik
• [FOM] expressive power of natural languages   Arnold Neumaier
• [FOM] expressive power of natural languages   Lotfi A. Zadeh
• [FOM] expressive power of natural languages   John Kadvany
• [FOM] Expressive Power of Natural Languages/ Kadvany   Lotfi A. Zadeh
• [FOM] expressive power of natural languages [THREAD BEING CLOSED]   Martin Davis
• [FOM] Final Call For Papers RTA 2012   Georg Moser
• [FOM] Followup comments from Frank Quinn   Timothy Y. Chow
• [FOM] FOM, Re: Incentives for the development of philosophical views...   Irving Anellis
• [FOM] Frank Quinn article in January Notices   Timothy Y. Chow
• [FOM] Frank Quinn article in January Notices   A. Mani
• [FOM] Frank Quinn article in January Notices   Monroe Eskew
• [FOM] Frank Quinn article in January Notices   David Roberts
• [FOM] Frank Quinn article in January Notices   Timothy Y. Chow
• [FOM] Frank Quinn article in January Notices   Vaughan Pratt
• [FOM] Frank Quinn article in January Notices   Nick Nielsen
• [FOM] Frank Quinn article in January Notices   Monroe Eskew
• [FOM] Frank Quinn article in January Notices   David Roberts
• [FOM] Frank Quinn article in January Notices   Monroe Eskew
• [FOM] Frank Quinn article in January Notices   Walt Read
• [FOM] Frank Quinn article in January Notices   Irving Anellis
• [FOM] Frank Quinn article in January Notices   Vaughan Pratt
• [FOM] Frank Quinn article in January Notices   Timothy Y. Chow
• [FOM] Frank Quinn article in January Notices   Walt Read
• [FOM] Frank Quinn article in January Notices   Michael Blackmon
• [FOM] Fwd: Re: expressive power of natural languages   Avril Styrman
• [FOM] Fwd: Re: expressive power of natural languages   Camilo Thorne
• [FOM] if anybody has a pdf of the paper, below quoted in full citation form, would you you please contact me? thank you   Adriano Palma
• [FOM] IJCAR 2012: 2nd Call for Papers   Bernhard Gramlich
• [FOM] IJCAR 2012: 2nd Call for Papers   Bernhard Gramlich
• [FOM] Impredicative Set Theory.   Zuhair Abdul Ghafoor Al-Johar
• [FOM] Incentives for the development of philosophical views in 19th and early 20th Centuries   Denyer, Callum
• [FOM] Information required regarding attribution to Kreisel   Haim Gaifman
• [FOM] Information required regarding attribution to Kreisel   William Tait
• [FOM] Information required regarding attribution to Kreisel   Adriano Palma
• [FOM] Information required regarding attribution to Kreisel   William Tait
• [FOM] Information required regarding attribution to Kreisel   Richard Heck
• [FOM] Information required regarding attribution to Kreisel   William Tait
• [FOM] LICS 2012 Call for Papers, Highlights and Changes   Kreutzer, Stephan
• [FOM] LICS Newsletter 133   Kreutzer, Stephan
• [FOM] Logical Opposition - Beirut, Lebanon, June 2012   jean-yves beziau
• [FOM] Model theory/Stone topology   pax0 at seznam.cz
• [FOM] My Website.   Zuhair Abdul Ghafoor Al-Johar
• [FOM] Natural language expressive power and complexity   Valeria de Paiva
• [FOM] necessary conditions for obtaining uncountable models: Gregory's theorem   John Baldwin
• [FOM] paper announcement   Nik Weaver
• [FOM] paper announcement   Robert Solovay
• [FOM] paper announcement   Nik Weaver
• [FOM] Passing of Ernst: Specker   Dana Scott
• [FOM] PCF theory   pax0 at seznam.cz
• [FOM] PCF Theory   Amit Gupta
• [FOM] Polynomial Turing machines   pax0 at seznam.cz
• [FOM] Polynomial Turing machines   Mitchell Spector
• [FOM] Polynomial Turing machines   Mitchell Spector
• [FOM] Postdoc position in Mathematical Logic   Erik Palmgren
• [FOM] Postdoc position in Mathematical Logic at Stockholm University   Erik Palmgren
• [FOM] Productive sets   pax0 at seznam.cz
• [FOM] Quinn article, teaching math, excluded middle and constructive mathematics   frank waaldijk
• [FOM] Quinn article, teaching math, excluded middle and constructive mathematics   Panu Raatikainen
• [FOM] Quinn article, teaching math, excluded middle and constructive mathematics   Nick Nielsen
• [FOM] regarding attribution to Kreisel   Adriano Palma
• [FOM] regarding attribution to Kreisel   Alasdair Urquhart
• [FOM] Reinhardt cardinals   meskew at math.uci.edu
• [FOM] Reinhardt cardinals   Robert Solovay
• [FOM] Reinhardt cardinals   meskew at math.uci.edu
• [FOM] Reinhardt cardinals   Andrew Brooke-Taylor
• [FOM] request to post at fom: CCR 2012   Elvira Mayordomo
• [FOM] RTA 2012: Second Call For Papers   Georg Moser
• [FOM] Sir Michael Dummett   Richard Heck
• [FOM] symposium on hypercomputation and AI   Apostolos Syropoulos
• [FOM] The Finite Principle   Zuhair Abdul Ghafoor Al-Johar
• [FOM] The Finite Principle   Zuhair Abdul Ghafoor Al-Johar
• [FOM] WST 2012: Second Call For Papers   Georg Moser
• [FOM] Zero-one law   pax0 at seznam.cz
• [FOM] Zero-one law   John Baldwin
• [FOM] Zero-one law   Alasdair Urquhart

Last message date: Sat Dec 31 11:42:53 EST 2011
Archived on: Sun Jan 1 13:21:38 EST 2012

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