О беспочвенности науки (по материалам википедии и не только)
- 11.05.07, 10:00
- ПрактическоеХристианство
Ниже приведена формулировка теоремы Гёделя о неполноте, из которых следует, что доказать непротеворечивость логики в рамках самой логики невозможно.
То есть все-таки ВЕРИМ!!!! 
Теорема была доказана Куртом Гёделем в 1931 году.
Вторая теорема Гёделя о неполноте| Во всякой достаточно богатой непротиворечивой теории первого порядка (в частности, во всякой непротиворечивой теории, включающей формальную арифметику), формула, утверждающая непротиворечивость этой теории, не является выводимой в ней. |
Иными словами, непротиворечивость достаточно богатой теории не может быть доказана средствами этой теории. Однако вполне может оказаться, что непротиворечивость одной конкретной теории может быть установлена средствами другой, более мощной формальной теории. Но тогда встаёт вопрос о непротиворечивости этой второй теории, и т. д.
Эта теорема имеет широкие последствия как для математики, так и для философии, в частности, для онтологии и философии науки.
Литература- Успенский В. А. Теорема Гёделя о неполноте. «Популярные лекции по математике» М.: «Наука», 1982 г., 110 стр.
Коментарі
Гість: mits
111.05.07, 10:14
в уме не укладывается
Обьясните пожалуйста на пальцах
Крестьянин
211.05.07, 10:18Відповідь на 1 від Гість: mits
Короче говоря, доказать, что математика непротеворечива невозможно средствами математики.
Но математики-же не повесились с 1931-го года, когда это стало известно.
Продолжают верить...
Если на пальцах.
CKB
311.05.07, 10:32
"Но математики-же не повесились с 1931-го года, когда это стало известно"
На "вере" в математику основаны практически все механизмы и приборы
Сын крестьянин очередной раз смешал две пословицы "Слышан звон, но не знаю где он" и "В огороде бузина, а в Киеве..." сами знаете кто
Крестьянин
411.05.07, 10:39Відповідь на 3 від CKB
На вере в Бога основаны все молитвы.
Так в чем разница?
Крестьянин
511.05.07, 10:42Відповідь на 3 від CKB
Я - математик-прикладник.
Программист. Изучал формальную логику.
Я слышал этот звон. Знаю,где он.
Не торопитесь с выводами.
CKB
611.05.07, 10:48Відповідь на 4 від Крестьянин
Странно, что инициатор "практического" христианства задает такие вопросы
Разница элементарна - с помощью веры в бога без математики построить мост или самолет невозможно. А с помощью математики, без веры в бога - возможно.
Крестьянин
711.05.07, 10:51Відповідь на 6 від CKB
Надеюсь быть услышанным.
С математикой и без веры в Бога бросить наркотики нельзя.
А сверой в Бога можно бросить и без математики.
Другая практика, сэр.
Но тоже - ведь видимые результаты.
Просто примите, что у истины два крыла.
а не только логика. Вот и все, о чем я.
CKB
811.05.07, 10:53Відповідь на 5 від Крестьянин
Будем снова давить авторитетом и потрясать "корочками"?
Крестьянин
911.05.07, 11:00Відповідь на 8 від CKB
Просто примите, что у истины два крыла.
а не только логика. Вот и все, о чем я.
Я забыл, что уже говорил вам о своей бывшей профессии.
Тогда к чему "бузина"?
Откуда уверенность, что я перепутал?
Прошу аргументы.
CKB
1011.05.07, 11:00Відповідь на 7 від Крестьянин
Уважаемый Сын
Я просто потрясаюсь тем, каким образом вы, изучив формальную логику, не вилите логических прорех в своих доводах
Как можно ставить на один уровень постройку самолета и бросание наркотиков?
Я вот считаю себя среднестатистическим человеком и обхожусь без наркотиков не веря в бога. Тем более, что если посмотреть шире - что есть вера? - тот же наркотик.