Article complet de logique intuitionniste
est une position philosophique vis-à-vis des mathématiques proposée par le mathématicien hollandais Luitzen Egbertus Jan Brouwer comme une alternative à l'approche dite classique. Elle a été ensuite formalisée, sous le nom de logique intuitionniste, par ses élèves V. Glivenko et Arend Heyting. Kurt Gödel a montré que l'on pouvait représenter la logique classique dans la logique intuitionniste, corroborant le fait que la logique intuitionniste n'est pas une...Catégorie : logique mathématique 
théorie des types
Article complet de logique mathématique
La logique mathématique, ou logique formelle, est une discipline des mathématiques qui définit et étudie les représentations formelles du langage mathématique. Les objets fondamentaux de la logique mathématiques sont les formules modélisant les énoncés mathématiques, les dérivations modélisant les raisonnements mathématiques et les sémantiques établissant les liens entre ces modèles et les objets qu'ils sont censés représenter.
Catégorie : logique mathématique
Article complet de système formel
Un système formel est un ensemble de formules, ou expressions formelles, que l'on peut interpréter comme des noms, des phrases, ou de toute autre façon. Ils sont des ensembles fondamentaux pour la logique et les mathématiques.Catégorie : logique mathématique philosophie des sciences
Page imprimée jeudi 31 mai 2012 à partir de l'url :
« http://www.science-et-vie.net/glossaire-logique-mathematique-1146.html »
Site déclaré à la Commission Nationale de l'Informatique et des Libertés (CNIL) sous le n°871314
© 2002-2012 www.science-et-vie.net