arrow
返回

Recursion in programs, thought, and language

delete2021-12-15
delete7
delete
OA
AI
P
P. N. Johnson‐Laird *
M
Monica Bucciarelli
R
Robert Mackiewicz
S
Sangeet Khemlani
DOI:10.3758/s13423-021-01977-ydelete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

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
Psychonomic Bulletin and Review
IF:
3
论文数:
4.5K
被引数:
1.5W

机构

U
University of Turin
学者数:
3.7W
论文数: 2.8W
被引数: 3.2W
P
Princeton University
学者数:
2.1W
论文数: 2.3W
被引数: 5.1W
United States Department of Defense 封面图
United States Department of Defense
学者数:
2.8W
论文数: 2.3W
被引数: 172
S
swps university of social sciences & humanities
学者数:
741
论文数: 715
被引数: 0
学者 查看更多机构
引用论文

引用论文

Diagnostic and prognostic value of ambulatory ECG (Holter) monitoring in patients with coronary heart disease: a review
err2007-01-13
err0
PREAI
errC. Michael Gibson; Lauren N. Ciaglo; Matthew C. Southard; Shaun Takao; Caitlin Harrigan; Jason Lewis; Jason Filopei; Michelle Lew; Sabina A. Murphy; Jacqueline Buros
err分享
err收藏
Androgen deprivation therapy as backbone therapy in the management of prostate cancer
err2016-11-01
err0
errOAAI
errAxel S Merseburger; Antonio Alcaraz; Christoph A von Klot
err分享
err收藏
学者 查看更多内容