2024.02.05
https://gyazo.com/e4f141d884b0c028fae16b30308422b4
前:
2024.02.04
後:
2024.02.06
#日報
メモ
A. S. Troelstra
の1977年の論文では
BHK解釈
の
K
が
Georg Kreisel
となっている.
https://ncatlab.org/nlab/show/BHK+interpretation#HistoricalVersions
一般には
Andrei Kolmogorov
.
メモ
直観主義命題論理のプライム性を用いたKripke完全性定理
そういえば一度も追ったことがない気がしたので.
面倒!