Что такое формальные системы? Душкин объяснит
Теорема, которую боятся все физики. Реальность и правда непознаваема?
Представьте себе мир, где каждое утверждение можно однозначно доказать либо опровергнуть. Именно таким всё грезилось математикам начала XX века, стремящимся создать всеобъемлющую систему аксиом, способную описать всю математику. Но в 1931 году молодой австрийский логик Курт Гёдель перевернул их идеи с ног на голову, представив миру свою знаменитую теорему о неполноте. Для нас самое интересное тут даже не её математической приложение, а связь этих знаний с физикой. Ведь из этой неполноты следует кое-что очень важное и математика - это язык физики...
Суть битвы всех времён и народов
Есть подозрение, что вся история, как мы ее знаем, на самом деле совершенно иная. Все наше представление даже близко не соответствует тому, о чем говорится в мифологии. Мы живем в мире, который абсолютно не понимаем, в котором есть загадочного, таинственного, даже мистического гораздо больше, чем мы предполагаем в наш просвещенный век. Мы хотим рассказать о том, что нас ждет, в некоем достаточно ближайшем будущем, рассказать так, чтобы вы нам ни за что не поверили. Когда-то, в Трое, была безумная девица Кассандра...