2024年4月2日 Robert Goldblatt, Logics of Time and Computation, 2nd Ed. Center for the study of language and information (CSLI), 1992年 評者:高木 翼 Tokyo Academic Review of Books, vol.62 (2024); https://doi.org/10.52509/tarb0062 はじめに 本書は数理論理学の理論計算機科学への応用についてコンパクトでありながらも最先端の高度な話題まで網羅している、この分野の標準的な教科書である。まず初めに、本書が対象としている分野の概説から始めたい。 数理論理学とは数学で行われる推論自体を新たな数学の分野とみなし探究する分野である。よくある説明としては、数学という学問全体をどんな人によっても、どんな時