| Line 20: |
Line 20: |
| | | | |
| | *an analysis of what skills [[College Board]] exams test, and how to improve those skills | | *an analysis of what skills [[College Board]] exams test, and how to improve those skills |
| | + | |
| | + | *proof by reference to Holy Scripture rather than by logical inference |
| | | | |
| | Please feel free to add other topics and suggestions, and add your name below as a teacher or student interested in this field: | | Please feel free to add other topics and suggestions, and add your name below as a teacher or student interested in this field: |
| Line 26: |
Line 28: |
| | == Draft Curriculum == | | == Draft Curriculum == |
| | | | |
| − | *different methods of proof: constructive, induction, contradiction, existence | + | *different methods of proof: constructive, induction, contradiction, existence, the Bible |
| | *Goldbach's Conjecture and Fermat's Last Theorem | | *Goldbach's Conjecture and Fermat's Last Theorem |
| | *Types of math problems presented in [[College Board]] exams, [[math contests|American math contests]] and UK math contests [http://www.wpr3.co.uk/UKMT/jmc.html][http://www.wpr3.co.uk/UKMT/imc.html][http://www.wpr3.co.uk/UKMT/smc.html] | | *Types of math problems presented in [[College Board]] exams, [[math contests|American math contests]] and UK math contests [http://www.wpr3.co.uk/UKMT/jmc.html][http://www.wpr3.co.uk/UKMT/imc.html][http://www.wpr3.co.uk/UKMT/smc.html] |
| | *Interesting problems in number theory and Euclidean geometry | | *Interesting problems in number theory and Euclidean geometry |
| | *greatest mathematicians in history, and why | | *greatest mathematicians in history, and why |
| − | *Axiom of Choice, why it has been controversial, and its use in Wiles' proof of Fermat's Last Theorem | + | *Axiom of Choice, why it has been controversial, and its use in secular humanism |
| | *Set theory in general | | *Set theory in general |
| − | *Kurt Gödel's incompleteness theorems are interesting; they are applicable not only in maths and logic, but also move into philosophy. | + | *Kurt Gödel's incompleteness theorems are interesting; they are applicable not only in maths and logic, but also move into philosophy of Satanism. |
| | *Hilbert's program (although of course the above renders null its aims!) | | *Hilbert's program (although of course the above renders null its aims!) |
| | *Formal mathematical logic | | *Formal mathematical logic |