BOOK SEARCH
講座 数学の考え方 23 数学と論理
難波 完爾(著)
内容紹介
歴史的発展を辿りながら,数学の論理的構造を興味深く語り,難解といわれる数学基礎論を平易に展開する。〔内容〕推論と証明/証明と完全性/計算可能性/不完全性定理/公理的集合論/独立性/有限体/計算量/有限から無限へ/他
難波 完爾(著)
歴史的発展を辿りながら,数学の論理的構造を興味深く語り,難解といわれる数学基礎論を平易に展開する。〔内容〕推論と証明/証明と完全性/計算可能性/不完全性定理/公理的集合論/独立性/有限体/計算量/有限から無限へ/他