Affichage de la News # 92830
Mot(s) clé(s) à rechercher :
Vous pouver saisir un ou plusieurs mots clés qui seront rechechés dans toute la Base de Données des News (Les recherches ne sont pas sensibles à la casse).
ATTENTION, les accents comptent :
taper "experience"
au lieu de "expérience"
fera échouer votre recherche : AUCUN résultat ne sera trouvé.
Les mots tapés doivent être séparés par un espace, et représentent des mots clés partiels ou complets qui peuvent être contigus ou disjoints dans le texte.
Exemple 1 : insolite - Exemple 2 : [maj - Exemple 3 : humour noir - Exemple 4 : crise financ banqu
News temporairement permanente
En ce mois , merci à ceux qui le peuvent de contribuer aux charges du site [ici] (
).
Si vous n'avez pas de compte PayPal, vous pouvez néanmoins utiliser une carte bancaire pour faire un don (sur la fenêtre qui va s'ouvrir, utilisez le bouton blanc situé en dessous du bouton jaune PayPal), mais assurez vous dans ce cas de le faire depuis un ordinateur. En effet, pour des raisons de sécurité, PayPal a désactivé ces paiements depuis les smartphones et les tablettes, ce qui générera une erreur.
Néanmoims, si vous possédez un smartphone, vous pouvez utiliser le QR Code de paiement situé ci-contre à droite.
J'ai vraiment besoin de votre aide ! (surtout qu'il n'y a aucune publicité sur le site) pour m'aider à payer les frais d'hébergement du site, ainsi que les frais de location du Cloud où sont stockées les milliers de vidéos de la page des Vidéos Remarquables (
) et certaines vidéos publiées dans les News. Merci !
Mardi 25 Mars 2025 - News # 92830Mathématiques et informatique : "La frontière du calcul" :
SYNOPSIS :
LE MONDE DES CASTORS AFFRANCHIS
À mon avis, le meilleur point de départ est l'article d'Aaronson « The Busy Beaver Frontier » (réf. [1]). Il est accessible, bien écrit et offre une vue d'ensemble du monde des castors. De plus, Googology représente bien les efforts et l'enthousiasme de la communauté.
NOTE
[1] Pour décrire le calcul de Sigma(4), je dis « réduire à un petit groupe qui s'arrête et s'exécute pour produire le nombre maximal de 1 ». On m'a fait remarquer que cette description n'est pas exacte. Il est plus exact de dire que nous réduisons à un petit groupe qui *ne s'arrête pas*. En fait, de nombreuses machines sont exécutées, certaines s'arrêtent, d'autres continuent de fonctionner. Le plus difficile est de prouver que les machines encore en fonctionnement fonctionneront indéfiniment. Une fois cela prouvé, le nombre de castors affranchis correspond au nombre maximal de 1 écrits par toutes les machines qui se sont arrêtées jusqu'à présent.
SOMMAIRE :
0:00 Introduction
1:21 Une machine de Turing binaire
2:42 Deux choses à savoir sur les machines de Turing
3:54 Qu'est-ce que la fonction Busy Beaver ? 5:40 Pourquoi est-ce difficile à calculer ?
6:28 Calculabilité
7:41 Un coup au roi
10:36 Les problèmes ouverts de référence des Castors occupés
11:39 Ses valeurs ne peuvent pas être prouvées dans certains systèmes
12:08 Le monde des Castors occupésIncroyable et passionnant qu'on ait découvert cette fonction surpassant toutes les autres.
En complément sur mathématiques :
En complément sur Internet :
En complément sur Busy Beaver :
Pour afficher toutes les News du jour, cliquez [ici].
ATTENTION : Si vous n'avez pas de compte PayPal, vous pouvez néanmoins utiliser une carte bancaire pour faire un don,
mais assurez vous dans ce cas de le faire depuis un ordinateur.
En effet, pour des raisons de sécurité, PayPal a désactivé ces paiements depuis les smartphones et les tablettes, ce qui générera une erreur.
Le Design, les Articles et Commentaires de ce Site sont © 2008-2025 BlueMan
Reproduction interdite - Tous droits réservés.
![]()
Pour toute question ou commentaire, n'hésitez pas à m'écrire en utilisant cette [PAGE] .