Ключевое слово
30 | 05 | 2024
Новости Библиотеки
Шахматы Онлайн
Welcome, Guest
Username: Password: Remember me

TOPIC: Gödel's Theorem: An Incomplete Guide to Its Use and Abuse

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 27 Май 2013 21:44 #331

  • denis_73
  • denis_73's Avatar
  • OFFLINE
  • Десятник
  • Posts: 13
  • Karma: 0
Хайдук wrote:
denis_73 wrote:
Электрон вроде бы по-прежнему считается истинно элементарной частицей. Из каких экспериментов следует его неисчерпаемость?
Мы не знаем если и когда эксперимент забыкует о том, что электрон не так прост, как притворяется :flag:
А есть основания утверждать, что он обязательно забыкует? Это по-моему не доказано.
Хайдук wrote:
denis_73 wrote:
система аксиом элементарной теории вещественно-замкнутых полей — это всего лишь один из способов аксиоматизации вещественных чисел: "система действительных чисел есть полное линейно упорядоченное поле".
Последнее верно, но Вы уверены ли, что является аксиомой или теоремой (алгебраической?) теории вещественно-замкнутых полей? :unsure:
Плохо понял вообще смысл фразы. Сейчас мне кажется, что точнее будет сказать, что поле действительных чисел (с обычными операциями сложения и умножения действительных чисел) — частный пример вещественно-замкнутого поля, другим примером служат гиперреальные числа.
Хайдук wrote:
denis_73 wrote:
Что такое арифметика действительных чисел?
Сложение, вычитание, умножение и деление обычных действительных чисел. Я не уверен, что эти совпадают с операциями вещественно-замкнутого поля действительных чисел. Опять направляю Ваше внимание на формализацию мат. анализа mathhelpplanet.com/static.php?p=formaliz...ticheskoy-teorii#a11, не знаю почему Вы пока как-бы пренебрегаете этим решающим параграфом по указанной Вами же ссылке? :O
Посмотрел ещё раз. Аксиоматическая теория, которая строится на основе формальной арифметики. Большая часть там написанного мне пока что непонятна. И вообще не понимаю, какое отношение это имеет к рассматриваемому вопросу?
Last Edit: 27 Май 2013 21:45 by denis_73.

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 27 Май 2013 22:40 #332

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Наместник
  • Posts: 49494
  • Thank you received: 132
  • Karma: 17
Хайдук wrote:
направляю Ваше внимание на формализацию мат. анализа
denis_73 wrote:
Аксиоматическая теория, которая строится на основе формальной арифметики. Большая часть там написанного мне пока что непонятна. И вообще не понимаю, какое отношение это имеет к рассматриваемому вопросу?

Имеет самое прямое отношение, потому что как раз только такие теории могут претендовать на формализацию тех действительных чисел, которые ошиваются во всей физике. Как видите, такие серьёзные и сильные теории неразрешимы и неполны по Гёделю, чего и следовало ожидать. По-видимому, замкнутое вещественное поле это некоторая относительно простая алгебраическая структура, благо разрешимая и полная. Выше упоминалoсь о её связи с Евклидовой геометрией; последнаяя суть элементарная теория, которую давным-давно формализовал сам Гильберт, путём доказавший её разрешимость с полнотой :writing:
Last Edit: 28 Май 2013 02:34 by Хайдук.

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 29 Май 2013 06:27 #333

  • инфолио
  • инфолио's Avatar
denis_73 wrote:
Хайдук wrote:
denis_73 wrote:
Электрон вроде бы по-прежнему считается истинно элементарной частицей. Из каких экспериментов следует его неисчерпаемость?
Мы не знаем если и когда эксперимент забыкует о том, что электрон не так прост, как притворяется :flag:
А есть основания утверждать, что он обязательно забыкует? Это по-моему не доказано.
... один из способов аксиоматизации вещественных чисел: "система действительных чисел есть полное линейно упорядоченное поле"...Последнее верно, но Вы уверены ли, что является аксиомой или теоремой (алгебраической?) теории вещественно-замкнутых полей? ... поле действительных чисел (с обычными операциями сложения и умножения действительных чисел) — частный пример вещественно-замкнутого поля, другим примером служат гиперреальные числа.
...Что такое арифметика действительных чисел?
Сложение, вычитание, умножение и деление обычных действительных чисел. Я не уверен, что эти совпадают с операциями вещественно-замкнутого поля действительных чисел. Опять направляю Ваше внимание на формализацию мат. анализа ht... не знаю почему Вы пока как-бы пренебрегаете этим решающим параграфом по указанной Вами же ссылке? ...Посмотрел ещё раз. Аксиоматическая теория, которая строится на основе формальной арифметики. Большая часть там написанного мне пока что непонятна. И вообще не понимаю, какое отношение это имеет к рассматриваемому вопросу?[/quote]

