上記の定理の主張は「どのような形式的理論体系も可算モデルをもつ」のだそうな。 すなわち、勝手な解釈させてもらえば、どのような論理的装いをこらした論説も 本来の意図とは別様な解釈が可能となる。といっているようなものだ。そもそもはヒルベルトの公…

安本美典は古代史に数理的な視点を持ち込んで、大いに気を吐いたけど。 その後、彼の後継者が見当たらないのはさびしいです。 吉野ケ里遺跡と邪馬台国―遺跡分布から解く女王国の謎 (古代文化叢書)作者: 安本美典出版社/メーカー: 大和書房発売日: 1994/07メ…