Syntactic reduction in Husserl's early phenomenology of arithmetic

DOI10.1007/s11229-015-0779-0zbMath1384.03008OpenAlexW805792610WikidataQ110235276 ScholiaQ110235276MaRDI QIDQ516253

Mitsuhiro Okada, Mirja Helena Hartimo

Publication date: 14 March 2017

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-015-0779-0

zbMATH Keywords

term rewritingHusserldefinite manifoldsequational computationHermann Hankelprinciple of permanence

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55)

Related Items (2)

Formal and Natural Proof: A Phenomenological Approach ⋮ Husserl on completeness, definitely

Cites Work

• Towards completeness: Husserl on theories of manifolds 1890--1901
• Logic and philosophy of mathematics in the early Husserl
• Husserl and Hilbert on Completeness and Husserl's Term Rewrite-based Theory of Multiplicity (Invited Talk)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Syntactic reduction in Husserl's early phenomenology of arithmetic