Volume 21, Issue 1, August 2017, Pages 77–95
A.-Roger LULA BABOLE1
1 Département de Mathématiques et Informatique, Université de Kinshasa, RD Congo
Original language: French
Copyright © 2017 ISSR Journals. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
The research shows clearly that the HILBERT’s program look at to obtain the formalisms of the formals theories. This program stamp a fertile optimism of symbolic which allowed to create the logics and mathematics formalisms, and there formal and automatable manipulation. So the formalism is the image of thinking; in this sense the forms become the work matter.
Author Keywords: Fondationnal research, formalism, finitism, metamathematique, coherence, existence, decidability, epsilon.
A.-Roger LULA BABOLE1
1 Département de Mathématiques et Informatique, Université de Kinshasa, RD Congo
Original language: French
Copyright © 2017 ISSR Journals. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Abstract
The research shows clearly that the HILBERT’s program look at to obtain the formalisms of the formals theories. This program stamp a fertile optimism of symbolic which allowed to create the logics and mathematics formalisms, and there formal and automatable manipulation. So the formalism is the image of thinking; in this sense the forms become the work matter.
Author Keywords: Fondationnal research, formalism, finitism, metamathematique, coherence, existence, decidability, epsilon.
Abstract: (french)
L’étude montre clairement que le programme de HILBERT cherche à obtenir les formalismes des théories formelles. Ce programme marque un optimisme fécond du symbolique permettant de créer les formalismes logiques et mathématiques ainsi que leur manipulation formelle et automatisable. Donc, les formalismes sont des images des pensées ; en ce sens les formes deviennent la matière du travail.
Author Keywords: recherche fondationnelle, formalisme, finitisme, metamathématique, cohérence, existence, décidabilité, epsilon.
How to Cite this Article
A.-Roger LULA BABOLE, “Le programme formaliste de David Hilbert,” International Journal of Innovation and Applied Studies, vol. 21, no. 1, pp. 77–95, August 2017.
