4 ms·
By your definition, what's an example of a non-constructive proof (of any theorem ) ?
by gohrt 10y ago
By 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