Computer code comprehension shares neural resources with formal logical inference in the fronto-parietal network

Elife. 2020 Dec 15:9:e59340. doi: 10.7554/eLife.59340.

Abstract

Despite the importance of programming to modern society, the cognitive and neural bases of code comprehension are largely unknown. Programming languages might 'recycle' neurocognitive mechanisms originally developed for natural languages. Alternatively, comprehension of code could depend on fronto-parietal networks shared with other culturally-invented symbol systems, such as formal logic and symbolic math such as algebra. Expert programmers (average 11 years of programming experience) performed code comprehension and memory control tasks while undergoing fMRI. The same participants also performed formal logic, symbolic math, executive control, and language localizer tasks. A left-lateralized fronto-parietal network was recruited for code comprehension. Patterns of activity within this network distinguish between 'for' loops and 'if' conditional code functions. In terms of the underlying neural basis, code comprehension overlapped extensively with formal logic and to a lesser degree math. Overlap with executive processes and language was low, but laterality of language and code covaried across individuals. Cultural symbol systems, including code, depend on a distinctive fronto-parietal cortical network.

Keywords: computer programming; cultural recycling; executive control; fronto-parietal; human; language; logic; neuroscience.

Publication types

  • Comparative Study
  • Research Support, Non-U.S. Gov't

MeSH terms

  • Adult
  • Brain Mapping
  • Cognition*
  • Comprehension*
  • Executive Function*
  • Female
  • Frontal Lobe / diagnostic imaging
  • Frontal Lobe / physiology*
  • Functional Laterality
  • Humans
  • Magnetic Resonance Imaging
  • Male
  • Neural Pathways / physiology
  • Parietal Lobe / diagnostic imaging
  • Parietal Lobe / physiology*
  • Software*
  • Young Adult

Grants and funding

The funders had no role in study design, data collection and interpretation, or the decision to submit the work for publication.