Saul Kripke died
Sep. 17th, 2022 11:49 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
dmmNovember 13, 1940 – September 15, 2022
He created Kripke semantics, the semantics of "possible worlds"
He created Kripke semantics, the semantics of "possible worlds"
dmmdmm
Page Summary
Active Entries
- 1: "Narrow AGI" this year?
- 2: Tao on coordinate vs coordinate-free math reasoning
- 3: "Aging as a loss of goal-directedness"
- 4: New integrated mode for GPT-4 in ChatGPT+
- 5: Китайский новый год начнётся 10-го февраля
- 6: Automating the Search for Artificial Life with Foundation Models
- 7: "Anatomy of a Formal Proof"
- 8: C to safe Rust automatic translation using LLMs and dynamic analysis
- 9: GonzoML
- 10: Transformers as a Computational Model (workshop)
Style Credit
- Style: Neutral Good for Practicality by timeasmymeasure
Expand Cut Tags
No cut tags
no subject
Date: 2022-09-17 04:09 pm (UTC)Ах боже мой.
Вот его семантика мне и кажется самой реалистичной. Все выразимо, все математично, все вычисляемо. Да... уходит эпоха, уходит.
no subject
Date: 2022-09-17 04:13 pm (UTC)