Lazi : une nouvelle fondation des mathématiques

Lazi est une nouvelle fondation des mathématiques originale (sans calcul des prédicats ni théorie des ensembles). On peut voir Lazi comme une micro-fondation axée sur l’extensibilité. Du fait de la nature calculatoire de 5 des 6 règles de base, on peut en dériver un langage informatique aux propriétés très intéressantes.

Ce site web n’est pas fini et comporte encore de nombreuses coquilles.

Documents sur Lazi

Site de travail

Le site en est à son début et est donc encore peu fourni, voir http://lazi.bobu.eu/wiki.