|
Twitter
|
Facebook
|
Google+
|
VKontakte
|
LinkedIn
|
Viadeo
|
English
|
Français
|
Español
|
العربية
|
 
International Journal of Innovation and Applied Studies
ISSN: 2028-9324     CODEN: IJIABO     OCLC Number: 828807274     ZDB-ID: 2703985-7
 
 
Friday 29 March 2024

About IJIAS

News

Submission

Downloads

Archives

Custom Search

Contact

  • Contact us
  • Newsletter:

Connect with IJIAS

  Now IJIAS is indexed in EBSCO, ResearchGate, ProQuest, Chemical Abstracts Service, Index Copernicus, IET Inspec Direct, Ulrichs Web, Google Scholar, CAS Abstracts, J-Gate, UDL Library, CiteSeerX, WorldCat, Scirus, Research Bible and getCited, etc.  
 
 
 

Mathématiques et systèmes formels dans le sillage du projet gödelien


Volume 21, Issue 4, November 2017, Pages 622–629

 Mathématiques et systèmes formels dans le sillage du projet gödelien

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.