> When you try to write the algorithm, you're going to be reminded of its me... | Hacker News

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

		gnaritas on Dec 8, 2012 \| parent \| context \| favorite \| on: Why math is painful to read > When you try to write the algorithm, you're going to be reminded of its meaning, fast. Exactly, and forced to replace implicit assumptions with explicit instructions to make it work.

btilly on Dec 8, 2012 [–]

But that said, what about pure existence proofs?

There are algorithms that we can prove exist, but we have no idea how to find them.

gnaritas on Dec 8, 2012 | [–]

The programming is a tool to aid learning, not replace all the other tools at your disposal. Use it when it helps.

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