4 ms·
Didn't Kurt Godel prove there will always be gaps?
by jolt42 2y ago
Didn't Kurt Godel prove there will always be gaps?
- gsf_emergency_2 2y agoWrt the collection of all axiom systems, the gaps would be almost imperceptible,akin to those between the rationals? (Note that DeepSeek got "good enough" with "only" FP8)