返回
Recursion in programs, thought, and language
DOI:10.3758/s13423-021-01977-y.png)
摘要
En 中文
This article presents a theory of recursion in thinking and language. In the logic of computability, a function maps one or more sets to another, and it can have a recursive definition that is semi-circular, i.e., referring in part to the function itself. Any function that is computable - and many are not - can be computed in an infinite number of distinct programs. Some of these programs are semi-circular too, but they needn't be, because repeated loops of instructions can compute any recursive function. Our theory aims to explain how naive individuals devise informal programs in natural language, and is itself implemented in a computer program that creates programs. Participants in our experiments spontaneously simulate loops of instructions in kinematic mental models. They rely on such loops to compute recursive functions for rearranging the order of cars in trains on a track with a siding. Kolmogorov complexity predicts the relative difficulty of abducing such programs - for easy rearrangements, such as reversing the order of the cars, to difficult ones, such as splitting a train in two and interleaving the two resulting halves (equivalent to a faro shuffle). This rearrangement uses both the siding and part of the track as working memories, shuffling cars between them, and so it relies on the power of a linear-bounded computer. Linguistic evidence implies that this power is more than necessary to compose the meanings of sentences in natural language from those of their grammatical constituents.
Keyword:
Computational power
Recursion
Informal programs
Grammar
Mental models
Working memory
期刊
P
IF:
3
论文数:
4.5K
被引数:
1.5W
机构
引用论文
First detection and complete genome characterization of a Cherry (C) strain isolate of plum pox virus from sour cherry (Prunus cerasus) in Germany首次在德国酸樱桃(Prunus cerasus)中检测并完成一个李属嵌合病毒(Plum pox virus)樱桃(C)株系分离物的全基因组特征分析。
Genetic diversity, host range and transmissibility of CR isolates of Plum pox virusCR分离物的遗传多样性、宿主范围和传播能力
The clinical characteristics of adult bacterial meningitis caused by non‐Pseudomonas(Ps.)aeruginosa Pseudomonasspecies: A clinical comparison withPs. aeruginosameningitis非Pseudomonas(Ps.)aeruginosa假单胞菌属引起的成人细菌性脑膜炎的临床特征:与Ps. aeruginosa脑膜炎的临床比较

