Saul Kripke died

[dmm]

November 13, 1940 – September 15, 2022

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

Comments

[juan_gandhi]

Ах боже мой.

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

[dmm]

Да...