3 ms·
What do you mean by 'finite proofs'? In cases where the set of all possible examples is finite, I can see this trick working. Maybe a similar approach still wo
by rocqua 10y ago
What do you mean by 'finite proofs'?
In cases where the set of all possible examples is finite, I can see this trick working. Maybe a similar approach still works when all possible examples are enumerable or even recursively enumerable.
None of these hold for the intermediate value theorem on the real number line though.
- tel 10y agoDefinitely, it's super weak but at the same time constructive. The issue is that it essentially ends up becoming a search algorithm where contradiction is backtracking. If the search algorithm doesn't stumble upon the solution (at least in principle) in finite time then it's a bit tough to consider it constructive.