Та самая теорема
Aug. 10th, 2010 11:00 amСтолько раз встречался с упоминанием "той самой теоремы!".
Вы конечно поняли что речь о той самой теореме Курта Гёделя о неполноте аксиоматической системы.
Люблю математику с детства!
Так вот. Теорем на самом деле две.
Первая:
Если формальная арифметика S непротиворечива, то в ней существует такая замкнутая формула G, что ни G, ни её отрицание ¬G не являются выводимыми в S.
Вторая:
Если формальная арифметика S непротиворечива, то в ней невыводима формула, содержательно утверждающая непротиворечивость S.
Подробнее вот тут...
Так в качестве пояснения на более путаном, мене математическом языке.
Первая теорема утверждает что в непротиворечивой системе всегда присутствует аксиоматика основанная на внешних по отношению к ней утверждениях. Тоесть применимо к жизни это значит что любые утверждения в конечном итоге опираются или на физику (то что любой может потрогать) или на религию (то во что верят не проверяя).
Вторая же теорема говорит о том что в замкнутой ситеме понятий нельзя ни доказать ни опровергнуть непротиворечивости. Система законов НЕ опирающаяся на внешние по отношению к ней самой утверждения не может содерджать средств позволяющих грубо говоря найти в ней дыру или доказать её отстутствие.
Вот такие дела.
В.А.УСПЕНСКИЙ "ТЕОРЕМА ГЁДЕЛЯ О НЕПОЛНОТЕ В ЭЛЕМЕНТАРНОМ ИЗЛОЖЕНИИ" (PDF)
Вы конечно поняли что речь о той самой теореме Курта Гёделя о неполноте аксиоматической системы.
Люблю математику с детства!
Так вот. Теорем на самом деле две.
Первая:
Если формальная арифметика S непротиворечива, то в ней существует такая замкнутая формула G, что ни G, ни её отрицание ¬G не являются выводимыми в S.
Вторая:
Если формальная арифметика S непротиворечива, то в ней невыводима формула, содержательно утверждающая непротиворечивость S.
Подробнее вот тут...
Так в качестве пояснения на более путаном, мене математическом языке.
Первая теорема утверждает что в непротиворечивой системе всегда присутствует аксиоматика основанная на внешних по отношению к ней утверждениях. Тоесть применимо к жизни это значит что любые утверждения в конечном итоге опираются или на физику (то что любой может потрогать) или на религию (то во что верят не проверяя).
Вторая же теорема говорит о том что в замкнутой ситеме понятий нельзя ни доказать ни опровергнуть непротиворечивости. Система законов НЕ опирающаяся на внешние по отношению к ней самой утверждения не может содерджать средств позволяющих грубо говоря найти в ней дыру или доказать её отстутствие.
Вот такие дела.
В.А.УСПЕНСКИЙ "ТЕОРЕМА ГЁДЕЛЯ О НЕПОЛНОТЕ В ЭЛЕМЕНТАРНОМ ИЗЛОЖЕНИИ" (PDF)