Machines, Information et Codage
Architectures, réseaux, codage de l’information en binaire
-
Machines à registres
Le langage Fractran est en fait obtenu en appliquant la numérotation de Gödel à un autre modèle, où des nombres entiers sont mémorisés dans des registres : Lors de la fête…
-
Sowing
Sowing est un jeu de semailles, créé par John Conway en 1996. Très simple, il est jouable dès le CP. Mais c’est au congrès MATh.en.JEANS de 2019 qu’il a fait l’objet…
-
Abaque de Gerbert
L’abaque de Gerbert est un simple tableau, mais Gerbert d’Aurillac y a adjoint des jetons numérotés permettant le calcul décimal. On peut aujourd’hui simuler l’abaque de Gerbert à l’aide de la…
-
Fractran
Fractran est un langage de programmation Turing-complet, ainsi que le prouve son créateur : L’intérêt essentiel de Fractran est qu’il est basé sur les fractions. Ce langage permet donc de faire…
-
Jeux de Nim
Le jeu de Nim (au singulier) est un jeu inventé (ou du moins décrit) par Charles Bouton au début du XXe siècle, qui se joue avec des jetons disposés en tas…
-
Alcoffeethmique
La webApp alcoffeethmique permet de programmer des algorithmes en CoffeeScript, un langage qui ressemble un peu à Python. Elle est accompagnée d’un petit utilitaire sur les fonctions. Exemple : la suite…
-
Logiques des croyances et du mensonge
Raymond Smullyan, spécialiste de Gödel, a suivi ce dernier dans sa quête de la logique doxastique. Or, selon Wittgenstein, ce qui distingue la logique doxastique (celle des croyances) de la logique…