News for hackers. Stuff that matters.

A comment on The Deep Link Equating Math Proofs and Computer Programs. Parent comment

Re:The Deep Link Equating Math Proofs and Computer Programs by kaba0 on Thursday October 12, 2023 @02:33AM (#37854102)
Of course the most commonly used CS algorithm is proved correct in various properties, that wasn’t my point.

Still, you can’t even in theory prove every interesting property about any problem/algorithm.

[ Parent | on HN ]
Re:The Deep Link Equating Math Proofs and Computer Programs by bluGill on Thursday October 12, 2023 @07:11AM (#37855670)
Sure, but i'm contending those algorithms we cannot prove are mostly not used in programming in the real world.
[ Parent | on HN ]