In addition to @sebatos response, I'd add that a formal system is nothing than a... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		hasenj on Feb 15, 2016 \| parent \| context \| favorite \| on: The Wrong Abstraction In addition to @sebatos response, I'd add that a formal system is nothing than an abstraction of some concrete problem.

lackbeard on Feb 19, 2016 [–]

I haven't really thought about it deeply, but I'm pretty sure this isn't true. It seems like mathematicians are often coming up with new proofs and formal systems and only later noticing that they're applicable to some real-world problem.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact