Самая большая проблема в математики (величайший кризис в математики)

____________________
____________________
Поддержать канал реквизиты :

★ Мои ссылки:
■ Донат: “Monobank : 4441114405172170”
■ PayPal:
■ Twitch - / WERASAIMON

Крипта :
BTC : 1G9x6gZfb2hZJgufxGse5qmfmDZKBBs6ui
USDT TRC20 “TRON” : TFRmi75vGvtHJz7MVUDDYA918LtCDfB34G
USDT “TON” : UQA-ELAL_HKB0eUxS_zW6w7rgc3oD1hb-WDTkvYKpTonYDrk
TONCOIN: UQA-ELAL_HKB0eUxS_zW6w7rgc3oD1hb-WDTkvYKpTonYDrk
ETH : 0x922D93B4DF5F8C23Ece173806E9D5e0B7c86F720
____________________

Источники информации :

Сосинский : теорема Гёделя о неполноте

В этом видео я расскажу как 25 летний гений Курт Гёдель , разрушил все мечты математиков . Ведь математики хотели доказать саму математику создав полностью непротиворечивую систему аксиом !
1900 году когда в Париже прошла Всемирная конференция математиков, на которой один из величайших математиков того времени Девид Гильберт (David Hilbert, 1862–1943) изложил в виде тезисов сформулированные им 23 наиважнейшие, по его мнению, задачи, которые предстоит решить ученым-теоретикам наступающего ХХ века. Под вторым номером в его списке значилась одна из тех простых задач, ответ на которую казался очевидным. Говоря современным языком, это был вопрос: самодостаточна ли математика? Вторая задача Гильберта сводилась к необходимости строго доказать, что система аксиом — базовых утверждений, принимаемых в математике за основу без доказательств, — совершенна и полна, то есть позволяет математический описать всё сущее.
Но увы Курт Гёдель показал что невозможно доказать математику , так всегда будут существовать верные но никаким образом недоказуемые Теоремы !

И в данном видео ролике видеоролике , мы узнаем как Курт-Гедель доказал противоречивость самой математики , и вообще всех достаточно полных формальных систем. Например такой системой является компьютер , вернее инструкции процессора! Как же это сделал Курт-Гедель …

P.S: Сама вселенная тоже может являться формальной системой !

#maths
#Godel
#theorem

[yuriydeynekin]

(2:49): "Главная АКСИОМА эвклидовой геометрии - это ТЕОРЕМА Пифагора"
- Как раз тот случай, когда вспоминается "либо трусы - либо крестик".
(читать дальше уже расхотелось)

[RCA-uy]

Коротко смысл теоремы Гёделя о неполноте можно выразить так: "Никакая система не может быть описана средствами самой системы". Пример: чертёж табуретки не является частью табуретки и находится вне её (у плотника). Таким образом, замкнутых (изолированных) систем не существует; любая, даже самая большая система, связана с некоторой внешней (т.е. находящейся вне этой системы) структурой и существует благодаря этой внешней структуре. Отсюда сразу следует вывод о невозможности самовоспроизводства: никакой объект (субъект) не может самостоятельно "родить" себе подобного.

[АлександрФилимонов-рз]

Профанация. Теорема Пифагора - это НЕ аксиома, что даже понятно из названия. Это школьные азы. Как после этого можно серьёзно относиться к Вашей информации!

[АбдуфаттахИбрагимов]

Не знал как доказывается теорема Гёделя. Спасибо! Желаю удачи!

[anastashanastashkina]

"Самая проблема в математикЕ", а не в матиматикИ 🤦🏼‍♀️

[viktorustynov]

"Главная аксиома эвклидовой геометрии - это теорема Пифагора". Эх-эхэ-хэх... печаль

[ilyaghuch]

Когда услышал фразу, что главная АКСИОМА в геометрии, это ТЕОРЕМА (Пифагора) бросил смотреть и задержался здесь только оставить этот коммент

[henudimhoro]

теорема Пифагора это аксиома) хехеххехехехе круто))

[Sergeizdebski]

Если я вру, что все врут, это значит, что НЕКОТОРЫЕ в городе говорят правду. Среди этих некоторых и я

[anspoetic]

