Математика отражает философию: larva tus против лямбда-куба.

топ 100 блогов furia_krucha16.08.2010
Недоразумение прояснило забавную вещь: системы до-декартовых философов (Суарез, Фома, Дунс Скот, all the way back to Aristotle), оперировавших механизмом „субстанциональных форм“, естественным образом интерпретируются в декартово замкнутой категории (может в топосе?), по-крайней мере, если верить Куайну; а декартово отрицание субстанциональных форм загоняет интерпретацию в категорию более бедной структуры.

Даже и поверхностный взгляд на современную логику подтверждает полную победу реализма самого оголтелого толка.

Оставить комментарий

Архив записей в блогах:
Традиций... скрепной зависти Дневник К.И. Чуковского 25 июля 1969 г. Весь поглощен полетом американцев на Луну. Наши интернационалисты, так много... Опубликовано Colon Titul   Четверг, 11 мая 2023 г. Бля. А это правда. Когда я учился в школе, нам так и объясняли, ...
РПЦ МП нужен стабильный источник полномасштабного государственного финансирования. Бюджет МВД РФ и станет таким источником — к вящей радости как клира, так и полицейских сил страны.Прошу рассмотреть.ПрезидентуРоссийской ФедерацииД. А. ...
Об отмене планов отдохнуть в Европе в русской блогосфере писано-переписано. "С таким евро живите вы сами в своей Европе" - такой печальный тезис выводят те, кто раньше любил пару раз в год съездить на несколько деньков в старушку Европу. Я не предлагаю горящие туры или подобный гербалайф. ...
Кстати, пока мы тут обсуждаем твиттер, осуществивший теракт смертник сменил кавказскую наружность на  "европейскую внешность" . Но это простое совпадение, конечно же. А разгадка одна... Взрыв в международном зале прилета аэропорта Домодедово ...
chudinovandrei (от 176.59.214.34) 11 февраля 2020, 15:33:51 Вы плохо знаете историю монотеизма И в частности христианства. В Старом Завете содержалось осуждение мужеложества на примере Содома. Все четыре официальные Евангелие не содержат осуждение и даже упоминание мужеложества. ...