Use the snippets (paper or you can use the miro board) to put the implementation and proof of correctness for selection sort (recursive approach) in the right order.
Solutions will be available on moodle after class.
Reminder: Please fill out this form by EOD Friday 9/15 to indicate your team's preferences for which synthesis to be responsible for.
Each team has a status flag that you can use to help me focus where to go:
green: working, no questions
yellow: have a question, but not blocked from doing work
red: have a question, blocked from doing work
blue: done, just hanging out
Remember: this is an opportunity to practice clear, concise and precise communication while working through the material!
Throughout the course, each of you must volunteer at least once to serve as the facilitator, who will:
Make sure everyone has a chance for their voice to be heard. For example, saying:
“X, we haven’t heard from you in a while. Do you have thoughts on this problem or is there another one you’d like to shift to?”
Keep track of time to cover as much of each problem as possible
Post a clearly articulated report with a summary and/or questions to the corresponding Ed Discussion category
Please be sure to also post your pod # and other team members, as in “Report for Pod 2 (Audrey St. John, Mary Lyon, …)”
If you’d prefer to use a doc, post the link or turn it into an image to attach
If you have work from the board, you can take a photo and post it
In your pods:
Find the flaw in ChatGPT's argument that there is a flaw in the chat linked below...
Post your analysis to Ed Discussion before you look at my solutions below.
ChatGPT claims to detect a "flaw" in a proof that is actually correct.
The proof I gave it is from Proofs from THE BOOK: a book of mathematical proofs by Martin Aigner and Günter M. Ziegler. The book is dedicated to the mathematician Paul Erdős, who often referred to "The Book" in which God keeps the most elegant proof of each mathematical theorem.
In the response, there is an assignment of colors to vertices of a graph:
Now, let's say the proof assigns colors as follows:
Color 1: A and D.
Color 2: B and E.
Color 3: C and F.
It then goes on to say:
Triangle ABC ... only contains vertices of color 2 and color 3.
This is faulty logic, since Triangle ABC contains vertex A, which was assigned color 1.
If you have more time...
See if you can create a chat with ChatGPT that contains a response with faulty logic. Post the links (and analysis) to the Ed Discussion thread.
Compile a list of concerns around proofs and/or Discrete Math topics. Use Ed Discussion thread to post (you can do this anonymously if you prefer).
Check out this online book that might help with reasoning about proofs.
Work together to start the first few levels of The Incredible Proof Machine.
Asymptotics Module (complete before 9/19 class) -- allocate a few hours!
Ask and answer questions via Ed Discussion!