- 359 名前：１３２人目の素数さん mailto:sage [2009/07/31(金) 00:19:48 ]
- >>352
数年前に、その本買ったから内容を見てみたよ。
基礎論の基本的な事項がほとんど。
いわゆる第10問題、計算量理論のさわり、あとはランダムとはとかが少し。
手続き型プログラミング言語の論理を公理化するのがめずらしいくらい。
「数学」への応用といったら、数論幾何への応用がされてるそうだ。
板井昌典『幾何学的モデル理論入門』とかみたことがある。
難しくて、不定法定式に帰着できて、妖しい匂いがすると基礎論がからんでくるのだろうか。
