логика

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

31.05.2021

vds, VPS, быстрый vds, гёдель, жизнь геделя, курт гёдель, логика, надежный vds

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

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

11.01.2021

логика, математика, пришельцы, сознание, физика

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

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

22.12.2020

алгебра, информатика, информация, история ит, логика, логические задачи, логические схемы, предикат, программирование, теория информации

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

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

23.06.2020

абстрагирование, изучение языков, лингвистика, логика, мышление, психология, рекурсия, философия, язык

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

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

17.05.2020

Джон Нэш, логика, математика, научно-популярное, равновесие нэша, теория игр

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

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

04.12.2018

wolfram alpha, wolfram language, вольфрам, знание, логика, математика, понимание

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

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

25.07.2018

DARPA, искусственный интеллект, логика, поведение

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

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

14.05.2018

Кино и сериалы, логика, фильм

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

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

10.05.2018

pubg, steam, игры, карта, карты, киберспорт, логика, можно, разработчики, сервер

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

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

27.04.2018

intel, логика, набор, процессоры, чипсет, чипы

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

логика

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

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

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

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

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

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

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

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

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

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

Паблик ВКонтакте

Последние посты