Timeline for Apart from Tarski's study, is there any other source that has been looking at the parallelism of concepts and theorems?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 10, 2019 at 19:40 | review | First posts | |||
| Apr 10, 2019 at 20:12 | |||||
| Apr 8, 2019 at 13:05 | review | Close votes | |||
| Apr 9, 2019 at 7:06 | |||||
| Apr 8, 2019 at 10:41 | comment | added | Peter LeFanu Lumsdaine | (Just a comment as I don’t have time for a full answer now.) This is a huge and deep connection that’s been extensively explored informally and formally by many logicians since, between maths, computer science, and philosophy; the keyword for modern writings on it is the Curry–Howard correspondence. Among other authors, Per Martin-Löf has written extensively on the mathematical–philosophical aspects. | |
| Apr 8, 2019 at 9:04 | history | asked | Sandra | CC BY-SA 4.0 |