February 2021 Archives by thread

Messages sorted by: [ subject ] [ author ] [ 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

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

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

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

This archive was generated by Pipermail 0.09 (Mailman edition).