Another Representation of Integers in Logic

スポンサーリンク

概要

• 論文の詳細を見る

• In first order logic, natural numbers are usually represented by the ternis constructed from the constant 0and the success or function .For example, the term s(s (0))represents the natural number 2.In general,s(s(..S (0)...))represents n. In the following, we times at the parentheses, so s(s(0))is written as ss0.

• 一般社団法人情報処理学会の論文
• 1992-02-24

著者

• Kurihara Masahito

  Department Of Information Engineering Hokkaido University

• Azuma Ohuchi

  Department Of Information Engineering Hokkaido University

関連論文

• Another Representation of Integers in Logic

スポンサーリンク