1) "малое количество свойств" - это не конкретика и следовательно как часть высказання выглядет несуразно, контрэстетично; математеке треба определённость - если вы этого не знали, стыд вам и срам тоже вам
И тут мы приходим к тому с чего я начинал - теорема НЕ касается всех систем утверждений (см. выделенное).
А прочее ваше многословие - от неумения связно мыслить.
допустим, по части формальной математической логики я дурак
как быть с этим:
1) ...утверждает примерно следующее: при определенных условиях
в любом языке существуют истинные, но недоказуемые утверждения.
2) (Первая теорема Гёделя о неполноте) Во всякой достаточно богатой теории первого порядка (
в частности, во всякой теории, включающей формальную арифметику), существует такая истинная формула F, что ни F, ни отрицание F не являются выводимыми в этой теории.
3) There are other results which Gödel’s incompleteness theorems made possible. These include
the fact (which he formulated) that no theory can prove its own consistency. (Arithmetic, for example, can only be proved consistent within a larger theoretical framework such as Zermelo Fraenkel set theory – but then set theory can’t prove it’s own consistency.) Another closely related statement is Alfred Tarski’s result that
“truth” in a formal system or model
cannot be defined within that system or model.
4) Godel's First Incompleteness Theorem.
Any adequate axiomatizable theory is incomplete. In particular the sentence "This sentence is not provable" is true but not provable in the theory.
5) 13. The first G¨odel’s incompleteness theorem has the following importantCorollary: The set
of formulas provable in T is not algorithmically decidable. (If it were we could construct a complete
recursively axiomatized consistent extension of our T, violating the first incompleteness
theorem.)
где Т - любая рекурсивная аксиоматизированная теория, а под формулой может пониматься высказывание
(в п. 12 так и написано
which can be interpreted as saying “I am not provable”)
1-вопрос. Разве нельзя любой йезыг 2-уровня свести к йезыгу 1-уровня, т.о. распространяя действие математических теорем и применительно к словам? или льзя? (в смысле высказывание уравнить элементу арифметики)
2-вопрос. кагсида нефтему: плацебо - это феномен веры? или доказательство шо подсознание рулез?
3-вопрос. торсионные поля?
ЗЫ. превед
Сообщение отредактировал простотак: 08.02.2008, 06:56:12