Making the simple complicated is commonplace; making the complicated simple, awesomely simple, that's creativity. -- Charles Mingus

Saturday, February 28, 2015

Blade Runner Sequel?

Even with Harrison Ford on board, I've got to say I'm skeptical.

Logic and Football



"People who say that football* has no logic, don't understand football, or logic".

Sign at the Museu do Futebol, São Paolo, Brazil. 

Thanks to my hosts in São Paolo at the launch of the Portuguese translation of Language, Proof and Logic for the wonderful hospitality.

*Referring to the game that Americans call soccer, of course.

Thursday, February 26, 2015

Language, Proof and Logic: Self-Paced course at Stanford Online

We've revised the Stanford Online class based on Language, Proof and Logic as a self-paced course.

The material is the same as the course that we offered in the Fall of 2014, but students in the self-paced course will (obviously) work at their own speed.  There will not necessarily be a cohort of students taking the course at the same time, and there will be no instructors or teaching assistants monitoring the course.

The self-paced course will launch on March 4th, 2015.

Testing

(Tap, tap, tap) Is this thing on?