Интересно следить за дискуссией, которая как только приблизится к ПРАКТИКЕ, (физике), то тут же ув. Хайдук все, что ему не по нраву (про то, что закон исключения третьего выдуман, про неисчерпаемость вглубь, вширь ...) и т.п. оценит именно по своему. И выводы будут в лучшем случае о еобходимости следующего витка, т.е. гиперреальные числа будет ПРОЙДЕНО, как и целые натуральные положительные, а немедленно потребуется НЕОНОВОГИПЕРСУПЕР число, но ни пяди существующей аксиоматики и даже ТЕНИ на нее Учитель учителя не допустит.
В крайнем случае будет опять результат не в форме, что а уверены ли..., а в стиле ДА/НЕТ (см. крайний пост в 100-ричной системе счисления).

И это поняно: чем хуже вера в математику нынешнюю Веры? (Именно для незыблемости уу и быкует тезис, что в математике свой мир более крутой чем Земной, Вселенский...)

З павагай к вашим убеждениям, не считая, что мои Вселенсконатуральные, с целочисленной арифметикой, истиннее ВАШИХ.

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 29 Май 2013 14:29 #334

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Наместник
  • Posts: 49494
  • Thank you received: 132
  • Karma: 17
инфолио wrote:
Интересно следить за дискуссией, которая как только приблизится к ПРАКТИКЕ, (физике), то тут же ув. Хайдук все, что ему не по нраву (про то, что закон исключения третьего выдуман, про неисчерпаемость вглубь, вширь ...) и т.п. оценит именно по своему... ни пяди существующей аксиоматики и даже ТЕНИ на нее Учитель учителя не допустит... мои Вселенсконатуральные, с целочисленной арифметикой, истиннее ВАШИХ.

Утверждения эти основаны скорее на недоразумении, дружище. Именно прошлая ПРАКТИКА говорит о том, что электрон может (хоть и не обязательно) подвернуться неисчерпаемым, если колотить его крепким молотком. Никто не отрицает аксиоматику целочисленную и Вселенсконатуральную, но пока та выглядит неуклюже и плохо якшается как раз с той же ПРАКТИКОЙ :flag:
Last Edit: 31 Май 2013 01:08 by Хайдук.

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 30 Май 2013 01:37 #335

  • инфолио
  • инфолио's Avatar
Хайдук wrote:
инфолио wrote:
Интересно следить за дискуссией, которая как только приблизится к ПРАКТИКЕ, (физике), то тут же ув. Хайдук все, что ему не по нраву (про то, что закон исключения третьего выдуман, про неисчерпаемость вглубь, вширь ...) и т.п. оценит именно по своему... ни пяди существующей аксиоматики и даже ТЕНИ на нее Учитель учителя не допустит... мои Вселенсконатуральные, с целочисленной арифметикой, истиннее ВАШИХ.
Утверждения эти основаны скорее на недоразумении, дружище. Именно прошлая ПРАКТИКА говорит о том, что электрон может (хоть и не обязательно) подвернуться неисчерпаемым, если колотить его крепким молотком. Никто не отрицает аксиоматику целочисленную и Вселенсконатуральную, но пока та выглядит неуклюже и плохо якшается как раз с той же ПРАКТИКОЙ :flag:
Для всего дискретного целого точного (в пределах ПРАКТИКИ) мне лично НЕ
ПРАКТИКА говорит о том, что электрон может (хоть и не обязательно) подвернуться неисчерпаемым, если колотить его крепким молотком., а именно дружище Хайдук, да и то только потому, что молот изящный= математически точный(бесконечно), который позволяет все, что угодно делить пополам ЭЛЕКТРОН или инфолио (в соответствии с ДА/НЕТ, третьего не дано) и все время получать опять его же части, которые могут обозначаться математически, как 1.

Проще, еще в прошлом веке, предположив, что если есть 1 МИР=Вселенная, из конечного числа вселенных при жизни 1 человека конкретного,
что есть счетное число ВСЕОБЩИХ ТЕОРИЙ,
что самая общая- это математика (объективно общеприемлемая,
а самая субъективно "изящная" - философия),

