April 2016 Archives by date

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

Starting: Fri Apr 1 01:23:14 EDT 2016
Ending: Sat Apr 30 23:35:14 EDT 2016
Messages: 147

• [FOM] Philosophical coherence and foundational role of set and type theory   Astor, Eric P.
• [FOM] Wiki: type theoretic fnds   Harvey Friedman
• [FOM] Wiki: type theoretic fnds   Mario Carneiro
• [FOM] Categoricity in f.o.m.   Harvey Friedman
• [FOM] New Logic Master's Program at the University of Gothenburg (Second Announcement)   Ali Enayat
• [FOM] Wiki: type theoretic fnds   Arnold Neumaier
• [FOM] Wiki: type theoretic fnds   David McAllester
• [FOM] Easter Island: 5th World Congress on the Square of Opposition   jean-yves beziau
• [FOM] Registration now open for the first Set Theoretic Pluralism symposium, Aberdeen, 12–17 July 2016   Benedict Eastaugh
• [FOM] What Foundational Issues? #1   Harvey Friedman
• [FOM] Categoricity in f.o.m.   Joe Shipman
• [FOM] Wiki: type theoretic fnds   Harvey Friedman
• [FOM] Pluralistic Foundational Crisis?/set theory   Harvey Friedman
• [FOM] Artificial sweetener for ZFC   Arnon Avron
• [FOM] Categoricity in f.o.m./2   Harvey Friedman
• [FOM] Categoricity in f.o.m.   Arnon Avron
• [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC   Dimitris Tsementzis
• [FOM] Categoricity in f.o.m.   Harvey Friedman
• [FOM] Arithmetic Incompleteness/Baez   Harvey Friedman
• [FOM] CFP: Computationally Assisted Mathematical Discovery and Experimental Mathematics   Nicolas Fillion
• [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC   Harvey Friedman
• [FOM] Computational Discovery/Experimental Mathematics   Harvey Friedman
• [FOM] Fourth Summer School on Formal Techniques, May 19-23, 2014, Menlo College, Atherton   Natarajan Shankar
• [FOM] Friedman's challenge on HoTT-analogs of FOL=   Dimitris Tsementzis
• [FOM] Matters of Fact   Harvey Friedman
• [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC   Dimitris Tsementzis
• [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC   Harvey Friedman
• [FOM] Foundational issues:Friedman/Baez   Harvey Friedman
• [FOM] Friedman's challenge on HoTT-analogs of FOL=   Mario Carneiro
• [FOM] Plural Logic/Foundations   Neil Barton
• [FOM] Foundational issues:Friedman/Baez   WILLIAM TAIT
• [FOM] Foundational issues:Friedman/Baez   Mario Carneiro
• [FOM] Computational Discovery/Experimental Mathematics   Robert Moir
• [FOM] Friedman's challenge on HoTT-analogs of FOL=   Harvey Friedman
• [FOM] Foundational Issues: Friedman/Carneiro   Alan Weir
• [FOM] Computational Discovery/Experimental Mathematics   martdowd at aol.com
• [FOM] More Friedman/Baez   Harvey Friedman
• [FOM] 668: Pi01 Incompleteness/SRP,HUGE/12   Harvey Friedman
• [FOM] Foundational Issues: Friedman/Carneiro   Mario Carneiro
• [FOM] Friedman's challenge on HoTT-analogs of FOL=   Mario Carneiro
• [FOM] More Friedman/Carniero   Harvey Friedman
• [FOM] More Friedman/Baez   Harvey Friedman
• [FOM] More Friedman/Baez   Harvey Friedman
• [FOM] More Friedman/Baez   Harvey Friedman
• [FOM] Foundational Issues: Friedman/Carneiro   Timothy Y. Chow
• [FOM] Foundational Issues: Carneiro   Alan Weir
• [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC   Dimitris Tsementzis
• [FOM] Friedman's challenge on HoTT-analogs of FOL=   Dimitris Tsementzis
• [FOM] Foundational Issues: Friedman/Carneiro   Mario Carneiro
• [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC   Harvey Friedman
• [FOM] Friedman's challenge on HoTT-analogs of FOL=   Mario Carneiro
• [FOM] Coherence:Friedman/Cody/Roberts   Harvey Friedman
• [FOM] Pluralistic Foundational Crisis?/set theory/completed   Harvey Friedman
• [FOM] Friedman's challenge on HoTT-analogs of FOL=   Hendrik Boom
• [FOM] Foundational Issues: Friedman/Carneiro   Timothy Y. Chow
• [FOM] Friedman/Baez/getting HOT   Harvey Friedman
• [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC   François Dorais
• [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC   Ben Sherman
• [FOM] Friedman/Campion/getting Hot   Harvey Friedman
• [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC   Freek Wiedijk
• [FOM] What are foundations for?   Martin Davis
• [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC   Dimitris Tsementzis
• [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC   Dimitris Tsementzis
• [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC   Dimitris Tsementzis
• [FOM] Foundational Issues: Friedman/Carneiro   Mario Carneiro
• [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC   Dimitris Tsementzis
• [FOM] Friedman's challenge on HoTT-analogs of FOL=   Dimitris Tsementzis
• [FOM] Presentation of Alternative Foundations?   Harvey Friedman
• [FOM] What are foundations for?   katzmik at macs.biu.ac.il
• [FOM] Foundational Issues: Friedman/Carneiro   tchow
• [FOM] Friedman/Baez/getting HOT   Sam Sanders
• [FOM] Foundations   Rempe-Gillen, Lasse
• [FOM] Foundational Issues: Friedman/Carneiro   Mario Carneiro
• [FOM] CfP - AI aspects of Reasoning, Information, and Memory 2016 (AIRIM'16)   Roussanka Loukanova
• [FOM] Friedman's challenge on HoTT-analogs of FOL=   Mario Carneiro
• [FOM] Coherence:Friedman/Cody/Roberts   Jay Sulzberger
• [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC   Neil Barton
• [FOM] 2nd announcement: Foundational Impact of Recursion Theory - May 22, 2016   Mummert, Carl
• [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC   François Dorais
• [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC   Stephen Gaito
• [FOM] AUTOMATA 2016 Call for Exploratory Papers   Turlough Neary
• [FOM] LC2016: approaching deadlines   Nicola Gambino
• [FOM] Foundational Issues: Friedman/Carneiro   tchow
• [FOM] postdoc position in semantics and effects   Paul B Levy
• [FOM] Friedman/Baez/Bauer   Harvey Friedman
• [FOM] Foundational Issues: Friedman/Carneiro   Mario Carneiro
• [FOM] A Meaning Explanation for HoTT?   Dimitris Tsementzis
• [FOM] Friedman/Baez   Harvey Friedman
• [FOM] Lambek's category of syntactic types   Fosco
• [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC   Dimitris Tsementzis
• [FOM] Friedman's challenge on HoTT-analogs of FOL=   Dimitris Tsementzis
• [FOM] Friedman's challenge on HoTT-analogs of FOL=   Mario Carneiro
• [FOM] New book: Kurt Gödel. Philosopher-Scientist   Mark van Atten
• [FOM] Lambek's category of syntactic types   Obrst, Leo J.
• [FOM] Lambek's category of syntactic types   Daniil
• [FOM] Friedman/Baez/getting HOT   François Dorais
• [FOM] Categorial Grammar/Lambek   Alice ter Meulen
• [FOM] New book: Kurt Gödel. Philosopher-Scientist   WILLIAM TAIT
• [FOM] Friedman/Baez/Gowers   Harvey Friedman
• [FOM] A Meaning Explanation for HoTT?   Harvey Friedman
• [FOM] Church's Thesis Musings   Harvey Friedman
• [FOM] 669: Pi01 Incompleteness/SRP,HUGE/13   Harvey Friedman
• [FOM] CfP - AIRIM'16 new deadline: AI aspects of Reasoning, Information, and Memory 2016 (AIRIM'16)   Roussanka Loukanova
• [FOM] A Meaning Explanation for HoTT?   Stephen Gaito
• [FOM] Church's Thesis Musings 2   Harvey Friedman
• [FOM] Explaining Some Goedel   Harvey Friedman
• [FOM] Foundational Issues: Friedman/Carneiro   tchow
• [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC   Neil Barton
• [FOM] Friedman/Lawvere/McLarty   Harvey Friedman
• [FOM] Job in mathematical logic at Leeds   Nicola Gambino
• [FOM] re Plural Logic/Foundations   Harvey Friedman
• [FOM] re Plural Logic/Foundations   Richard Heck
• [FOM] PhD in Philosophical Logic in Rio de Janeiro and grants for foreign PhD students   jean-yves beziau
• [FOM] re Plural Logic/Foundations   Stewart Shapiro
• [FOM] Pluralistic Foundational Crisis?/set theory/completed   Toby Meadows
• [FOM] CFPs: 12th International Workshop on Boolean Problems   Miroslav Velev
• [FOM] re Plural Logic/Foundations   Harvey Friedman
• [FOM] re Plural Logic/Foundations   Richard Heck
• [FOM] Pluralistic Foundational Crisis?/set theory/completed   joeshipman at aol.com
• [FOM] Pluralistic Foundational Crisis?/set theory/completed   Neil Barton
• [FOM] Pluralistic Foundational Crisis?/set theory/completed   martdowd at aol.com
• [FOM] re Plural Logic/Foundations   Colin McLarty
• [FOM] re Plural Logic/Foundations   Richard Heck
• [FOM] re Plural Logic/Foundations   Harvey Friedman
• [FOM] Barton FOM Survey   Harvey Friedman
• [FOM] Refuting CH?   Harvey Friedman
• [FOM] re Plural Logic/Foundations   W.Taylor at math.canterbury.ac.nz
• [FOM] Refuting CH?/2   Harvey Friedman
• [FOM] Proving PD?   Harvey Friedman
• [FOM] Refuting CH?/3   Harvey Friedman
• [FOM] formalism freeness   Kennedy, Juliette
• [FOM] formalism freeness   Harvey Friedman
• [FOM] Refuting CH?/4   Harvey Friedman
• [FOM] Refuting CH?/5   Harvey Friedman
• [FOM] Proving PD?/2   Harvey Friedman
• [FOM] Fwd: Fw: formalism freeness   Martin Davis
• [FOM] 0# over L   Harvey Friedman
• [FOM] Fwd: 1st Call for Participation: Proofs, Justifications and Certificates, 3-4 June, Toulouse   Martin Davis
• [FOM] 2-year PostDoc or 3-year PhD position at the University of Innsbruck   Georg Moser
• [FOM] 670: Pi01 Incompleteness/SRP,HUGE/14   Harvey Friedman
• [FOM] 0# and conservative new axioms   martdowd at aol.com
• [FOM] Refuting CH?/6   Harvey Friedman
• [FOM] 671: Pi01 Incompleteness/SRP,HUGE/15   Harvey Friedman
• [FOM] Survey results for Universism/Multiversism   Neil Barton
• [FOM] The unreasonable soundness of mathematics   Timothy Y. Chow
• [FOM] AUTOMATA 2016:Extension of submission deadline for exploratory Papers   Turlough Neary
• [FOM] The unreasonable soundness of mathematics   Mario Carneiro

Last message date: Sat Apr 30 23:35:14 EDT 2016
Archived on: Sun May 1 01:39:28 EDT 2016

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