логика: новости, трейлеры и обзоры | SE7EN.ws

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

news — Mon, 31 May 2021 12:00:01 +0000

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

The post Неполнота науки: как жил и что доказал Курт Гёдель? first appeared on SE7EN.

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

news — Mon, 11 Jan 2021 14:38:49 +0000

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

The post Аксиома выбора и принципиальные ограничения человеческого разума first appeared on SE7EN.

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

news — Mon, 21 Dec 2020 21:43:41 +0000

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

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

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

news — Mon, 22 Jun 2020 22:07:12 +0000

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

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

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

news — Sun, 17 May 2020 13:36:28 +0000

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

The post Теория игр и её применение в жизни first appeared on SE7EN.

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

news — Tue, 04 Dec 2018 09:00:02 +0000

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

The post [Перевод] Логика, объяснимость и будущее понимания first appeared on SE7EN.

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

news — Wed, 25 Jul 2018 09:01:47 +0000

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

The post DARPA примется совершенствовать искусственный интеллект first appeared on SE7EN.

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

news — Mon, 14 May 2018 18:01:02 +0000

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

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

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

news — Thu, 10 May 2018 15:13:27 +0000

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

The post В PUBG изменили новую карту first appeared on SE7EN.

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

news — Fri, 27 Apr 2018 07:19:16 +0000

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

The post Документация Intel подтверждает существование чипсета Z390 first appeared on SE7EN.