4 ms·
Maybe the US needs a bug bounty for the conjecture raised by Gödel's supposed loophole.
by magic_smoke_ee 2y ago
Maybe the US needs a bug bounty for the conjecture raised by Gödel's supposed loophole.
- OutOfHere 2y agoOr it could be rewritten in a bug-proof formal system for assertions. (Think Rust but better.)