In Week 2 we continue our discussion of formalized parts of language for use in mathematics. By now you should have familiarized yourself with the basic structure of the course: 1. Watch the first lecture and answer the in-lecture quizzes; tackle each of the problems in the associated Assignment sheet; THEN watch the tutorial video for the Assignment sheet. 2. REPEAT sequence for the second lecture. 3. THEN do the Problem Set, after which you can view the Problem Set tutorial. REMEMBER, the time estimates for watching the video lectures are machine generated, based on the video length. Expect to spend a lot longer going through the lectures sufficiently well to understand the material. The time estimates for completing the weekly Problem Sets (Quiz format) are a bit more reliable, but even they are just a guideline. You may find yourself taking a lot longer.

This week we continue our analysis of language for use in mathematics. Remember, while the parts of language we are focusing have particular importance in mathematics, our main interest is in the analytic process itself: How do we formalize concepts from everyday life? Because the topics become more challenging, starting this week we have just one basic lecture cycle (Lecture -> Assignment -> Tutorial -> Problem Set -> Tutorial) each week. If you have not yet found one or more people to work with, please try to do so. It is so easy to misunderstand this material.

This week we complete our analysis of language, putting into place the linguistic apparatus that enabled, mathematicians in the 19th Century to develop a formal mathematical treatment of infinity, thereby finally putting Calculus onto a firm footing, three hundred years after its invention. (You do not need to know calculus for this course.) It is all about being precise and unambiguous. (But only where it counts. We are trying to extend our fruitfully-flexible human language and reasoning, not replace them with a rule-based straightjacket!)

This week we take our first look at mathematical proofs, the bedrock of modern mathematics.

This week we complete our brief look at mathematical proofs

The topic this week is the branch of mathematics known as Number Theory. Number Theory, which goes back to the Ancient Greek mathematicians, is a hugely important subject within mathematics, having ramifications throughout mathematics, in physics, and in some of today's most important technologies. In this course, however, we consider only some very elementary parts of the subject, using them primarily to illustrate mathematical thinking.

In this final week of instruction, we look at the beginnings of the important subject known as Real Analysis, where we closely examine the real number system and develop a rigorous foundation for calculus. This is where we really benefit from our earlier analysis of language. University math majors generally regard Real Analysis as extremely difficult, but most of the problems they encounter in the early days stem from not having made a prior study of language use, as we have here.

Test Flight provides an opportunity to experience an important aspect of "being a mathematician": evaluating real mathematical arguments produced by others. There are three stages. It is important to do them in order, and to not miss any steps. STAGE 1: You complete the Test Flight Problem Set (available as a downloadable PDF with the introductory video), entering your solutions in the Peer Evaluation module. STAGE 2: You complete three Evaluation Exercises, where you evaluate solutions to the Problem Set specially designed to highlight different kinds of errors. The format is just like the weekly Problem Sets, with machine grading. You should view the Tutorial video for each Exercise after you submit your solutions, but BEFORE you start the next Exercise. STAGE 3: You evaluate three Problem Set solutions submitted by other students. (This process is anonymous.) This final stage takes place in the Peer Evaluation module. After you are done peer reviewing, you may want to evaluate your own solution. It can be very informative to see how you rate your own attempt after looking at the work of others.