ゲーデルの論文(完全性定理)を解説している動画です。なお、現代の完全性定理は若干異なります。現代版を知りたい方は、下記動画が分かりやすく詳しいです。ご参照ください。
京都大学文学部哲学演習Iの講義動画
• #02 古典命題論理(1) 論理学のおしごと...
注意)解説は全て、独自の分析によるものです。(書籍に載っているのは、現在主流のヘンキン版だったため)「記号=を述語変数Gで置き換える」。この意味が全く理解できず、残り20%で挫折する羽目になってしまいました。なので拡張部分については、解説していません。ご了承ください。
●引用(論文翻訳資料)
ゲーデルの世界 廣瀬健・横田一正
●開発ツール:
ゆっくりMovieMaker4β
manjubox.net/y...
nicotalk & キャラ素材配布所
www.nicotalk.co...
AVI UTL spring-fragranc...
Google Earth www.google.co....
●BGM
魔王魂 maou.audio/
こんとどぅふぇ conte-de-fees....
かまタマゴ kamatamago.com...
H/MIX GALLERY www.hmix.net/
Music-Note.jp www.music-note.jp/
●効果音
効果音ラボ soundeffect-la...
●音声
VOICEVOX voicevox.hiros...
VOICEVOX:青山流星
VOICEVOX:四国メタン
VOICEVOX:九州ソラ
●イラスト
イラストや www.irasutoya....
#完全性定理
#ゲーデル
#数学論文
Негізгі бет 【完全性定理】ゲーデルの論文を読んでみよう【数学論文】
Пікірлер: 4