SCHEDULE Tuesday, March 10 -------------------- * Sipser Theorem 3.13 [Claim 1.9 in Arora/Barak] Richard Cook rcook@cs.washington.edu * Arora/Barak Claim 1.11 Scott Anson sanson@microsoft.com * Theorem 3.16 Arun A V avarun123@yahoo.co.in * Theorem 4.1 James Shimada jshimada@gmail.com * Theorem 4.2 Jian Li lijian@microsoft.com * Theorem 4.5 Jianan Wang numenor@gmail.com * Theorem 4.7 Tyler Akidau t.a.akidau@gmail.com * Theorem 5.13 Ryan Sturgell ryan.sturgell@gmail.com * Theorem 5.30 -- Duncan Smith duncanesmith@gmail.com * Solution to Problem 5.28 David St. Hilaire davidjsh@u.washington.edu "Incompleteness: The Proof and Paradox of Kurt Godel" or "Godel's Proof" -- * Hemanth Srinivas hemanth@u.washington.edu Tuesday, March 10. -- * Thais Melo thaismelo@gmail.com The Mystery of the Aleph: Mathematics, the Kabbalah, and the Search for Infinity -- * Jason Terpsma jason.terpsma@gmail.com -- * Bryce Morsello morseb@u.washington.edu Alan Turing: The Enigma -- * Aaron Greene akgreene@gmail.com Monday, March 16 ---------------- * Theorem 4.8 Vlad Alexandrov Vlad.Alexandrov@microsoft.com March 16 * Arora/Barak Theorem 2.17 Domenico Lemme domlemme@hotmail.com * Arora/Barak Theorem 2.25 David Fields dcf@alumni.cmu.edu * Theorem 8.9 Abdul Hyee Waqas awaqas@cs.washington.edu * Theorem 8.14 Umair Aftab omairaftab@gmail.com * Arora/Barak Lemma 7.14, 7.15 David Driver dvdriver@u.washington.edu * Arora/Barak Section 7.2.1 Xiaoxuan Jin jinn_amaranth@hotmail.com * Arora/Barak Section 7.2.3 Eric Leese eleese99@yahoo.com * Section 10.3 [Section 5.2 in Arora/Barak] * -- Eric McCambridge ericm6@cs.washington.edu March 16 * Arora/Barak Chapter 10 (quantum computation) John Franco jcf@drizzle.com March 16 Dennis Mattoon mattoon@u.washington.edu "Incompleteness: The Proof and Paradox of Kurt Godel" or "Godel's Proof" -- * Alex West awest@u.washington.edu The Code Book: The Science of Secrecy from Ancient Egypt to Quantum Cryptography -- * Rick Byers rbyers@cs.washington.edu -- * Egor Nikitin enikitin@cs.washington.edu -- * Will Morton frostbyte@gmail.com