In Search of the Roots of Formal Computation

Abstract : In a culmination of a long development, it was seen clearly in the early 1930s that steps of formal computation are also steps of formal deduction as defined by recursion equations and other similar principles of arithmetic. Followers of Kant’s doctrine of the synthetic a priori in arithmetic missed by a hair’s breadth the proper recursive definition of addition that appeared instead first in a book of Hermann Grassmann of 1861. A line can be followed from it to Hankel, Schröder, Dedekind, Peano, and Skolem, the last mentioned marking the birth of recursive arithmetic, a discipline firmly anchored in the foundations of mathematics by the presentation Paul Bernays made of it in his monument, the Grundlagen der Mathematik of 1934.
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.300-320, 2016, History and Philosophy of Computing. 〈10.1007/978-3-319-47286-7_21〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01615300
Contributeur : Hal Ifip <>
Soumis le : jeudi 12 octobre 2017 - 11:21:59
Dernière modification le : jeudi 12 octobre 2017 - 11:25:41

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

Citation

Jan Plato. In Search of the Roots of Formal Computation. 3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. IFIP Advances in Information and Communication Technology, AICT-487, pp.300-320, 2016, History and Philosophy of Computing. 〈10.1007/978-3-319-47286-7_21〉. 〈hal-01615300〉

Partager

Métriques

Consultations de la notice

10