October 2008 Archives by thread

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

Starting: Thu Oct 2 14:53:12 EDT 2008
Ending: Thu Oct 30 13:03:04 EDT 2008
Messages: 115

• [FOM] If "NP is not in P/poly" is barely true, then it is unprovable   Timothy Y. Chow
  • [FOM] If "NP is not in P/poly" is barely true, then it is unprovable   Alasdair Urquhart
• [FOM] CiE 2009 in Heidelberg - First Call for Papers   S B Cooper
• [FOM] LaTeX (not just for) for Logicians   Peter Smith
  • [FOM] LaTeX (not just for) for Logicians   Richard Zach
• [FOM] If "NP is not in P/poly" is barely true, then it is unprovable   Timothy Y. Chow
• [FOM] Question: Large chains in the power set of reals   George Barmpalias
• [FOM] mechanical theorem metachecking   hendrik at topoi.pooq.com
• [FOM] mechanical theorem metachecking   Martin Davis
  • [FOM] mechanical theorem metachecking   Roger Bishop Jones
• [FOM] large chains in the power set of the reals   Dave Marker
  • [FOM] large chains in the power set of the reals   Alasdair Urquhart
• [FOM] First edition of The Russell-Whitehead Principia   Cameron Freer
• [FOM] If "NP is not in P/poly" is barely true, then it is unprovable   Timothy Y. Chow
  • [FOM] If "NP is not in P/poly" is barely true, then it is unprovable   Alasdair Urquhart
• [FOM] large chains in the power set of the reals   Liang Yu
• [FOM] A question about the possible sizes of definable collections of non measurable sets of reals   Ashutosh
• [FOM] Godel's First Incompleteness Theorem as it possibly relates to Physics   Brian Hart
  • [FOM] Godel's First Incompleteness Theorem as it possibly relates to Physics   Tero Tulenheimo
  • [FOM] Godel's First Incompleteness Theorem as it possibly relates to Physics   Walter Read
  • [FOM] Godel's First Incompleteness Theorem as it possibly relatesto Physics   Kreinovich, Vladik
    • [FOM] Godel's First Incompleteness Theorem as it possibly relates to Physics   Alex Blum
      • [FOM] Godel's First Incompleteness Theorem as it possibly relates to Physics   Kreinovich, Vladik
    • [FOM] Godel's First Incompleteness Theorem as it possibly relatesto Physics   Brian Hart
      • [FOM] Godel's First Incompleteness Theorem as it possibly relatesto Physics   hendrik at topoi.pooq.com
      • [FOM] Godel's First Incompleteness Theorem as it possibly relatesto Physics   Andrej Bauer
      • [FOM] Godel's First Incompleteness Theorem as it possibly relatesto Physics   Vaughan Pratt
  • [FOM] Godel's First Incompleteness Theorem as it possibly relates to Physics   Alasdair Urquhart
    • [FOM] Godel's First Incompleteness Theorem as it possibly relates to Physics   Brian Hart
  • [FOM] Godel's First Incompleteness Theorem as it possibly relates to Physics   rgheck
  • [FOM] Completeness formulations   Harvey Friedman
    • [FOM] Completeness formulations   joeshipman at aol.com
      • [FOM] philosophical literature on intuitionism   Thomas Forster
      • [FOM] philosophical literature on intuitionism   Lawrence Stout
      • [FOM] philosophical literature on intuitionism   praatika at mappi.helsinki.fi
      • [FOM] philosophical literature on intuitionism   Juliette Kennedy
      • [FOM] philosophical literature on intuitionism   Hugo Coolens
      • [FOM] philosophical literature on intuitionism   Teun Koetsier
      • [FOM] philosophical literature on intuitionism   Richard Zach
      • [FOM] philosophical literature on intuitionism   Frank Waaldijk
      • [FOM] philosophical literature on intuitionism   Vaughan Pratt
      • [FOM] philosophical literature on intuitionism   William Tait
      • [FOM] philosophical literature on intuitionism   hendrik at topoi.pooq.com
      • [FOM] philosophical literature on intuitionism   Michael Zeleny
      • [FOM] philosophical literature on intuitionism   Benjamin
      • [FOM] philosophical literature on intuitionism   Robin Adams
    • [FOM] Completeness formulations   Brian Hart
      • [FOM] Incompleteness and Physics: comment 1   Allen Hazen
    • [FOM] Incompleteness and Physics: comment 2   Allen Hazen
      • [FOM] Incompleteness and Physics: comment 2   Vaughan Pratt
      • [FOM] Incompleteness and Physics   joeshipman at aol.com
      • [FOM] Incompleteness and Physics   Vaughan Pratt
      • [FOM] Incompleteness and Physics   joeshipman at aol.com
  • [FOM] Godel's First Incompleteness Theorem as it possibly relates to Physics   Vaughan Pratt
    • [FOM] Godel's First Incompleteness Theorem as it possibly relates to Physics   John McCarthy
    • [FOM] Godel's First Incompleteness Theorem as it possibly relates to Physics   Paul Budnik
      • [FOM] Godel's First Incompleteness Theorem as it possibly relates to Physics   Brian Hart
      • [FOM] Godel's First Incompleteness Theorem as it possibly relates to Physics   Vaughan Pratt
    • [FOM] Godel's First Incompleteness Theorem as it possibly relates to Physics   Brian Hart
      • [FOM] Godel's First Incompleteness Theorem as it possibly relates to Physics   Giuseppe Longo
  • [FOM] Godel's First Incompleteness Theorem as it possibly relatesto Physics   Antonino Drago
    • [FOM] Godel's First Incompleteness Theorem as it possibly relatesto Physics   Vaughan Pratt
      • [FOM] Godel's First Incompleteness Theorem as it possibly relatesto Physics   Walter Read
