Объясните теорему Гёделя о неполноте простым языком для нематематика пожалуйста. Постулаты, практическое значение, влияние на философию?
Этот пост содержит очень странный ответ, мне он кажется некорректным. У нас как-то перепроверяются репосты из Q?
Что же по сути дела, то ЕМНИП у Геделя как раз таки "любая внутренне непротиворечивая система умеющая в в простую арифметику неполна, то есть не может доказать некоторые утверждения". Речь вовсе не про конкретную аксиоматику, а про любую в которой есть:
- натуральные числа
- сложение
- умножение
Кроме того, аксиоматика Пеано - не "всего лишь один из способов" задания натуральных чисел, это наиболее удобный и распространенный способ задавать натуральные чилса. Альтернативы есть, но применяются они не сказать чтобы широко.
У нас как-то перепроверяются репосты из Q
Проще всего проголосовать на -1. )
На самом Q было понятие "подтверждено экспертами", этот ответ кто-то подтверждал. Можно восстановить, кто именно, но, наверное, не так важно.
Сам вопрос, конечно, интересней, чем этот ответ. В математике так точно крах программы Гильберта был сильным событием, но насколько теорема Гёделя повлияла на ту же аналитическую философию (а не на народно-пенсионерскую) и повлияла ли, я, например, не знаю.
ответить