I am teaching a course in proof technique to undergraduate students. One of the things they can do for their project is read an involved proof and explain it, for example Gödel's Incompleteness Theorem. Does anyone have any good proofs? They can come from any field accessible to a student with a month to work on it and with knowledge of multivariable calculus and abstract algebra.
Proofs for Undergraduates
-
2Maybe proofs from the book "[Proofs from THE BOOK](http://www.amazon.com/Proofs-BOOK-Martin-Aigner/dp/3642008550)" would be suitable? – 2012-09-20
3 Answers
Would a proof of the compactness theorem for propositional logic be suitable as an "involved proof", not to be required of all students, but as an item on a menu from which each student may choose one?
-
1@JohannesKloos In the general version, they often involve some work with ultrafilters, which is fairly advanced for their given background. – 2012-09-20
In the same vein as Michael Hardy's proposal, how about the completeness theorem for the Hilbert calculus in propositional logic? It is fairly involved and introduces them to Zorn's lemma as well.
-
0I like this one a lot since there are multiple ways of proving this and I could have students examine the different methods. – 2012-09-20
I like the idea of using Euclidean geometry results, since you prove surprising facts, such as Miquel's theorem (Name of a Euclidean Geometry Theorem) or, more complicated, the 9-point circle. Also students nowadays don't even know that the angle in a semi circle is a right angle, or how to prove it. This whole geometry background is a great cultural loss. I get an impression, probably wrongly, that some courses on "poofs" are about teaching students to write out clear proofs of boring facts. The need for clear proofs is more certain when the result has something of a "wow" aspect.