From a Curry-Howard perspective, "I like programming but I don't like maths." means "I like programming but I don't like programming.".
-
-
C-H identifies (equates) two activities. I don't understand (yet?) why people's preferences should respect this identification.
-
Programming and mathematics are sufficiently similar as things to do (the C-H iso is the extreme end) that we must look to other factors...
- Još 2 druga odgovora
Novi razgovor -
-
-
E.g. computability identifies x86 Assembly and C++ programming, but in practice most people prefer one over the other.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Č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.