В.В. Целищев, А.В. Хлебалин
Институт философии и права СО РАН, 630090, г. Новосибирск, ул. Николаева 8 leitval@gmail.com
Ключевые слова: интенсиональность математики, концепция непротиворечивости, неполнота, формализация
Страницы: 76-86
Аннотация
В статье демонстрируется необоснованность упрощенного понимания значимости Второй теоремы о неполноте К. Гёделя как упускающего ее концептуальное содержание. Выявляется соотношение экстенсионального и интенсионального содержаний конструирования предложения G2. Показано, что последнее связано с выбором способа формализации концепции непротиворечивости. Обосновываются преимущества интенсиональной интерпретации G2.
Наш сайт использует куки. Продолжая им пользоваться, вы соглашаетесь на обработку персональных данных в соответствии с политикой конфиденциальности. Подробнее