パスワードを忘れた? アカウント作成
750791 journal

nidakの日記: !完全==不完全

日記 by nidak
どんな形式的体系も、それが無矛盾である限り、不完全である。
           クルト・ゲーデル「不完全性定理」
typodupeerror

計算機科学者とは、壊れていないものを修理する人々のことである

読み込み中...