Suivre

Liste de projets fous à faire un jour (c'est vraiment raisonnable?) :
- Réécrire Bourbaki en espéranto, avec pour axiomes la théorie des ensembles
- Faire la même chose pour l'informatique
- Écrire un assistant de preuve pour la théorie des ensembles
- Utiliser cet assistant pour formaliser les deux premiers points
- Inventer une langue "juste parce que c'est marrant"
- Écrire une encyclopédie imaginaire comme dans Tlön, Uqbar, Orbis Tertius
- Trouver plus de choses à rajouter dans cette liste

Inscrivez-vous pour prendre part à la conversation
Framapiaf

Mastodon est un réseau social utilisant des protocoles Web ouverts et des logiciels libres. Tout comme le courriel, il est décentralisé.