Saturday, May 24, 2014

The Perils of Propaganda

The pictures don't do justice to Boulder's Flatirons. They're extremely impressive "live".

My Invited talk at  the North-American Meeting of the Association for Symbolic Logic in Boulder, CO wasn't recorded (no talks were recorded, mathematicians are usually low-tech).


So the propaganda will look even more 'jarring', perhaps in the slides.

But since I did work very hard, trying to convey what I think young logicians ought to know about mathematics in the 20th century, here (Edwardian Proofs as Futuristic Programs for Personal Assistants, Boulder, CO)  are the slides, warts and all.