Цитати на тема "Формализиране"

Развитието на математиката към по-голяма прецизност доведе, както е известно, до формализирането на големи участъци от нея, така че човек може да докаже всяка теорема, използвайки нищо друго, освен няколко механични правила. (Курт Гьодел)