January 2018 Archives by author
Starting: Thu Jan 4 01:14:43 EST 2018
Ending: Wed Jan 31 03:41:02 EST 2018
Messages: 89
- [FOM] Replacement after removal of Extensionality.
Zuhair Abdul Ghafoor Al-Johar
- [FOM] DICE 18: Final Call -- Extended Deadline
Martin Avanzini
- [FOM] Second call for bids to host ITP 2019
Jeremy Avigad
- [FOM] What is the current state of the research about proving FLT?
Arnon Avron
- [FOM] What is the current state of the research about proving FLT?]
Arnon Avron
- [FOM] FLT Decisive by Normal Math Standards
Arnon Avron
- [FOM] The gold standard and FLT
Arnon Avron
- [FOM] The gold standard and FLT
Arnon Avron
- [FOM] Book appearing: Formalization without Foundationalism: Model Theory and the Philosophy of Mathematical Practice
John Baldwin
- [FOM] Book appearing: Formalization without Foundationalism: Model Theory and the Philosophy of Mathematical Practice
John Baldwin
- [FOM] DEADLINE EXTENDED: 13th Workshop on Games for Logic and Programming Languages (GaLoP 2018), Thessaloniki, Greece, 14-15 April, 2018. The new deadline for submissions is January 29th 2018.
Barbero, Fausto
- [FOM] What is the current state of the research about proving FLT?
Frédéric Blanqui
- [FOM] blow-up factor
Frédéric Blanqui
- [FOM] What is the current state of the research about proving FLT?
Frédéric Blanqui
- [FOM] What is the current state of the research about proving FLT?
Frédéric Blanqui
- [FOM] What is the current state of the research about proving FLT?]
David Fernandez Breton
- [FOM] What is the current state of the research about proving FLT?
David Fernandez Breton
- [FOM] FLT Decisive by Normal Math Standards
David Fernandez Breton
- [FOM] What is the current state of the research about proving FLT?
Timothy Y. Chow
- [FOM] What is the current state of the research about proving FLT?
Timothy Y. Chow
- [FOM] What is the current state of the research about proving FLT?
Timothy Y. Chow
- [FOM] What is the current state of the research about proving FLT?
Timothy Y. Chow
- [FOM] What is the current state of the research about proving FLT?
Timothy Y. Chow
- [FOM] "Reverse Mathematics" by John Stillwell
Timothy Y. Chow
- [FOM] Fwd: The 2018 Alonzo Church Award: Call for Nominations
Martin Davis
- [FOM] Fwd: [LICS] FLoC 2018 - Final Joint Call for Papers
Martin Davis
- [FOM] Fwd: [LICS] FOPSS Logic and Learning School advertisement
Martin Davis
- [FOM] 780: One Dimensional Incompleteness/1
Harvey Friedman
- [FOM] What is the current state of the research about proving FLT?]
Harvey Friedman
- [FOM] 781: One Dimensional Incompleteness/2
Harvey Friedman
- [FOM] FLT Decisive by Normal Math Standards
Harvey Friedman
- [FOM] What is the current state of the research about proving FLT?
Harvey Friedman
- [FOM] What is the current state of the research about proving FLT?
Harvey Friedman
- [FOM] FLT Decisive by Normal Math Standards
Harvey Friedman
- [FOM] Book appearing: Formalization without Foundationalism: Model Theory and the Philosophy of Mathematical Practice
Harvey Friedman
- [FOM] The gold standard and FLT
Harvey Friedman
- [FOM] 782: Revolutionary Possibilities/1
Harvey Friedman
- [FOM] Concerning "dam breaking" f.o.m.
Harvey Friedman
- [FOM] 783: Revolutionary Possibilities/2
Harvey Friedman
- [FOM] 784: Revolutionary Possibilities/3
Harvey Friedman
- [FOM] 785: Revolutionary Possibilities/4
Harvey Friedman
- [FOM] 786: Revolutionary Possibilities/5
Harvey Friedman
- [FOM] 787: Revolutionary Possibilities/6
Harvey Friedman
- [FOM] SUMMER SCHOOL ON THE FOUNDATIONS OF GEOMETRY IN HISTORICAL PERSPECTIVE. LEIPZIG, 2-7 JULY 2018
Pierluigi Graziani
- [FOM] Postdoc position in Logic, Gothenburg (Sweden), Deadline: 31 May 2018
Graham Leigh
- [FOM] What is the current state of the research about proving FLT?
Colin McLarty
- [FOM] What is the current state of the research about proving FLT?]
Colin McLarty
- [FOM] What is the current state of the research about proving FLT?
Colin McLarty
- [FOM] What is the current state of the research about proving FLT?
Arnold Neumaier
- [FOM] Postdoctoral Fellow in Mathematical Logic, Stockholm University
Erik Palmgren
- [FOM] 13th Workshop on Games for Logic and Programming Languages (GaLoP 2018), Thessaloniki, Greece, 14-15 April, 2018. Deadline for abstracts: 22 January 2018.
Pantsar, Markus
- [FOM] Workshop on Ramsey Theory and Computability Theory
Ludovic Patey
- [FOM] A logical device of Mario Pieri
JAMES T SMITH
- [FOM] CfP: DMV-Studienrendenkolleg UnDecidability ; 29.-30.06.2018 ; Hamburg Germany
Deniz Sarikaya
- [FOM] What is the current state of the research about proving FLT?
Nicolas Schmidt
- [FOM] What is the current state of the research about proving FLT?]
Joe Shipman
- [FOM] What is the current state of the research about proving FLT?
Joe Shipman
- [FOM] The gold standard and FLT
Joe Shipman
- [FOM] News about Mochizuki's claimed proof of abc
Joe Shipman
- [FOM] What is the current state of the research about proving FLT?
Joe Shipman
- [FOM] The gold standard and FLT
Franck Slama
- [FOM] The gold standard and FLT
Franck Slama
- [FOM] FLT Decisive by Normal Math Standards
James Smith
- [FOM] What is the current state of the research about proving FLT?
James Smith
- [FOM] News about Mochizuki's claimed proof of abc
James Smith
- [FOM] What is the current state of the research about proving FLT?
James Smith
- [FOM] What is the current state of the research about proving FLT?
James Smith
- [FOM] What is the current state of the research about proving FLT?
Robert Solovay
- [FOM] What is the current state of the research about proving FLT?
Tennant, Neil
- [FOM] Fwd: [Coq-Club] Call for Sessions, ICMS 2018
Josef Urban
- [FOM] The gold standard and FLT and the meta-mathematical transversality theorem
Josef Urban
- [FOM] What is the current state of the research about proving FLT?
Josef Urban
- [FOM] What is the current state of the research about proving FLT?
Josef Urban
- [FOM] blow-up factor
Dustin Wehr
- [FOM] What is the current state of the research about proving FLT?
Freek Wiedijk
- [FOM] Possible nonexistence of repeat points
martdowd at aol.com
- [FOM] Alfred Tarski Logic Prize
jean-yves beziau
- [FOM] Louis Couturat Logic Prize
jean-yves beziau
- [FOM] Square of Opposition, Orthodox Academy of Crete, November 2018 - CFP
jean-yves beziau
- [FOM] CiE 2018: Final Call for Papers
gprimiero at libero.it
- [FOM] CiE 2018: Final Call for Papers -- EXTENDED DEADLINES
gprimiero at libero.it
- [FOM] The gold standard and FLT and the meta-mathematical transversality theorem
katzmik at macs.biu.ac.il
- [FOM] FLT Decisive by Normal Math Standards
W.Taylor at math.canterbury.ac.nz
- [FOM] FLT Decisive by Normal Math Standards
W.Taylor at math.canterbury.ac.nz
- [FOM] What is the current state of the research about proving FLT?
revantha
- [FOM] What is the current state of the research about proving FLT?
tchow
- [FOM] The gold standard and FLT
tchow
- [FOM] News about Mochizuki's claimed proof of abc
tchow
- [FOM] FLT Decisive by Normal Math Standards
tchow
Last message date:
Wed Jan 31 03:41:02 EST 2018
Archived on: Wed Jan 31 11:55:57 EST 2018
This archive was generated by
Pipermail 0.09 (Mailman edition).