【完全性定理】ゲーデルの論文を読んでみよう【数学論文】

ゲーデルの論文（完全性定理）を解説している動画です。なお、現代の完全性定理は若干異なります。現代版を知りたい方は、下記動画が分かりやすく詳しいです。ご参照ください。

京都大学文学部哲学演習Iの講義動画
   • #02 古典命題論理(1) 論理学のおしごと 2021年度前期哲学演習I #論理学  



注意）解説は全て、独自の分析によるものです。（書籍に載っているのは、現在主流のヘンキン版だったため）「記号＝を述語変数Gで置き換える」。この意味が全く理解できず、残り２０％で挫折する羽目になってしまいました。なので拡張部分については、解説していません。ご了承ください。

●引用（論文翻訳資料）
　ゲーデルの世界　廣瀬健・横田一正

●開発ツール:
ゆっくりMovieMaker4β
https://manjubox.net/ymm4/
nicotalk & キャラ素材配布所
http://www.nicotalk.com/kiyaku.html
AVI UTL http://spring-fragrance.mints.nevoice...
Google Earth https://www.google.co.jp/intl/ja/earth/

●BGM
魔王魂 https://maou.audio/
こんとどぅふぇ https://conte-de-fees.com/
かまタマゴ https://kamatamago.com/profile2/
H/MIX GALLERY http://www.hmix.net/
　 Music-Note.jp 　 http://www.music-note.jp/

●効果音
　効果音ラボ https://soundeffect-lab.info/

●音声
VOICEVOX https://voicevox.hiroshiba.jp/
VOICEVOX:青山流星
VOICEVOX:四国メタン
VOICEVOX:九州ソラ

●イラスト
イラストや https://www.irasutoya.com/

#完全性定理
#ゲーデル
#数学論文