• [FOM] Notations in set theory   pax0 at seznam.cz
  • [FOM] Notations in set theory   H. Enderton
    • [FOM] Notations in set theory   Akihiro Kanamori
  • [FOM] Notations in set theory   Fernando Ferreira
• [FOM] A generalization of RIce`s theorem for logical theories   carniell at cle.unicamp.br
  • [FOM] A generalization of RIce`s theorem for logical theories   Richard Zach
    • [FOM] A generalization of RIce`s theorem for logical theories   William Tait
• [FOM] Notations in set theory   mark van atten
• [FOM] correction--large chains in the power set of the reals   Dave Marker
• [FOM] Large chains in the powerset of the reals   George Barmpalias
• [FOM] CNL2009   Peter Koepke
• [FOM] philosophical literature on intuitionism   mark van atten
• [FOM] re: philosophical literature on intuitionism   Robert Tragesser
• [FOM] Godel's First Incompleteness Theorem as it possibly relates to Physics   Timothy Y. Chow
• [FOM] Godel's First Incompleteness Theorem as it possibly relatesto Physics   Keith Brian Johnson
  • [FOM] Godel's First Incompleteness Theorem as it possibly relatesto Physics   Antonino Drago
• [FOM] Godel's First Incompleteness Theorem as it possibly relatesto Physics   Bill Taylor
• [FOM] classical/constructive mathematics   Harvey Friedman
  • [FOM] classical/constructive mathematics   A. Mani
• [FOM] Verification of choices for `V' and `L' for the Constructible Universe of sets   Brian Hart
• [FOM] Logic Meeting at UCLA   Itay Neeman
• [FOM] philosophical literature on intuitionism   mark van atten
  • [FOM] philosophical literature on intuitionism   William Tait
    • [FOM] philosophical literature on intuitionism   hendrik at topoi.pooq.com
• [FOM] Godel's First Incompleteness Theorem as it possibly relatesto Physics   Andrej Bauer
• [FOM] philosophical literature on intuitionism   Prof. Dirk van Dalen
  • [FOM] philosophical literature on intuitionism   Thomas Forster
• [FOM] Model Theoretic Methods in Finite Combinatorics - January 5-8, 2009   S B Cooper
• [FOM] Reference on Intuitionism   jean-michel kantor
• [FOM] CFP: Practice-based philosophy of logic and mathematics   catarina dutilh
• [FOM] ACKERMANN AWARD 2009 - CALL FOR NOMINATIONS   S B Cooper
• [FOM] FW: N.A. Shanin - 90. Call for papers   Kreinovich, Vladik
• [FOM] Philosophical literature on Intutionism   Juliette Kennedy
• [FOM] WoLLIC 2009 - Call for Papers   Ruy de Queiroz
• [FOM] axioms and implicit definitions   praatika at mappi.helsinki.fi
  • [FOM] axioms and implicit definitions   rgheck
    • [FOM] axioms and implicit definitions   A. Mani
  • [FOM] axioms and implicit definitions   A. Mani
• [FOM] Job: University of Calgary   Richard Zach
• [FOM] 326: Progress in Pi01 Incompleteness 1   Harvey Friedman
• [FOM] Last call for participation: NKS Midwest Conference 2008   Hector Zenil
• [FOM] References on continuum hypothesis in non-well-founded set theory   Andrej Bauer
  • [FOM] References on continuum hypothesis in non-well-founded set theory   Roger Bishop Jones
• [FOM] LICS 2009 Call for Workshop Proposals   Stephan Kreutzer
• [FOM] philosophical literature on intuitionism   giuseppina.ronzitti at helsinki.fi
  • [FOM] philosophical literature on intuitionism   Juliette Kennedy
  • [FOM] philosophical literature on intuitionism   Frank Waaldijk
• [FOM] JUCS Special Issue CCA 2008: Second Call for Papers   Vasco Brattka
• [FOM] Incompleteness and Physics   Timothy Y. Chow
• [FOM] 3rd Indian Conference on Logic and Its Applications (ICLA 2009), Chennai (India), 7-11 Jan 2009 : Call for Participation   Sujata Ghosh
• [FOM] The Reasoner 2(11) now available for download   Jon Williamson
• [FOM] ACL2 2009 Call for Papers   Sandip Ray

Last message date: Thu Oct 30 13:03:04 EDT 2008
Archived on: Thu Oct 30 16:49:50 EDT 2008

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