«Есть истинные положения в арифметике, что недоказуемы». Исходя из истории традиций логики и математики, может показаться, это последнее, тривиальное положение, что не заслуживает такого сложного доказательства, вида доказательства теоремы Геделя. Просто, это указание на существование аксиом, истинных, но недоказуемых положений. Только после того, как стало ясно, что все аксиомы доказуемы, и нет ни одного недоказуемого положения или формулы, в математической логике, то есть, была сформулирована,...

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