Machine de Kalin–Burkhart
Plus d'infos
- Créé par
- Theodore Kalin, William Burkhart
- Année
- 1947
- Type
- Machine logique
Une machine logique électrique de 1947 qui testait les valeurs de vérité d'expressions booléennes — construite par deux étudiants en logique de Harvard.
Theodore Kalin et William Burkhart ont assemblé une machine qui parcourait mécaniquement la table de vérité d'une expression booléenne comptant jusqu'à une douzaine de variables. Là où le piano logique et le démonstrateur de Stanhope étaient mécaniques, celle-ci fonctionnait à l'électricité et pouvait dire si une expression était une tautologie ou une contradiction.
On la compte parmi les premières machines électriques construites uniquement pour la logique symbolique plutôt que pour l'arithmétique. Kalin aurait découvert que l'une de ses propres formules était contradictoire seulement lorsque la machine a refusé de renvoyer la moindre réponse.