то в соответствии с ВАШИМ же принципом ...СЕЧЕНИЯ, предположил, что есть и
такая всеобщая теория, которая с приемлемой точностью и с приемлемой привлекательностью для каждого квантофорумчанина или/и читателя описывает или/и моделирует этот Мир.

И дело не в названии (ТТТ, триализм, логософия, инфолиократность- (с), т.к. название основного понятия в любой такой теории можетбыть ЛЮБЫМ), а именно в принципе, что такая теория
ЕСТЬ
или НЕТ,
или ПОКА неизвестно (есть или нет).

Для ВАС же, ТРЕТЬЕГО не дано. З павагай :beer:

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 30 Май 2013 01:44 #336

  • инфолио
  • инфолио's Avatar
Олег wrote:
Хайдук написал(а):
Нечего удивлятся, кстати - если формулы конечные, то их множество не более, чем счётно
Гёдели - куда Инфо дели ?

если формулы конечные, то и теорий (всеобщих) хоть и "несть числа", но привлекательнее и правильнее считать, что ПРАКТИЧЕСКИ приемлемых есть конечное счетное число.

И лучше всего видно ЭТО именно со стороны, тогда, когда любой КВАНТОФОРУМЧАНИН или гость, находится не вНУТРИ рассматриваемой теории. (Трудно судить о Вселенной микробу священной коровы ЗНАНИЯ, который находится в желудке этой коровы... ничего личного, только инфолиовзгляд) З павагай

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 30 Май 2013 01:50 #337

  • infolio
  • infolio's Avatar
onedrey wrote:
Гады вы все.

Прочитал у вас про аксиому выбора, вспомнил про парадокс удвоения шара, для какового необходимо пять частей... и всплыло, как Иисус народ хлебами накормил, здесь есть у одного мальчика пять хлебов ячменных и две рыбки; но что это для такого множества?

Теперь сижу и думаю из-за вас...

А как он рыбку-то умножал? С хлебом мне теперь все более-менее ясно...
[сижу и думаю из-за/u] cабж, а ЭТО кому-нибудь надо? З павагай

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 30 Май 2013 19:20 #338

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Наместник
  • Posts: 49494
  • Thank you received: 132
  • Karma: 17
инфолио wrote:
Для всего дискретного целого точного (в пределах ПРАКТИКИ) мне лично НЕ ПРАКТИКА говорит о том, что электрон может (хоть и не обязательно) подвернуться неисчерпаемым, если колотить его крепким молотком., а именно дружище Хайдук, да и то только потому, что молот изящный= математически точный(бесконечно), который позволяет все, что угодно делить пополам ЭЛЕКТРОН... и все время получать опять его же части, которые могут обозначаться математически, как 1.
По сути математика потакает Вашему подходу, дружище, точки-электроны неделимы, только их бесчисленно много из-за неприемлемости остановиться на некоем Вселенсконатуральном. Столькими многими дискретными точками можете построить все, что угодно, даже недолюбливаемую Вами непрерывность :flag:
Last Edit: 30 Май 2013 20:56 by Хайдук.

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 30 Май 2013 21:05 #339

  • infolio
  • infolio's Avatar
Хайдук wrote:
По сути математика потакает Вашему подходу, дружище, точки-электроны неделимы, только их бесчисленно много из-за неприемлемости остановиться. Столькими многими дискретными точками можете построить все, что угодно, даже недолюбливаемую Вами непрерывность :flag:
Чуть-чуть лукавите, дружище: точки-электроны фактически имеют ОДНОЗНАЧНЫЙ минимальный размер, а значит их можно ТОЛЬКО конечное счетное число расположить во Вселенной нынешней (которой 13 с лишним млрд лет), и никакой непрерывности, кроме дискретной и конечной.

И в так называемую бесконечность глаз простого смертного наблюдателя ну никак нельзя поместить : мы все в пределах Вселенной. З павагай
Last Edit: 31 Май 2013 00:28 by Хайдук.

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 31 Май 2013 01:01 #340

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Наместник
  • Posts: 49494
  • Thank you received: 132
  • Karma: 17
