>> An algorithm is not a proof. > That is an opinion that many do not share. Say... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

yMEyUyNE1 4 months ago | parent | context | favorite | on: When are two proofs essentially the same? (2007)

>> An algorithm is not a proof.

> That is an opinion that many do not share.

Say, we have an algorithm to color a planar graph with 4 colors, can we say that we have a proof for 4-coloring a planar graph?

Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact