science formelle

Science formelle

Les sciences logico-formelles (ou sciences formelles) explorent déductivement, selon des règles de formation et de démonstration, des systèmes axiomatiques. Il s'agit par exemple des mathématiques ou de la logique.

Cet article écrit par ces auteurs est issu de Wikipédia et est conforme aux termes de la GFDL.

Catégorie : Sciences formelles

Site déclaré à la CNIL sous le N°871314
© 2002-2008 www.science-et-vie.net

Page imprimée dimanche 20 juillet 2008 à partir de l'url :
« http://www.science-et-vie.net/definition-science-formelle-607.html »

Site déclaré à la Commission nationale de l'informatique et des libertés (CNIL) sous le N°871314

Copyright : Tous les textes de cette page sont disponibles sous les termes de la licence de documentation libre GNU (GFDL).