infolio wrote:
точки-электроны фактически имеют ОДНОЗНАЧНЫЙ минимальный размер
У точек нулевой размер, дружище :idea: . Любой другой размер будет нуждаться в объяснении почем уверены, что тот именно такой, а не другой. Если норовите застукать некий точный размер, то Вам потребуются точки с нулевым размером и никакие дискретность с конечностью не помогут :flag: . Само понятие размера/расстояния определяется как отображение на множество действительных чисел, которое суть не что иное, как множество безразмерных точек/элементов, увязанных между собой некоторой особой, хоть и не очень специфической/исключительной топологией (вспомним, скажем, о континууме им. Суслина) :idea:
Last Edit: 31 Май 2013 15:18 by Хайдук.

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 19 Июль 2013 16:59 #341

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Наместник
  • Posts: 49494
  • Thank you received: 132
  • Karma: 17
перепечатано с ЧП:

поскольку абстрактна, математика это точная философия. Ну чем же не философия то, что любые математик или пешеход считают предложения типа 2+2=4 доказанными (и ссылаются на них в дальнейших доказательствах), а по Гёделю вышло, что предложения типа такого могут рассматриваться как недоказанные :O . До каких деталей мышления должно опуститься дабы набрести на такое? :O
Last Edit: 19 Июль 2013 19:25 by Хайдук.

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 19 Июль 2013 19:23 #342

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 107222
  • Thank you received: 2097
  • Karma: 105
Хайдук wrote:
перепечатано с ЧП:

поскольку абстрактна, математика это точная философия. Ну чем же не философия то, что любые математик или пешеход считают предложения типа 2+2=4 доказанными (и ссылаются на них в дальнейших доказательствах), а по Гёделю вышло, что предложения типа такого могут рассматриваться как недоказанные :O . До каких деталей мышления должно опуститься дабы набрести на такое? :O
Вы какую то бню перепечатали, ув.Хайдук :hobo:
Каждому - своё.
Last Edit: 19 Июль 2013 19:56 by Хайдук.

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 19 Июль 2013 19:35 #343

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Наместник
  • Posts: 49494
  • Thank you received: 132
  • Karma: 17
это я себя перепечатал :hihihi: . И действительно, недоказуемые предложения напрашиваются своей очевидностью/истинностью, с чего бы такое? Ведь рядовой математик (а не логик) НЕ заподозрил бы, что они недоказуемы и принял бы по умолчанию, потому что естественно напрашиваются.

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 19 Июль 2013 19:46 #344

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 107222
  • Thank you received: 2097
  • Karma: 105
Математика не может быть некой "точной философией" ибо базируется на совершенно другой основе.
У любой философии нет начала, вот в чем основная проблема.
И лучший из философов, Витгенштейн, все равно этого не осилил.
А, кроме того, математика не претендует на описание мира.
Что же касается 2+2=4, то это утверждение должно быть доказуемое на базе аксиом Пеано.
Каждому - своё.

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 19 Июль 2013 20:07 #345

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Наместник
  • Posts: 49494
  • Thank you received: 132
  • Karma: 17
Начало математики тоже туманное и скользкое, вряд ли непротиворечиво :unsure:

Имел в виду, что недоказуемые Гёделевы утверждения не хуже 2+2=4 по своим очевидности и убедительности.
Last Edit: 19 Июль 2013 20:08 by Хайдук.

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 19 Июль 2013 20:35 #346

  • pirron
  • pirron's Avatar
  • OFFLINE
  • Посадник
  • Posts: 5639
  • Thank you received: 69
  • Karma: 29
Я, вероятно, понимаю вашу мысль, Владимирович. Философия действительно не могла бы никогда даже начаться, если бы люди всегда в той же мере руководствовались логикой, в какой ею руководствуются, к примеру, Бурбаки и Тарский.Но, к сожалению или счастью, люди совсем другие.А потому странное заявление Фалеса, что все произошло из воды, вполне можно считать началом философии. С этого момента у людей появляется возможность нового дискурса. Они могут спрашивать не о том, какой именно бог отреагировал таким-то образом на такое-то деяние, они могут спросить - а почему, собственно, из воды?Эвристические возможности такого рода дискурса огромны, побочным его продуктом могут стать и Бурбаки с Тарским, и такой дискурс может теоретически быть неисчерпаем - уже хотя бы потому, что каждый человек видит мир не так, как все остальные люди.

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 19 Июль 2013 20:40 #347

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Наместник
  • Posts: 49494
  • Thank you received: 132
  • Karma: 17
:yess:

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 20 Июль 2013 05:15 #348

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 107222
  • Thank you received: 2097
  • Karma: 105
