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

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

Курт Гьодел

Свързани теми

друг математика нищо правило прецизност развитие теорема участък формализиране човек

Подобни цитати