Saul Kripke died

[dmm]

November 13, 1940 – September 15, 2022

He created Kripke semantics, the semantics of "possible worlds"

Comments

[dmm]

https://en.wikipedia.org/wiki/Saul_Kripke

https://twitter.com/kripkecenter/status/1570886336068096000

[dmm]

https://dailynous.com/2022/09/16/saul-kripke-1940-2022/

[juan_gandhi]

Ах боже мой.

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

[dmm]

Да...