2024.02.04
https://gyazo.com/f452699525469220ea2b1677e77e68d7
?
前:
2024.02.03
後:
2024.02.05
#日報
メモ
Hilbert流演繹体系
で
直観主義命題論理
を形式化しているが完全性定理の証明が上手く行く気がしない.
原理的には行くはずだが
そもそも
Hilbert流演繹体系
で直観主義論理の完全性を証明している文献って見たことがない気がする.
思った
ADHD
向けのプレイリストがあるということを知ったが,当然
ブレイクコア
ではなかった.
Cure for breakcore