Le paradoxe de Richard dans un cadre univoque
Le projet
Le paradoxe de Richard consiste à faire la liste des définitions finies (des réels ou autre choses), puis à tirer par l'argument diagonal, une nouvelle définition différente de toutes les précédentes. Le problème c'est que cette définition est elle aussi finie. Ce paradoxe fait parti des plus fameux car il travaille en lieu fini. Pour apprécier la difficulté des concepts en jeu, il faut le plonger dans un envionnement qui est bien maîtrisé, sans dérapage interprétatif possible. Ce cadre sera les machines de Turing. Et l'on va découvrir que ce que l'on croit être bien défini, ne l'est pas forcément. C'est très instructif.
Le livre
Plongement univoque du paradoxe de Richard dans les machines de Turing
Au format PDF
Année: 2012
Taille: 56 pages
--- Aucun commentaire pour l'instant. Ajoutez le premier... ---
En quelques mots
L'identité d'une réalité est une apparence, sans pourtant perdre son réalisme. (Résumé thèse réalité)
Texte au hasard
Forme physique
- La physique est la découverte dans la trame d'une autre réalité assez surprenante: dans tout ce qui est assez directement accessible par les sens, il existe de motifs d'une nature assez simple et mathématique. On pourrait appeler cela la matière, mais c'est un peu plus vaste, car ce sont aussi les ondes, les vibrations, etc... C'est une nature élémentaire (au sens de simple en concept) basée sur la reconnaissance...| Haut de page | Mentions légales | Du même auteur : Site Mike°soft |
Contact | Privé' |