utilisation des catégories pour monter des outils de 'conceptualisation assistée par ordinateur'

0 votes
20 vues
posée par AlexetSimone Tétard déjanté (21 points) 02-Juillet dans Enthousiasme
Pour faire suite et étndre une pseudo idée proposée précédemment :

Je souhaiterais savoir s'il pourrait y avoir des pistes ou des volontaires ou des curieux/curieuses concernant la construction d'outils permettant de partager et structurer des chemins intellectuels ( via des interfaces évoluant au fil de l'eau ... ) à divers rythmes ... et en glanant, chemin faisant, des suggestions de théories ... et de résultats ( théorèmes, applications .. ) présentant une forme de proximité ...  Les topos de Grothendieck me paraissent ( le peu que je  crois être capable d'y voir ... ) puissants... mais d'autres approches convergentes existent parmi lesquelles les 'univalent fondations' de Voevodsky .

Se connecter ou S'inscrire pour répondre à cette idée.

Bienvenue à toi
Crapaud Fou

Vous avez une idée folle après avoir lu le manifeste du Crapaud Fou? Proposez-la ici et recueillez les opinions des autres crapauds fous.

Rejoignez aussi la mare aux crapauds pour des discussions en direct.
...