|
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: Incomplétude et intelligence artificielle



                 

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 degree of freedom of a machine is organized and specify by a human been. Even it’s well known that a machine is very quick and very reliable than a human been; this remain in the center because the algorithm was made by him. The calculable functions in TURING’s machine are all calculable in intuitive point of view. So there are the undecidable properties in all axiomatic for formalizing the arithmetic.

Author Keywords: Turing, intuitive sense, arithmetic, incompleteness, artificial intelligence.


Abstract: (french)


Le degré de liberté de la machine est organisé et spécifié par l’homme. Quand bien même la machine dépasse l’homme en rapidité et en fiabilité, celui-ci reste le maître de l’algorithme et marque dans la conception de l’algorithme sa supériorité vis-à-vis de la machine qui ne doit qu’exécuter l’algorithme qui a été prévu. Les fonctions calculables à la TURING sont toutes calculables au sens intuitif. Ainsi, il y a des propriétés indécidables dans toute axiomatique pour formaliser l’arithmétique.

Author Keywords: Turing, sens intuitif, arithmétique, incomplétude, intelligence artificielle.