Tout message a sa plus courte description.Aucun algorithme ne peut toujours la trouver.Nous la cherchons quand même.
Réf. Kolmogorov, 1965 ; Zvonkin & Levin, 1970
EIDOSIA est un laboratoire d'informatique. Nous explorons les limites fondamentales du calcul, de la logique à la physique, et nous construisons des applications Android avec la même méthode : borner, réduire, réfuter.
Méthode
Trois opérations, appliquées à tout ce que nous faisons.
Elles viennent des mathématiques et de la méthode scientifique. Nous les appliquons à un dossier comme à un logiciel, à un écran comme à une phrase.
Borner
Avant de chercher une solution, nous cherchons la limite : le meilleur résultat possible, que personne ne pourra dépasser. Elle dit jusqu'où chercher, et quand s'arrêter.
Réduire
Nous cherchons la forme la plus courte de chaque chose : ce qui reste quand on a retiré tout ce qui pouvait l'être.
Réfuter
Avant de publier, nous cherchons ce qui pourrait nous donner tort. Ce qui résiste reste ; ce qui cède est corrigé.
