Сергей Шпадырев

С древних времён мыслители задаются вопросом о том, что такое существование. Этому вопросу посвящён один из наиважнейших разделов философии - онтология. Различные философские учения предлагают совершенно разные онтологические картины мира. Но в чём собственно заключается вопрос? Вот я сижу на стуле - он существует. Я сижу за столом - он существует. Я надкусываю яблоко - оно существует. Да и я сам вроде как существую и совершенно не сомневаюсь в этом. В чём же тогда состоит проблема? Существование стула или яблока в повседневном значении этого слова конечно же никто не оспаривает...

Великий немецкий мыслитель Иммануил Кант утверждал, что пространство - это линза в человеческом уме, через которую разум смотрит на чувственные данные, упорядочивая воспринимаемые нами формы, цвета и звуки. Поэтому чтобы разобраться в чём-то, наш ум всегда стремится свести это что-то к визуальной модели геометрического пространства. В этом эссе мы с вами поговорим о нескольких таких пространствах и их свойствах: физическом пространстве, гомотопическом пространстве типов в математике и типизированных...

Есть ли сознание у камней? Обычному человеку этот вопрос покажется безумным, но для современных философов - это один из самых острых вопросов, при обсуждении которого всегда идут жаркие дебаты и ломается немало копий. Чтобы понять, как философы приходят к этому вопросу, и почему некоторые из них дают на него положительный ответ, нужно немного погрузиться в вопросы метафизики, сознания и квалиа... Метафизика В философских дискуссиях часто можно услышать слово “метафизика”, но многие не до конца понимают, что именно оно означает...

Некоторое время назад я опубликовал на Хабре пост «Гений Пифагора: почему в рекурсивно‑вычисляемом клеточном автомате Вселенной наше сознание бессмертно?». В комментариях к тому посту у меня с одним из комментаторов разгорелась жаркая дискуссия о сознании в компьютерной симуляции и существовании души. Мой оппонент приводил аргументы, которые неявно подразумевали существование души, но в явном виде он это утверждение признавать не хотел. Наоборот, он приписывал защиту существования души мне, хотя я отстаивал прямо противоположную позицию...

В старые времена путешествие из одной части мира в другую могло занимать целые месяцы, а иногда и годы. Представления людей об устройстве мира в то время были наполнены мифами о песиголовцах, единорогах и прочих небылицах. На белых пятнах географических карт их составители, не зная, что там находится, часто писали "тут проживают драконы". Сейчас же мы можем открыть точную карту планеты онлайн и за секунды простроить дорожный маршрут из одной точки мира в другую. Современные технологии дали нам удобный интерфейс взаимодействия с полной картой физического пространства нашей планеты...

Обычно, когда мы слышим слово "дух" в нашем воображении всплывает что-то похожее на кадр из советского мультика с замотанным в простыню Карлсоном. Так работает человеческий ум - для понимания какой-либо концепции ему нужно связать её с метафорическим визуальным образом. Так, например, Бог в умах людей представляется в виде живущего над облаками белобородого старика, а ад в виде греющихся на огне котлов с кипятком, в которых хвостатые черти варят людей и тыкают их трезубцами, хотя в религиозных текстах ничего подобного вовсе нет...

Несколько лет назад я опубликовал серию статей о гипотезе математического происхождения Вселенной. Самая популярная из них — мой перевод статьи Стивена Вольфрама «Кажется, мы близки к пониманию фундаментальной теории физики, и она прекрасна». Этот пост не просто повторяет описанные в тех старых статьях идеи, но и развивает их. Мы с вами поговорим об истории идеи математического происхождения Вселенной, рассмотрим аргументы в её пользу, обсудим гипотезу симуляции и клеточные автоматы, математические...

— Тут одна с солипсизмом на третьей стадии, — сказал как бы низкий и рокочущий голос. — Что за это полагается? — Солипсизм? — переспросил другой голос, как бы высокий и тонкий. — За солипсизм ничего хорошего. Вечное заключение в прозе социалистического реализма. В качестве действующего лица. Виктор Пелевин. «Девятый сон Веры Павловны» Над философией солипсизма, которую я собираюсь раскрыть в данном посте, в приличном обществе обычно принято смеяться. И правда, идея о том, что вся Вселенная существует...

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

Diva Philippica, vox ubi coelica nunc Ciceronis? Pax ubi civibus atque rebellibus ira Catonis? Nunc ubi Regulus aut ubi Romulus aut ubi Remus? Stat Roma pristina nomine, nomina nuda tenemus. Божество филиппик, где ныне небесный голос Цицерона? Мир где для граждан, а для мятежников где гнев Катона? Где же Регул, где Ромул, где Рем? От Рима осталось лишь имя. Имена, что мы держим — пустые. Отсылкой к последней строке этого стихотворения Бернарда Клюнийского заканчивается "Имя розы" - знаменитый роман итальянского писателя-постмодерниста, философа и медиевиста Умберто Эко...

В этом монументальном тексте я постараюсь рассказать вам о трёх непревзойдённых шедеврах XX века - математическом языке лямбда-исчисления, языке программирования LISP и искусственно сконструированном языке человеческого общения под названием "Ложбан", а также о лежащих в их основе общих принципах и идеях. Кроме того, в конце этого поста я представлю вам свой собственный проект по конструированию языка человеческого общения, в основу которого я положил фундаментальные лингвистические симметрии. Мой...

Около полутора лет назад я опубликовал на Хабре статью под названием "Слово Божие — функциональное программирование как основа Вселенной", в которой я рассказывал про лямбда-исчисление и про то, как программу любой сложности можно свести к алгоритму на базе всего трёх SKI-комбинаторов или же одного единственного йота-комбинатора. В ней мы разобрались с алфавитом божественного языка, на котором написана книга мироздания. Теперь же пришло время разобраться с его грамматикой. В посте "Эйлер, Чёрч и...