Правильно ли медитировать так

aurum

Рената Скот пишет:

4eJIOBEK пишет:

Рената Скот пишет:

4eJIOBEK пишет:

А чем дхармы лучше чем объекты?Пусть тоже будут нереальны,на грани концепций.

Вроде бы поток из них можно увидеть - вот чем лучше.

Ну и каковы же данные этого потока,скорость там,плотность,еще что?

Не так уж много народу его наблюдает, а те, кто наблюдает не слишком озабочены его скоростью и плотностью. Но поток этот, в отличие от объектов, реален.

Ваш поток такая же концепция как сковородка.

Вантус

Дмитрий С пишет:

И Гедель (неполнота арифметики), и Коэн (недоказуемость континуум-гипотезы) показали ограниченность логического инструментария.

Насчет Коэна не знаю, а ссылка на Геделя тут означает, что пишущий готов в качестве истины принимать софизмы и обман.

Дмитрий С пишет:

PS. Если Вас или КИ всерьёз интересует теорема Гёделя, вот неплохая ссылка:

https://habr.com/ru/amp/post/512518/

Мне уже не интересно - я разобрался в теме, и сделал вывод. В том числе, об ужасающем упадке разума у математиков, раз они могут всерьез продолжать обсуждать подобное. Выглядят, как Рената Скот при обсуждении тут основ сковородочного кантианства.

Вантус

Особенно потешает "опровержение" теоремы Геделя "алгоритмическими языками", которые заведомо содержат конечное число утверждений, в силу понятных ограничений, и никакой арифметики Пеано в них не засунуть.

КИ · 3Д Зарегистрирован: 17.02.2005 Суждений: 49690

КИ пишет:

Дмитрий С пишет:

И Гедель (неполнота арифметики), и Коэн (недоказуемость континуум-гипотезы) показали ограниченность логического инструментария.

Насчет Коэна не знаю, а ссылка на Геделя тут означает, что пишущий готов в качестве истины принимать софизмы и обман.

Дмитрий С пишет:

PS. Если Вас или КИ всерьёз интересует теорема Гёделя, вот неплохая ссылка:

https://habr.com/ru/amp/post/512518/

Мне уже не интересно - я разобрался в теме, и сделал вывод. В том числе, об ужасающем упадке разума у математиков, раз они могут всерьез продолжать обсуждать подобное. Выглядят, как Рената Скот при обсуждении тут основ сковородочного кантианства.

Так где ошибка-то в доказательстве, ужасающийся? Я статью Успенского из УМН с доказательствами вам предложил почитать, опровержений не услыхал. Доказательство есть и в "Колмогоров А.Н., Драгалин А.Г. Математическая логика. Дополнительные главы".

Пока можно видеть только выспренные и напыщенные утверждения в стиле идиотизмов Давидюка и т.п. лиц. Число - не формула, формула - не число и прочий шлак.

Вантус

КИ
у вас начинает прорастать мания величия, кажется. Нумерация - это инструмент доказательства, а не способ формализации. Я могу представить совершенно не связанный с нумерацией пример работы теоремы Геделя - диофантовы уравнения, они же - 10-я проблема Гильберта. Есть диофантово уравнение, у которого нету корней, но в стандартной арифметике Пеано этого доказать нельзя.

Вантус

Еще раз - пусть потенциально возможных формул в системе несчетное множество. Что с того? Это не мешает ее формализации, из этого не следует ее неполноты, противоречивости и прочей пурги, сочиненной Геделем, в которую уже 100 лет верят недоумки. Это только не дает возможности проделать глупую нумерацию.

Вантус

Да и причем тут формализация какая-то? Теорема Геделя и так работает с предельно формальной системой - арифметикой Пеано, которая, в свою очередь, является формализацией обычной арифметики. Я припоминаю, что теорема Геделя не работает только для арифметик со сложением, но без умножения (арифметика Пресбургера), но может быть применена к арифметике Робинсона, более слабой, чем арифметика Пеано.

КИ · 3Д Зарегистрирован: 17.02.2005 Суждений: 49690

Нумерация - это инструмент доказательства, а не способ формализации.

Вантус

Вантус пишет:

Нумерация - это инструмент доказательства, а не способ формализации.

Формализа́ция — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации, научных теорий) в виде формальной системы или исчисления. https://ru.wikipedia.org/wiki/Формализация

Использование нумерации - ошибочная формализация для языковой задачи (мат. формулы - это такой язык).

КИ · 3Д Зарегистрирован: 17.02.2005 Суждений: 49690

КИ пишет:

Вантус пишет:

Нумерация - это инструмент доказательства, а не способ формализации.

Формализа́ция — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации, научных теорий) в виде формальной системы или исчисления. https://ru.wikipedia.org/wiki/Формализация

Использование нумерации - ошибочная формализация для языковой задачи (мат. формулы - это такой язык).

В чем ошибка? По номеру Геделя можно восстановить любое утверждение арифметики Пеано, по любому утверждению можно построить его номер Геделя.

Вантус

Вантус пишет:

КИ пишет:

Вантус пишет:

Нумерация - это инструмент доказательства, а не способ формализации.

Формализа́ция — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации, научных теорий) в виде формальной системы или исчисления. https://ru.wikipedia.org/wiki/Формализация

Использование нумерации - ошибочная формализация для языковой задачи (мат. формулы - это такой язык).

В чем ошибка? По номеру Геделя можно восстановить любое утверждение арифметики Пеано, по любому утверждению можно построить его номер Геделя.

Ошибка в наличии тех самых коллизий, которые Гёдель выдал за доказательства. Если у вас алгоритм индекса лажает - это проблема алгоритма, а не индексируемых данных.

Вантус

Иначе говоря, средствами арифметики Пеано мы построили такой тест, при котором арифметика крашнулась. Ну это специально для кодеров, которые не умеют в математику.

КИ · 3Д Зарегистрирован: 17.02.2005 Суждений: 49690

КИ пишет:

Вантус пишет:

КИ пишет:

Вантус пишет:

Нумерация - это инструмент доказательства, а не способ формализации.

Формализа́ция — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации, научных теорий) в виде формальной системы или исчисления. https://ru.wikipedia.org/wiki/Формализация

Использование нумерации - ошибочная формализация для языковой задачи (мат. формулы - это такой язык).

В чем ошибка? По номеру Геделя можно восстановить любое утверждение арифметики Пеано, по любому утверждению можно построить его номер Геделя.

Ошибка в наличии тех самых коллизий, которые Гёдель выдал за доказательства. Если у вас алгоритм индекса лажает - это проблема алгоритма, а не индексируемых данных.

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

КИ · 3Д Зарегистрирован: 17.02.2005 Суждений: 49690

Иначе говоря, средствами арифметики Пеано мы построили такой тест, при котором арифметика крашнулась. Ну это специально для кодеров, которые не умеют в математику.

Вантус

Вантус пишет:

Иначе говоря, средствами арифметики Пеано мы построили такой тест, при котором арифметика крашнулась. Ну это специально для кодеров, которые не умеют в математику.

Придумали индексную систему с заведомо содержащимися ошибками, которые и выявили.