Frege’s Habilitationsschrift: Magnitude, Number and the Problems of Computability - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2016

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

Juan Luis Gastaldi

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Licence

Identifiants

  • HAL Id : hal-01615312 , version 1

Citer

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 Consultations
220 Téléchargements

Partager

More