3 ms·
Godel's theorem is great for claims like this. Have they proved that the "theorem proving" software has no mistakes?
by jdefr89 11y ago
Godel's theorem is great for claims like this. Have they proved that the "theorem proving" software has no mistakes?
- hga 11y agoThere's this: http://proof-technologies.com/holzero/index.html http://proof-technologies.com/holzero/index.html and I see some other things that I interpret as moving in that direction.