|
|
|
|
|
|
|
|
|
#294通过凯文·莱德2024年3月31日星期日20:13:16 EDT |
|
|
|
|
|
|
|
#293通过凯文·莱德2024年3月31日星期日20:12:35 EDT |
|
| 配方奶粉
|
a（n）=1-A096270美元（n+1），即。，A096270美元 具有 抵消 1是这个序列的补码. _. - _A.H.M.Smeets_，2024年3月31日
|
|
| 状态
|
提出
编辑
|
|
|
|
|
|
|
#292通过A.H.M.斯密茨2024年3月31日星期日09:33:36 EDT |
|
|
|
|
|
|
|
#291通过A.H.M.斯密茨2024年3月31日星期日09:33:31 EDT |
|
| 配方奶粉
|
a（n）=1-A096270美元（n个）+1),我.e（电子）.,A096270美元 具有 抵消 1). _ 是 这个 补充 属于 这 序列. _A.H.M.Smeets_，2024年3月31日
|
|
| 状态
|
提出
编辑
|
|
|
|
|
|
|
#290通过A.H.M.斯密茨2024年3月31日星期日09:14:53 EDT |
|
|
|
|
|
|
|
#289通过A.H.M.斯密茨美国东部时间2024年3月31日星期日09:14:44 |
|
|
|
|
|
|
|
#288通过凯文·莱德2024年3月28日星期四20:05:47 EDT |
|
| 评论
|
发件人A.H.M.斯密茨，2024年3月27日：（开始）
这个序列也是Post标记系统（{0，1}，{0->10，1->0}，1，0），其中的前导符号不会被删除（就像这些标记中通常做的那样），即，删除数字变成了一个移位数字。这个标签（显然）会永远增长。
通常，Emil Leon Post定义的标签由四元组（Sigma，AF，n，w0）给出，其中Sigma是一些（非空）字母表，AF是相关函数（有时也称为生产规则集）AF:Sigma->Sigma*，n是删除号，w0是初始字符串。（End）
|
|
| 链接
|
Emil L.Post，<a href=“http://www.lib.ysu.am/articles_art/63062f3ed126193beb426becc0fbbe33.pdf“>一般组合决策问题的形式化约简，《美国数学杂志》，第65卷，第2期（1943年4月），第197-215页。
|
|
| 关键词
|
非n,容易的,美好的,改变
|
|
| 状态
|
提出
已批准
|
|
|
|
|
|
|
#287个通过凯文·莱德2024年3月28日星期四01:09:13 EDT |
|
|
|
|
|
讨论
|
| 3月28日星期四
| 12:04
| A.H.M.斯密茨：@Kevin Ryde:Post的标签在可判定性理论中很重要。
|
|
| 20:05
| 凯文·莱德：评论中未提及可判定性。相应地恢复。
|
|
|
|
|
|
|
#286通过凯文·莱德2024年3月28日星期四01:05:18 EDT |
|
| 评论
|
对于n>1，S_0=0，S_1=01，S_n=S_（n-1）+S_（n-2），+表示串联。无限斐波那契单词=Lim_{n->inf}S_n。
|
|
|
|
|
讨论
|
| 3月28日星期四
| 01:07
| 凯文·莱德：重复的S_n定义。
|
|
| 01:09
| 凯文·莱德：我真的看不到Post标记在现有的形态描述上添加了任何内容（除了颠倒以便混淆）。现在应该说明为什么要保留这一点，而不是恢复整个。。。
|
|
|
|
|
|
|
#285个通过凯文·莱德2024年3月28日星期四01:03:03 EDT |
|
|
|
|
|
讨论
|
| 3月28日星期四
| 01:04
| 凯文·莱德：当你运行fib（n）代码时，你发现哪个n有问题？
|
|
|
|
|
|
