Accueil Ouvrages Ouvrage Résumé

Essais V

2006

  • Pages : 312
  • ISBN : 9782748900316
  • Éditeur : Agone

ALERTES EMAIL - COLLECTION Banc d’essais

Votre alerte a bien été prise en compte.

Vous recevrez un email à chaque nouvelle parution d'un numéro de cette collection.

Fermer

Chapitre précédent Pages 139 - 169 Chapitre suivant

Premières lignes

Dans « Russell’s Mathematical Logic » (1944), Gödel distingue deux aspects fondamentaux différents de la logique : « La logique mathématique, qui n’est rien d’autre qu’une formulation précise et complète de la logique formelle, a deux aspects tout à fait différents. D’un côté, elle est une section des mathématiques traitant de classes, relations, combinaisons de symboles, etc., au lieu de nombres,...

Plan de l'article

  1. 1. La référence leibnizienne chez Gödel
  2. 2. La question des fondements et le problème de l’invention mathématique
  3. 3. Le programme leibnizien et la question des « limitations internes » des formalismes

© 2010-2014 Cairn.info
back to top
Feedback