February 2021 Archives by author

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

Starting: Tue Feb 2 21:11:45 EST 2021
Ending: Sun Feb 28 22:38:20 EST 2021
Messages: 44

• Call for papers: Thirteenth French Philosophy of Mathematics Workshop   Andrew Arana
• 866: Structural Mapping Theory/4   Christoph Benzmueller
• Proof Assistants being seriously useful for everyday garden variety serious mathematical developments   Buzzard, Kevin M
• Proof Assistants being seriously useful for everyday garden variety serious mathematical developments   Buzzard, Kevin M
• Proof Assistants being seriously useful for everyday garden variety serious mathematical developments   Buzzard, Kevin M
• Proof Assistants being seriously useful for everyday garden variety serious mathematical developments   José Manuel Rodríguez Caballero
• Proof Assistants being seriously useful for everyday garden variety serious mathematical developments   José Manuel Rodríguez Caballero
• 863: Structural Mapping Theory/1   Timothy Y. Chow
• 865: Structural Mapping Theory/3   Timothy Y. Chow
• Partial answers to some old questions about proof assistants   Timothy Y. Chow
• ML and CH   Timothy Y. Chow
• Proof Assistants being seriously useful for everyday garden variety serious mathematical developments   Timothy Y. Chow
• Proof Assistants being seriously useful for everyday garden variety serious mathematical developments   Timothy Y. Chow
• thread on core inconsistency   Martin Davis
• Technology for Which Mathematical Activities?/1   Michael Lee Finney
• 862: Symmetric Semigroups   Harvey Friedman
• 863: Structural Mapping Theory/1   Harvey Friedman
• 864: Structural Mapping Theory/2   Harvey Friedman
• 865: Structural Mapping Theory/3   Harvey Friedman
• 866: Structural Mapping Theory/4   Harvey Friedman
• 865: Structural Mapping Theory/3   Harvey Friedman
• 867: Structural Mapping Theory/5   Harvey Friedman
• 868: Structural Mapping Theory/6   Harvey Friedman
• 869: Structural Proof Theory/1   Harvey Friedman
• Proof Assistants being seriously useful for everyday garden variety serious mathematical developments   Harvey Friedman
• Technology for Which Mathematical Activities?/1   Harvey Friedman
• Can Proof Technology Even Do this?   Harvey Friedman
• 870: Structural Proof Theory/2   Harvey Friedman
• 871: Structural Proof Theory/3   Harvey Friedman
• Can Proof Technology Even Do this?   Harvey Friedman
• 872: Structural Proof Theory/4   Harvey Friedman
• PhD positions in many disciplines at Missouri S&T in Rolla Missouri   Insall, Matt
• 2nd CFP: Diagrams 2021   Mikkel Willum Johansen
• 865: Structural Mapping Theory/3   Mikhail Katz
• Proof Assistants being seriously useful for everyday garden variety serious mathematical development   Paul Blain Levy
• Partial answers to some old questions about proof assistants   Lawrence Paulson
• 21st Midlands Graduate School in the Foundations of Computing Science: Call for Participation   Andrei Popescu
• A New Chatting Platform for Discussions in Logic   Sayantan Roy
• ML and CH   JOSEPH SHIPMAN
• Proof Assistants being seriously useful for everyday garden variety serious mathematical developments   Sam Sanders
• Core Inconsistency   Joseph Vidal-Rosset
• 865: Structural Mapping Theory/3   martdowd at aol.com
• 865: Structural Mapping Theory/3   martdowd at aol.com
• Can Proof Technology Even Do this?   dennis at logicalphalluses.net

Last message date: Sun Feb 28 22:38:20 EST 2021
Archived on: Mon Mar 1 17:29:41 EST 2021

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