Frege’s Habilitationsschrift: Magnitude, Number and the Problems of Computability - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

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

(1)
1
Juan Luis Gastaldi
  • Function : Author
  • PersonId : 1006964

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

Attribution - CC BY 4.0

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⟩
67 View
164 Download

Share

Gmail Facebook Twitter LinkedIn More