La définition en Mathématiques

Le projet

Définir en mathématique est une pratique fondamentale. Mais on s'interroge assez peu sur ce qu'engage une définition, sur les conditions de validité d'une définition. Or il y a redire sur la pertinence de certaines définitions, sur certaines affirmations d'existence, sur certains cadres de résolution de problèmes. Le fondement classique des Mathématiques a posé un cadre qui n'est pas sans générer bien des questions.

Le contenu

C'est le chapitre de l'essai sur la nature des mathématiques destiné à la définition

Le livre

La défintion en mathématique
Au format PDF
Année: 2008
Taille: 301 pages

Commentaire sur cette page

Nom, alias :

Plongement univoque du paradoxe de Richard. Pour la compréhension de cet article, je suppose connu le concept de Machine de Turing ainsi que le procédé diagonal de Cantor. Introduction Voici un énoncé du paradoxe de Richard : si on numérote tous les nombres réels définissables en un nombre fini de mots, alors par le procédé diagonal de Cantor sur les décimales de ces réels, on peut construire un nombre...

[...la suite ]