3 ms·
The incompleteness theorem says there are some truths that can't be proven, but it doesn't say they can't be expressed.
by im3w1l 4y ago
The incompleteness theorem says there are some truths that can't be proven, but it doesn't say they can't be expressed.
- cakoose 4y agoWhen you run a type checker, it's proving that a program conforms to the type, right? That's why it seems like the incompleteness theorem applies. (Though as I mentioned before, I'm playing a bit loose with the logic.)