(no subject)

Умер Saul Kripke, который придумал модели Крипке

https://en.wikipedia.org/wiki/Saul_Kripke
https://saulkripkecenter.org/index.php/blog/

Всего 81 год. Модели он придумал в конце 50-х, когда ему не было двадцати лет. После чего с чистою душой отдыхал всю жизнь (в философию ушёл).