|
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 23 June 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.  
 
 
 

L’arithmétisation et la métathéorie


Volume 21, Issue 1, August 2017, Pages 103–123

 L’arithmétisation et la métathéorie

A.-Roger LULA BABOLE1

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

Original language: French

Received 22 February 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


The resort in arithmetisation of arithmetic reaches to construct inside of arithmetic a proposition which confirm its self indemonstrability. In substance, the proof of coherence presupposes a form of induction in transfinite order for proving the coherence of arithmetic which is the finite order. It is dealing recursive functions which have the properties for all attribute values system to determine them by the means of finite type procedure. It comes to recursive arithmetic, to translate the elements of metatheory formal system.

Author Keywords: arithmetisation, metatheory, recursivity, recursive arithmetic, iteration, metamathematic, incompleteness.


Abstract: (french)


Le recours à l’arithmétisation de l’arithmétique amène à construire à l’intérieur de l’arithmétique une proposition qui affirme sa propre indémontrabilité. Au fond, la preuve de la cohérence présuppose une forme d’induction de l’ordre transfinie aux fins de prouvé la cohérence de l’arithmétique qui est de l’ordre finie. Il s’agit donc des fonctions récursives qui ont des propriétés pour tout système de valeurs attribué à ses arguments de les déterminer aux moyens d’une procédure de type fini. Il revient à l’arithmétique récursive de traduire les éléments de la métathéorie du système formel.

Author Keywords: Arithmétisation, métatheorie, récursivité, arithmétique récursive, itération, métamathématique, incomplétude.


How to Cite this Article


A.-Roger LULA BABOLE, “L’arithmétisation et la métathéorie,” International Journal of Innovation and Applied Studies, vol. 21, no. 1, pp. 103–123, August 2017.