Changes

Jump to navigation Jump to search
Reply to Foxtrot
Line 80: Line 80:  
:::::: Sorry Aschafly, but your second sentence is just not correct. Are you teaching this Critical Thinking in Maths course yourself? If so, I'd say you've got some pretty muddled ideas which you need to straighten out before you let yourself loose on students. There's nothing at all second-rate about a proof by contradiction. [[User:Googly|Googly]] 20:47, 6 August 2008 (EDT)
 
:::::: Sorry Aschafly, but your second sentence is just not correct. Are you teaching this Critical Thinking in Maths course yourself? If so, I'd say you've got some pretty muddled ideas which you need to straighten out before you let yourself loose on students. There's nothing at all second-rate about a proof by contradiction. [[User:Googly|Googly]] 20:47, 6 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)
 
::::::: 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)
 +
:::::::: Proofs are proofs, not formulas or examples. [[Euclid]]'s proof by contradiction that there are infinitely many primes is a perfectly good answer to the question "Are there infinitely many primes?" It's a terrible answer to the question "What are they?" or "What's the 10,000,000th prime?" but that's not what Euclid set out to prove. <math>pi</math> and ''e'' are very useful numbers but showing that they are transcendental doesn't tell you much about any other transcendental numbers any more than knowing that 101 is a prime number tells you whether there are an infinite number of primes -- for that you need a proof and a proof by contradiction is 100% adequate. [[User:AdrianDelmar|AdrianDelmar]] 22:49, 8 August 2008 (EDT)
 +
 
*You say: "No tools beyond about 9th grade math are required, and motivated students younger than 9th grade will not have difficulty with the concepts." I think 9th-graders will struggle with Goldbach, Wiles, Hilbert... [[User:Googly|Googly]] 21:09, 6 August 2008 (EDT)
 
*You say: "No tools beyond about 9th grade math are required, and motivated students younger than 9th grade will not have difficulty with the concepts." I think 9th-graders will struggle with Goldbach, Wiles, Hilbert... [[User:Googly|Googly]] 21:09, 6 August 2008 (EDT)
11

edits

Navigation menu