Have a happy and restful spring break. Video links for Friday’s video lecture are below. Your homework over break will be to read Hamkins (not Hammack), Chapter 4 up to the end of Section 4.3 (pages 27-32) about induction, and to watch the Friday lecture videos. Just spend some time thinking and absorbing, nothing to hand in.
Video 1 (19 mins) is hosted on google drive, and I made it for you today, showing a standard inductive proof: view it here.
Video 2 (22 mins) is hosted on YouTube and I made it in 2018 showing a graph-based inductive proof: view it here. (I apologize that I can’t find my original file from 2018 and have to give a YouTube link, which may serve you an ad that Youtube makes money from. 🙂
Proof for feedback:
State and prove a variation on today’s Take-2-or-1 Theorem, but where players can take 1 or 3 stones. Use as a model the proof from class notes and/or my writeup.
- Note: Friday, March 24th will be a recorded lecture (so no need to attend class); you will find it on this website and view it over spring break at your leisure.
- Wednesday is a proof quiz. It will be a proof by contrapositive. Examples can be found in Chapter 5 of Hammack. Do some exercises from there as practice.
- Because of spring break, you will have until April 7th to do a logic study sheet in order to request a logic grade improvement. Solutions to the quiz can be found in the “Materials Archive” page as usual.
Proof for feedback: Revisit any of your previous proofs for feedback and resubmit a new draft based on your previous feedback. Pick one that you struggled with the first time around.
- Your logic test is on Wednesday. I will post some example/practice problems shortly on here (watch this spot).
- Watch this description of the limit definition of a sequence; this should help clarify some of what we were doing in class:
- Video 1: https://www.youtube.com/watch?v=PRTjvMA2nCY
- Video 2: https://www.youtube.com/watch?v=0UCRZAsIkXM
- Video 3: https://www.youtube.com/watch?v=lCW8BBBQRyc
- See if you can finish the rest of limit part (first two pages) of the worksheet from Friday.
Proof for Feedback:
choose #3, 4 or 5 (your choice) from the Existence Proofs Worksheet
- Wednesday is a proof test! It will be an existence proof. For more practice, see Hammack, Chapter 7, exercises 12, 17, 18, 20 (uses the symbol “divides”; it says “11 divides 2^n-1”).
- Finish your existence proofs worksheet; choose one of them to request feedback on from the grader (put it first in what you hand in). In class we will take up the solutions. (Of course, don’t look at this before you do your proof for feedback, that would be kind of silly.)
- With what time remains, read Hamkins, Chapter 3 up to end of 3.2 (Number Theory, Prime Numbers and Fundamental Theory of Arithmetic). This involves an existence proof.