Nombre omega et calculabilité
Bonjour,
Je m'intéresse aux nombres omega du mathématicien Gregoty Chaitin et je veux un bon livre en français sur cela pour commencer.
Je m'intéresse aux nombres omega du mathématicien Gregoty Chaitin et je veux un bon livre en français sur cela pour commencer.
J'ai vu le livre "hasard et complexité' (G Chaitin) chez Flammarion mais il semble un peut trop 'vulgarisation'.
Mais j'ai vu aussi sur Wikipedia qu'il y avait un lien fort entre les nombres omega et le théorème de Godel et l'informatique théorique. C'est ce qui m'intéresse surtout.
Est-ce que le livre Anthologie de la calculabilité, qui vient de sortir chez Cassini, parle du nombre omega, et si oui, de manière suffisamment consistante ?
Auquel cas il est peut-être préférable d'acheter ce dernier livre...
Mais j'ai vu aussi sur Wikipedia qu'il y avait un lien fort entre les nombres omega et le théorème de Godel et l'informatique théorique. C'est ce qui m'intéresse surtout.
Est-ce que le livre Anthologie de la calculabilité, qui vient de sortir chez Cassini, parle du nombre omega, et si oui, de manière suffisamment consistante ?
Auquel cas il est peut-être préférable d'acheter ce dernier livre...
Merci de votre aide
natounou
natounou
Réponses
-
Bonsoir, ça date un peu mais je te conseille de faire un tour sur ce pdf : https://www3.nd.edu/~cholak/papers/topics1.pdf ! Il y a ce que tu cherches et bien plus mais il faut s'accrocher !
Sinon pour des ressources en français, je crois que le livre de Patey/Monin aux éditions C&M fait largement l'affaire ! Il date sûrement de 2022 donc il est très récent ! -
Tu devrais chercher dans la thématique "théorie algorithmique de l'information", ainsi que des résultats comme le "théorème d'incomplétude de Chaitin". Il s'agit d'une approche alternative et intuitive à ces questions d'indécidabilité.https://fr.wikipedia.org/wiki/Théorie_algorithmique_de_l'informationUne fonction est un ensemble $f$ de couples tel que pour tous $x,y,z$, si $(x,y)\in f$ et $(x,z)\in f$ alors $y = z$.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.1K Toutes les catégories
- 59 Collège/Lycée
- 22.1K Algèbre
- 37.5K Analyse
- 6.3K Arithmétique
- 58 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 20 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.7K Géométrie
- 83 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 79 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 337 Mathématiques et Physique
- 5K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 801 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres