Sobre IJIAS
News
Sumisión
Descargas
Archivo
Búsqueda Personalizada
Contacto
Conéctate con 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.
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.