December 2011 Archives by thread
Starting: Thu Dec 1 00:32:55 EST 2011
Ending: Sat Dec 31 11:42:53 EST 2011
Messages: 104
- [FOM] expressive power of natural languages
W.Taylor at math.canterbury.ac.nz
- [FOM] Zero-one law
pax0 at seznam.cz
- [FOM] Fwd: Re: expressive power of natural languages
Avril Styrman
- [FOM] [CiE 2012] TURING CENTENARY CONFERENCE, Cambridge, 18-23 June 2012
S Barry Cooper
- [FOM] Natural language expressive power and complexity
Valeria de Paiva
- [FOM] Impredicative Set Theory.
Zuhair Abdul Ghafoor Al-Johar
- [FOM] Announcement and CFP: What Are Foundations of Mathematics and What Are They For?
Cambridge Philosophy Conference
- [FOM] PCF theory
pax0 at seznam.cz
- [FOM] LICS 2012 Call for Papers, Highlights and Changes
Kreutzer, Stephan
- [FOM] 473:Invariant Maximal Powers/Incompleteness 1
Harvey Friedman
- [FOM] WST 2012: Second Call For Papers
Georg Moser
- [FOM] IJCAR 2012: 2nd Call for Papers
Bernhard Gramlich
- [FOM] Expressive Power of Natural Languages/ Kadvany
Lotfi A. Zadeh
- [FOM] Con(ZF) proved from three basic themes
Zuhair Abdul Ghafoor Al-Johar
- [FOM] symposium on hypercomputation and AI
Apostolos Syropoulos
- [FOM] expressive power of natural languages [THREAD BEING CLOSED]
Martin Davis
- [FOM] RTA 2012: Second Call For Papers
Georg Moser
- [FOM] Announcement: 2nd International SAT/SMT Summer School
Alberto Griggio
- [FOM] CfP Philosophy & Technology: Trends in the History and Philosophy of Computing
gprimiero at libero.it
- [FOM] Productive sets
pax0 at seznam.cz
- [FOM] Passing of Ernst: Specker
Dana Scott
- [FOM] request to post at fom: CCR 2012
Elvira Mayordomo
- [FOM] Discrete Mathematics, Jean Gallier
Jean Gallier
- [FOM] Reinhardt cardinals
meskew at math.uci.edu
- [FOM] The Finite Principle
Zuhair Abdul Ghafoor Al-Johar
- [FOM] My Website.
Zuhair Abdul Ghafoor Al-Johar
- [FOM] Postdoc position in Mathematical Logic at Stockholm University
Erik Palmgren
- [FOM] Postdoc position in Mathematical Logic
Erik Palmgren
- [FOM] Model theory/Stone topology
pax0 at seznam.cz
- [FOM] DICE 2012 - Last Call for Papers
Ugo Dal Lago
- [FOM] CAV 2012: Call for Papers
CAV 2012 CFP
- [FOM] LICS Newsletter 133
Kreutzer, Stephan
- [FOM] Incentives for the development of philosophical views in 19th and early 20th Centuries
Denyer, Callum
- [FOM] Frank Quinn article in January Notices
Timothy Y. Chow
- [FOM] FOM, Re: Incentives for the development of philosophical views...
Irving Anellis
- [FOM] Polynomial Turing machines
pax0 at seznam.cz
- [FOM] Exact Upper Bound
pax0 at seznam.cz
- [FOM] paper announcement
Nik Weaver
- [FOM] Logical Opposition - Beirut, Lebanon, June 2012
jean-yves beziau
- [FOM] necessary conditions for obtaining uncountable models: Gregory's theorem
John Baldwin
- [FOM] Sir Michael Dummett
Richard Heck
- [FOM] Quinn article, teaching math, excluded middle and constructive mathematics
frank waaldijk
- [FOM] CiE Newsletter No.53, December 28, 2011
Olivier Bournez
- [FOM] Information required regarding attribution to Kreisel
Haim Gaifman
- [FOM] Alan Woods passed away
Andreas Weiermann
- [FOM] Final Call For Papers RTA 2012
Georg Moser
- [FOM] excluded middle and constructive mathematics
Nik Weaver
- [FOM] Followup comments from Frank Quinn
Timothy Y. Chow
- [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] complexity of P-timeness
leivant
Last message date:
Sat Dec 31 11:42:53 EST 2011
Archived on: Sun Jan 1 13:21:38 EST 2012
This archive was generated by
Pipermail 0.09 (Mailman edition).