V. interesting (but incomplete) ideas on how to change the way we think about mathematics. - Michael Nielsen