手机知网 App
24小时专家级知识服务
打 开
数学
原始递归字算术WA的公理系统
<正> 设A_n表示有穷字母表{s_1,s_2,…,s_n},Ω(A_n)表示A_n中所有字的集合.通常把空字(即不含任何字母的字)亦作为Ω(A_n)中的元素,记为☉.作为自然数集上函数的推广,人们研究Ω(A_n)上的函数,叫做字函数.对于字函数的研究,可以叫做字算术.在字算术中,至少可有下述两个观点:
领 域:
数学
关键词:
1 27
手机阅读本文
下载APP 手机查看本文
数学学报
1981年05期

搜 索