Lazi

Une base simple pour l'informatique théorique

Lazi est une mathématique dont le noyau est un système formel équivalent à une machine de Turing. Il en découle une grande adéquation entre la mathématique et l'informatique théorique.
Faire progresser la mathématique Lazi revient souvent à améliorer le langage informatique naturel provenant de Lazi, par exemple un système de typage original est défini et utilisé pour définir la fondation mathématique.
Symétriquement, faire progresser l'informatique théorique permet de développer la mathématique Lazi.
Jusqu'à présent mes travaux en Lazi m'ont donné l'impression d'une unification des mathématiques et de l'informatique théorique.