Leslie Lamport's yet unpublished rant on coders and math (read the preface)

research.microsoft.com