(catskull.net)

378 points todsacerdoti | 1 comments | 22 Aug 25 07:08 UTC | HN request time: 0s | source

Show context

mensetmanusman ◴[22 Aug 25 13:18 UTC] No.44984308[source]▶

Not being a programmer, I have a question.

Can any program be broken down into functions and functions of functions that have inputs and outputs so that they can be verified if they are working?

replies(13): >>44984336 #>>44984354 #>>44984459 #>>44984510 #>>44984549 #>>44984555 #>>44984562 #>>44984865 #>>44984968 #>>44985022 #>>44986774 #>>44988388 #>>45001896 #

1. mkleczek ◴[22 Aug 25 14:19 UTC] No.44985022[source]▶

>>44984308 #

No, it is not possible, not only in practice but - more importantly - in theory as well:

https://pron.github.io/posts/correctness-and-complexity

↑

What is going on right now?