Read carefully FOL, pages 154-168 (Sections 6.1-6.5) Do the following problem:
Read FOL, pages 227-232 (Section 9.1) and pages 235-237 (Section 9.3). Do problems:
Choose one of the claims on Handout #14, Mathematical induction problems and prove it as carefully and detailed as possible.
Imagine you were at home over spring break and you met your older sister who is a graduate student of physics at MIT. After you told her that you are attending a course on the nature of mathematical reasoning, she says: "Well, I know what the nature of mathematical reasoning is: it's calculating. The Greeks started it 500 years ago with simple equations, and now we have differential equations and computer programs like Maple or Mathematica to solve them. It has become a zillion times more complex, but basically it's still the same thing." What would you reply to her? Write a few paragraphs.