Comment by alexwwang
3 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.
>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.
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. :)