mathmathniconico https://blog.hatena.ne.jp/mathmathniconico/ arXiv探訪 https://arxiv.hatenablog.com/ 数学 本棚の肥やし崩し企画第二弾 一年以上前に買って放置してたので、ちゃんと読んでしまおうというお話。 基礎論が気になり眠れない件 『キューネン 数学基礎論講義』 - arXiv探訪 ↑では、ざっと読んだとか書いたけど嘘。今回は丁寧に一行ずつ読み砕くことを目的としている。 全体的な印象 まずこの本は非常に丁寧な本だということだ。記述の正確さは当然のことながら、その精密さに驚く。随所に著者による注意が散りばめられ、何が重要なのかを示唆してくれる。またフォーマルとインフォーマルの区別が必ず文章の頭にあって、混乱がなるべく生じないように配慮があるのも嬉しい。一方で冗長と感じる部分もままある。特に邦訳特有の… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Farxiv.hatenablog.com%2Fentry%2F2017%2F09%2F08%2F163000" title="キューネン「数学基礎論講義」感想（途中） - arXiv探訪" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn.mogile.archive.st-hatena.com/v1/image/mathmathniconico/316967586146303360.png Hatena Blog https://hatena.blog 2017-09-08 16:30:00 rich https://arxiv.hatenablog.com/entry/2017/09/08/163000 1.0 100%