 |
15 июля 2017
|
|
> А это по нижней прикидке порядка 15-17 тысяч букв, не считая цепочек if-then-else.
"В «Principia Mathematica» Бертран Рассел, и Альфред Уайтхед, опираясь на формальную логику, попытались дать четкое обоснование основ математики. Они начали с того, что считалось аксиомами, и на основе этой аксиоматики доказывали теоремы все большей сложности. К странице 362 они установили достаточно, чтобы доказать: «1 + 1 = 2»."(с) 2 |
|
Включить тёмную тему
Популярное
