Так чего же доказал то Курт Гёдель своими теоремами о неполноте?

А вот Гриша Перельман доказал, что глаз все-таки можно натянуть на )|(опу...

вы забыли, что теория у Геделя - не любая, а соответствующая некотормм условиям, например, содержащая бесконечное число объектов.

"Это невозможно, поэтому любая теория внутренне противоречива." - с какого это перепуга? Самый просто пример - булева алгебра. аксиоматическая и непротиворечивая.

Дальше ваш пост не имеет смысла. Почему это никто не сможет сформулировать дополнительную аксиому? Вообще-то у нас есть прекрасный пример: евклидова геометрия без 5-го постулата и дополнительная аксиома - 5-й постулат.

По Гёделя часто придумывают какую-то ерунду. А суть проста: аксиом и теорем у нас только счетное количество, а правильных утверждений - континуум. Значит есть утверждения, которые верны, но отсутствуют в системе аксиом.

Взять бы этого Курта Гёделя, да за такие доказательства года на три в Соловки!

https://ru.wikipedia.org/wiki/Теорема_Геделя_о_неполноте ),и вторая теорема Геделя -две теоремы математической логики о принципиальных ограничениях формальной арифметики, и, как следствие, всякой формальной системы.

Любая аксиоматическая теория противоречива.

Уж не перепутали ли вы непротиворечивость и полноту, г-н всемирно известный физик?

Теорема доказывает, что внутри любой непротиворечивой теории существует утверждение, которое средствами этой теории не может быть ни доказано, ни опровергнуто.
Хорошо, тогда примем такое утверждение за аксиому. Но фокус в том, что в получившейся НОВОЙ теории появится НОВОЕ утверждение такого же рода.

Вам нет равных по вопросам)

Он доказал что бога нет 100%, это с тех пор не обсуждается.

Уже много-много лучше. Весьма рад за Вас!!! Начинаете социализироваться и писать общепонятные вещи!!! Но, есть глюки!!!

Цитата:
_________
1)любая теория не является доказанной, при условии что исходные аксиомы верны Богу.
_________

За Вас никто не должен домысливать!!! При шизофрении человек неспособен закончить мысль!!!

Потому вот Вам подсказочка!!!

1)любая теория не является доказанной, при условии что исходные аксиомы верны … — ЗДЕСЬ ПРОПУЩЕНЫ ИЗВЕСТНЫЕ ТОЛЬКО ВАМ СЛОВА — … Богу. — КОНЦОВКА ПРИНАДЛЕЖИТ ДРУГОМУ ПРЕДЛОЖЕНИЮ. ПОСТРОЙТЕ ГРАМОТНО ПРЕДЛОЖЕНИЕ, ЕСЛИ ВЫ ЖЕЛАЕТЕ ЗАДАТЬ ВОПРОС, И ЕСЛИ У ВАС ЕСТЬ ЖЕЛАНИЕ, ЧТОБЫ НА НЕГО КТО-ТО ОТВЕТИЛ!!! В ПРОТИВНОМ СЛУЧАЕ ВЫ ЗАСТАВЛЯЕТЕ ЧИТАТЕЛЕЙ ОЦЕНИВАТЬ ВАШУ ПИСАНИНУ, А НЕ ВЕСТИ С ВАМИ ДИАЛОГИ!!!

Цитата:
_________
Нельзя доказать непротиворечивость непротиворечивой теории.
_________

МОЖНО!!! Непротиворечивость — это (сама по себе отдельная и самостоятельная) характеристика. У непротиворечивой теории может быть такая характеристика. У непротиворечивой теории может и не быть такой характеристики. Оп-паньки!!! Попался, который кусался?! :) X)

Цитата:
_________
"Истина где-то рядом!"
_________

Эта фраза взята из фильма про Скали и Малдера. Есть более ёмкое высказывание (какого-то учёного, — но, какого я точно не помню!!!): «Любая мысль выплеснутая на бумагу и донесённая до читателя есть ложь!»

Цитата:
_________
Но вероятность верности Богу такой большой теории
_________

Разбейте данное предложение на три части, добавьте недостающее и ещё раз сформулируйте свой вопрос!!!

Но вероятность верности … ЗДЕСЬ ПРОПУЩЕНЫ ИЗВЕСТНЫЕ ТОЛЬКО ВАМ СЛОВА … Богу… ЗДЕСЬ ПРОПУЩЕНЫ ИЗВЕСТНЫЕ ТОЛЬКО ВАМ СЛОВА … такой большой теории

23:51 22.12.2017

Ну типа, полных теорий на бесконечных множествах объектов в принципе не может быть?! Могут быть только неполные теории с конечными группами аксиом, достаточными для решений практических задач. А группа аксиом непротиворечива, если логика рассуждений не приводит к абсурду. Теория может быть неполной и непротиворечивой одновременно! Если противоречивая - нужно менять аксиомы в группе, а если неполная и практика требует дополнений - нужно принимать новые аксиомы. Суть: теория - это группа аксиом и цепочка непротиворечивых следствий, которая "покрывает" не все утверждения об рассматриваемых объектах: некоторые утверждения будут не истинными и не ложными в рамках данной группы аксиом - это неполнота любой теории с конечной группой аксиом на бесконечных множествах. Если себя спросить: имеет ли смысл искать все аксиомы МегаТеории, если их бесконечное множество? - явно не имеет смысла искать! - Нужно знать только те, которые пригодятся для практического применения! А с другой стороны - знаниевое применение - познание Мира вцелом! - А если Мир имеет бесконечно аксиом? - Имеет! - Или нет? Че то я запутался и нихрена не пойму....

You mad cause Iʼm Joseph Stalin on you

теорию доказал

вы забыли, что теория у Геделя - не любая, а соответствующая некотормм условиям, например, содержащая бесконечное число объектов.

"Это невозможно, поэтому любая теория внутренне противоречива." - с какого это перепуга? Самый просто пример - булева алгебра. аксиоматическая и непротиворечивая.

Дальше ваш пост не имеет смысла. Почему это никто не сможет сформулировать дополнительную аксиому? Вообще-то у нас есть прекрасный пример: евклидова геометрия без 5-го постулата и дополнительная аксиома - 5-й постулат.

По Гёделя часто придумывают какую-то ерунду. А суть проста: аксиом и теорем у нас только счетное количество, а правильных утверждений - континуум. Значит есть утверждения, которые верны, но отсутствуют в системе аксиом.

Доказал, что во вселенной есть песчинка которая делает ее некрасивой