G
enby!

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

Мой фрилансера " заказать прогрмное обеспечения под ключ": https://freelancehunt.com/freelancer/...
____________________ По вопросам рекламы Email:  nicemankit@gmail.com  Telegram: t.me/nicemankit ____________________ ★ Мои ссылки: ■ Telegraml- https://t.me/science_reality2
■ VK - https://vk.com/maxvel_programer
​ ■ Boosty: https://boosty.to/science_reality
■ Twitch -    / WERASAIMON ■ Email - nicemankit@gmail.com ■ Поддержать канал реквизиты : Monobank : 4441111180327367 BTC : 1D2UGaeLCC8wUxtSY8y4biCf93TfX2Yn8y USDT : TYqT4nbdVMw9acCsggym2fhs6P3WPDWQZN  TONCOIN: UQDZBBCLGKS13Hk6SyVccjSCrjONT1CnhEPm4SEUtCAzpUIt  ETH : 0x3A88fE43F5C164E46E665C2A733C73401D1E8640 ____________________ ____________________ Источники информации : https://platona.net/load/knigi_po_fil...
https://m.mathnet.ru/php/archive.phtm...
Сосинский : теорема Гёделя о неполноте    • Теорема Гёделя о неполноте // Алексей Соси...   В этом видео я расскажу как 25 летний гений Курт Гёдель , разрушил все мечты математиков . Ведь математики хотели доказать саму математику создав полностью непротиворечивую систему аксиом ! 1900 году когда в Париже прошла Всемирная конференция математиков, на которой один из величайших математиков того времени Девид Гильберт (David Hilbert, 1862–1943) изложил в виде тезисов сформулированные им 23 наиважнейшие, по его мнению, задачи, которые предстоит решить ученым-теоретикам наступающего ХХ века. Под вторым номером в его списке значилась одна из тех простых задач, ответ на которую казался очевидным. Говоря современным языком, это был вопрос: самодостаточна ли математика? Вторая задача Гильберта сводилась к необходимости строго доказать, что система аксиом — базовых утверждений, принимаемых в математике за основу без доказательств, — совершенна и полна, то есть позволяет математический описать всё сущее. Но увы Курт Гёдель показал что невозможно доказать математику , так всегда будут существовать верные но никаким образом недоказуемые Теоремы ! И в данном видео ролике видеоролике , мы узнаем как Курт-Гедель доказал противоречивость самой математики , и вообще всех достаточно полных формальных систем. Например такой системой является компьютер , вернее инструкции процессора! Как же это сделал Курт-Гедель … P.S: Сама вселенная тоже может являться формальной системой ! #maths #Godel #theorem

Смотрите также