Schedule

See the posted slides for details on the Final Opportunity.

Class

• Details on the Final Opportunity
• Solving the Test 3 Comments Challenge Problem
• My Favorite Comic Books o Dori-Mic and the Universal Machine! A Tragicomic Tale of Combinatorics and Computability for Curious Children of All Ages o Logicomix: An Epic Search for Truth
• If you want to try the censorship steering demo, you can try it yourself here: https://mightbeevil.com/censorship. There is also a demo of the refusal-compliance steering: https://hannahcyberey-refusal-censorship-steering.hf.space/ (this requires a free Huggingface account to use, but no account is needed for the censorship demo).

[Slides (PDF)] [Video]

Schedule

• We are working hard to finish grading Test 4 as quickly as possible, and will provide details on the in-person final opportunity in class on Monday. If you want to start preparing for an anticipated final, reviewing Tests 1-3 (including our posted comments) would certainly be worthwhile.

Class

• All Math is Discrete Math
• What is Math?
• From Sets to Reals

Both sections: [Slides (PDF)] (No video for today)

I removed some slides from the posted slides from what was done in class, but there are many public materials posted on the DOJ’s Website, including my demonstrative slides (the equation we talked about is on slide 17).

Schedule

• Test 4 will be in class on Wednesday, 23 April. Preparation Guide for Test 4

Class

• Finishing Proof of Cantor’s Theorem
• Review for Test 4

10am Section: [Slides (PDF)] [Video]
2pm Section: [Slides (PDF)] [Video]

Schedule

• Test 4 will be in class on Wednesday, 23 April.

Class

• Uncountability of the Real Numbers
• Cantor’s Theorem
• Proving Cantor’s Theorem

10am Section: [Slides (PDF)] [Video]
2pm Section: [Slides (PDF)] [Video]

Schedule

• Problem Set 8 is now posted and is due before 8:29pm on Thursday, 17 April: [PDF] [Template]
• Test 4 will be in class on Wednesday, 23 April.

Class

• Review: Proving Uncountability
• Infinite Binary Strings (recap)
• \( pow(\mathbb{N}) \)
• Python programs
• Real numbers

10am Section: [Slides (PDF)] [Video]
2pm Section: [Slides (PDF)] [Video]

Schedule

• Problem Set 8 is now posted and is due before 8:29pm on Thursday, 17 April: [PDF] [Template]

Class

• Explaining the Rest of the Semester
• Proofs of Uncountability
• Diagonalization Proofs
• Cantor’s Diagonalization Proof (1891)

For the story behind the book and high quality scan, see Cantor’s (No Longer) Lost Proof.

10am Section: [Slides (PDF)] [Video]
2pm Section: [Slides (PDF)] [Video]

Schedule

• Problem Set 8 is now posted and is due before 8:29pm on Thursday, 17 April: [PDF] [Template]

Class

• Potential and Actual Infinities
• Cantor vs. Aristotle, Aristotle, Kronecker, Poincaré, St. Thomas Aquinas, Pope Leo XIII, etc.
• English is a Disaster
• Definiting Infinite, Countable, Uncountable, Countably Infinite
• Proofs of Countability and Uncountability

10am Section: [Slides (PDF)] [Video]
2pm Section: [Slides (PDF)] [Video]

Schedule

• Problem Set 7 is due before 8:29pm on Thursday, 10 April: [PDF] [Template]

Class

• \( \mathbb{N} \times \mathbb{N} \) and \( \mathbb{Q} \) are Countably Infinite
• Binary Strings
• Uncountably Infinite

10am Section: [Slides (PDF)] [Video]
2pm Section: [Slides (PDF)] [Video]

Schedule

• Problem Set 7 is due before 8:29pm on Thursday, 10 April: [PDF] [Template]

Class

• Defining Infinite and Countable Sets
• Review of Binary Relations
• All Finite Sets are Countable
• The Integers are Countably Infinite

10am Section: [Slides (PDF)] [Video]
2pm Section: [Slides (PDF)] [Video]

Schedule

• Problem Set 7 is now posted and is due before 8:29pm on Thursday, 10 April: [PDF] [Template]

Class

• Defining Infinite Sets
• Cardinality of infinite sets
• Countable Sets

10am Section: [Slides (PDF)] [Video]
2pm Section: [Slides (PDF)] [Video]