October 2008 Archives by date
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] CiE 2009 in Heidelberg - First Call for Papers
S B Cooper
- [FOM] LaTeX (not just for) for Logicians
Peter Smith
- [FOM] If "NP is not in P/poly" is barely true, then it is unprovable
Alasdair Urquhart
- [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] LaTeX (not just for) for Logicians
Richard Zach
- [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] 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] large chains in the power set of the reals
Alasdair Urquhart
- [FOM] If "NP is not in P/poly" is barely true, then it is unprovable
Alasdair Urquhart
- [FOM] Godel's First Incompleteness Theorem as it possibly relates to Physics
Brian Hart
- [FOM] Notations in set theory
pax0 at seznam.cz
- [FOM] Godel's First Incompleteness Theorem as it possibly relates to Physics
Tero Tulenheimo
- [FOM] Notations in set theory
H. Enderton
- [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
Alasdair Urquhart
- [FOM] Godel's First Incompleteness Theorem as it possibly relates to Physics
rgheck
- [FOM] Completeness formulations
Harvey Friedman
- [FOM] Godel's First Incompleteness Theorem as it possibly relates to Physics
Vaughan Pratt
- [FOM] Notations in set theory
Akihiro Kanamori
- [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
John McCarthy
- [FOM] Notations in set theory
Fernando Ferreira
- [FOM] A generalization of RIce`s theorem for logical theories
carniell at cle.unicamp.br
- [FOM] Godel's First Incompleteness Theorem as it possibly relates to Physics
Paul Budnik
- [FOM] Completeness formulations
joeshipman at aol.com
- [FOM] Godel's First Incompleteness Theorem as it possibly relatesto Physics
Brian Hart
- [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
Brian Hart
- [FOM] Completeness formulations
Brian Hart
- [FOM] Notations in set theory
mark van atten
- [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
Kreinovich, Vladik
- [FOM] A generalization of RIce`s theorem for logical theories
Richard Zach
- [FOM] correction--large chains in the power set of the reals
Dave Marker
- [FOM] philosophical literature on intuitionism
Thomas Forster
- [FOM] Godel's First Incompleteness Theorem as it possibly relatesto Physics
Antonino Drago
- [FOM] philosophical literature on intuitionism
Lawrence Stout
- [FOM] Incompleteness and Physics: comment 1
Allen Hazen
- [FOM] philosophical literature on intuitionism
praatika at mappi.helsinki.fi
- [FOM] Large chains in the powerset of the reals
George Barmpalias
- [FOM] philosophical literature on intuitionism
Juliette Kennedy
- [FOM] CNL2009
Peter Koepke
- [FOM] Godel's First Incompleteness Theorem as it possibly relates to Physics
Giuseppe Longo
- [FOM] philosophical literature on intuitionism
Hugo Coolens
- [FOM] philosophical literature on intuitionism
Teun Koetsier
- [FOM] philosophical literature on intuitionism
mark van atten
- [FOM] philosophical literature on intuitionism
Richard Zach
- [FOM] re: philosophical literature on intuitionism
Robert Tragesser
- [FOM] philosophical literature on intuitionism
Frank Waaldijk
- [FOM] Godel's First Incompleteness Theorem as it possibly relates to Physics
Vaughan Pratt
- [FOM] A generalization of RIce`s theorem for logical theories
William Tait
- [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
hendrik at topoi.pooq.com
- [FOM] philosophical literature on intuitionism
hendrik at topoi.pooq.com
- [FOM] philosophical literature on intuitionism
Michael Zeleny
- [FOM] philosophical literature on intuitionism
Benjamin
- [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
Bill Taylor
- [FOM] classical/constructive mathematics
Harvey Friedman
- [FOM] Verification of choices for `V' and `L' for the Constructible Universe of sets
Brian Hart
- [FOM] Godel's First Incompleteness Theorem as it possibly relatesto Physics
Vaughan Pratt
- [FOM] philosophical literature on intuitionism
Vaughan Pratt
- [FOM] Godel's First Incompleteness Theorem as it possibly relatesto Physics
Andrej Bauer
- [FOM] philosophical literature on intuitionism
Robin Adams
- [FOM] Godel's First Incompleteness Theorem as it possibly relatesto Physics
Walter Read
- [FOM] philosophical literature on intuitionism
William Tait
- [FOM] Godel's First Incompleteness Theorem as it possibly relatesto Physics
Vaughan Pratt
- [FOM] Godel's First Incompleteness Theorem as it possibly relatesto Physics
Antonino Drago
- [FOM] Logic Meeting at UCLA
Itay Neeman
- [FOM] philosophical literature on intuitionism
mark van atten
- [FOM] Incompleteness and Physics: comment 2
Allen Hazen
- [FOM] Godel's First Incompleteness Theorem as it possibly relatesto Physics
Andrej Bauer
- [FOM] classical/constructive mathematics
A. Mani
- [FOM] philosophical literature on intuitionism
Prof. Dirk van Dalen
- [FOM] Incompleteness and Physics: comment 2
Vaughan Pratt
- [FOM] philosophical literature on intuitionism
Thomas Forster
- [FOM] Incompleteness and Physics
joeshipman at aol.com
- [FOM] Incompleteness and Physics
Vaughan Pratt
- [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] Incompleteness and Physics
joeshipman at aol.com
- [FOM] axioms and implicit definitions
praatika at mappi.helsinki.fi
- [FOM] Job: University of Calgary
Richard Zach
- [FOM] axioms and implicit definitions
rgheck
- [FOM] axioms and implicit definitions
A. Mani
- [FOM] axioms and implicit definitions
A. Mani
- [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] LICS 2009 Call for Workshop Proposals
Stephan Kreutzer
- [FOM] philosophical literature on intuitionism
William Tait
- [FOM] References on continuum hypothesis in non-well-founded set theory
Roger Bishop Jones
- [FOM] philosophical literature on intuitionism
giuseppina.ronzitti at helsinki.fi
- [FOM] philosophical literature on intuitionism
hendrik at topoi.pooq.com
- [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
This archive was generated by
Pipermail 0.09 (Mailman edition).