JК
Диалоги (июнь 2003 г.) :: Гордон Александр
Страница: 104 из 340Приходит Гёдель и изнутри этой самой математики, её методами, на её аксиоматике показывает заложенную в ней противоречивость – это одно из следствий теоремы Гёделя, то есть в ней существуют «истинные недоказуемые высказывания».
А что такое «истинные недоказуемые высказывания»? Почему ты их вольно сводишь к «молчанию», к «непроговоренному». Это неправда, это проговоренное, но недоказуемое в своей истинности.
В.Р. Проговоренное и недоказуемое или недоказуемое и непроговоренное, это уже частности. Для меня важно всегда соотнести несоотносимое, мне кажется, для Витгенштейна тоже.
Но вот ты говоришь, что он занимался основаниями математики и апеллируешь к Фреге и Расселу, но от Фреге и Рассела прямой путь к Витгенштейну и к венской традиции.
О.А. Конечно.
В.Р. Опять-таки – Гёдель решал, действительно, это на материале «Principia Mathematica», но главный принцип венцев – это так называемое «простое протокольное предложение», которое как бы нужно верифицировать. И мне кажется, что теорему о неполноте, среди прочего, нужно рассматривать вот в этом контексте, в котором всё это варилось.
А что такое «истинные недоказуемые высказывания»? Почему ты их вольно сводишь к «молчанию», к «непроговоренному». Это неправда, это проговоренное, но недоказуемое в своей истинности.
В.Р. Проговоренное и недоказуемое или недоказуемое и непроговоренное, это уже частности. Для меня важно всегда соотнести несоотносимое, мне кажется, для Витгенштейна тоже.
Но вот ты говоришь, что он занимался основаниями математики и апеллируешь к Фреге и Расселу, но от Фреге и Рассела прямой путь к Витгенштейну и к венской традиции.
О.А. Конечно.
В.Р. Опять-таки – Гёдель решал, действительно, это на материале «Principia Mathematica», но главный принцип венцев – это так называемое «простое протокольное предложение», которое как бы нужно верифицировать. И мне кажется, что теорему о неполноте, среди прочего, нужно рассматривать вот в этом контексте, в котором всё это варилось.