|
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
 
 
Monday 26 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.  
 
 
 

Le programme formaliste de David Hilbert


Volume 21, Issue 1, August 2017, Pages 77–95

 Le programme formaliste de David Hilbert

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 research shows clearly that the HILBERT’s program look at to obtain the formalisms of the formals theories. This program stamp a fertile optimism of symbolic which allowed to create the logics and mathematics formalisms, and there formal and automatable manipulation. So the formalism is the image of thinking; in this sense the forms become the work matter.

Author Keywords: Fondationnal research, formalism, finitism, metamathematique, coherence, existence, decidability, epsilon.


Abstract: (french)


L’étude montre clairement que le programme de HILBERT cherche à obtenir les formalismes des théories formelles. Ce programme marque un optimisme fécond du symbolique permettant de créer les formalismes logiques et mathématiques ainsi que leur manipulation formelle et automatisable. Donc, les formalismes sont des images des pensées ; en ce sens les formes deviennent la matière du travail.

Author Keywords: recherche fondationnelle, formalisme, finitisme, metamathématique, cohérence, existence, décidabilité, epsilon.


How to Cite this Article


A.-Roger LULA BABOLE, “Le programme formaliste de David Hilbert,” International Journal of Innovation and Applied Studies, vol. 21, no. 1, pp. 77–95, August 2017.