Timeline for LEM, the halting problem, the curry-howard correspondence -> deep connection?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 31 at 21:58 | history | edited | NinjaDarth | CC BY-SA 4.0 |
Typo correct ("all", not "al"). Removed the description of "minimal logic" and farmed it out to an external link.
|
| S Mar 31 at 21:47 | review | First answers | |||
| Mar 31 at 23:55 | |||||
| S Mar 31 at 21:47 | history | answered | NinjaDarth | CC BY-SA 4.0 |