JК
Диалоги (июнь 2003 г.) :: Гордон Александр
Страница: 123 из 340Многие люди слышали о теореме Гёделя о неполноте, многие философы рассуждают на эту тему, ну и люди, иногда далёкие от математики и философии, что-то об этом слышали, и много бывает интерпретаций, я тут не хочу анализировать все точки зрения, какие могут быть…
Существует парадоксальное утверждение в теореме Гёделя, утверждение о том, что нечто нельзя доказать. Но я бы, может быть, сделал некоторый короткий экскурс в историю: интерес к формулировке доказательства имеет не только парадоксально-философский, но и чисто позитивный смысл. Я уже говорил, что математика стремится ко всё более точному изложению своего собственного предмета, и одно из достижений ещё древних греков было создание аксиоматического метода. Суть изложения геометрии по Евклиду (оно было отражено и в учебниках Киселёва) состоит в том, что геометрические истины начинаются с формулировок аксиом, а все остальные утверждения, леммы, теоремы, они вытекают из аксиом. Это было на самом деле интеллектуальным открытием.
Я должен сказать, что появление аксиоматического метода произвело сильное впечатление на другие науки. И философы, биологи, физики, тоже попытались изложить так свои системы. Вот Спиноза свои сочинения излагал в виде такого аксиоматического, систематического изложения. Но как показало дальнейшее развитие, там было два ну не то что бы изъяна, а две вещи, которые надлежало более серьёзно проанализировать и уточнить. Одно из них состояло в следующем.
Существует парадоксальное утверждение в теореме Гёделя, утверждение о том, что нечто нельзя доказать. Но я бы, может быть, сделал некоторый короткий экскурс в историю: интерес к формулировке доказательства имеет не только парадоксально-философский, но и чисто позитивный смысл. Я уже говорил, что математика стремится ко всё более точному изложению своего собственного предмета, и одно из достижений ещё древних греков было создание аксиоматического метода. Суть изложения геометрии по Евклиду (оно было отражено и в учебниках Киселёва) состоит в том, что геометрические истины начинаются с формулировок аксиом, а все остальные утверждения, леммы, теоремы, они вытекают из аксиом. Это было на самом деле интеллектуальным открытием.
Я должен сказать, что появление аксиоматического метода произвело сильное впечатление на другие науки. И философы, биологи, физики, тоже попытались изложить так свои системы. Вот Спиноза свои сочинения излагал в виде такого аксиоматического, систематического изложения. Но как показало дальнейшее развитие, там было два ну не то что бы изъяна, а две вещи, которые надлежало более серьёзно проанализировать и уточнить. Одно из них состояло в следующем.