Книга известного американского математика и логика профессора Р. Смаллиана, продолжающая серию книг по занимательной математике, посвящена логическим парадоксам и головоломкам, логико-арифметическим задачам и проблемам разрешимости, связанным с теоремой Геделя. Рассчитана на интересующихся занимательной математикой.

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

Теорема Гёделя, наряду с открытием теории относительности, квантовой механики и ДНК, обычно рассматривается как крупнейшее научное достижение ХХ века. Почему? В чем ее суть? Каково ее значение? Эти вопросы в своей лекции раскрывает Алексей Брониславович Сосинский, математик, профессор Независимого московского университета, офицер Ордена академических пальм Французской Республики, лауреат премии Правительства РФ в области образования 2012 года. В частности, были даны несколько разных ее формулировок, описаны три подхода к ее доказательству (Колмогорова, Чейтина и самого Гёделя), и объяснено ее значение для математики, физики, компьютерной науки и философии.

В этой книге говориться о математике как о части культуры духовной. Данный текст писался не для математиков, а скорее для гуманитариев. Поэтому при его составлении в ряде случаев приходилось выбирать между понятностью и точностью. Предпочтение отдавалось понятности. Очерчивая место математики в современной культуре, автор пытается прояснить для читателей-нематематиков некоторые основные понятия и проблемы «царицы наук».

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

Из идей сложности и случайности, впервые высказанных Готфридом Лейбницем в его «Рассуждении о метафизике» (1686), и их подтверждения в современной теории информации следует, что невозможно создать «самую общую теорию всего» в математике.

Возможно ли доказать всё, что истинно? Поиски ответа на этот вопрос раскололи математическое сообщество, заставили нас пересмотреть своё представление о бесконечности, помогли выиграть Вторую мировую войну и создать устройство, на котором вы посмотрите это видео. Как именно, расскажет Дерек Маллер в новом видео от Veritasium.

Мэрилин вос Савант, рекордсмен мира по IQ — 228 пунктов, — не внесла ничего ни в науку, ни в искусство, а всего лишь ведет колонку вопросов и ответов в журнале Parade. Самые что ни на есть посредственные физики обладают гораздо более высоким коэффициентом интеллекта, чем лауреат Нобелевской премии Ричард Фейнман, которого многие считают последним величайшим американским гением (его IQ составлял «всего лишь» приличные 122 пункта). Исследователи давно пытаются установить взаимосвязь между интеллектом и гением, но интеллекта оказывается явно недостаточно. В издательстве МИФ вышла книга «Взлом креатива» американского эксперта по креативности Майкла Микалко с примерами из работ известных мыслителей и практическими упражнениями по поиску оригинальных идей. Публикуем некоторые главы.

Теплым весенним утром Джун Ху шел в зал Макдоннелла Пристонского университета, где его ждали студенты. Однако он не был уверен, что идет в нужном направлении. Ху работает в элитарном Институте перспективных исследований, который располагается неподалеку от студгородка Принстона. Будучи сотрудником института, Ху не обязан преподавать. Тем не менее, он вызвался прочитать студентам продвинутый курс по коммутативной алгебре.

Речь в данной работе пойдет о так называемом "геделевском аргументе", который используется как аргумент против возможности создания искусственного интеллекта. Суть аргумента заключается в следующем: полагают, что из теоремы Геделя о неполноте формальных систем вытекает принципиальное различие между искусственным ("машинным") интеллектом и человеческим умом, а именно, полагают, что теорема Геделя указывает на некоторое принципиальное преимущество человеческого ума перед "умом" машинным - т.е. человек обладает способностью решать проблемы, принципиально неразрешимые для любых искусственных "интеллектуальных" систем (так называемые "алгоритмически неразрешимые" проблемы), причем ограниченность "искусственного ума" проистекает из его "формального" характера.