随笔 - 82, 文章 - 0, 评论 - 95, 阅读 - 22万

2019年5月24日

摘要：本章继续上一章，说明一下这个问题：所有的相互递归都可以被转化为一般的递归，从而最终可以用lambda演算来完成。假设有以下对于

f_{1} ， f_{2} ， . . . f_{n}

$f_1， f_2， ... f_n$ 的相互递归：

f_{1} = F_{1} (f_{1}, f_{2}, . . . f_{n})

$f_{1} = F_{1}(f_{1}, f_{2}, ... f_{n})$ $f_{2} = F_{2}(f_{ 阅读全文

posted @ 2019-05-24 23:59 窗户阅读(602) 评论(0) 推荐(0) 编辑

<

2025年3月

>

日

一

二

三

四

五

六

23

24

25

26

27

28

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

1

2

3

4

5

Zero vs Master (No.16)

昵称：窗户
园龄： 7年10个月
粉丝： 83
关注： 0

+加关注

随笔分类

阅读排行榜

评论排行榜

最新评论

1. Re:有限域(2)——理想和商环
专门登录就为了点个赞，有例子有说明，清晰易懂！
--薄暮城
2. Re:各种编程语言对尾递归的支持
非常好文章，爱来自瓷器（终于找到了一篇系统性说明什么语言什么实现支持尾递归，帮了大忙，谢谢）不过终究还是有些小细节有点怪异欸尤其是 common lisp，调用函数也太麻烦了吧其实是不用 fu...
--Martin-λ
3. Re:数学对于人类意味着什么
@1411176283 您是说合乎历史良性发展并非要一味的使用最一般，概括最完全的定理么，而有可能是使用某些半成品，花哨的推论以此为基本定理来设计出所有的工具与机器？我觉得现在数学已经分支众多，想每...
--窗户
4. Re:数学对于人类意味着什么
@YAYAYALAY 不一定吧？有些数学是走入了发展的胡同里，也有可能是成为了某一理论的分支并且方便于制作机器或生产辅助工具...
--1411176283
5. Re:数学对于人类意味着什么
您是说合乎历史良性发展并非要一味的使用最一般，概括最完全的定理么，而有可能是使用某些半成品，花哨的推论以此为基本定理来设计出所有的工具与机器？
--1411176283

常用链接

我的标签

积分与排名

随笔分类

阅读排行榜

评论排行榜

推荐排行榜

最新评论