3 ms·
I'm curious if this is a provable result or an empirical observation? (Come to think of it, I'm not even sure what's meant by program validity in this context.
by aix1 5y ago
I'm curious if this is a provable result or an empirical observation?
(Come to think of it, I'm not even sure what's meant by program validity in this context.)
- astrange 5y agoPrograms are proofs and so this follows from Godel's incompleteness theorem. But "invalid program" needs defining.