4 ms·
>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 a
by coldtea 5mo 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.
- alexwwang 5mo agoAs 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. :)