Conservapedia talk:Critical Thinking in Math

From Conservapedia
This is an old revision of this page, as edited by PhineasBogg (Talk | contribs) at 23:09, December 29, 2007. It may differ significantly from current revision.

Jump to: navigation, search

I have a number of comments on the proposed curriculum. Much of this relates to the difference between something that might be titled "mathematical topics in popular culture" and "critical thinking in mathematics". The latter requires very careful presentation, with adherence to the axiomatic method and the understanding of correct proof procedures. This concern applies particularly to the material on the Axiom of Choice and the Gödel incompleteness theorem.

I believe that there is at least a 10-year gap in educational achievement between 9th graders (even future Riemann's!) and some of the things mentioned. We couldn't say anything about the Axiom of Choice or Wiles' proof that wouldn't be dumbed-down to the point of worthlessness, and, IMHO, not what we want for this class.

I am not aware of any a controversy about the method of proof by contradiction. It is so totally ingrained into the subject matter of mathematical proof that nothing further needs to be said. I still remember being taught about it, in 9th grade, before we did any "real" math.

While we are discussing the 17 proofs of the infinitude of primes, we might discuss the fact that there are over 300 proofs of Pythagoras' theorem. Including one by President James Garfield!

The "transcendental numbers - how do we know they exist?" is not the way I would put it. I assume you are referring to the Cantor "diagonal" construction, layered on top of a Dedekind or Cauchy construction of the reals. But there's actually a lot of tedium in the proof that the reals can be represented by decimal expansions. Do you want to gloss over that and just use the "intuitive fact" that the reals correspond to the decimals? But I have another problem: "How do we know they exist?" has a sort of mystical ring to it, particularly because of the connotations of the word "transcendental". The same thing construction could be used to prove the existence of irrationals, without the mystical baggage. They're uncountable too. And there is a very clever and approachable proof from the ancient Greeks about the existence of irrationals, that does not rely on countability arguments or diagonalization. Or do you genuinely want to use the transcendentals because the ancient proof can't be used?

"Problems solved only with proof-by-contradiction". As above, I consider the method of contradiction to be so fundamental that I'd be reluctant ever to say that somethng can be proved only that way. Better: In the introductory explanation of proof by contradiction, using the "always a prime between N and N+1" theorem, or the "infinite number of primes" theorem, as an example to motivate it.

Definition of the integers. Do you really want to do a Peano-postulate program here? As in Landau's "Foundations of Analysis"? I don't think people in this age group will actually appreciate that the tediousness of this is worth it. (Of course, we know that it's worth it, but they don't.) Also, a Dedekind-cut construction of the reals would actually contain material that the students don't already "know", in that it shows, for example, that the square root of 2 really exists. But of course, skipping over the integers and going straight to the reals is somewhat unesthetic! The students already "know" the result of the Peano program, they just don't realize that they don't really know it.

"Interesting problems in number theory and Euclidean geometry". Yes! There's a lot of really cool, engaging, and surprising material in geometry, above and beyond its use to show the axiomatic method. Geometrical inversion, for example.

"Axiom of Choice ... Wiles' proof". I have a problem with this. There's really very little we can say about AC, and even less about Wiles' proof, that would be accessible. The simplest places that I know of in which AC appears are the Tychonoff Theorem and the construction of sets that are not Lebesgue measurable. Not what I would want to do in a course like this.

The Gödel incompleteness theorem, and the Church or Turing analysis, are extremely tedious to go through if they are to be understood properly, and take a great deal of background that high school age people won't be able to get through. Once again, we would have to dumb it down to the point of worthlessness. Though there are presentations of what is effectively Russell's paradox, which is related, and that are accessible and compelling.

There are other things that can be covered that are very good for high school students: projective geometry, conic sections, vectors, matrices, operators, eigenvectors/values, function spaces, introduction to differential equations using eigenfunctions, complex numbers in electrical engineering, Fourier series, inner products, geometrical inversion, ....

You raise some good points. Thank you. I will response as soon as I can. In Christ, --Aschlafly 01:14, 7 September 2007 (EDT)
In further response, first in a general way, I do not subscribe to the view that more abstraction is better. Unfortunately, many of today's top college math progams graduate studens who haven't a clue about number theory, unsolved problems, or issues in math that were controversial only a few decades ago. Proof by contradiction was disfavored, for obvious reasons, by many mathematicians as recently as 30 years ago. That you're completely unaware of it merely underscores the need for this course. It's healthy to step back and evaluate a field from a critical perspective. This is not by any means yield to popular opinion. Quite the contrary, it is to inject a degree of accountability . In Christ,--Aschlafly 00:52, 9 September 2007 (EDT)
Well, I'm chagrined and disappointed by this, but I'm always willing to admit my ignorance and learn new things. So please change my status from instructor to student -- I'm still very much interested in this. Also, can you recommend any books that can fill me in on some of these issues? Robert 20:27, 13 September 2007 (EDT)


Course Purposes

The course outline suggests that in learning maths the student will stave off 'mental decline'. There are a number of problems with this remark; not least because the author assumes that an understanding of numbers will prevent such an infliction. To be perfectly clear; one can interpret this remark as suggesting that, had my auntie taken to solving mathmatical problems regulary she would not have fallen victim to Alzheimers. I suggest editing the benefits that this course has to offer the student.--GrahamMcKnight 08:35, 13 November 2007 (EST)

Additive Factoring

I believe "additive factoring" in the course description is a typo. I have not encountered such a term in my study of mathematics and have been unable to locate this on the internet. I did not change it, because I was not sure what it was intended to be. If it is not a typo and this is a new or unconventional topic, then it would be good to provide some explanation following it, or a link to a page about it. --PhineasBogg 23:03, 28 December 2007 (EST)

My best guess is this may be a reference to the Goldbach Conjecture about even numbers being expressable as the sum of primes. --PhineasBogg 18:09, 29 December 2007 (EST)