Hacker News new | ask | show | jobs
by emmelaich 263 days ago
Very different thing.

CT is more of a way to abstract all mathematics.