フレーゲの計算機科学への影響  [in Japanese]

Access this Article

Search this Article

Author(s)

Abstract

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.

Journal

  • Kagaku tetsugaku

    Kagaku tetsugaku 38(2), 21-33, 2005

    The Philosophy of Science Society, Japan

Cited by:  1

Codes

  • NII Article ID (NAID)
    130003640618
  • NII NACSIS-CAT ID (NCID)
    AN00037482
  • Text Lang
    JPN
  • Article Type
    Journal Article
  • ISSN
    0289-3428
  • NDL Article ID
    7811867
  • NDL Source Classification
    ZM1(科学技術--科学技術一般)
  • NDL Call No.
    Z14-479
  • Data Source
    CJPref  NDL  J-STAGE 
Page Top