The merit of Marx is that he suddenly produces a qualitative change in the history of social thought. He interprets history, understands its dynamic, predicts the future, but in addition to predicting it, he expresses a revolutionary concept: the world must not only be interpreted, it must be transformed.

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

未来属于那些在可能性变得明显之前就能看到它们的人。

法规应推动创新，而非扼杀创新。