Volume 21, Issue 4, November 2017, Pages 622–629
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.
Analysis shows the formals and mathematical basis on which the incompleteness theorem reposes qua limitation theorem which is a part of fundamental science. The duality of theoretical and metatheoretical levels in fundamental science allows to establish the mathematical been. In this point, the mathematical mind is penetrable if the critical cogitation lean on formals systems.
Author Keywords: Mathematic, formals systems, incompleteness, mathematical mind, mathematical truth, foundation crisis.
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
Analysis shows the formals and mathematical basis on which the incompleteness theorem reposes qua limitation theorem which is a part of fundamental science. The duality of theoretical and metatheoretical levels in fundamental science allows to establish the mathematical been. In this point, the mathematical mind is penetrable if the critical cogitation lean on formals systems.
Author Keywords: Mathematic, formals systems, incompleteness, mathematical mind, mathematical truth, foundation crisis.
Abstract: (french)
L’étude montre les bases mathématiques et formelles sur lesquelles repose le théorème d’incomplétude en tant que théorème de limitation faisant partie de science des fondements. La dualité des niveaux - théoriques et métathéoriques - dans l’entreprise des fondements permet d’établir l’être mathématique. A ce point, la pensée mathématique n’est pénétrable que si la réflexion critique s’appuie sur les systèmes formels.
Author Keywords: Mathématiques, systèmes formels, incomplétude, pensée mathématique, vérité mathématique, crise des fondements.
How to Cite this Article
A.-Roger LULA BABOLE, “Mathématiques et systèmes formels dans le sillage du projet gödelien,” International Journal of Innovation and Applied Studies, vol. 21, no. 4, pp. 622–629, November 2017.