pirron wrote:
А потому странное заявление Фалеса, что все произошло из воды, вполне можно считать началом философии. С этого момента у людей появляется возможность нового дискурса. Они могут спрашивать не о том, какой именно бог отреагировал таким-то образом на такое-то деяние, они могут спросить - а почему, собственно, из воды?Эвристические возможности такого рода дискурса огромны, побочным его продуктом могут стать и Бурбаки с Тарским, и такой дискурс может теоретически быть неисчерпаем - уже хотя бы потому, что каждый человек видит мир не так, как все остальные люди.
Безусловно, такие возможности есть. Но они будут относиться к области болтологии и вот почему.
Еще раз подчеркнем принципиальный факт

Vladimirovich wrote:
математика не претендует на описание мира.

А значит, ее методы верификации принципиально отличаются от методов естественных наук. И никакие Попперы и Витгенштейны ей не нужны.
И единственным критерием истины является тут непротиворечивость.
Так "Происхождение всего из воды" с точки зрения математики есть не нечто странное, а лишь один камень в бесконечном Саду расходящихся тропок. И непротиворечивость его зависит только от остальных постулатов, принятых как аксиомы. И какими бы они ни были странными, до тех пор, пока они непротиворечивы, они порождают свой кусочек Сада. И пусть туда даже не заглянет ни один физик и химик, с точки зрения математики это ничем не будет отличаться от скажем, теории дифференциальных уравнений, без которой никакой науки сейчас и нету.

Другое дело, что все теории, которые оперируют реальными понятиями, обыкновенно желают установить соответствие с реальным же миром. Вот это установление соответствия является очень жестким ограничением. Оно выводит тропку Сада за ворота, но далеко не каждая из них становится дорогой, вымощенной желтым кирпичом.

Вот поэтому то, до тех пор, пока рассуждение находится исключительно в эвристико-схоластической плоскости, то оно чисто формально может быть рассмотрено методами именно математическими.
Но так никто не делает. Потому что набор аксиом типа "Происхождение всего из воды" обычно слишком скуден, чтобы породить хоть какое либо противоречие. А потому и совершенно бесполезен, зато дает неограниченные возможности для различного рода спекуляций, о чем Вы и изволили говорить.
Последний типичный пример - это великий русский ученый Впитер, у которого в основе лежит "нечто негеометрическое", о котором известно только то, что оно "существует и изменяется"
Я называю это нечто Ктулху, а он обижается :)

Люди же, способные породить более нетривиальные наборы исходных постулатов, называются писатели.
:beer:
Каждому - своё.

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 20 Июль 2013 05:19 #349

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 107222
  • Thank you received: 2097
  • Karma: 105
Хайдук wrote:
Имел в виду, что недоказуемые Гёделевы утверждения не хуже 2+2=4 по своим очевидности и убедительности.
Вообще говоря, это зависит от выбранного базиса, но в любом случае я таких не видел. Вы не могли бы привести пример?
Каждому - своё.

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 20 Июль 2013 12:06 #350

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Наместник
  • Posts: 49494
  • Thank you received: 132
  • Karma: 17
Сами Гёделевы предложения, которые всегда можно построить по алгоритму, являются очевидными и банальными, никак не интересными отношениями между натуральными числами. В системе кодировки Гёделя эти отношения утверждают свою собственную невыводимость из аксиом, что так и есть по построению.

В качестве примера берём Ваш с недавнего: находим диофантово уравнение без решения, чего нельзя доказать в арифметике Пеано. Почем тогда знаем, что у уравнения нет решения?
Last Edit: 20 Июль 2013 12:08 by Хайдук.

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 20 Июль 2013 12:19 #351

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 107222
  • Thank you received: 2097
  • Karma: 105
Хайдук wrote:
В качестве примера берём Ваш с недавнего: находим диофантово уравнение без решения, чего нельзя доказать в арифметике Пеано. Почем тогда знаем, что у уравнения нет решения?
Но согласитесь, что это так далеко от 2+2=4...Нес па?
Каждому - своё.

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 20 Июль 2013 12:31 #352

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Наместник
  • Posts: 49494
  • Thank you received: 132
  • Karma: 17
оно далеко, но НЕ менее убедительно :idea: . А сами Гёделевы предложения вполне на уровне 2+2=4, ведь получаем их по заказу.

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 20 Июль 2013 14:03 #353

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 107222
  • Thank you received: 2097
  • Karma: 105
Хайдук wrote:
оно далеко, но НЕ менее убедительно
Ах, что такое менее убедительно....
Если доказательство размером с три тома и сравнимо с доказательством теоремы Ферма, то оно конечно не менее убедительно, но и сравнение с 2+2=4 как-то не канает
:beer:
Каждому - своё.

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 20 Июль 2013 15:22 #354

  • pirron
  • pirron's Avatar
  • OFFLINE
  • Посадник
  • Posts: 5639
  • Thank you received: 69
  • Karma: 29
