Scisne?

Поиск публикаций: логика

Поля поиска:




Запрос:
Номер раздела:
Сортировать:
Публикации: 24
|1|2| >>>
ПубликацияРазделКомм.
Янов Ю. И.
В связи с разными точками зрения на природу математики рассматриваются вопросы о метаматематическом понятии истины и возможности убедительного доказательства истинности математических теорем.
Математика 1 Юзеф
21 Мая 2016 14:12:07 >>>
Иосиф Крывелёв
В ЛОГИКЕ существует так называемый закон достаточного основания. Он гласит: все, что ты мыслишь, все, что ты высказываешь, ты должен мыслить и высказывать только на достаточном основании. Если данное суждение не имеет основания или основание есть, но оно недостаточно, ты не имеешь логического права считать это суждение истинным.
Научно-философские вопросы религии и атеизма 2 simonoff
11 Янв 2019 08:17:03 >>>
Всякая система математических аксиом начиная с определенного уровня сложности либо внутренне противоречива, либо неполна.
Математика 0 Ø
Программа Гордона
Доказательность — главнейшая особенность математики, науки, представляющей образцы точности рассуждений. Но понятие доказательства долгое время не имело точного математического определения. О парадоксах в теории множеств и основаниях математики — академик РАН Юрий Ершов.
Математика ≫ Видео 0 Ø
Лев Беклемишев
Какую часть математических доказательств можно поручить компьютеру? Какие существуют виды интерактивных систем поиска математических доказательств? В чем заключается теорема о четырех красках? И как она была доказана? Об этом рассказывает доктор физико-математических наук Лев Беклемишев.
Математика ≫ Видео 0 Ø
Лев Беклемишев
В чем заключается аксиоматический метод? Как развивалось понятие аксиомы? Кем был разработан аксиоматический метод? Какое место он занимает в математике? И какой критике подвергается этот метод? Об этом рассказывает доктор физико-математических наук Лев Беклемишев.
Математика ≫ Видео 0 Ø
Теодор Шик
Научно-философские вопросы религии и атеизма 3 Elli
4 Дек 2014 12:55:38 >>>
Елена Наймарк
Животные мыслят логически — к такому выводу пришла группа исследователей из разных стран, проведя серию остроумных экспериментов на крысах. Они обнаружили, что крысы способны выделить истинную причину события из ряда ассоциативно связанных явлений. Это меняет наше представление о границах животного интеллекта.
Поведение животных 0 Ø
Питер Эткинз
Эта книга предназначена для широкого круга читателей, желающих узнать больше об окружающем нас мире и о самих себе. Автор, известный ученый и популяризатор науки, с необычайной ясностью и глубиной объясняет устройство Вселенной, тайны квантового мира и генетики, эволюцию жизни и показывает важность математики для познания всей природы и человеческого разума в частности.
Наука, образование ≫ Книги 22 Влад
27 Мая 2017 07:51:54 >>>
Дмитрий Фон-Дер-Флаасс
Мы предлагаем вашему вниманию запись (с небольшими сокращениями и с сохранением авторского стиля) лекции, прочитанной Дмитрием Фон-Дер-Флаассом во Всероссийском детском центре «Орленок» в 2009 году.
Математика 0 Ø
Иванов Е. М.
Речь в данной работе пойдет о так называемом "геделевском аргументе", который используется как аргумент против возможности создания искусственного интеллекта. Суть аргумента заключается в следующем: полагают, что из теоремы Курта Геделя о неполноте формальных систем вытекает принципиальное различие между искусственным ("машинным") интеллектом и человеческим умом.
Кибернетика, когнитивистика 3 Ян Корчмарюк
15 Дек 2014 00:10:35 >>>
Александр Марков
Исследователи из Университета Дюка показали, что участок мозга, отвечающий у взрослых людей за решение арифметических задач, отвечает также и за обработку несимволической числовой информации (в частности он активизируется при ответе на вопрос «на какой картинке больше кружочков?») и начинает выполнять эту функцию уже у маленьких детей, незнакомых с цифрами. По-видимому, математические способности человека развились на основе древних мыслительных механизмов, сложившихся еще у наших животных предков.
Этология, психология 0 Ø
Елена Наймарк
Точность арифметических операций у макак-резусов составила 76%, а у студентов по тем же тестам – 94%. При этом количественные зависимости, прогнозирующие вероятность правильного ответа, оказались одинаковыми у макак и у людей; также почти не отличалось время, которое требовалось испытуемым макакам и людям для подсчетов.
Поведение животных 0 Ø
Как развивается научная модель в естественных науках? Накапливается житейский либо научный опыт, его вехи аккуратно формулируются в виде постулатов и образуют базу модели: набор утверждений, принимаемых всеми, кто работает в рамках этой модели.
Математика 0 Ø
Анатолий Вассерман
В 1930 году Курт Гедель доказал две теоремы, которые в переводе с математического языка на человеческий означают примерно следующее: Любая система аксиом, достаточно богатая, чтобы с ее помощью можно было определить арифметику, будет либо не полна, либо противоречива. Не полная система – это значит, что в системе можно сформулировать утверждение, которое средствами этой системы нельзя ни доказать, ни опровергнуть. Но Бог, по определению, есть конечная причина всех причин. С точки зрения математики это означает, что введение аксиомы о Боге делает всю нашу аксиоматику полной. Если есть Бог, значит любое утверждение можно либо доказать, либо опровергнуть, ссылаясь, так или иначе, на Бога. Но по Геделю полная система аксиом неизбежно противоречива. То есть, если мы считаем, что Бог существует, то мы вынуждены прийти к выводу, что в природе возможны противоречия. А поскольку противоречий нет, иначе бы весь наш мир рассыпался от этих противоречий, приходиться прийти к выводу, что существование Бога не совместимо с существованием природы.
Научно-философские вопросы религии и атеизма ≫ Видео 1 Гудвин
2 Мая 2016 18:06:18 >>>
Успенский В. А.
В этой книге говориться о математике как о части культуры духовной. Данный текст писался не для математиков, а скорее для гуманитариев. Поэтому при его составлении в ряде случаев приходилось выбирать между понятностью и точностью. Предпочтение отдавалось понятности. Очерчивая место математики в современной культуре, автор пытается прояснить для читателей-нематематиков некоторые основные понятия и проблемы «царицы наук».
Математика ≫ Книги 0 Ø
Сосинский А. Б.
Теорема Гёделя, наряду с открытием теории относительности, квантовой механики и ДНК, обычно рассматривается как крупнейшее научное достижение ХХ века. Почему? В чем ее суть? Каково ее значение? Эти вопросы в своей лекции в рамках проекта «Публичные лекции "Полит.ру"» раскрывает Алексей Брониславович Сосинский, математик, профессор Независимого московского университета, офицер Ордена академических пальм Французской Республики, лауреат премии Правительства РФ в области образования 2012 года. В частности, были даны несколько разных ее формулировок, описаны три подхода к ее доказательству (Колмогорова, Чейтина и самого Гёделя), и объяснено ее значение для математики, физики, компьютерной науки и философии.
Математика ≫ Видео 0 Ø
Успенский В. А.
Лекции летней школы «Современная математика», г. Дубна.
Математика ≫ Видео 0 Ø
Успенский В. А.
Лекция посвящена синтаксической версии Теоремы Гёделя о неполноте. Сам Гёдель доказал синтаксическую версию, используя более сильное, чем непротиворечивость, предположение, а именно так называемую омега-непротиворечивость.
Математика ≫ Видео 1 Инт
23 Авг 2016 10:02:22 >>>
Успенский В. А.
Действительно ли в математике всё определяется и доказывается? Можно ли определить понятие натурального числа? Можно ли определить Натуральный Ряд (с прописной буквы)? Можно ли аксиоматически определить понятие натурального ряда (со строчной буквы)? Можно ли доказать, что Великую теорему Ферма нельзя ни доказать, ни опровергнуть? Что такое доказательство? Можно ли математику сделать понятной?
Математика 0 Ø
|1|2| >>>