論理におけるデータ抽象 - sumiiの日記これに答えるのには私は絶対に適任ではないんですが、一応数学基礎論に分類されることがある分野をやっているので反応しておきます。 データ抽象というのは、要するに「内部的にどう実現されているかはわからないが、あ…

コーヘン・連続体仮説 続コーヘン・連続体仮説連続体仮説実は邦訳を持っています。連続体仮説のことを初めて知った高校時代に買って、読もうとして挫折して、その後は放置してあります。その頃は群って言う言葉が何をさしているのかさえ知りませんでしたから…