Frege’s Habilitationsschrift: Magnitude, Number and the Problems of Computability - History and Philosophy of Computing
Conference Papers Year : 2016

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

Juan Luis Gastaldi

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.
Fichier principal
Vignette du fichier
432590_1_En_12_Chapter.pdf (422.96 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01615312 , version 1 (12-10-2017)

Licence

Identifiers

  • HAL Id : hal-01615312 , version 1

Cite

Juan Luis 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⟩
120 View
220 Download

Share

More