May 2022 Archives by date
Starting: Sun May 1 03:46:47 EDT 2022
Ending: Tue May 31 13:19:37 EDT 2022
Messages: 128
- Call for Applications: HHU Summer School “Philosophy of Mathematics Beyond the Armchair?!” Aug 22-26, 2022, in Düsseldorf, Germany
Deborah Kant
- BCS-FACS evening seminar, 24 June 2022: Alan Turing at 110 - and at Oxford!
Andrei Popescu
- AITP 2022 FINAL CALL FOR CONTRIBUTIONS - EXTENDED DEADLINE May 10
Josef Urban
- 2nd Call for Papers for Minds and Machines Special Issue on Computing Cultures: Historical and Philosophical Perspectives
gprimiero at libero.it
- Bourbaki and foundations
Michael Sheard
- CSL'23 - call for papers
Bartek Klin
- Logic colloquium 2022 registration is open
Antonios Achilleos
- 930: Tangible Indiscernibles/1
Harvey Friedman
- Bourbaki and foundations
Timothy Y. Chow
- Bourbaki and Foundations
martdowd at aol.com
- Bourbaki and foundations
Sam Sanders
- Studying Ontological Arguments with Computers: The Logic and Religion Webinar, May 12
FRANCISCO MARIANO
- Bourbaki and foundations
JOSEPH SHIPMAN
- LUW May 11: On Nonmonotonic Consequence Relations by Alexei Muravitsky
jean-yves beziau
- Bourbaki and foundations
Timothy Y. Chow
- Bourbaki and foundations
Monroe Eskew
- Call for Registration: Did Frege Plagiarize the Stoics? A Durham-Chicago Colloquium on Logic and Language with Susanne Bobzien, Sosseh Assaturian, and Rachel Boddy
Sara L. Uckelman
- Nordic Online Logic Seminar: next talk on May 30, by Øystein Linnebo
Valentin Goranko
- INTERNATIONAL CONFERENCE: GROTHENDIECK, A MULTIFARIOUS GIANT: MATHEMATICS, LOGIC AND PHILOSOPHY - CHAPMAN UNIVERSITY, ORANGE (CA) - MAY 24TH-28TH, 2022
Andrea Sereni
- Studying Ontological Arguments with Computers: The Logic and Religion Webinar, May 12
FRANCISCO MARIANO
- Postdoc in Proof Theory - University of Birmingham, UK
Anupam das
- Bourbaki and foundations
Colin McLarty
- Bourbaki and foundations
Timothy Y. Chow
- Bourbaki and foundations
jodmos.horon
- CCA2022 --Call for Participation
Zheng, Xizhong
- Bourbaki and foundations
Lawrence Paulson
- Third CFP: LogTeach-22 (plain text)
Johann Makowsky
- Bourbaki and foundations
Timothy Y. Chow
- CfP special issue on Valerie Plumwood's contributions to logic in AustJL, Deadline: 4 Jul 2022
Guillermo Badia
- CFP: AAL Conference 2022, June 22-24, online, deadline May 15 (hard deadline May 22)
Guillermo Badia
- Bourbaki and foundations
martdowd at aol.com
- 931: Tangible Indiscernibles/2
Harvey Friedman
- 932: Tangible Indiscernibles/3
Harvey Friedman
- Open postdoc or PhD position at Reykjavik University, department of Computer Science
Antonios Achilleos
- Bourbaki and foundations
Tennant, Neil
- Bourbaki and Foundations
Harvey Friedman
- Bourbaki and foundations
martdowd at aol.com
- Bourbaki and foundations
Monroe Eskew
- Bourbaki and foundations
Lawrence Paulson
- Bourbaki and foundations
Tennant, Neil
- 933: Provable Functions of Set Theories/1
Harvey Friedman
- [Vardi-list] FLoC 2022 Call for Student Volunteers
Moshe Y Vardi
- LUW May 18: Logical Diagrams, Visualization Criteria and Boolean Algebras by Roland Bolz
jean-yves beziau
- Bourbaki and foundations
Lawrence Paulson
- Bourbaki and foundations
Timothy Y. Chow
- Bourbaki and Foundations
Colin McLarty
- Bourbaki and Foundations
jodmos.horon
- EFQ
Arnon Avron
- Foundations, consistency, and Ex Falso Quodlibet
Joseph Vidal-Rosset
- 934: Provable Ordinals of Set Theories/1
Harvey Friedman
- Proof by Contradiction
Harvey Friedman
- Bourbaki and Foundations
Colin McLarty
- Categorical Foundation of Mathematics?
Harvey Friedman
- Bourbaki and foundations
John Baldwin
- CiE 2022 Call for Participation
acie at acie.eu
- 2nd CfP (deadline 27 May): Autumn school "Proof and Computation" 2022
Chuangjie Xu
- EFQ
Tennant, Neil
- Bourbaki and Foundations
jodmos.horon
- CCC2022 -September 19-23, 2022- call for contributions
Maria Emilia Maietti
- Grothendieck Universes
Harvey Friedman
- Proof by Contradiction
Harvey Friedman
- Set Theory, Category Theory and the Foundations of Mathematics
jean-yves beziau
- Categorical Foundation of Mathematics? (Gromov's point of view)
José Manuel Rodríguez Caballero
- Proof by Contradiction / EFQ
Curtis Franks
- Bourbaki and foundations
Kapantais Doukas
- Categorical Foundation of Mathematics?
Timothy Y. Chow
- EFQ
Vaughan Pratt
- Bourbaki and foundations
Timothy Y. Chow
- EFQ
Tennant, Neil
- Principle of Explosion
Harvey Friedman
- Grothendieck Universes
jodmos.horon
- Bourbaki and Foundations
martdowd at aol.com
- Third CFP. LogTeach-22
Martin Davis
- Proof by Contradiction
Tennant, Neil
- Categorical Foundations of Mathematics?
Harvey Friedman
- Grothendieck Universes
Colin McLarty
- General Intellectual Initiatives
Harvey Friedman
- Explosion Use in Math
Harvey Friedman
- Explosion and Cut Necessary
Harvey Friedman
- Principle of Explosion
Arnon Avron
- CfPart: Logic for the AI Spring Summer School Lake Como School of Advanced Studies,
gprimiero at libero.it
- Categorical Foundation of Mathematics?
Mikhail Katz
- Bourbaki and foundations
Sam Sanders
- Explosion and Cut required
Harvey Friedman
- Categorical Foundation of Mathematics?
Timothy Y. Chow
- Proof by Contradiction / EFQ
Tennant, Neil
- Metamathematics Track at 2022 Wolfram Summer School
Stephen Wolfram
- Principle of Explosion
Tennant, Neil
- Proof by Contradiction / EFQ
Curtis Franks
- Grothendieck Universes
jodmos.horon
- Grothendieck Universes
Colin McLarty
- EFQ
Joseph Vidal-Rosset
- EFQ
Tennant, Neil
- EFQ
Joseph Vidal-Rosset
- On EFQ, ECQ, and paraconsistency (with a FOM question)
David Fuenmayor
- LOGICA 2022 -- 2nd CFP
Igor Sedlar
- Alain Badiou's Mathematics of the Transcendental
José Manuel Rodríguez Caballero
- Categorical Foundation of Mathematics?
Harvey Friedman
- WCP6 and SQUARE7 - Deadline Extension: May 31st
jean-yves beziau
- WCP6 and SQUARE7 - Deadline Extension: May 31st
jean-yves beziau
- Bourbaki and foundations
Robert Black
- Categorical Foundations of Mathematics?
Timothy Y. Chow
- Bourbaki and foundations
martdowd at aol.com
- Categorical Foundation of Mathematics?
jodmos.horon
- Categorical Foundation of Mathematics?
Hendrik Boom
- Alain Badiou's Mathematics of the Transcendental
Timothy Y. Chow
- Reminder: CfP (deadline June 6) - Philosophy of mathematics: Foundations, Definitions, and Axioms - 4th FilMat Conference - Pavia, September 29 - October 1, 2022
Andrea Sereni
- Explosion Use in Math
Lawrence Paulson
- Explosion and Cut Required
Harvey Friedman
- Explosion and Cut Necessary
Joseph Vidal-Rosset
- Explosion and Cut Necessary
Tennant, Neil
- Explosion and Cut Necessary
Joseph Vidal-Rosset
- Explosion use in math
Vaughan Pratt
- Categorical Foundation of Mathematics? (jodmos.horon)
Timothy Y. Chow
- Explosion use in math
Patrik Eklund
- Explosion and Cut required
Curtis Franks
- Exposition of the proof of independence of CH
Serafim Batzoglou
- contingency or necessity for philosophically coherent developments of f.o.m.
José Manuel Rodríguez Caballero
- PhD program in Udine
Alberto Marcone
- Explosion and Cut required
WILLIAM TAIT
- On the fully rigorous formalization of deductive reasoning in mathematics
Tennant, Neil
- Final Call for Applications, deadline 1st June: HHU Summer School “Philosophy of Mathematics Beyond the Armchair?!” Aug 22-26, 2022, in Düsseldorf, Germany
Deborah Kant
- Call for Graduate Symposium | DIAGRAMS 2022
DIAGRAMS CONFERENCE
- Explosion and Cut Required
Harvey Friedman
- Dramatic Foundational Revelations
Harvey Friedman
- On the fully rigorous formalization of deductive reasoning in mathematics
Mario Carneiro
- On the fully rigorous formalization of deductive reasoning in mathematics
Patrik Eklund
- On the fully rigorous formalization of deductive reasoning in mathematics
Vaughan Pratt
Last message date:
Tue May 31 13:19:37 EDT 2022
Archived on: Tue May 31 20:37:57 EDT 2022
This archive was generated by
Pipermail 0.09 (Mailman edition).