Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
j2kun
on April 2, 2015
|
parent
|
context
|
favorite
| on:
The Importance of Mathematics Courses in Computer ...
For what it's worth, the education that Devlin is suggesting is not theoretical computer science or type theory. It's the more traditional mathematics courses.
eli_gottlieb
on April 2, 2015
[–]
Once you add the topology section to the Curry-Howard Isomorphism via homotopy type theory it all starts to merge anyway!
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
