|
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
 
 
Sunday 24 September 2017

About IJIAS

News

Submission

Downloads

Archives

Custom Search

Contact

Connect with IJIAS

  Now IJIAS is indexed in 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.  
 
 
 

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



                 

A.-Roger LULA BABOLE1

1 Département des Mathématiques et Informatique, Université de Kinshasa, RD Congo

Original language: French

Received 14 March 2017

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 verity, 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.