Calculabilité, langages formels, Algorithmes
Get flash to fully experience Pearltrees
Hiérarchie de Chomsky, avec classes de langages et classes d'automates associés
Hiérarchie de Chomsky - Wikipédia
Les-Mathematiques.net - Cours de mathématiques supérieures
La rubrique « logique et calcul » de Jean-Paul Delahaye du numéro d’octobre 2007 de la revue « Pour la science » est consacrée à un tableau arithmétique que Benoît Cloïtre, (les habitués du forum le connaissent bien) s’est amusé à explorer.
Un article de Wikipédia, l'encyclopédie libre. En mathématiques , et plus précisément en logique mathématique , le théorème de Goodstein est un énoncé arithmétique portant sur les suites de Goodstein , des suites d'entiers à la croissance initiale extrêmement rapide, et il établit (en dépit des apparences) que toute suite de Goodstein se termine par 0.
