14 ms·
Yes, this is a good idea. What I'm concerned about is that there is no standard terminology. The paper - and another comment in here! - is talking about the pro
by fmap 10y ago
Yes, this is a good idea. What I'm concerned about is that there is no standard terminology. The paper - and another comment in here! - is talking about the proof being "non-constructive", when in reality it is a constructive proof in 2-EXPTIME.
I'm only nitpicking here, because I'm seeing this a lot...
- gohrt 10y agoBy your definition, what's an example of a non-constructive proof (of any theorem ) ?
- fmap 10y agoAny proof using an instance of excluded middle or choice which is not constructively valid. For example, see the first proof on this page: http://www.cut-the-knot.org/do_you_know/irrat.shtml http://www.cut-the-knot.org/do_you_know/irrat.shtml