Hacker News new | ask | show | jobs
by alexwwang 26 days ago
To put it simple, my understanding to this theorem is that we can not design and implement a program without any bugs.

So it indicates me to think about the boundaries while I design and build a system. These boundaries will protect us from those unsolvable constraints.
1 comments
coldtea 26 days ago
>that we can not design and implement a program without any bugs.

If we don't include the compiler and runtime, sure we can.

Godel's theorem is about formal axiomatic mathematical systems with certain properties like the ability to do basic arithmetic.

link
alexwwang 26 days ago
As long as you make use of axiomatic theorem to design a system, you will make a friend with Gödel. It’s not just a problem of compiler or runtime. :)
link