New Course on Algebro-Geometric Decision Methods at Cambridge
Lent term, 2012, I taught a Part IV
pure mathematics course called Decision Methods over Real and
Closed Fields at DPMMS, Cambridge.
I had a wonderful time and am very keen to teach such a course again.
Please let me know if you'd like the notes (feedback appreciated!). Thank you to those of you who joined!
(A rough lecture roadmap, beginning with Lecture 1 - `Framing the
Miracle' of the decidability of Th(<R, +, *, <, 0, 1>), and ending with Lecture 10 - `Krivine-Stengle Weak Positivstellensatz')
``The Secret Lives of Polynomial Identities'' : pdf
Kuga's indescribable ``Galois' Dream: Group Theory and Differential
Equations'' : Google Books preview
; truly a work of beauty
Natalie Wolchover's wonderful 2013 article
``In Computers We
Trust?'' on the use of computers in both discovery and proof in
Instrument - Ten Years of the Band Fugazi : imdb ; nevermind what's been selling, it's what you're buying
Killing a Camera - The Braid Documentary : insound ; new nathan detroits!