著者
佐藤 雅彦
出版者
日本科学哲学会
雑誌
科学哲学 (ISSN:02893428)
巻号頁・発行日
vol.38, no.2, pp.21-33, 2005-12-25 (Released:2009-05-29)
参考文献数
18

We study Frege's influence on computer science mainly from the viewpoint of the formal aspect of Frege's Begriffsschrift. We argue that his analysis of a function as an unsaturated entity is related to the notion of higher-order abstract syntax in computer science, and his way of explaining Begriffsschrift should shed light on the future design of a common meta language for various mathematical systems. We also point out the influence of Frege on Martin-Löf's type theories, which led to the revival of the notion of judgment which was once almost forgotten in mathematical logic.

言及状況

外部データベース (DOI)

はてなブックマーク (1 users, 1 posts)

Twitter (5 users, 5 posts, 0 favorites)

佐藤先生の方はネットで読めるっぽい https://t.co/b31zo3RTDp
フレーゲと計算機科学については、佐藤雅彦先生の「フレーゲの計算機科学への影響」(科学哲学)があります。https://t.co/KUSVPUSqYV

収集済み URL リスト