不完全性定理

5/6
「竹内氏ゲーデル本を執筆す期待もあってわれ買い求めたり(理解したいので)」
「中級の一歩手前に導くと言葉を信じ大金はたく()」
「ゲーデルとチューリングとをセットにて解説するが領域同じ？()」
「３ワカラン著者がいうにはゲーデルとアインシュタインと量子論だと(理解のために飛躍が必要とのこと。こういうのをコペルニクス的というのか)」
「証明で公理をもとに推論の規則を使い定理導く(数学で証明するのは…)」
「導いた定理は公理と同じよに推論過程で使い回せる()」
「ゲーデルがやったこととは『数学について数学』したことである(『超数学』メタマセマティック)」
「次元変えひとつ高みで数学を見ることをしたクルト・ゲーデル()」
「演劇で劇中劇があるという『超数学』はメタフィクションに似る()」