А чем дхармы лучше чем объекты?Пусть тоже будут нереальны,на грани концепций.
Вроде бы поток из них можно увидеть - вот чем лучше.
Ну и каковы же данные этого потока,скорость там,плотность,еще что?
Не так уж много народу его наблюдает, а те, кто наблюдает не слишком озабочены его скоростью и плотностью. Но поток этот, в отличие от объектов, реален.
Мне уже не интересно - я разобрался в теме, и сделал вывод. В том числе, об ужасающем упадке разума у математиков, раз они могут всерьез продолжать обсуждать подобное. Выглядят, как Рената Скот при обсуждении тут основ сковородочного кантианства.
Так где ошибка-то в доказательстве, ужасающийся? Я статью Успенского из УМН с доказательствами вам предложил почитать, опровержений не услыхал. Доказательство есть и в "Колмогоров А.Н., Драгалин А.Г. Математическая логика. Дополнительные главы".
Пока можно видеть только выспренные и напыщенные утверждения в стиле идиотизмов Давидюка и т.п. лиц. Число - не формула, формула - не число и прочий шлак. _________________
Два класса столкнулись в последнем бою;
Наш лозунг - Всемирный Советский Союз!
Зарегистрирован: 09.09.2008 Суждений: 7953 Откуда: Воронеж
№613723Добавлено: Пт 25 Ноя 22, 20:56 (2 года тому назад)
Особенно потешает "опровержение" теоремы Геделя "алгоритмическими языками", которые заведомо содержат конечное число утверждений, в силу понятных ограничений, и никакой арифметики Пеано в них не засунуть. _________________
Два класса столкнулись в последнем бою;
Наш лозунг - Всемирный Советский Союз!
Мне уже не интересно - я разобрался в теме, и сделал вывод. В том числе, об ужасающем упадке разума у математиков, раз они могут всерьез продолжать обсуждать подобное. Выглядят, как Рената Скот при обсуждении тут основ сковородочного кантианства.
Так где ошибка-то в доказательстве, ужасающийся? Я статью Успенского из УМН с доказательствами вам предложил почитать, опровержений не услыхал. Доказательство есть и в "Колмогоров А.Н., Драгалин А.Г. Математическая логика. Дополнительные главы".
Пока можно видеть только выспренные и напыщенные утверждения в стиле идиотизмов Давидюка и т.п. лиц. Число - не формула, формула - не число и прочий шлак.
В доказательстве? Ошибка в формализации задачи - ложный тезис, что для формализации (это слово второй раз тут в другом смысле) требуется пронумеровать все элементы. Нумерация всех ее элементов натуральными числами необязательна для полноты системы, для ее полной формализации, и т.п. Но я уже понял, что математики это не догоняют.
Еще раз - пусть потенциально возможных формул в системе несчетное множество. Что с того? Это не мешает ее формализации, из этого не следует ее неполноты, противоречивости и прочей пурги, сочиненной Геделем, в которую уже 100 лет верят недоумки. Это только не дает возможности проделать глупую нумерацию. _________________ Буддизм чистой воды
Зарегистрирован: 09.09.2008 Суждений: 7953 Откуда: Воронеж
№613730Добавлено: Пт 25 Ноя 22, 22:26 (2 года тому назад)
КИ
у вас начинает прорастать мания величия, кажется. Нумерация - это инструмент доказательства, а не способ формализации. Я могу представить совершенно не связанный с нумерацией пример работы теоремы Геделя - диофантовы уравнения, они же - 10-я проблема Гильберта. Есть диофантово уравнение, у которого нету корней, но в стандартной арифметике Пеано этого доказать нельзя. _________________
Два класса столкнулись в последнем бою;
Наш лозунг - Всемирный Советский Союз!
Последний раз редактировалось: Вантус (Пт 25 Ноя 22, 22:29), всего редактировалось 1 раз Ответы на этот пост: КИ
Зарегистрирован: 09.09.2008 Суждений: 7953 Откуда: Воронеж
№613731Добавлено: Пт 25 Ноя 22, 22:28 (2 года тому назад)
Цитата:
Еще раз - пусть потенциально возможных формул в системе несчетное множество. Что с того? Это не мешает ее формализации, из этого не следует ее неполноты, противоречивости и прочей пурги, сочиненной Геделем, в которую уже 100 лет верят недоумки. Это только не дает возможности проделать глупую нумерацию.
Могу лишь предположить о вредности буддизма для логических способностей. Если формул несчетное количество, то из него можно выделить счетное подмножество формул, в котором спокойно повторить доказательство. _________________
Два класса столкнулись в последнем бою;
Наш лозунг - Всемирный Советский Союз!
Зарегистрирован: 09.09.2008 Суждений: 7953 Откуда: Воронеж
№613732Добавлено: Пт 25 Ноя 22, 22:37 (2 года тому назад)
Да и причем тут формализация какая-то? Теорема Геделя и так работает с предельно формальной системой - арифметикой Пеано, которая, в свою очередь, является формализацией обычной арифметики. Я припоминаю, что теорема Геделя не работает только для арифметик со сложением, но без умножения (арифметика Пресбургера), но может быть применена к арифметике Робинсона, более слабой, чем арифметика Пеано. _________________
Два класса столкнулись в последнем бою;
Наш лозунг - Всемирный Советский Союз!
Нумерация - это инструмент доказательства, а не способ формализации.
Формализа́ция — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации, научных теорий) в виде формальной системы или исчисления. https://ru.wikipedia.org/wiki/Формализация
Использование нумерации - ошибочная формализация для языковой задачи (мат. формулы - это такой язык). _________________ Буддизм чистой воды
Нумерация - это инструмент доказательства, а не способ формализации.
Формализа́ция — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации, научных теорий) в виде формальной системы или исчисления. https://ru.wikipedia.org/wiki/Формализация
Использование нумерации - ошибочная формализация для языковой задачи (мат. формулы - это такой язык).
В чем ошибка? По номеру Геделя можно восстановить любое утверждение арифметики Пеано, по любому утверждению можно построить его номер Геделя. _________________
Два класса столкнулись в последнем бою;
Наш лозунг - Всемирный Советский Союз!
Нумерация - это инструмент доказательства, а не способ формализации.
Формализа́ция — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации, научных теорий) в виде формальной системы или исчисления. https://ru.wikipedia.org/wiki/Формализация
Использование нумерации - ошибочная формализация для языковой задачи (мат. формулы - это такой язык).
В чем ошибка? По номеру Геделя можно восстановить любое утверждение арифметики Пеано, по любому утверждению можно построить его номер Геделя.
Ошибка в наличии тех самых коллизий, которые Гёдель выдал за доказательства. Если у вас алгоритм индекса лажает - это проблема алгоритма, а не индексируемых данных. Оставьте сами формулы в качестве их "индекса". Зачем их нумеровать?
Написанное непонятно математикам? _________________ Буддизм чистой воды
Нумерация - это инструмент доказательства, а не способ формализации.
Формализа́ция — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации, научных теорий) в виде формальной системы или исчисления. https://ru.wikipedia.org/wiki/Формализация
Использование нумерации - ошибочная формализация для языковой задачи (мат. формулы - это такой язык).
В чем ошибка? По номеру Геделя можно восстановить любое утверждение арифметики Пеано, по любому утверждению можно построить его номер Геделя.
Ошибка в наличии тех самых коллизий, которые Гёдель выдал за доказательства. Если у вас алгоритм индекса лажает - это проблема алгоритма, а не индексируемых данных.
Повторю еще раз: у нас была задача построить невыводимое из аксиом высказывание. Мы его построили, не противореча логике, в которой нет "индекса", "лажи" и прочего, не относящегося к изначально сформулированной теории (арифметики Пеано). Это как тест у тестера - если он выдает ошибку, значит исходный код плохой. Нумерация - это не алгоритм индексирования, это unit test. _________________
Два класса столкнулись в последнем бою;
Наш лозунг - Всемирный Советский Союз!
Зарегистрирован: 09.09.2008 Суждений: 7953 Откуда: Воронеж
№613737Добавлено: Пт 25 Ноя 22, 22:53 (2 года тому назад)
Иначе говоря, средствами арифметики Пеано мы построили такой тест, при котором арифметика крашнулась. Ну это специально для кодеров, которые не умеют в математику. _________________
Два класса столкнулись в последнем бою;
Наш лозунг - Всемирный Советский Союз!
Нумерация - это инструмент доказательства, а не способ формализации.
Формализа́ция — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации, научных теорий) в виде формальной системы или исчисления. https://ru.wikipedia.org/wiki/Формализация
Использование нумерации - ошибочная формализация для языковой задачи (мат. формулы - это такой язык).
В чем ошибка? По номеру Геделя можно восстановить любое утверждение арифметики Пеано, по любому утверждению можно построить его номер Геделя.
Ошибка в наличии тех самых коллизий, которые Гёдель выдал за доказательства. Если у вас алгоритм индекса лажает - это проблема алгоритма, а не индексируемых данных.
Повторю еще раз: у нас была задача построить невыводимое из аксиом высказывание. Мы его построили, не противореча логике, в которой нет "индекса", "лажи" и прочего, не относящегося к изначально сформулированной теории (арифметики Пеано). Это как тест у тестера - если он выдает ошибку, значит исходный код плохой. Нумерация - это не алгоритм индексирования, это unit test.
Есть индекс - нумерация, есть лажа - коллизии этой индексной системы, которые выдаются за доказательства. Нет только одного - связи между изначально доказываемым (неполноте и т.п.) и нумерацией формул. _________________ Буддизм чистой воды
Иначе говоря, средствами арифметики Пеано мы построили такой тест, при котором арифметика крашнулась. Ну это специально для кодеров, которые не умеют в математику.
Придумали индексную систему с заведомо содержащимися ошибками, которые и выявили. _________________ Буддизм чистой воды
Иначе говоря, средствами арифметики Пеано мы построили такой тест, при котором арифметика крашнулась. Ну это специально для кодеров, которые не умеют в математику.
Придумали индексную систему с заведомо содержащимися ошибками, которые и выявили.
Вы реально не понимаете или троллите?
Ладно, укажите на ошибку (математическую, не философкообразный гон) в той самой нумерации. Никаких коллизий в этой системе нет - она однозначная. Вы не получите одного номера для двух формул и не расшифруете один номер в несколько формул. Где коллизия? _________________
Два класса столкнулись в последнем бою;
Наш лозунг - Всемирный Советский Союз!
Вам нельзя начинать темы Вам нельзя отвечать на сообщения Вам нельзя редактировать свои сообщения Вам нельзя удалять свои сообщения Вам нельзя голосовать в опросах Вы не можете вкладывать файлы Вы можете скачивать файлы
FAQ
Поиск
Пользователи
Группы
Календарь
Peгиcтрaция
Профиль
Войти и проверить личные сообщения
Вхoд
