2024.06.28
https://www.youtube.com/watch?v=NRJnZThV5F0
カガクチョップ
前:
2024.06.27
後:
2024.06.29
#日報
メモ
全てを推論規則ベースの演繹体系に移そうとして失敗した(煩雑すぎる)
のでまずはとりあえず軽めに修正
メモ
https://x.com/_ni_nn_i_/status/1806634035495743712
𝐊の証明可能性が
Decidable
であることをLeanで示すのは難しいと思うが,反証可能性と証明可能性がともに半計算可能であること(
Partrec
)は示せそうで,それから形式的な決定可能性
Computable
を示すことはできそう.