Spiritus asper versus lambda. On the nature of functional abstraction

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F23%3A00573620" target="_blank" >RIV/67985955:_____/23:00573620 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.1215/00294527-10670089" target="_blank" >https://doi.org/10.1215/00294527-10670089</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1215/00294527-10670089" target="_blank" >10.1215/00294527-10670089</a>

Result language
angličtina
Original language name
Spiritus asper versus lambda. On the nature of functional abstraction
Original language description
The spiritus asper as used by Frege in a letter to Russell from 1904 bears resemblance to Church’s lambda. It is natural to ask how they relate to each other. An alternative approach to functional abstraction developed by Per Martin-Löf some thirty years ago allows us to describe the relationship precisely. Frege’s spiritus asper provides a way of restructuring a unary function name in Frege’s sense such that the argument place indicator occurs all the way to the right. Martin-Löf’s alternative approach shows that this is only half of what lambda does. The other half is the deletion of the argument place indicator, resulting in what Frege would have called an isolated function name.
Czech name
—
Czech description
—

Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
60301 - Philosophy, History and Philosophy of science and technology

Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year
2023
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)