Timeline for Connection between Provability Logic (GL) and geometry?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 19, 2019 at 15:46 | comment | added | eulerfx | Maybe related, Maurice Herlihy uses Sperner's Lemma, along with other topological tools, to prove impossibility of distributed consensus in The Topological Structure of Asynchronous Computability. | |
| Mar 18, 2019 at 19:00 | comment | added | Noah Schweber | There seems to be an existing literature on topological semantics and provability logics. Thomas Icard has slides on this, and the Stanford Encyclopedia of Philosophy has a bit on the topic. I'm not sure how related this is to the specific topological/geometric intuitions you give here, but it might be of interest more broadly. | |
| Mar 18, 2019 at 18:09 | history | asked | Dan Piponi | CC BY-SA 4.0 |