「2021年08月10日」一覧

『ゲーデルは何を証明したか―数学から超数学へ』 として1998年に新版が出ています。ゲーデル入門書としてはスタンダードなようです。...