2024-01-29から1日間の記事一覧

前原昭二「数理論理学序説」共立出版 1966

計算数理工学とかで論理学の教科書として買ったものです．どうしてこの見た目マニアックな本を選んだのか記憶にありませんが，学生の頃休みで時間があれば散歩に行っていた神保町界隈で物色して，論理学における完全性定理と不完全性定理が載っているコンパ…