(no subject)
Jan. 27th, 2023 07:25 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
66georgeИ также умер Ловер (изобретатель топосов). Итого, на страничке ЖЖ четыре некролога, из них три математика и одна Лоллобриджида. Топосы, между прочим, придуманы в 60-е годы. А кое-кто до сих пор думает, что основания математики -- это ZF. Это даже не топосы уже! В связи с этим анонс будущей книжки, что в ней будет
1) Логика первого порядка;
2) Модели Крипке и их непосредственные обобщения;
3) Теория типов;
4) Модели Крипке для теории типов и их ближайшие обобщения;
5) Топосы общего вида (пара хороших примеров, что не всё модели Крипке);
6) Интерпретация логики в топосах общего вида (семантика Крипке-Жуаяля);
7) Пучки и т.д., если допишу.
Только не ждите, что это будет быстро.
1) Логика первого порядка;
2) Модели Крипке и их непосредственные обобщения;
3) Теория типов;
4) Модели Крипке для теории типов и их ближайшие обобщения;
5) Топосы общего вида (пара хороших примеров, что не всё модели Крипке);
6) Интерпретация логики в топосах общего вида (семантика Крипке-Жуаяля);
7) Пучки и т.д., если допишу.
Только не ждите, что это будет быстро.
