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