3 ms·
As iskander put somewhat less eloquently: what you say does not make any sense. Godel's incompleteness theorem places a theoretical limit on the completeness of
by Confusion 17y ago
As iskander put somewhat less eloquently: what you say does not make any sense. Godel's incompleteness theorem places a theoretical limit on the completeness of (non-trivial) formal mathematical systems. 'Computations' take place within such formal systems and are, by definition, math. Both are subject to the consequences of Godel's theorems and you can't distinguish between them based on those theorems.
- yters 17y agoAssuming math encompasses Godel's theorem, then computer science can only be a subset of math at best, since a computer can not prove Godel's theorem.