From a Curry-Howard perspective, "I like programming but I don't like maths." means "I like programming but I don't like programming.".
-
-
Formally, perhaps. But I'd argue that C-H has an informal aspect identifying programming and proof as similar human activities.
-
Agreed, that's an interesting perspective
- Još 1 odgovor
Novi razgovor -
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.
