@article{e226814824ba40eda8b739522f4c2034,

title = "Syntactic reduction in Husserl{\textquoteright}s early phenomenology of arithmetic",

abstract = "The paper traces the development and the role of syntactic reduction in Edmund Husserl{\textquoteright}s (1856–1938) early writings on mathematics and logic, especially on arithmetic. The notion has its origin in Hermann Hankel{\textquoteright}s (1839–1873) principle of permanence that Husserl set out to clarify. In Husserl{\textquoteright}s early texts the emphasis of the reductions was meant to guarantee the consistency of the extended algorithm. Around the turn of the century Husserl uses the same idea in his conception of definiteness of what he calls “mathematical manifolds.” The paper argues that the notion anticipates the notion of reduction in term rewrite theory in computer science. The role of the reduction for Husserl is, however, primarily epistemological: its purpose is to impart clarity to (at least parts of) formal mathematics.",

keywords = "Definite manifolds, Equational computation, Hermann Hankel, Husserl, Principle of permanence, Term rewriting",

author = "Mirja Hartimo and Mitsuhiro Okada",

note = "Funding Information: This work was partly supported by MEXT-Grant-in-Aid for Scientific Research on Innovative Areas (Grant number 23120002) and MEXT-JSPS Grant-in-Aid for Scientific Research (B) (Grant number 26284005). Mirja Hartimo{\textquoteright}s research has been funded by Swedish Collegium for Advanced Studies and Academy of Finland through a project “Judgement and Human Rationality” led by Leila Haaparanta. Publisher Copyright: {\textcopyright} 2015, Springer Science+Business Media Dordrecht.",

year = "2016",

month = mar,

day = "1",

doi = "10.1007/s11229-015-0779-0",

language = "English",

volume = "193",

pages = "937--969",

journal = "Synthese",

issn = "0039-7857",

publisher = "Springer Netherlands",

number = "3",

}