Добрый день. Возник такой вопрос:
1. Гедель конструирует формулу, которая является примером такой формулы, которая предъявляет неполноту арифметики (формула G). Данная формула саморекурсивна: сама утверждает о собственной недоказуемости. Такой формулой Гедель показал, что в математике возможны утверждения, которые будучи истинными, не могут быть доказаны (это и есть неполнота).
2. Вопрос: я предполагаю, что таким свойством (быть истинными но не доказуемыми) в рамках арифметики могут быть только саморекурсивные утверждения. Так ли это?

И еще один момент: я не понимаю операции, когда конкретное натуральное число в один момент используется как код формулы, а в другой - как просто натуральное число. Смотрел лекцию Сосинского, но тоже как-то не понял этого хода: почему так можно делать, как определить, является ли данное натуральное число просто числом или же оно - номер геделевской формулы.

[Vladimir.P.Efimov]

О теореме К. Гёделя.
Фактически речь идёт о классической матрёшке (апория Зенона). Для того, чтобы доказать непротиворечивость двух половин (аксиом) внутренней матрёшки используются две половинки (аксиомы) внешней матрёшки. И так будет продолжаться до бесконечности, пока не кончится алфавит или слова (понятия), которые составлены из этого алфавита.
Для доказательства аксиомы n–мерной системы (теории), необходимо и достаточно использовать аксиомы (n-1)–мерной системы (теории) при условии выполнения следствия — «сумма областей существования вторичных аксиом равна области существования первичной аксиомы. Минимально возможное число “вторичных” аксиом в “первичной” равно двум»
Если перевести это на современный научный язык, то проблема заключается в том, что какое бы концептуальное понятие мы бы не взяли, оно будет объясняться с помощью другого концептуального понятия, и так будет продолжаться по кругу.
Гёдель обрушил всё здание современной науки, вынув из-под него фундамент. Несколько столетий строился этот храм науки. И до сих пор отдельные строители продолжают строить отдельные его части. Гёдель рассказал, что количество понятий, которые надо доказывать бесконечно, и, исходя из их бесконечности, человеку не дано познать истину.
Что и говорить, достаточно мрачная картина современной науки.
Однако это не означает, что Курт Гёдель прав. Именно потому, что теорема о неполноте представляет из себя очередную «апорию», здание науки всё же имеет фундамент. Только вот далеко не все блоки этого фундамента являются надёжными. И необходимо провести инвентаризацию состояния здания науки и, если в этом есть необходимость, произвести замену ложных знаний на более истинные.
Количество понятий конечно (для земного континуума). И прав Евклид. Но он не всегда правильно объясняется. Особенно в отношение 5 постулата.

[artemskrypka]

Боги́, в тысяча девяностом, совершенна́ - выключаю к херам на второй минуте просмотра. Неужели нельзя было посадить перед камерой человека, умеющего читать?

[АлексейГольц-юм]

Сразу на 30-ой сек: Эти теоремы пишут люди а не какие-то бОги?

[ДаниилК-ьц]

Рассказываешь вроде понятно и крассиво,
Но назвать теорему аксиомой - некрасиво

[legslab]

Очень хорошая работа продолжай в том же духе это просто супер контент !!!

[vadimjuchtenko]

Ну а если так:
Вот начало формулировки ДОКАЗАТЕЛЬСТВА КАНТОРА: "Допустим противное, т.е. что множество X - счетно. Это, по определению, означает, что все его элементы можно занумеровать с помощью обычных конечных натуральных чисел."
Но ведь это означает, что элементы множества дейсвительных чисел в принципе можно нумеровать, хотя бы некоторые из них, хотя бы одно из них. Но поскольку они ничем друг от друга не отличаются, значит, можно пронумеровать любое из них, но если можно пронумеровать любое, то, значит, можно пронумеровать все. Ибо невозможно найти ни одного элемента такого множества, которые нельзя было бы пронумеровать. А отсюда вывод; либо действительные числа можно пронумеровать, либо их невозможно нумеровать вовсе, то есть процедура нумерования к ним не применима.

[Юрій-зк]

Не богИ, а бОги. Не совершенА, совершЕнна. Аксиома - не теорема. ПолнА, а не пОлна. В одночасье.

[IvanShmakov]

В 1936 году Герхард Генцен доказал непротиворечивость арифметики, используя примитивно рекурсивную арифметику с дополнительной аксиомой для трансфинитной индукции до ординала ε0.

[SGBBELARUS]

На самом деле - это доказывает лишь одно, что Бог существует. Аминь

[АлександрКладов-рв]

"В футболе не можно трогать мяч руками..." Вам слух не режет???😢