March 2021 Archives by date
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
- Technology for Which Mathematical Activities?/1
Josef Urban
- 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
- 874: Structural Proof Theory/6
Harvey Friedman
- Proof Assistants being seriously useful for everyday garden variety serious mathematical development
Paul Blain Levy
- 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
- 870: Structural Proof Theory/2
Harvey Friedman
- 876: Structural Proof Theory/8
Harvey Friedman
- 877: Structural Proof Theory/9
Harvey Friedman
- Clarification of Skepticism
José Manuel Rodríguez Caballero
- Clarification of Skepticism
Wolfgang Windsteiger
- Proof Assistants being seriously useful for everyday garden variety serious mathematical development
Buzzard, Kevin M
- Clarification of Skepticism
Lawrence Paulson
- On the adoption of formalised math
Carette, Jacques
- Clarification of Skepticism
Josef Urban
- Proof Technology and Ideas
Ignacio Añón
- 878: Structural Proof Theory/10
Harvey Friedman
- 879: Structural Proof Theory/11
Harvey Friedman
- Clarification of Skepticism
Timothy Y. Chow
- 879: Structural Proof Theory/11
Michael Lee Finney
- Proof Technology and Ideas
José Manuel Rodríguez Caballero
- Clarification of Skepticism
Freek Wiedijk
- Kurt Gödel: Maxims and Philosophical Remarks, Volume XII
Mark van Atten
- Clarification of Skepticism
Timothy Y. Chow
- Small Universal TMs
JOSEPH SHIPMAN
- Small Universal TMs
Deutsch, Harry
- Small Universal TMs
JOSEPH SHIPMAN
- Technology for Which Mathematical Activities?/1
Buzzard, Kevin M
- 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
- number-theoretic "games"
Timothy Y. Chow
- Technology for Which Mathematical Activities?/1
Timothy Y. Chow
- 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
- mathematics free of a blackboard (I. Gelfand and M. Gromov)
Josef Urban
- mathematics free of a blackboard (I. Gelfand and M. Gromov)
Vaughan Pratt
- mathematics free of a blackboard (I. Gelfand and M. Gromov)
José Manuel Rodríguez Caballero
- mathematics free of a blackboard (I. Gelfand and M. Gromov)
martdowd at aol.com
- Where should I send my paper to?
Chuyu Xiong
- Representation as preeminent
Ignacio Añon
- mathematics free of a blackboard (I. Gelfand and M. Gromov)
José Manuel Rodríguez Caballero
- mathematics free of a blackboard (I. Gelfand and M. Gromov)
martdowd at aol.com
- 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 a notation for ordered pairs in ZFC set theory be introduced as a conservative extension of ZFC without junk theorems?
Josef Urban
- Can Proof Technology Even Do this?
Buzzard, Kevin M
- 873: Structural Proof Theory/5
Buzzard, Kevin M
- 875: Structural Proof Theory/7
Buzzard, Kevin M
- 874: Structural Proof Theory/6
Buzzard, Kevin M
- 870: Structural Proof Theory/2
Buzzard, Kevin M
- Clarification of Skepticism
Buzzard, Kevin M
- CFA: Australasian Association for Logic 2021 Conference (Zoom)
Guillermo Badia
- 870: Structural Proof Theory/2
Mario Carneiro
- Logica Universalis Webinar - March 24 - Farewell to Suppression-Freedom by Tore Fjetland Øgaard
jean-yves beziau
- 875: Structural Proof Theory/7
Timothy Y. Chow
- 870: Structural Proof Theory/2
Timothy Y. Chow
- Logic Colloquium 2021 (moved from 2020)
Leszek Kolodziejczyk
- 870: Structural Proof Theory/2
Wolfgang Windsteiger
- 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
- Mathematical fictionalism vs. physical fictionalism
Josef Urban
- Mathematical fictionalism vs. physical fictionalism
martdowd at aol.com
- Mathematical fictionalism vs. physical fictionalism
Dennis E. Hamilton
- LHC and fictions
Ignacio Añón
- Mathematical fictionalism vs. physical fictionalism
Thomas Klimpel
- new version of equational formal systems manuscript
martdowd at aol.com
- Tenth Summer School on Formal Techniques
Sam Owre
- LHC and fictions
Ignacio Añón
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).