Mathematics is not a careful march down a well-cleared highway, but a journey into a strange wilderness, where the explorers often get lost.

A mathematician's work is mostly a solitary pursuit, but it builds on the work of many others.

Reason is the soul of the law； the reason of the law is the soul.

A programming language is low level when its programs require attention to the irrelevant.