← Back to context

Comment by threatofrain

7 years ago

I would argue that CS and type theory explores the very foundations of math.

0 comments

threatofrain

Reply

No comments yet

Contribute on Hacker News ↗