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.
Type de document :
Communication dans un congrès
3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. IFIP Advances in Information and Communication Technology, AICT-487, pp.168-185, 2016, History and Philosophy of Computing
Liste complète des métadonnées

Littérature citée [45 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01615312
Contributeur : Hal Ifip <>
Soumis le : jeudi 12 octobre 2017 - 11:22:33
Dernière modification le : vendredi 13 octobre 2017 - 01:19:49

Fichier

 Accès restreint
Fichier visible le : 2019-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

  • HAL Id : hal-01615312, version 1

Citation

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. IFIP Advances in Information and Communication Technology, AICT-487, pp.168-185, 2016, History and Philosophy of Computing. 〈hal-01615312〉

Partager

Métriques

Consultations de la notice

54