Пес Ебленский - Геометрическая Логика [entries|archive|friends|userinfo]
rex_weblen

[ website | Наши рисуночки ]
[ userinfo | ljr userinfo ]
[ archive | journal archive ]

Links
[Links:| update journal edit friends fif tiphareth recent comments ]

Геометрическая Логика [Sep. 22nd, 2024|07:10 pm]
Previous Entry Add to Memories Tell A Friend Next Entry
LinkLeave a comment

Comments:
From:(Anonymous)
Date:September 24th, 2024 - 06:55 pm
(Link)
но я ведь спрашивал, что тебе нравится лол
[User Picture]
From:[info]rex_weblen
Date:September 24th, 2024 - 07:03 pm
(Link)
Пардон, я прочел слово «нравится» как «не нравится».

Сейчас нравятся темы типа вокруг Семантики Крипке и модальной логики.
From:(Anonymous)
Date:September 24th, 2024 - 07:07 pm
(Link)
а что в модальной логике самое интересное? и что самое "горячее" сейчас?
[User Picture]
From:[info]rex_weblen
Date:September 24th, 2024 - 07:13 pm
(Link)
Не знаю, я в этой теме не специалист, только присматриваюсь.

Сегодня такая статья попалась:

https://arxiv.org/abs/1403.0020
From:(Anonymous)
Date:September 24th, 2024 - 07:29 pm
(Link)
а что-нибудь про приложение теории моделей к философии? или про философию теории моделей.
[User Picture]
From:[info]rex_weblen
Date:September 24th, 2024 - 07:31 pm
(Link)
Хорошо бы такое найти.
From:(Anonymous)
Date:September 24th, 2024 - 07:45 pm
(Link)
что характерно, в статье про трансцендентальную логику, на которую я дал ссылку, есть.

кстати, один из соавторов, van Lambalgen, раньше занимался вот таким:
https://www.researchgate.net/publication/2563309_Independence_Randomness_and_the_Axiom_of_Choice/link/00b49522df225562c9000000/download?_tp=eyJjb250ZXh0Ijp7ImZpcnN0UGFnZSI6InB1YmxpY2F0aW9uIiwicGFnZSI6InB1YmxpY2F0aW9uIn19