The development of mathematics towards greater precision has led, as is well known, to the formalization of large tracts of it, so that one can prove any theorem using nothing but a few mechanical rules. (Kurt Gödel)

The development of mathematics towards greater precision has led, as is well known, to the formalization of large tracts of it, so that one can prove any theorem using nothing but a few mechanical rules.

Kurt Gödel

Related topics

development few known large led mathematics mechanical nothing precision prove theorem using well formalization rules

Related quotes

A process which led from the amœba to man appeared to the philosophers to be obviously a progress - though whether the amœba would agree with this opinion is not known. View quote
Bertrand Russell
If there were in the world today any large number of people who desired their own happiness more than they desired the unhappiness of others, we could have a paradise in a few years. View quote
Bertrand Russell
Few things tend more to alienate friendship than a want of punctuality in our engagements. I have known the breach of a promise to dine or sup to break up more than one intimacy. View quote
William Hazlitt
Serious sport has nothing to do with fair play. It is bound up with hatred, jealousy, boastfulness, disregard of all rules and sadistic pleasure in witnessing violence. In other words, it is war minus the shooting. View quote
George Orwell
Nothing graces the Christian soul so much as mercy; mercy as shown chiefly towards the poor, that thou mayest treat them as sharers in common with thee in the produce of nature, which brings forth the fruits of the earth for use to all. View quote
Ambrose