Не надо недооценивать эвристические возможности болтологии, Владимирович. При соблюдении определенных правил они очень велики. Вы видели, как играют знатоки в ЧТо Где Когда? Получив вопрос, они не сидят, сосредоточенно, в полном молчании обдумывая ответ - нет, они непрерывно галдят, громоздя все новые версии, и при этом не стесняются высказывать и нечто совсем идиотское - ведь и идиотское высказываие может натолкнуть кого-то на верную мысль. Главное, чтобы болтолог не перемывал косточки соседкам, а честно пытался решить определенную проблему.

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 20 Июль 2013 15:59 #355

  • Угу
  • Угу's Avatar
  • OFFLINE
  • Летчик Пытатель
  • Posts: 2455
  • Thank you received: 77
  • Karma: 12
pirron wrote:
они непрерывно галдят, громоздя все новые версии, и при этом не стесняются высказывать и нечто совсем идиотское - ведь и идиотское высказываие может натолкнуть кого-то на верную мысль.

Это самый лучший прием при поиске креативных идей (да и просто идей :)). Называется мозговой штурм.. Тут фишка- не стесняясь, высказывать самые бредовые и фантастичные идеи, которые придут в голову.В их ворохе можно натолкнуться действительно на ту, что надо. Или ту, которая выведет штурм на новое направление. :flag:

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 20 Июль 2013 17:50 #356

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 107222
  • Thank you received: 2097
  • Karma: 105
pirron wrote:
Не надо недооценивать эвристические возможности болтологии, Владимирович. При соблюдении определенных правил они очень велики. Вы видели, как играют знатоки в ЧТо Где Когда? Получив вопрос, они не сидят, сосредоточенно, в полном молчании обдумывая ответ - нет, они непрерывно галдят, громоздя все новые версии, и при этом не стесняются высказывать и нечто совсем идиотское - ведь и идиотское высказываие может натолкнуть кого-то на верную мысль. Главное, чтобы болтолог не перемывал косточки соседкам, а честно пытался решить определенную проблему.
Видите ли, Пиррон, ЧГК это не проблема. Это, как уже справедливо указано ув.Угу, мозговой штурм.
У него совсем другие задачи. И что там в итоге "верная мысль"...Эманация памяти, удачный исход игры в ассоциации...
Не надо опошлять науку до этого уровня, дорогой Пиррон.
Каждому - своё.

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 20 Июль 2013 18:00 #357

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Наместник
  • Posts: 49494
  • Thank you received: 132
  • Karma: 17
Vladimirovich wrote:
что такое менее убедительно....
Если доказательство размером с три тома и сравнимо с доказательством теоремы Ферма, то оно конечно не менее убедительно, но и сравнение с 2+2=4 как-то не канает

сравнение чего? Почему говорим, что недоказуемые Гёделевы предложения верны/истинны, почем знаем (если не можем их доказать)? Ведь с одинаковым успехом истинными будут отрицания Гёделевых предложений, поскольку будут в одинаковой степени недоказумемыми и ... непротиворечивыми. Тем не менее никто не заикается об истинности отрицаний, которые выглядять примерно как 2+2=5. Ведь никто не подумает, что у диофантова уравнения с недоказуемым отсутствием решения может быть (непротиворечивое, кстати!) таковое :idea:
Last Edit: 21 Июль 2013 05:23 by Хайдук.

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 20 Июль 2013 18:09 #358

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 107222
  • Thank you received: 2097
  • Karma: 105
Хайдук wrote:
Тем не менее никто не заикается об истинности отрицаний, которые выглядять примерно как 2+2=5.
Потому что нельзя просто так....
Каждому - своё.
Last Edit: 20 Март 2019 05:49 by Vladimirovich.

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 20 Июль 2013 18:12 #359

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Наместник
  • Posts: 49494
  • Thank you received: 132
  • Karma: 17
... а должно :dontknow:

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 20 Июль 2013 18:13 #360

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 107222
  • Thank you received: 2097
  • Karma: 105
Хайдук wrote:
... а должно :dontknow:
How? %-)
Для этого надо перепахать всю аксиоматику Пеано.
Каждому - своё.
Moderators: Grigoriy
Рейтинг@Mail.ru

Научно-шахматный клуб КвантоФорум