3 ms·
As always with this theorem it's pretty hard to be sure if the kind of non provable statement happen often enough to be a concern in practice
by bsaul 9y ago
As always with this theorem it's pretty hard to be sure if the kind of non provable statement happen often enough to be a concern in practice