 |
-
Хайдук
-
-
OFFLINE
-
Наместник
-
- Posts: 47703
- Thank you received: 127
-
Karma: 23
-
|
Vladimirovich написал(а): значит ли это, что аксиомы Пеано избыточны для группы с двумя операциями (кольца), каковой является поле? Не врубился, ув. Vladimirovich, какой смысл вкладываете в якобы избыточность аксиом Пеано? Может существуют кольца и/или поля, НЕ обладающие подструктурой, удовлетворяющей аксиомам Пеано? Как раз такие кольца и/или поля могли бы оказаться полными, то бишь конечно аксиоматизируемыми по Гёделю . Лень прямо щас рыться в строгих определениях, но может арифметика неспроста известна именно как арифметика, а не как некая из алгебраических структур
|
|
-
Хайдук
-
-
OFFLINE
-
Наместник
-
- Posts: 47703
- Thank you received: 127
-
Karma: 23
-
|
Vladimirovich написал(а): Если бутылочку коньячку положить в красивую коробочку, она не перестанет быть бутылочкой коньячку
Но вот если положить в коробочку, выпить коньячок , и залить туда джину....
Будет ли справедливой теорема Геделя для такой формальной системы То есть сможет ли теория действительных чисел оставаться неполной по Гёделю, если не будет подмножества натуральных чисел или подструктуры арифметики (Пеано)? Рискну предположить, что ответ отрицателен, то бишь теория такая будет полной (конечно аксиоматизируемой). Арифметика как-будто необходима для неполноты.
|
|
-
Vladimirovich
-
-
OFFLINE
-
Инквизитор
-
- Posts: 100784
- Thank you received: 1842
-
Karma: 101
-
|
Хайдук написал(а): Не врубился, ув. Vladimirovich, какой смысл вкладываете в якобы избыточность аксиом Пеано? Может существуют кольца и/или поля, НЕ обладающие подструктурой, удовлетворяющей аксиомам Пеано? Как раз такие кольца и/или поля могли бы оказаться полными, то бишь конечно аксиоматизируемыми по Гёделю . Лень прямо щас рыться в строгих определениях, но может арифметика неспроста известна именно как арифметика, а не как некая из алгебраических структур Чисто интуитивно я с Вами соглашусь, ув. Хайдук. Но знанием этого я не обладаю.
А Григорий молчит, как партизан
|
|
-
Хайдук
-
-
OFFLINE
-
Наместник
-
- Posts: 47703
- Thank you received: 127
-
Karma: 23
-
|
Григорий зверь, однако : догадаться, что как раз единица 1 недистрибутивной операции (умножения) обладает потенциалом присобачить дистрибутивную операцию (сложение) с единицей 0 и состряпать подгруппу целых чисел - это ВЕСЧЬ
Отредактировано Хайдук (2010-02-06 07:00:21)
|
|
-
Alexander
-
-
OFFLINE
-
Боярин
-
- Posts: 10534
- Thank you received: 110
-
Karma: 10
-
|
Крыс написал(а): Не знаю почему, но до сих пор испытываю к Григорию тайную симпатию и как могу берегу его. В постах Григория, пока они не касаются тебя самого, безусловно есть что-то притягательное
|
|
-
Vladimirovich
-
-
OFFLINE
-
Инквизитор
-
- Posts: 100784
- Thank you received: 1842
-
Karma: 101
-
|
Склонирую формулировку из Аксиом
Вопрос лишь о включении арифметики. Что нужно сделать, чтобы включить арифметику...
Кольцо с единицей по сложению 0 и по умножению 1 ее включает?
Я откровенно не знаю, Григорий.
Думаю, что нет. Но не знаю, чего не хватает. Но не знать это, мне кажется извинительно.
И не думаю, что мой вопрос заслуживает эпитета бессмысленный. Уточним также и формулировку более старого вопроса, связанного с заменой натуральных на действительные...
Если существует геделевское утверждение Х в формальной системе аксиом, включающей действительные числа, то будет ли оно справедливо в системе аксиом натуральных чисел... Т.е не является ли неполнота следствием натуральности ...
Вопрос конечно некорректный. А Григорий добавит - глупый и бессмысленный
Если Утверждение Х использует понятие действительного числа, то все очевидно.
Но вот хочется пример такого утверждения.
Григорий уже приводил пример гипотезы континуума. Так что вопрос типа закрыт. Но мощности множеств - это не совсем то
|
|
-
Serge_P
-
-
OFFLINE
-
Бояринъ
-
- Posts: 1568
- Thank you received: 6
-
Karma: 1
-
|
Задачка Смаллиана:
Будем говорить, что логик является правильным, если все, что он может доказать, является истинным (т.е., если какое-либо утверждение ложно, то он его доказать не может).
Однажды правильный логик попал на остров рыцарей и плутов (ну, как обычно, рыцари могут делать только истинные утверждения, плуты только ложные). Логик встречает островитянина, и тот делает утверждение, из которого следует, что говорящий - рыцарь, но логик не сможет этого доказать.
Что это за утверждение?
Отредактировано Serge_P (2010-05-02 03:42:04)
|
|
-
Хайдук
-
-
OFFLINE
-
Наместник
-
- Posts: 47703
- Thank you received: 127
-
Karma: 23
-
|
Интересная задачка , в своё время читал какое-то краткое введение в математическую логику Смаллианом.
Знаю лишь как отличить рицаря от плута одним вопросом к любому из них
|
|
-
Serge_P
-
-
OFFLINE
-
Бояринъ
-
- Posts: 1568
- Thank you received: 6
-
Karma: 1
-
|
решение этой задачки содержит в себе идею доказательства теоремы Гёделя
|
|
-
Grigoriy
-
-
OFFLINE
-
Боярин
-
- Posts: 16431
- Thank you received: 453
-
Karma: 55
-
|
Да это понятно. Но сформулировать я не смог
|
|
-
Хайдук
-
-
OFFLINE
-
Наместник
-
- Posts: 47703
- Thank you received: 127
-
Karma: 23
-
|
Serge_P написал(а): решение этой задачки содержит в себе идею доказательства теоремы Гёделя
Вот было бы ооочень интересно додуматься до нетехничного (за пределами арифметики) предложения типа Гёделя
|
|
-
Хайдук
-
-
OFFLINE
-
Наместник
-
- Posts: 47703
- Thank you received: 127
-
Karma: 23
-
|
У правильного логика должна быть некая аксиоматика арифметики и если рыцарь сделает ему соответствующее предложение Гёделя для этой аксиоматики, то логик не сможет от того отказаться , то бишь того доказать (из своей аксиоматики), несмотря на то, что предложения Гёделя недоказуемы доказуемо
Отредактировано Хайдук (2010-05-03 15:40:28)
|
|
-
Хайдук
-
-
OFFLINE
-
Наместник
-
- Posts: 47703
- Thank you received: 127
-
Karma: 23
-
|
Кстати, Serge_P, тут с ув. Владимировичем сокрушались по поводу бывают ли другие математические теории помимо арифметики и не содержащие её, которые также неполны по Гёделю (не являются аксиоматизируемыми алгоритмом)?
|
|
-
Vladimirovich
-
-
OFFLINE
-
Инквизитор
-
- Posts: 100784
- Thank you received: 1842
-
Karma: 101
-
|
|
|
-
Serge_P
-
-
OFFLINE
-
Бояринъ
-
- Posts: 1568
- Thank you received: 6
-
Karma: 1
-
|
Хайдук написал(а): Кстати, Serge_P, тут с ув. Владимировичем сокрушались по поводу бывают ли другие математические теории помимо арифметики и не содержащие её, которые также неполны по Гёделю (не являются аксиоматизируемыми алгоритмом)? наверное, бывают. Какие, не знаю
|
|
-
Serge_P
-
-
OFFLINE
-
Бояринъ
-
- Posts: 1568
- Thank you received: 6
-
Karma: 1
-
|
Vladimirovich написал(а): И каково же решение? островитянин сказал ты не можешь доказать, что я - рыцарь
|
|
-
Vladimirovich
-
-
OFFLINE
-
Инквизитор
-
- Posts: 100784
- Thank you received: 1842
-
Karma: 101
-
|
Serge_P написал(а): Vladimirovich написал(а):
И каково же решение? островитянин сказал ты не можешь доказать, что я - рыцарь Но из этого утверждения не следует, что говорящий - рыцарь
|
|
-
Grigoriy
-
-
OFFLINE
-
Боярин
-
- Posts: 16431
- Thank you received: 453
-
Karma: 55
-
|
Да нет, следует. Ибо это утверждение очевидно верно, а следовательно, его не мог высказать плут.
Мне приходило в голову, но я не записал, а мозги мои в таком разобранном состоянии, что незаписанное не смогли разобрать
Даже не старость, а предвестник Альцгеймера
|
|
-
Vladimirovich
-
-
OFFLINE
-
Инквизитор
-
- Posts: 100784
- Thank you received: 1842
-
Karma: 101
-
|
Grigoriy написал(а): Да нет, следует. Ибо это утверждение очевидно верно, а следовательно, его не мог высказать плут. Отрицание составных высказываний - хитрая штука.
Что есть отрицание
ты не можешь доказать, что я - рыцарь ?
ты можешь доказать, что я - рыцарь
или
ты не можешь доказать, что я - плут
|
|
-
Serge_P
-
-
OFFLINE
-
Бояринъ
-
- Posts: 1568
- Thank you received: 6
-
Karma: 1
-
|
Vladimirovich написал(а): Отрицание составных высказываний - хитрая штука.
Что есть отрицание
ты не можешь доказать, что я - рыцарь ?
ты можешь доказать, что я - рыцарь
или
ты не можешь доказать, что я - плут отрицание ты не можешь доказать, что я - рыцарь - это ты можешь доказать, что я - рыцарь. Высказывания ты не можешь доказать, что я - рыцарь и ты не можешь доказать, что я - плут могут быть верны одновременно
|
|
-
Крыс
-
-
OFFLINE
-
Отец Русской Демократии
-
- Posts: 33839
- Thank you received: 61
-
Karma: 14
-
|
Grigoriy написал(а): Даже не старость, а предвестник Альцгеймера Типун Вам, ув. Grigoriy!
Живите долго и счастливо!
|
|
-
Vladimirovich
-
-
OFFLINE
-
Инквизитор
-
- Posts: 100784
- Thank you received: 1842
-
Karma: 101
-
|
Хорошо, уговорили.
Тогда если из высказывания следует, что рыцарь, то почему нельзя этого доказать?
|
|
-
Serge_P
-
-
OFFLINE
-
Бояринъ
-
- Posts: 1568
- Thank you received: 6
-
Karma: 1
-
|
Vladimirovich написал(а): Хорошо, уговорили.
Тогда если из высказывания следует, что рыцарь, то почему нельзя этого доказать? потому, что это высказывание истинно И прикол именно в том, что логик не может этого доказать.
Отредактировано Serge_P (2010-05-03 20:26:49)
|
|
-
Vladimirovich
-
-
OFFLINE
-
Инквизитор
-
- Posts: 100784
- Thank you received: 1842
-
Karma: 101
-
|
|
|
-
Alexander
-
-
OFFLINE
-
Боярин
-
- Posts: 10534
- Thank you received: 110
-
Karma: 10
-
|
А возможно ли аналогичное (более позитивное ) утверждение: ты можешь доказать, что я плут?
|
|
-
Grigoriy
-
-
OFFLINE
-
Боярин
-
- Posts: 16431
- Thank you received: 453
-
Karma: 55
-
|
Что означает, что это высказывание неверно? Что Логик может доказать. что говорящий - рыцарь. Но тогда получится, что рыцарь сказал неправду(он то сказал, что Логим не может). А значит, он не рыцарь.
Чисто паадокс лжеца, но в содержательной форме.
|
|
-
Serge_P
-
-
OFFLINE
-
Бояринъ
-
- Posts: 1568
- Thank you received: 6
-
Karma: 1
-
|
Alexander написал(а): А возможно ли аналогичное (более позитивное ) утверждение: ты можешь доказать, что я плут? похоже, что возможно
|
|
-
Vladimirovich
-
-
OFFLINE
-
Инквизитор
-
- Posts: 100784
- Thank you received: 1842
-
Karma: 101
-
|
Grigoriy написал(а): Чисто паадокс лжеца, но в содержательной форме. Угу. Я въехал наконец
|
|
-
Хайдук
-
-
OFFLINE
-
Наместник
-
- Posts: 47703
- Thank you received: 127
-
Karma: 23
-
|
По мне парадокс лжеца никакой не парадокс, а пустословие.
|
|
-
Alexander
-
-
OFFLINE
-
Боярин
-
- Posts: 10534
- Thank you received: 110
-
Karma: 10
-
|
Хайдук написал(а): По мне парадокс лжеца никакой не парадокс, а пустословие. А разве теорема Гёделя не парадокс лжеца?
|
|
|
|
|
 |