October 2007 Archives by subject

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

Starting: Mon Oct 1 08:13:44 EDT 2007
Ending: Wed Oct 31 21:49:24 EDT 2007
Messages: 188

• [FOM] 309: Thematic PA Incompleteness   Harvey Friedman
• [FOM] A proof that cannot be formalized in ZFC   Finnur Larusson
• [FOM] A proof that cannot be formalized in ZFC   Kenny Easwaran
• [FOM] A proof that cannot be formalized in ZFC   Marcin Mostowski
• [FOM] A proof that cannot be formalized in ZFC   Timothy Y. Chow
• [FOM] A proof that cannot be formalized in ZFC   Alex Blum
• [FOM] A proof that cannot be formalized in ZFC   Arnon Avron
• [FOM] A proof that cannot be formalized in ZFC   Richard Heck
• [FOM] A proof that cannot be formalized in ZFC   laureano luna
• [FOM] Announcement: Ackermann Award 2007   Arnold Beckmann
• [FOM] Arnon Avron's reply to me   Martin Davis
• [FOM] Arnon Avron's reply to me   John McCarthy
• [FOM] Arnon Avron's reply to me   Patrick Caldon
• [FOM] book draft available   Harvey Friedman
• [FOM] Call for Nominations: Ackermann Award 2008   Arnold Beckmann
• [FOM] Call for papers - CCA07 special issues   Vasco Brattka
• [FOM] Call for Papers: Formal ontology & applications   daniele radicioni
• [FOM] Call for Participation: Henk Barndregt's 60th birthday symposium   Venanzio Capretta
• [FOM] Certainty in mathematical proofs   Arnon Avron
• [FOM] Certainty in mathematical proofs   Harvey Friedman
• [FOM] Certainty in mathematical proofs   Andrew Boucher
• [FOM] Certainty in mathematical proofs   Vladimir Sazonov
• [FOM] Certainty in mathematical proofs   Alex Blum
• [FOM] Certainty in mathematical proofs, part 2   Arnon Avron
• [FOM] Certainty in mathematical proofs, part 2   Vladimir Sazonov
• [FOM] Certainty in mathematical proofs, part 2   Vaughan Pratt
• [FOM] CFP: Special issue of JoLLI on hybrid logic   Thomas Bolander
• [FOM] complexity of open questions   Harvey Friedman
• [FOM] Concerning definition of formulas   Arnon Avron
• [FOM] Concerning definition of formulas   Thomas Forster
• [FOM] Concerning definition of formulas   Alex Blum
• [FOM] Concerning definition of formulas   Richard Heck
• [FOM] Concerning definition of formulas   Wayne Aitken
• [FOM] Concerning definition of formulas   Andy Fugard
• [FOM] Concerning definition of formulas   Roger Bishop Jones
• [FOM] Concerning definition of formulas   Alex Blum
• [FOM] Concerning definition of formulas   Thomas Forster
• [FOM] Concerning definition of formulas   John McCarthy
• [FOM] Concerning definition of formulas   B. Sidney Smith
• [FOM] Concerning definition of formulas   Vaughan Pratt
• [FOM] Concerning definition of formulas   Alex Blum
• [FOM] Concerning definition of formulas   Arnon Avron
• [FOM] Concerning definition of formulas   Vladimir Sazonov
• [FOM] Concerning definition of formulas   Francois G. Dorais
• [FOM] Concerning definition of formulas   B. Sidney Smith
• [FOM] Concerning definition of formulas   Vaughan Pratt
• [FOM] Concerning definition of formulas   Arnon Avron
• [FOM] Concerning definition of formulas   Vaughan Pratt
• [FOM] Concerning definition of formulas   Vaughan Pratt
• [FOM] Definition of universal Turing machine   Martin Davis
• [FOM] Definition of universal Turing machine   joeshipman at aol.com
• [FOM] Definition of universal Turing machine   Vaughan Pratt
• [FOM] Does 2^{\aleph_0} = 2^{\aleph_1}?   John Baldwin
• [FOM] Does 2^{\aleph_0} = 2^{\aleph_1}?   joeshipman at aol.com
• [FOM] Does 2^{\aleph_0} = 2^{\aleph_1}?   Andreas Blass
• [FOM] Does 2^{\aleph_0} = 2^{\aleph_1}?   James Hirschorn
• [FOM] Does 2^{\aleph_0} = 2^{\aleph_1}?   joeshipman at aol.com
• [FOM] Does 2^{\aleph_0} = 2^{\aleph_1}?   James Hirschorn
• [FOM] Does 2^{\aleph_0} = 2^{\aleph_1}?   joeshipman at aol.com
• [FOM] Does 2^{\aleph_0} = 2^{\aleph_1}?   James Hirschorn
• [FOM] Dual of Dedekind-infiniteness.   Bill Taylor
• [FOM] Dual of Dedekind-infiniteness.   Lawrence Stout
• [FOM] Dual of Dedekind-infiniteness.   Alex Blum
• [FOM] Dual of Dedekind-infiniteness.   Vaughan Pratt
• [FOM] Dual of Dedekind-infiniteness.   Larry Stout
• [FOM] Dual of Dedekind-infiniteness.   Alex Blum
• [FOM] Dual of Dedekind-infiniteness.   Arnon Avron
• [FOM] ESSLLI 2008 (European Summer School in Logic, Language and Information), Hamburg (Germany), 4-15 August 2008   Sara L. Uckelman
• [FOM] Feasibility   Vladimir Sazonov
• [FOM] feasibility (was PA Incompleteness)   Vladimir Sazonov
• [FOM] feasibility (was PA Incompleteness)   Vaughan Pratt
• [FOM] Fwd: Concerning definition of formulas   Kaveh Ghasemloo
• [FOM] Gauss and non-Euclidean geometry   Alasdair Urquhart
• [FOM] Gauss and non-Euclidean geometry   S. S. Kutateladze
• [FOM] Gauss and non-Euclidean geometry   Antonino Drago
• [FOM] Gauss and non-Euclidean geometry   S. S. Kutateladze
• [FOM] Gauss and non-Euclidean geometry   josef at us.es
• [FOM] Gauss and non-Euclidean geometry   Antonino Drago
• [FOM] Gauss and non-Euclidean geometry   S. S. Kutateladze
• [FOM] Gauss and non-Euclidean geometry   Andre.Rodin at ens.fr
• [FOM] Gauss and non-Euclidean geometry   Vladimir.Sazonov at liverpool.ac.uk
• [FOM] Gauss and non-Euclidean geometry   S. S. Kutateladze
• [FOM] Gauss and non-Euclidean geometry   Andre.Rodin at ens.fr
• [FOM] Gauss and non-Euclidean geometry   Vladimir.Sazonov at liverpool.ac.uk
• [FOM] Gauss and non-Euclidean geometry   Alasdair Urquhart
• [FOM] Gauss and non-Euclidean geometry   S. S. Kutateladze
• [FOM] IJCAR Call for Papers, and Workshop and Tutorial Proposals   by way of Martin Davis <martin at eipye.com>
• [FOM] induction and reducibility   A J Franco de Oliveira
• [FOM] induction and reducibility   Robert Black
• [FOM] induction and reducibility   Joseph Vidal-Rosset
• [FOM] induction and reducibility   Thomas Forster
• [FOM] induction and reducibility   Robert Black
• [FOM] induction and reducibility   Allen Hazen
• [FOM] Is anyone working on CH?   Martin Davis
• [FOM] Is anyone working on CH?   Arnon Avron
• [FOM] Is anyone working on CH?   joeshipman at aol.com
• [FOM] Is anyone working on CH?   Timothy Y. Chow
• [FOM] key terms in logic   Jon Williamson
• [FOM] Mathematical certainty and social activity   Arnon Avron
• [FOM] Mathematical certainty and social activity   ravi
• [FOM] Mathematical certainty and social activity   Alex Blum
• [FOM] Meeting announcement: Algorithmic Randomness Meeting at Notre Dame   Peter Cholak
• [FOM] Motivating the concept of a generic filter   Timothy Y. Chow
• [FOM] Motivating the concept of a generic filter   Jay Sulzberger
• [FOM] Motivating the concept of a generic filter   Timothy Y. Chow
• [FOM] Motivating the concept of a generic filter   Jay Sulzberger
• [FOM] non-Euclidean geometry and FOM programs   Antonino Drago
• [FOM] non-Euclidean geometry and FOM programs   S. S. Kutateladze
• [FOM] PA Incompleteness   Harvey Friedman
• [FOM] PA Incompleteness   Feng Ye
• [FOM] PA Incompleteness   Harvey Friedman
• [FOM] PA Incompleteness   Frank Waaldijk
• [FOM] PA Incompleteness   bjstande at artsci.wustl.edu
• [FOM] PA Incompleteness   Arnon Avron
• [FOM] PA Incompleteness   Harvey Friedman
• [FOM] PA Incompleteness   Arnon Avron
• [FOM] paraconsistent logic and computer science   Arnon Avron
• [FOM] paraconsistent logic and computer science   Alex Blum
• [FOM] paraconsistent logic and computer science   Vladimir Sazonov
• [FOM] paraconsistent logic and computer science   Hartley Slater
• [FOM] paraconsistent logic and computer science   Andrej Bauer
• [FOM] paraconsistent logic and computer science + logical context   Antonino Drago
• [FOM] Pure mathematics and humanity's collective curiosity   John McCarthy
• [FOM] Pure mathematics and humanity's collective curiosity   Adib Ben Jebara
• [FOM] Pure mathematics and humanity's collective curiosity   Alex Blum
• [FOM] Pure mathematics and humanity's collective curiosity   Alasdair Urquhart
• [FOM] Pure mathematics and humanity's collective curiosity   Timothy Y. Chow
• [FOM] Pure mathematics and humanity's collective curiosity   John McCarthy
• [FOM] Pure mathematics and humanity's collective curiosity   Thomas Forster
• [FOM] Pure mathematics and humanity's collective curiosity   Andre.Rodin at ens.fr
• [FOM] Pure mathematics and humanity's collective curiosity   Bill Taylor
• [FOM] Pure mathematics and humanity's collective curiosity   Feng Ye
• [FOM] Pure mathematics and humanity's collective curiosity   Robert Black
• [FOM] Pure mathematics and humanity's collective curiosity   Alex Blum
• [FOM] Pure mathematics and humanity's collective curiosity   andre rodin
• [FOM] Pure mathematics and humanity's collective curiosity   Andre.Rodin at ens.fr
• [FOM] question about Harvey Friedman's recent post   Martin Davis
• [FOM] question about universality for prize   Harvey Friedman
• [FOM] Re to Sazonov about Certainty and Inquisition   Arnon Avron
• [FOM] regular expressions   Adam Kolany
• [FOM] regular expressions   Andrej Bauer
• [FOM] regular expressions   Vaughan Pratt
• [FOM] regular expressions   Marcin Mostowski
• [FOM] regular expressions   Vaughan Pratt
• [FOM] regular expressions   Olivier Gerard
• [FOM] Simple Turing machines, Universality, Encodings, etc.   Stephen Wolfram
• [FOM] Simple Turing machines, Universality, Encodings, etc.   joeshipman at aol.com
• [FOM] Simple Turing machines, Universality, Encodings, etc.   Vaughan Pratt
• [FOM] Simple Turing machines, Universality, Encodings, etc.   Steven Ericsson-Zenith
• [FOM] Simple Turing machines, Universality, Encodings, etc.   joeshipman at aol.com
• [FOM] Simple Turing machines, Universality, Encodings, etc.   Hector Zenil
• [FOM] Simple Turing machines, Universality, Encodings, etc.   Todd Rowland
• [FOM] Simple Turing machines, Universality, Encodings, etc.   Vaughan Pratt
• [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] Simple Turing machines, Universality, Encodings, etc.   Vaughan Pratt
• [FOM] Simple Turing machines, Universality, Encodings, etc.   Alexander Smith
• [FOM] Simple Turing machines, Universality, Encodings, etc.   Francis Davey
• [FOM] Simple Turing machines, Universality, Encodings, etc.   Todd Rowland
• [FOM] Simplest universal Turing machine   Timothy Y. Chow
• [FOM] Simplest universal Turing machine   joeshipman at aol.com
• [FOM] Simplest universal Turing machine   Jay Sulzberger
• [FOM] Simplest universal Turing machine   Vaughan Pratt
• [FOM] Simplest universal Turing machine   Andrej Bauer
• [FOM] Simplest universal Turing machine   joeshipman at aol.com
• [FOM] Simplest universal Turing machine   John McCarthy
• [FOM] Simplest universal Turing machine   John McCarthy
• [FOM] Simplest universal Turing machine   Vaughan Pratt
• [FOM] Simplest universal Turing machine   Wojtek Moczydlowski
• [FOM] Smallest universal machine   Martin Davis
• [FOM] Smallest universal machine   Arnon Avron
• [FOM] Smallest universal machine   Alasdair Urquhart
• [FOM] Smallest universal machine   Vaughan Pratt
• [FOM] Smallest universal machine   Hector Zenil
• [FOM] Smallest universal machine   Vaughan Pratt
• [FOM] TAMC 2008 - Final call for papers   S B Cooper
• [FOM] The definition of universal Turing machine   Martin Davis
• [FOM] The Reasoner 1(7) now available   Jon Williamson
• [FOM] Three quick comments.   Bill Taylor
• [FOM] Three quick comments.   Alex Blum
• [FOM] Three quick comments.   Vaughan Pratt
• [FOM] Three quick comments.   Bill Taylor
• [FOM] to Sazonov about Certainty and Inquisition   Vladimir Sazonov
• [FOM] Two questions on Set Theory   Adrian-Sorin Duma
• [FOM] Wolfram 2,3 Turing Machine Prize   Wolfram Science Group
• [FOM] Wolfram 2,3 Turing Machine Prize   Bill Taylor
• [FOM] Wolfram 2,3 Turing Machine Prize   Apostolos Syropoulos

Last message date: Wed Oct 31 21:49:24 EDT 2007
Archived on: Thu Nov 1 14:25:38 EDT 2007

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