Timeline for Framework for explaining the notion "implementing according to a specification"?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 23 at 23:40 | vote | accept | Rasmus Källqvist | ||
| Oct 25 at 23:07 | |||||
| Oct 23 at 15:05 | history | edited | Julius Hamilton | CC BY-SA 4.0 |
deleted 22 characters in body
|
| Oct 23 at 15:00 | comment | added | Rasmus Källqvist | Thanks for the very insightful commentary! You are correct about the technicalities of languages and theories etc., and probably I should just bite the bullet and study model theory proper. (I already am familiar with both propositional and first order logic) | |
| Oct 23 at 14:45 | history | edited | Julius Hamilton | CC BY-SA 4.0 |
deleted 22 characters in body
|
| Oct 23 at 14:38 | history | answered | Julius Hamilton | CC BY-SA 4.0 |