Skip to Main content Skip to Navigation
Conference papers

Frege’s Habilitationsschrift: Magnitude, Number and the Problems of Computability

Abstract : The present paper proposes a new perspective on the place of Frege’s work in the history of computability theory, by calling attention to his 1874 Habilitationsschrift. It shows the prominent role played by functional iteration in Frege’s early efforts to provide a general concept of numerical magnitude, attached to an embryonic recursion schema and the use of functions as expressive means. Moreover, a connection is suggested between the iteration theory used and developed by Frege in his treatise and Schröder’s original concern for the mathematical treatment of the problem of the feasibility of algorithmic computation.
Document type :
Conference papers
Complete list of metadata

Cited literature [45 references]  Display  Hide  Download
Contributor : Hal Ifip <>
Submitted on : Thursday, October 12, 2017 - 11:22:33 AM
Last modification on : Tuesday, April 14, 2020 - 2:38:25 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License


  • HAL Id : hal-01615312, version 1


Juan Gastaldi. Frege’s Habilitationsschrift: Magnitude, Number and the Problems of Computability. 3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. pp.168-185. ⟨hal-01615312⟩



Record views


Files downloads