::::::: Proof by contradiction can be unsatisfying because often it leads to unconstructive proofs of important statements. For example, [[Euclid]] used proof by contradiction to show there are infinitely many prime numbers, but that doesn't tell us what they are, or even give an infinite set of them with some formula like <math>2^n -1</math>. Another example: there is a [[transcendental number]] in the [[reals]]. If you prove this as suggested in the transcendental number article by using [[cardinality]], you'd never actually have a transcendental number to work with. It's far more useful to actually show a number like <math>pi</math> or ''e'' is transcendental and not use contradiction to do it. -[[User:Foxtrot|Foxtrot]] 20:43, 8 August 2008 (EDT) | ::::::: Proof by contradiction can be unsatisfying because often it leads to unconstructive proofs of important statements. For example, [[Euclid]] used proof by contradiction to show there are infinitely many prime numbers, but that doesn't tell us what they are, or even give an infinite set of them with some formula like <math>2^n -1</math>. Another example: there is a [[transcendental number]] in the [[reals]]. If you prove this as suggested in the transcendental number article by using [[cardinality]], you'd never actually have a transcendental number to work with. It's far more useful to actually show a number like <math>pi</math> or ''e'' is transcendental and not use contradiction to do it. -[[User:Foxtrot|Foxtrot]] 20:43, 8 August 2008 (EDT) |