Re: Продолжение - о теории
May. 7th, 2006 | 04:23 pm
From:: anonymous
(1) Верификация (а также фальсификация, о готорой как раз и говорил Миллер) как раз ближе к истории, потому что в историческом дискурсе ("логике") противоречивые утверждения несовместимы. Не может быть истории, где было бы написано: "Наполеон был отравлен" и, затем, "Наполеон был обезглавлен".
(2) Что касается теории, то есть, например, теорема Гёделя, которая гласит: Во всякой достаточно богатой непротиворечивой теории первого порядка (в частности, во всякой непротиворечивой теории, включающей формальную арифметику), существует такая замкнутая формула F, что ни F, ни не-F не являются выводимыми в этой теории. Т.е. во ВСЯКОЙ непротиворечивой теории есть неверифицируемые теоретическим образом утверждения. Например, даже Хиллису Миллеру не под силу доказать или опровергнуть 5-ю аксиому Евклида или аксиому выбора в теории множеств.
Андрей Логутов
(2) Что касается теории, то есть, например, теорема Гёделя, которая гласит: Во всякой достаточно богатой непротиворечивой теории первого порядка (в частности, во всякой непротиворечивой теории, включающей формальную арифметику), существует такая замкнутая формула F, что ни F, ни не-F не являются выводимыми в этой теории. Т.е. во ВСЯКОЙ непротиворечивой теории есть неверифицируемые теоретическим образом утверждения. Например, даже Хиллису Миллеру не под силу доказать или опровергнуть 5-ю аксиому Евклида или аксиому выбора в теории множеств.
Андрей Логутов