March 2021 Archives by thread
Starting: Mon Mar 1 02:39:11 EST 2021
Ending: Wed Mar 31 17:59:45 EDT 2021
Messages: 86
- Proof Assistants being seriously useful for everyday garden variety serious mathematical development
Mario Carneiro
- Technology for Which Mathematical Activities?/1
Mario Carneiro
- 873: Structural Proof Theory/5
Harvey Friedman
- 27th WoLLIC 2021 - Call for Papers
Ruy Jose Guerra Barretto de Queiroz
- FW: Edsger Dijkstra, famous computer scientist, on teaching math and on doing math
Kreinovich, Vladik
- Clarification of Skepticism
Harvey Friedman
- 870: Structural Proof Theory/2
Arnon Avron
- On the adoption of formalised math
Sam Sanders
- 875: Structural Proof Theory/7
Harvey Friedman
- Proof Technology and Ideas
Ignacio Añón
- 878: Structural Proof Theory/10
Harvey Friedman
- Kurt Gödel: Maxims and Philosophical Remarks, Volume XII
Mark van Atten
- Small Universal TMs
JOSEPH SHIPMAN
- Milano Logic Lunch Series: Roman Kuznets - Intuiting Duals of Proofs, Thursday 11/03 (12:30)
Paolo Baldi
- Complexity of UTM'S
Ignacio Añón
- Knowledge vs Reason
Ignacio Añón
- number-theoretic "games"
Sara L. Uckelman
- Nordic online logic seminar: Zoom talk by Dag Prawitz on March 22
Graham Leigh
- mathematics free of a blackboard (I. Gelfand and M. Gromov)
José Manuel Rodríguez Caballero
- thread on mathematical games for children
Martin Davis
- Paraconsistent Newsletter Winter-Summer 2021
jean-yves beziau
- Where should I send my paper to?
Chuyu Xiong
- Representation as preeminent
Ignacio Añon
- 21st Midlands Graduate School in the Foundations of Computing Science: Final Call for Participation
Andrei Popescu
- FINAL CALL for Papers: Diagrams 2021
Mikkel Willum Johansen
- Can a notation for ordered pairs in ZFC set theory be introduced as a conservative extension of ZFC without junk theorems?
Victor Makarov
- Can Proof Technology Even Do this?
Buzzard, Kevin M
- CFA: Australasian Association for Logic 2021 Conference (Zoom)
Guillermo Badia
- Logica Universalis Webinar - March 24 - Farewell to Suppression-Freedom by Tore Fjetland Øgaard
jean-yves beziau
- Logic Colloquium 2021 (moved from 2020)
Leszek Kolodziejczyk
- Faculty position at UCL, London
Pym, David
- Research position at UCL, London
Pym, David
- Workshop "Fictionalism" in Philosophy of Mathematics (online) - April 8-9, 2021 (CET)
Brice Halimi
- CFP ICTCS 2021 - 22th Italian Conference on Theoretical Computer Science
Claudio Sacerdoti Coen
- Quick question on Ramsey numbers
JOSEPH SHIPMAN
- LOGICA 2021 -- 1st CFP
Igor Sedlar
- Tenure Track Research Position in LogICS (ICS CAS, Prague, Czech Republic)
Igor Sedlar
- Postdoc Research Position in LogICS (ICS CAS, Prague, Czech Republic)
Igor Sedlar
- Mathematical fictionalism vs. physical fictionalism
Vaughan Pratt
- LHC and fictions
Ignacio Añón
- new version of equational formal systems manuscript
martdowd at aol.com
- Tenth Summer School on Formal Techniques
Sam Owre
Last message date:
Wed Mar 31 17:59:45 EDT 2021
Archived on: Thu Apr 1 21:27:52 EDT 2021
This archive was generated by
Pipermail 0.09 (Mailman edition).