April 2010 Archives by author

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

Starting: Thu Apr 1 12:25:56 EDT 2010
Ending: Fri Apr 30 17:49:56 EDT 2010
Messages: 188

• [FOM] Logicomix   ravi
• [FOM] Clean tautologies   Robin Adams
• [FOM] CST=NF   Zuhair Abdul Ghafoor Al-Johar
• [FOM] Foreman's preface to HST   Marc Alcobé
• [FOM] Foreman's preface to HST   Marc Alcobé
• [FOM] Foreman's preface to HST   Marc Alcobé
• [FOM] elementary references on foundations of math and science   Marc Alcobé
• [FOM] elementary references on foundations of math and science   Marc Alcobé
• [FOM] PHILMATH INTERSEM 2010   Andre.Rodin at ens.fr
• [FOM] Falsify Platonism?   Andre.Rodin at ens.fr
• [FOM] Logicomix   Staffan Angere
• [FOM] Falsify Platonism?   Staffan Angere
• [FOM] Russell and Skolem's paradox   G Aldo Antonelli
• [FOM] Falsify Platonism?   David Auerbach
• [FOM] Consequence of PA inconsistency   Arnon Avron
• [FOM] Animated Proofs   Jon Awbrey
• [FOM] negation as a non-primitive logical constant   Jon Awbrey
• [FOM] Animated Proofs   Jon Awbrey
• [FOM] Falsify Platonism?   Jon Awbrey
• [FOM] Platonism and Progress in Philosophy   Jon Awbrey
• [FOM] Platonism and Progress in Philosophy   Jon Awbrey
• [FOM] FOM Threads On MOF   Jon Awbrey
• [FOM] Falsify Platonism?   Jon Awbrey
• [FOM] Falsify Platonism?   Jon Awbrey
• [FOM] elementary references on foundations of math and science   John Baldwin
• [FOM] SMT-COMP 2010   Clark Barrett
• [FOM] Topological framework for priority methods   Andrej Bauer
• [FOM] Falsify Platonism?   Andrej Bauer
• [FOM] Re: Falsify Platonism?   Andrej Bauer
• [FOM] Falsify Platonism?   Al Bernstein
• [FOM] Falsify Platonism   Alex Blum
• [FOM] Formalizing "objective" mathematics   Paul Budnik
• [FOM] MSFP: last call for papers   Venanzio Capretta
• [FOM] 408: Kernel Tower Theory 2   Timothy Y. Chow
• [FOM] Logicomix   Timothy Y. Chow
• [FOM] Logicomix   Timothy Y. Chow
• [FOM] Falsify Platonism?   Timothy Y. Chow
• [FOM] Falsify Platonism?   Timothy Y. Chow
• [FOM] Falsify Platonism?   Timothy Y. Chow
• [FOM] Falsify Platonism?   Timothy Y. Chow
• [FOM] Consequence of PA inconsistency   Timothy Y. Chow
• [FOM] Falsify Platonism?   Timothy Y. Chow
• [FOM] Falsify Platonism?   Timothy Y. Chow
• [FOM] Platonism, and Nik Weaver's take on ZFC   Timothy Y. Chow
• [FOM] Falsify Platonism?   Timothy Y. Chow
• [FOM] Falsify Platonism?   Timothy Y. Chow
• [FOM] Consequence of PA inconsistency   Timothy Y. Chow
• [FOM] Journal of Logic and Analysis   Cutland
• [FOM] Workshop on Logic and Computational Complexity (LCC 2010)   Martin Davis
• [FOM] What does Peano arithmetic have to offer?   Martin Davis
• [FOM] Workshop Definability in Number Theory   Jeroen Demeyer
• [FOM] Automatheo 2010 at FLoC: Final Call for Papers, Talks, and System Demonstrations   Lucas Dixon
• [FOM] quantum logic   Antonino Drago
• [FOM] Platonism, and Nik Weaver's take on ZFC   Tom Dunion
• [FOM] Global Choice   Ali Enayat
• [FOM] Global Choice   Ali Enayat
• [FOM] Global Choice, Again   Ali Enayat
• [FOM] Falsify Platonism?   Monroe Eskew
• [FOM] Falsify Platonism?   Monroe Eskew
• [FOM] Foreman's preface to HST   Monroe Eskew
• [FOM] Foreman's preface to HST   Monroe Eskew
• [FOM] Global Choice   Thomas Forster
• [FOM] 408: Kernel Tower Theory 2   Harvey Friedman
• [FOM] 408: Kernel Tower Theory 2   Harvey Friedman
• [FOM] 409: Kernel Tower Theory 3   Harvey Friedman
• [FOM] 410: Kernel Function Theory 1   Harvey Friedman
• [FOM] 411: Free Generation Theory 1   Harvey Friedman
• [FOM] 412: Local Basis Construction Theory 1   Harvey Friedman
• [FOM] LInk to Unprovability talk   Harvey Friedman
• [FOM] 413: Local Basis Construction Theory 2   Harvey Friedman
• [FOM] 414: Integer Decomposition Theory   Harvey Friedman
• [FOM] 415: Integer Decomposition Theory 2   Harvey Friedman
• [FOM] Consequence of PA inconsistency   Harvey Friedman
• [FOM] 416: Integer Decomposition Theory 3   Harvey Friedman
• [FOM] Consequence of PA inconsistency   Harvey Friedman
• [FOM] 417: Integer Decomposition Theory 4   Harvey Friedman
• [FOM] 418: Integer Decomposition Theory 5   Harvey Friedman
• [FOM] FOM thread on MathOverflow   Olivier Gerard
• [FOM] CFP: 4th Indian Conference on logic and its Applications, January 9-11, 2011, New Delhi, India (ICLA 2011)   Sujata Ghosh
• [FOM] Logicomix   Bill Greenberg
• [FOM] Primitive symbols in the theory of real closed fields   Rafael Grimson
• [FOM] Falsify Platonism?   Brian Hart
• [FOM] Falsify Platonism   Brian Hart
• [FOM] Falsify Platonism?   Richard Heck
• [FOM] Falsify Platonism?   Richard Heck
• [FOM] Strongly Minimal and Minimal Structures.   Jizhan Hong
• [FOM] Strongly Minimal and Minimal Structures.   Jizhan Hong
• [FOM] Conjectures on Number Theory.   Jizhan Hong
• [FOM] Did Goedel's result come as a surprise to Bertrand Russell   Irving
• [FOM] Did Goedel's result come as a surprise to Bertrand?   Irving
• [FOM] Negation as a non-primitive logical constant   Irving
• [FOM] : Logicomix   Irving
• [FOM] Falsify Platonism   Irving
• [FOM] Falsify Platonism?   Roger Bishop Jones
• [FOM] Falsify Platonism?   Roger Bishop Jones
• [FOM] Foreman's preface to HST   Roger Bishop Jones
• [FOM] Foreman's preface to HST   Roger Bishop Jones
• [FOM] Global Choice   Aatu Koskensilta
• [FOM] counterexamples to the computable Bolzano-Weierstrass theorem   Alexander Kreuzer
• [FOM] Clean tautologies   Lucas Kruijswijk
• [FOM] Clean tautologies   Lucas Kruijswijk
• [FOM] Falsification of Platonism   Lucas Kruijswijk
• [FOM] Falsify Platonism?   Lucas Kruijswijk
• [FOM] Platonism and Progress in Philosophy   Robert Lindauer
• [FOM] Second-order choice principles   Øystein Linnebo
• Re: [FOM] Falsify Platonism‏‏   James M
• [FOM] Falsify Platonism?   Oran Magal
• [FOM] Logicomix   Paolo Mancosu
• [FOM] Clean tautologies   A. Mani
• [FOM] Foreman's preface to HST   A. Mani
• [FOM] negation as a non-primitive logical constant   Joao Marcos
• [FOM] LSFA 2010 - Call For Papers   Joao Marcos
• [FOM] Strongly Minimal and Minimal Structures   Dave Marker
• [FOM] strongly minimal and minimal structures   Dave Marker
• [FOM] Falsify Platonism   Colin McLarty
• [FOM] Chu Spaces and Music (Ircam, Paris, Friday April 9)   Andreatta Moreno
• [FOM] WST 2nd CFP (July 14 - 15, 2010, Edinburgh)   Georg Moser
• [FOM] intuitionism and the liar paradox   Daniel Méhkeri
• [FOM] Falsification of Platonism   Daniel Méhkeri
• [FOM] Falsify Platonism?   Daniel Méhkeri
• [FOM] Falsify Platonism?   Daniel Méhkeri
• [FOM] Falsify Platonism?   Arnold Neumaier
• [FOM] Falsify Platonism?   Nick Nielsen
• [FOM] Falsify Platonism   Nick Nielsen
• [FOM] Falsify Platonism?   Markus Pantsar
• [FOM] Primitive symbols in the theory of real closed fields   Andre Platzer
• [FOM] Falsify Platonism   Richard Pollack
• [FOM] Did G?del's result come as a surprise to Bertrand Russell?   Vaughan Pratt
• [FOM] Logicomix and intuitionistic truth   Vaughan Pratt
• [FOM] Logicomix   Vaughan Pratt
• [FOM] Platonism and metamathematics   Vaughan Pratt
• [FOM] Falsify Platonism?   Vaughan Pratt
• [FOM] Falsify Platonism?   Vaughan Pratt
• [FOM] intuitionism and the liar paradox   Panu Raatikainen
• [FOM] intuitionism and the liar paradox   Panu Raatikainen
• [FOM] Logicomix and intuitionistic truth   Panu Raatikainen
• [FOM] Falsify Platonism?   Julian Rohrhuber
• [FOM] Initial MALOA Training Workshop September 2010, Fischbachau   Peter Schuster
• [FOM] Animated Proofs   Charles Silver
• [FOM] intuitionism and the liar paradox   Charles Silver
• [FOM] Logicomix   Charles Silver
• [FOM] Logicomix   Charles Silver
• [FOM] Falsify Platonism   Charles Silver
• [FOM] LaTeX (not just for) for Logicians   Peter Smith
• [FOM] Global Choice   Robert Solovay
• [FOM] Platonism, and Nik Weaver's take on ZFC   Robert Solovay
• [FOM] Logicomix   Apostolos Syropoulos
• [FOM] Global Choice   T.Forster at dpmms.cam.ac.uk
• [FOM] Global Choice   T.Forster at dpmms.cam.ac.uk
• [FOM] Falsify Platonism?   Bill Taylor
• [FOM] clean tautologies   Neil Tennant
• [FOM] Logicomix   Sara L. Uckelman
• [FOM] Did G?del's result come as a surprise to Bertrand Russell?   Alasdair Urquhart
• [FOM] Russell and Skolem's paradox   Alasdair Urquhart
• [FOM] Did G?del's result come as a surprise to Bertrand Russell?   Alasdair Urquhart
• [FOM] negation as a non-primitive logical constant   Alasdair Urquhart
• [FOM] Russell and Skolem's paradox   Alasdair Urquhart
• [FOM] Logicomix   Alasdair Urquhart
• [FOM] CfP ECAI-10 workshop ARCOE   Ivan José Varzinczak
• [FOM] Falsify Platonism?   W.Taylor at math.canterbury.ac.nz
• [FOM] Falsify Platonism?   W.Taylor at math.canterbury.ac.nz
• [FOM] Falsify Platonism   W.Taylor at math.canterbury.ac.nz
• [FOM] Falsify Platonism   W.Taylor at math.canterbury.ac.nz
• [FOM] intuitionism and the liar paradox   Nik Weaver
• [FOM] intuitionism and the liar paradox   Nik Weaver
• [FOM] intuitionism and the liar paradox   Nik Weaver
• [FOM] intuitionism and the liar paradox   Nik Weaver
• [FOM] Platonism, and Nik Weaver's take on ZFC   Nik Weaver
• [FOM] Logicomix   Richard Zach
• [FOM] Wittgenstein's analysis on Cantor's diagonal method   Chaohui Zhuang
• [FOM] Turing machines and subrecursion theory   georgba at math.uio.no
• [FOM] Falsify Platonism?   hendrik at topoi.pooq.com
• [FOM] Falsify Platonism?   hendrik at topoi.pooq.com
• [FOM] Fwd: Did Goedel's result come as a surprise to Bertrand?   joeshipman at aol.com
• [FOM] Logicomix   joeshipman at aol.com
• [FOM] Falsify Platonism?   joeshipman at aol.com
• [FOM] Foreman's preface to HST   joeshipman at aol.com
• [FOM] Foreman's preface to HST   joeshipman at aol.com
• [FOM] Foreman's preface to HST   joeshipman at aol.com
• [FOM] Foreman's preface to HST   joeshipman at aol.com
• [FOM] Falsify Platonism?   meskew at math.uci.edu
• [FOM] 408: Kernel Tower Theory 2   pax0 at seznam.cz
• [FOM] Falsify Platonism?   rgheck
• [FOM] Falsify Platonism?   rgheck
• [FOM] Falsification of Platonism   rgheck
• [FOM] Falsify Platonism?   rgheck
• [FOM] Falsify Platonism?   rgheck
• [FOM] Logicomix   sambin at math.unipd.it

Last message date: Fri Apr 30 17:49:56 EDT 2010
Archived on: Sat May 1 15:59:13 EDT 2010

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