Husserl and Hilbert on Completeness and Husserl's Term Rewrite-based Theory of Multiplicity (Invited Talk)
From MaRDI portal
Publication:2958371
DOI10.4230/LIPICS.RTA.2013.4zbMath1356.03006OpenAlexW2103132941MaRDI QIDQ2958371
Publication date: 1 February 2017
Full work available at URL: http://dx.doi.org/10.4230/LIPIcs.RTA.2013.4
History of mathematics in the 20th century (01A60) First-order arithmetic and fragments (03F30) Grammars and rewriting systems (68Q42) Structure of proofs (03F07) History of mathematical logic and foundations (03-03)
Related Items (4)
Some Reasons to Reopen the Question of the Foundations of Probability Theory Following Gian-Carlo Rota ⋮ Husserl on completeness, definitely ⋮ Husserl and Hilbert on completeness, still ⋮ Syntactic reduction in Husserl's early phenomenology of arithmetic
This page was built for publication: Husserl and Hilbert on Completeness and Husserl's Term Rewrite-based Theory of Multiplicity (Invited Talk)
