Présentation
Nouvelles
Soumission
A télécharger
Archives
Rechercher
Contact
Suivez-nous
IJIAS est indexée dans 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 et getCited, etc.
Yves MANGONGO TINDA
Personal
Name
Yves MANGONGO TINDA
Affiliation
Département des Mathématiques et Informatique, Université de Kinshasa, RD Congo
Documents: 1
Document title
Date
Issue
L’arithmétique formelle et l’incomplétude
Author(s): A.-Roger LULA BABOLE and Yves MANGONGO TINDA
By applying the formal arithmetic model, the mathematic and logic theories have created the self-references and have chosen a specific model for accomplish the logic-mathematics proves. A formal arithmetic (ROBINSON et PEANO) constitute in this fact the basic hypothesis for the two incompleteness theorems.
2017
21 (1) , pp. 96-102
International Journal of Innovation and Applied Studies (IJIAS)
Website: http://www.ijias.issr-journals.org/
email: office@issr-journals.org
Copyright © 2024 -
ISSR Journals
|
Refund Policy
|
Privacy Policy
All articles are licensed under a Creative Commons Attribution 3.0 Unported License.