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