October 2007 Archives by thread
Starting: Mon Oct 1 08:13:44 EDT 2007
Ending: Wed Oct 31 21:49:24 EDT 2007
Messages: 188
- [FOM] Concerning definition of formulas
Arnon Avron
- [FOM] book draft available
Harvey Friedman
- [FOM] CFP: Special issue of JoLLI on hybrid logic
Thomas Bolander
- [FOM] Concerning definition of formulas
B. Sidney Smith
- [FOM] Announcement: Ackermann Award 2007
Arnold Beckmann
- [FOM] Call for Nominations: Ackermann Award 2008
Arnold Beckmann
- [FOM] A proof that cannot be formalized in ZFC
Finnur Larusson
- [FOM] Dual of Dedekind-infiniteness.
Bill Taylor
- [FOM] A proof that cannot be formalized in ZFC
Timothy Y. Chow
- [FOM] Meeting announcement: Algorithmic Randomness Meeting at Notre Dame
Peter Cholak
- [FOM] Call for papers - CCA07 special issues
Vasco Brattka
- [FOM] Motivating the concept of a generic filter
Timothy Y. Chow
- [FOM] Fwd: Concerning definition of formulas
Kaveh Ghasemloo
- [FOM] Motivating the concept of a generic filter
Timothy Y. Chow
- [FOM] A proof that cannot be formalized in ZFC
laureano luna
- [FOM] ESSLLI 2008 (European Summer School in Logic, Language and Information), Hamburg (Germany), 4-15 August 2008
Sara L. Uckelman
- [FOM] IJCAR Call for Papers, and Workshop and Tutorial Proposals
by way of Martin Davis <martin at eipye.com>
- [FOM] paraconsistent logic and computer science
Arnon Avron
- [FOM] paraconsistent logic and computer science
Vladimir Sazonov
- [FOM] paraconsistent logic and computer science
Hartley Slater
- [FOM] PA Incompleteness
Harvey Friedman
- [FOM] Call for Papers: Formal ontology & applications
daniele radicioni
- [FOM] feasibility (was PA Incompleteness)
Vladimir Sazonov
- [FOM] complexity of open questions
Harvey Friedman
- [FOM] Pure mathematics and humanity's collective curiosity
Timothy Y. Chow
- [FOM] PA Incompleteness
bjstande at artsci.wustl.edu
- [FOM] Feasibility
Vladimir Sazonov
- [FOM] Pure mathematics and humanity's collective curiosity
Bill Taylor
- [FOM] Certainty in mathematical proofs
Arnon Avron
- [FOM] Call for Participation: Henk Barndregt's 60th birthday symposium
Venanzio Capretta
- [FOM] Certainty in mathematical proofs
Vladimir Sazonov
- [FOM] to Sazonov about Certainty and Inquisition
Vladimir Sazonov
- [FOM] Is anyone working on CH?
Martin Davis
- [FOM] Certainty in mathematical proofs, part 2
Vladimir Sazonov
- [FOM] 309: Thematic PA Incompleteness
Harvey Friedman
- [FOM] Gauss and non-Euclidean geometry
josef at us.es
- [FOM] Is anyone working on CH?
Timothy Y. Chow
- [FOM] Gauss and non-Euclidean geometry
S. S. Kutateladze
- [FOM] Three quick comments.
Bill Taylor
- [FOM] key terms in logic
Jon Williamson
- [FOM] induction and reducibility
A J Franco de Oliveira
- [FOM] Three quick comments.
Bill Taylor
- [FOM] Mathematical certainty and social activity
Arnon Avron
- [FOM] question about Harvey Friedman's recent post
Martin Davis
- [FOM] Arnon Avron's reply to me
Martin Davis
- [FOM] Does 2^{\aleph_0} = 2^{\aleph_1}?
John Baldwin
- [FOM] Does 2^{\aleph_0} = 2^{\aleph_1}?
Andreas Blass
- [FOM] Wolfram 2,3 Turing Machine Prize
Wolfram Science Group
- [FOM] Simplest universal Turing machine
Timothy Y. Chow
- [FOM] The Reasoner 1(7) now available
Jon Williamson
- [FOM] Wolfram 2,3 Turing Machine Prize
Bill Taylor
- [FOM] Smallest universal machine
Martin Davis
- [FOM] The definition of universal Turing machine
Martin Davis
- [FOM] TAMC 2008 - Final call for papers
S B Cooper
- [FOM] question about universality for prize
Harvey Friedman
- [FOM] Definition of universal Turing machine
Martin Davis
- [FOM] Simple Turing machines, Universality, Encodings, etc.
Stephen Wolfram
- [FOM] Two questions on Set Theory
Adrian-Sorin Duma
- [FOM] induction and reducibility
Allen Hazen
- [FOM] Simple Turing machines, Universality, Encodings, etc.
Todd Rowland
- [FOM] Simple Turing machines, Universality, Encodings, etc.
Rob van Glabbeek
- [FOM] Simple Turing machines, Universality, Encodings, etc.
Alexander Smith
- [FOM] Simple Turing machines, Universality, Encodings, etc.
Damien Woods
- [FOM] regular expressions
Adam Kolany
- [FOM] Simple Turing machines, Universality, Encodings, etc.
Vaughan Pratt
Last message date:
Wed Oct 31 21:49:24 EDT 2007
Archived on: Thu Nov 1 14:25:38 EDT 2007
This archive was generated by
Pipermail 0.09 (Mailman edition).