Неполнота науки: как жил и что доказал Курт Гёдель?

логика

Неполнота науки: как жил и что доказал Курт Гёдель?

«Достижения Курта Гёделя в современной логике уникальны и монументальны. Определенно, это — нечто большее, нежели памятник ученому, это — путеводная звезда, свет которой продолжит распространяться в пространстве и времени вечно». Джон фон Нейман Накануне гибели Австро-Венгерская империя подарила человечеству немало великих умов. Такие громкие имена, как Эрвин Шрёдингер, Зигмунд Фрейд и Стефан Цвейг известны, пожалуй,...

Аксиома выбора и принципиальные ограничения человеческого разума

Когда я учился в институте, то очень не любил философию. Дело не только в том, что тогда это была марсистко-ленинская философия — просто я не видел смысла в этом бессмысленном нагромождении слов. Уже много позже я обнаружил, что увлекаюсь именно философией — но философией науки. На мой взгляд, у философии должен быть конкретный объект рассмотрения:...

Логика: предикатная, формальная и сентенциальная. Кванторы и создание информатики

1 | Введение: Логика, как эпистемологический инструмент, изобретена независимо в трёх отдельных государствах: Греции (Аристотелем), Китае (императором Цинь Шихуанди) и Индии. В последних двух перечисленных государствах логика не распространилась настолько, чтобы «прижиться» и получить развитие. В античной же Греции произошло наоборот — логика сформировалась в своих основах столь определённо, что дополнилась только через 2 тысячелетия....

Рекурсия сознания — ловушка мышления и барьер прогрессу. Исторический очерк

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

Теория игр и её применение в жизни

Привет, читатель! Некоторые из вас видели набор букв“qwerty”. Qwerty — это раскладка клавиатуры. Посмотрите на вашу клавиатуру. Вы увидите в верхнем ряду буквы «q»«w»«e»«r»«t»«y». А по какой причине нам интересна раскладка клавиатуры? Ещё давно, когда люди пользовались печатными машинками, печатали они довольно быстро. Это создавало проблемы: головки печатной машинки, бьющие по бумаге и печатающие на...

[Перевод] Логика, объяснимость и будущее понимания

Открытие, связанное с логикой Логика служит основой множества вещей. Но каковы основы самой логики? В символьной логике вводятся символы вроде p и q, обозначающие утверждения (или «пропозиции») типа «это интересное эссе». Ещё есть определённые правила логики, к примеру, для любого p и любого q выражение NOT (p AND q) аналогично (NOT p) OR (NOT q)....

DARPA примется совершенствовать искусственный интеллект

Объяснить смысл и мотивацию своих поступков под силу далеко не каждому человеку, не говоря уже о программных алгоритмах, имитирующих поведение искусственного интеллекта. Возможности современного подобия искусственного интеллекта строго ограничены даже невзирая на потенциал для самостоятельного обучения и анализа ситуации, предполагающего способность адаптации под конкретные условия. Специалисты Агентства передовых оборонных исследовательских проектов (DARPA) при Министерстве обороны США...

Жан Рено снимется в узбекском фильме про Ходжу Насреддина, героя восточных анекдотов

«Sputnik Узбекистан» сообщает, что узбекские кинематографисты при посильной помощи российской стороны снимут фильм о герое мусульманских сатирических рассказов и анекдотов Хадже Насреддине. Одну из ролей в этом фильме исполнит Жан Рено. Об этом сообщает кинокомпании «Реновацио» и Центр развития кинематографии Узбекистана. По их словам, к соглашению стороны пришли на Каннском кинофестивале, где Узбекистан представлял три...

В PUBG изменили новую карту

Разное

Разработчики Playerunknown’s Battlegrounds опубликовали список изменений для следующего этапа тестирования. Он начнется 11 мая в 5:00, а завершится 14 мая в 14:00 по московскому времени. Игровой процесс В игре изменится логика появления красной зоны. Теперь она будет появляться только внутри игровой зоны. Исключение, когда игровая зона слишком близка к игровой. Новая карта «Санок» («Дикий Край») Некоторые локации переименовали....

Документация Intel подтверждает существование чипсета Z390

Мы уже сообщали, что корпорация Intel готовит к выпуску набор системной логики Z390, анонс которого ожидается ближе к середине текущего года. Теперь упоминание этого чипсета появилось в официальной документации Intel. Reuters По слухам, новый набор логики предусматривает поддержку функций разгона, а также сможет предложить встроенные интерфейсы USB 3.1 Gen2, SDXC и Wi-Fi. Документ под названием...

Поиск по играм, новостям и статьям…

Введите не менее двух символов

Введите не менее двух символов