March 2016 Archives by date
Starting: Tue Mar 1 00:08:04 EST 2016
Ending: Thu Mar 31 15:35:37 EDT 2016
Messages: 92
- [FOM] 664: Unsolvability in Number Theory
Harvey Friedman
- [FOM] Paraconsistent Newsletter Winter 2016
jean-yves beziau
- [FOM] KP recursion theorem
martdowd at aol.com
- [FOM] 665: Pi01 Incompleteness/SRP,HUGE/9
Harvey Friedman
- [FOM] CFR: Plural Foundations, Leeds, 17th June
Simon Hewitt
- [FOM] Free review/article on type theory by Corcoran
John Corcoran
- [FOM] WCT 2016 -- Ghent, Belgium -- July 4 & 5, 2016
Paul Shafer
- [FOM] Free review/article on TARSKI'S COLLECTED PAPERS
John Corcoran
- [FOM] Free review/article on REID'S HILBERT
John Corcoran
- [FOM] CMCS 2016: Last Call for Participation (with Programme)
fabio.zanasi at ens-lyon.fr
- [FOM] Free review/article on QUINE'S PHILOSOPHY OF LOGIC
John Corcoran
- [FOM] Hilary Putnam
Martin Davis
- [FOM] CCA 2016 (Computability and Complexity in Analysis) Call for abstracts
Akitoshi Kawamura
- [FOM] post-doc grant in Computer Science at UFRN
Joao Marcos
- [FOM] Verena Huber-Dyson
Wood, Carol
- [FOM] CORCORAN REVIEWS PUTNAM ON MATHEMATICAL TRUTH
John Corcoran
- [FOM] 23rd WoLLIC 2016 (Puebla, Mexico) - Call for Papers - DEADLINE EXTENSION
Ruy de Queiroz
- [FOM] sad news
Kreinovich, Vladik
- [FOM] South American Journal of Logic, Special Issue Carlos Alchourrón
jean-yves beziau
- [FOM] foundations meeting/FOMUS/discussion
Harvey Friedman
- [FOM] 666: Pi01 Incompleteness/SRP,HUGE/10
Harvey Friedman
- [FOM] CiE 2016: Pursuit of the Universal - Call for Informal Presentations - Paris, 27/6-1/7/2016
Arnold Beckmann
- [FOM] congratulations to Yiannis Moschovakis
Kreinovich, Vladik
- [FOM] foundations meeting/FOMUS/discussion
Louis Garde
- [FOM] Master's program LOPHISC (Logic and philosophy of science) at University of Paris 1 Panthéon-Sorbonne
Andrew Arana
- [FOM] NEW POSTING: CORCORAN REVIEWS PUTNAM ON PHILOSOPHY OF LOGIC
John Corcoran
- [FOM] Philosophical Discussion
Harvey Friedman
- [FOM] foundations meeting/FOMUS/discussion
Harvey Friedman
- [FOM] foundations meeting/FOMUS/discussion
Staffan Angere
- [FOM] foundations meeting/FOMUS/discussion
Lawrence Paulson
- [FOM] FOMUS/alternative foundations
Harvey Friedman
- [FOM] Plural Logic/Foundations
Harvey Friedman
- [FOM] foundations meeting/FOMUS/discussion
Jay Sulzberger
- [FOM] FOMUS/alternative foundations
Harvey Friedman
- [FOM] FOMUS/alternative foundations
Louis Garde
- [FOM] foundations meeting/FOMUS/dicussion
Paul B Levy
- [FOM] Actual Logical Complexity
Harvey Friedman
- [FOM] 667: Pi01 Incompleteness/SRP,HUGE/11
Harvey Friedman
- [FOM] Actual Logical Complexity
Joe Shipman
- [FOM] foundations meeting/FOMUS/discussion
Bruno Bentzen
- [FOM] Fwd: FOMUS/alternative foundations
John Baldwin
- [FOM] foundations meeting/FOMUS/discussion
martdowd at aol.com
- [FOM] the amazing language of set theory
Martin Davis
- [FOM] foundations meeting/FOMUS/discussion
Joao Marcos
- [FOM] foundations meeting/FOMUS/discussion
Joe Shipman
- [FOM] the amazing language of set theory
WILLIAM TAIT
- [FOM] the amazing language of set theory
Louis Garde
- [FOM] foundations meeting/FOMUS/discussion
Louis Garde
- [FOM] the amazing language of set theory
Arnon Avron
- [FOM] A question about isomorphic structures
Arnon Avron
- [FOM] foundations meeting/FOMUS/discussion
Ben Sherman
- [FOM] 1. Re: foundations meeting/FOMUS/discussion (martdowd at aol.com)
John Corcoran
- [FOM] A question about isomorphic structures
Noah David Schweber
- [FOM] A question about isomorphic structures
Hendrik Boom
- [FOM] foundations meeting/FOMUS/discussion
Mario Carneiro
- [FOM] 1. Re: foundations meeting/FOMUS/discussion (martdowd at aol.com)
martdowd at aol.com
- [FOM] 1. Re: foundations meeting/FOMUS/discussion (martdowd at aol.com)
Louis Garde
- [FOM] When do mathematicians identify isomorphic structures?
Arnold Neumaier
- [FOM] A question about isomorphic structures
Louis Garde
- [FOM] foundations meeting/FOMUS/discussion
Josef Urban
- [FOM] the amazing language of set theory
katzmik at macs.biu.ac.il
- [FOM] A question about isomorphic structures
Till Mossakowski
- [FOM] Isomorphic Structures in f.o.m.
Harvey Friedman
- [FOM] Isomorphic Structures in f.o.m./2
Harvey Friedman
- [FOM] A question about isomorphic structures
Arnon Avron
- [FOM] Isomorphic Structures
David McAllester
- [FOM] A question about isomorphic structures
David McAllester
- [FOM] FOM: ISOMORPHISM, EQUALITY, AND IDENTITY
John Corcoran
- [FOM] A question about isomorphic structures
Till Mossakowski
- [FOM] Isomorphic Structures
Harvey Friedman
- [FOM] the amazing language of set theory
Charlie
- [FOM] A question about isomorphic structures
Bruno Bentzen
- [FOM] the amazing language of set theory
Tero TULENHEIMO
- [FOM] Isomorphic Structures
David McAllester
- [FOM] Artificial sweetener for ZFC
Joe Shipman
- [FOM] TypesHoTT discussion
Harvey Friedman
- [FOM] Higher-order arithmetic as an alternative to ZFC
Anthony Coulter
- [FOM] Artificial sweetener for ZFC
Lawrence Paulson
- [FOM] A question about isomorphic structures
David McAllester
- [FOM] Wiki: type theoretic fnds
Harvey Friedman
- [FOM] A question about isomorphic structures
Louis Garde
- [FOM] Reflective well-founded relations
martdowd at aol.com
- [FOM] Wiki: type theoretic fnds
Mario Carneiro
- [FOM] Wiki: type theoretic fnds
Patrik Eklund
- [FOM] Untyped/typed and bivalent/multivalent
Patrik Eklund
- [FOM] Foundational Frameworks
Harvey Friedman
- [FOM] Philosophical coherence and foundational role of set and type theory
Sam Sanders
- [FOM] Wiki: type theoretic fnds
Lawrence Paulson
- [FOM] CORCORAN ON MORRIS KLINE'S LOSS OF CERTAINTY IN MATHEMATICS
John Corcoran
- [FOM] Call for papers: Eighth French Philosophy of Mathematics Workshop (FPMW 8)
Andrew Arana
- [FOM] Wiki: type theoretic fnds
Erik Palmgren
- [FOM] Foundational Frameworks
Hendrik Boom
Last message date:
Thu Mar 31 15:35:37 EDT 2016
Archived on: Thu Mar 31 20:21:48 EDT 2016
This archive was generated by
Pipermail 0.09 (Mailman edition).