Tuesday, August 27, 2013. First day of school.
(Friday night. “What do you mean I begin classes on Monday?”)
Math 414/514: Advanced calculus.
Instructor: Andrés E. Caicedo.
Contact Information: See here.
Time: MWF 10:30-11:45 am.
Place: Mathematics building, Room 124.
Office Hours: Th 1:30-3:00 pm. (Or by appointment.)
Text:
Contents: Math 414/514 is an introduction to Analysis on Euclidean spaces (). The emphasis is theoretical, as opposed to the more computational approach of calculus. From the Course Description on the Department’s site:
Introduction to fundamental elements of analysis on Euclidean spaces including the basic differential and integral calculus. Topics include: infinite series, sequences and series of function, uniform convergences, theory of integration, implicit function theorem and applications.
Grading: Based on homework. No late homework is allowed. Collaboration is encouraged, although you must turn in your own version of the solutions, and give credit to books/websites/… you consulted and people you talked/emailed/… to.
I do not want to have exams in this course. However, an important component of being proficient in mathematics is a certain amount of mental agility in recalling notions and basic arguments. I plan to assess these by requesting oral presentations of solutions to some of the homework problems throughout the term. If I find you lacking here, it will be necessary to have an exam or two. The final exam is currently scheduled for Wednesday, December 18, 2013, 12:00 – 2:00 pm.
I will use this website to post additional information, and encourage you to use the comments feature. If you leave a comment, please use your full name, which will simplify my life filtering spam out.
On occasion, I post links to supplementary material on Google+. Circle me and let me know if you are interested, and I’ll add you to my Analysis circle. As with this blog, I encourage you to comment there.
Math 170 Section 8: Calculus I. Honors.
Instructor: Andres Caicedo.
Contact Information: See here.
Time: MWF 1:30-2:45 pm.
Place: Mathematics building, Room 139.
Office Hours: (I expect they will be on) Th 1:30-3:00 pm, or by appointment (email me a few times/dates you have available).
Text:
Please make sure each day you bring to class a copy of the pages that are being covered from the online text, according to the list below; this may be an electronic copy. (To be safe, bring at least the pages corresponding to the sections for that day, for the previous day, and for the next day, since I may cover a bit more than what is scheduled, and we may need to refer back to recently covered material.)
Contents: The department’s course description reads:
Definitions of limit, derivative and integral. Computation of the derivative, including logarithmic, exponential and trigonometric functions. Applications of the derivative, approximations, optimization, mean value theorem. Fundamental Theorem of Calculus, brief introduction to applications of the integral and to computations of antiderivatives.
Our emphasis is on understanding the theory, but we will also cover some applications. Roughly, I expect we will see Sections 1.1-8.1, 9.1-9.2. This list includes somewhat more than strictly required, giving us a little additional time in case we want or need to emphasize some topics. Please bookmark this post. I update it frequently with detailed week-to-week descriptions.
Detailed day to day description and homework assignments. All problems are from the Whitman calculus book unless otherwise explicitly specified:
The first homework set is due Wednesday, September 4. It consists of all the problems listed above. See below for the required format.
The second homework set is due Monday, September 9. It consists of all the problems from the Whitman book listed on September 4 and 6. See below for the required format.
The third homework set is due Monday, September 16. It consists of all the problems from the Whitman book listed on September 11 and 13. See below for the required format.
The fourth homework set is due Monday, September 23. It consists of all problems from the Whitman book listed on September 16 and 18. See below for the required format.
The fifth homework set is due Monday, September 30. It consists of all problems from the Whitman book listed on September 23 and 25. See below for the required format.
The sixth homework set is due Monday, October 7. It consists of all problems from the Whitman book listed on September 30 and October 2. See below for the required format.
The seventh homework set is due Monday, October 14. It consists of all problems from the Whitman book listed on October 7 and 9. See below for the required format.
The eight homework set is due Monday, October 21. It consists of all problems from the Whitman book listed on October 14 and 16. See below for the required format.
The ninth homework set is due Monday, October 28. It consists of all problems from the Whitman book listed on October 21 and 25. See below for the required format.
The tenth homework set is due Monday, November 4. It consists of all problems from the Whitman book listed on October 28 and 30. See below for the required format.
The eleventh homework set is due Monday, November 11. It consists of all problems from the Whitman book listed on November 4 and 6. See below for the required format.
The twelfth homework set is due Monday, November 18. It consists of all problems from the Whitman book listed on November 11. See below for the required format.
The week of November 25-November 29 is Thanksgiving break (Happy thanksgiving!). The thirteenth homework set is due Monday, December 2. It consists of all problems from the Whitman book listed on November 18 and 20. The extra credit project is also due December 2.
The fourteenth homework set is due Monday, December 9. It consists of all problems from the Whitman book listed on December 2 and 4. See below for the required format.
There is no assigned homework set for this week.
Homework: There is weekly homework, due Mondays at the beginning of lecture; you are welcome to turn in your homework early, but I will not accept homework past Mondays at 1:35 pm. The homework consists on the problems assigned during the previous week. It is a good idea to work daily on the homework problems corresponding to the material covered that day. A grader (Blake Oren) will check your homework for completeness, and grade carefully 1 or 2 questions (each homework is graded out of 10 points, completeness is worth 2 points). You should use it as a guide for what material to focus on, and what kind of skills are required from you. It is a very good idea to do all of the assigned homework. During office hours, you are welcome to ask about problems from the assigned sets (or any other problems you find interesting). Frequently, some (but not necessarily all) of the problems from the quizzes will be fairly close, if not outright identical, to homework problems.
Your homework must follow the format developed by the mathematics department at Harvey Mudd College. You will find that format at this link. If you do not use this style, your homework will be graded as 0.
Quizzes: There will be weekly quizzes, on the last 20 minutes of Friday’s lecture. Each quiz will evaluate, roughly, the material covered from Friday to Wednesday. You are not allowed to only show up about 20 minutes before the end of the lecture in order to take the quiz; if you show up only for the quiz, your score is 0. If you fail to take a quiz, it will be scored as 0. There are no make-up quizzes. The lowest score is dropped.
For each quiz, I will provide you with a page with the question(s) printed. You may use this page to solve the questions. You need to bring any additional pieces of paper you may require. Calculators, notes, textbooks are allowed. Most likely I will not have calculators, or pencils, etc, so bring your own.
Exams: There will be 3 in-class exams (dates to follow) and a comprehensive final exam.
The grade will be decided based on homework (17% of the total score), quizzes (17%), group work (16%), the three in-class exams (10% each), and a final exam (20%).
I will then grade on a linear scale:
Attendance: Not required, but encouraged. Any material covered in lecture may be used in quizzes and exams, even if it is not discussed in the textbooks. I will use this website to post any additional information, and encourage you to use the comments feature, but (in general) I will not post here standard content covered in the textbooks or in class. If you leave a comment, please use your full name, which will simplify my life filtering spam out.
Please pay attention to the Student Code of Conduct. Feel free to ask me if there are any questions.
I post links to supplementary material on Google+. Circle me and let me know if you are interested, and I’ll add you to my Calculus circle. As with this blog, I encourage you to comment there.
(This started as an answer on Math.Stackexchange. This version has been lightly edited and expanded. Also posted at fff.)
Throughout this post, theory means first-order theory. In fact, we are concerned with theories that are recursively presented, though the abstract framework applies more generally. Thanks to Fredrik Engström Ellborg for suggesting in Google+ the reference Kaye-Wong, and to Ali Enayat for additional references and many useful conversations on this topic.
1.
Informally, to say that a theory interprets a theory
means that there is a procedure for associating structures
in the language of
to structures
in the language of
in such a way that if
is a model of
, then
is a model of
.
Let us be a bit more precise, and do this syntactically to reduce the requirements of the metatheory. The original notion is due to Tarski, see
Alfred Tarski. Undecidable theories. In collaboration with Andrzej Mostowski and Raphael M. Robinson. Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, Amsterdam, 1953. MR0058532 (15,384h).
I follow here the modern reference on interpretations,
Albert Visser, Categories of theories and interpretations, in Logic in Tehran, Lecture Notes in Logic, vol. 26, Association for Symbolic Logic, La Jolla, CA, 2006, pp. 284–341. MR2262326 (2007j:03083).
One can take “the theory interprets the theory
” to mean that there are
with the following properties: We can extend to all
-formulas recursively:
, etc, and
. It then holds that
proves
Here, are taken to be recursive, and so is
.
If the above happens, then we can see as a strong witness to the fact that the consistency of
implies the consistency of
.
Two theories are mutually interpretable iff each one interprets the other. By the above, this is a strong version of the statement that they are equiconsistent.
Two theories are bi-interpretable iff they are mutually interpretable, and in fact, the interpretations from
is
and
from
in
can be taken to be “inverses” of each other, in the sense that
proves that
and
are equivalent for each
in the language of
, and similarly for
,
and
. In a sense, two theories that are bi-interpretable are very much “the same”, only differing in their presentation.
From Georg Kreisel‘s review of The decision problem for exponential diophantine equations, by Martin Davis, Hilary Putnam, and Julia Robinson, Ann. of Math. (2), 74 (3), (1961), 425–436. MR0133227 (24 #A3061).
This paper establishes that every recursively enumerable (r.e.) set can be existentially defined in terms of exponentiation. […] These results are superficially related to Hilbert’s tenth problem on (ordinary, i.e., non-exponential) Diophantine equations. The proof of the authors’ results, though very elegant, does not use recondite facts in the theory of numbers nor in the theory of r.e. sets, and so it is likely that the present result is not closely connected with Hilbert’s tenth problem. Also it is not altogether plausible that all (ordinary) Diophantine problems are uniformly reducible to those in a fixed number of variables of fixed degree, which would be the case if all r.e. sets were Diophantine.
Of course, my favorite quote in relation to the tenth problem is from the Foreword by Martin Davis to Yuri Matiyasevich’s Hilbert’s tenth problem.
During the 1960s I often had occasion to lecture on Hilbert’s Tenth Problem. At that time it was known that the unsolvability would follow from the existence of a single Diophantine equation that satisfied a condition that had been formulated by Julia Robinson. However, it seemed extraordinarily difficult to produce such an equation, and indeed, the prevailing opinion was that one was unlikely to exist. In my lectures, I would emphasize the important consequences that would follow from either a proof or a disproof of the existence of such an equation. Inevitably during the question period I would be asked for my own opinion as to how matters would turn out, and I had my reply ready: “I think that Julia Robinson’s hypothesis is true, and it will be proved by a clever young Russian.”