Notre catalogue de ressources
Naviguer par :
Menu
Toutes les ressources
Nouveautés
Recherche avancée
Par thème
Par auteur
Produite par UNIT
Aide
Recherche en cours
Par mots-clef
=
formalisation
Affiner ma recherche
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 12
Afficher 12
Afficher 24
Afficher 36
Afficher 48
Afficher 60
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
2
résultats
section 1
sur 1
résultats
1 à 2
Canal-u.fr
Les théorèmes de Gödel : fin d?un espoir ?
Description
:
En 1931, Kurt Gödel (1906 - 1978) démontrait, dans un article révolutionnaire, qu'un système d'axiomes cohérent et suffisamment expressif est susceptible de générer des énoncés dont la validité ne peut être démontrée dans le cadre des règles mêmes qui gouvernent la formulation de ces énoncés et leur ...
Date
:
22-02-2006
Description complète
Les théorèmes de Gödel : fin d?un espoir ?
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
Canal-u.fr
Mathématiques et réalité
Description
:
Conférence du 14 janvier 2000 par Pierre Cartier. Nous voulons insister sur le cycle de rétroaction des mathématiques et de la réalité, prise dans son sens social et technologique. Les caractéristiques principales des mathématiques nous semblent les suivantes : a) Dégager et organiser un savoir-fair ...
Date
:
14-01-2000
Description complète
Mathématiques et réalité
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
Afficher section
2
sur 1