Knowtex

38784 liens

Type Theory: A Modern Computable Paradigm for Math - S4A

actus
science4all.org
19/06/2014

In 2013, three dozens of today's brightest minds have laid out new foundations of mathematics, which better fits both informal and computationally-checkable mathematics. Have a primer of this upcoming revolution, with this article on type theory, the theory that the book builds upon!

0 Ajouter
0 Commenter
0 Suggérer

A voir aussi :

L’ipad et le réajustement du paradigme informatique
Toute recherche scientifique digne de ce nom doit ouvrir son code informatique
Stuxnet, le virus informatique ciblerait une centrale nucléaire
150 ans du MIT : retour sur l'évolution de l'informatique
L’informatique et les sciences du numérique bientôt enseignées au lycée

Demande de confirmation

Etes-vous sûr de vouloir continuer ?

Confirmer Annuler

Knowtex

Type Theory: A Modern Computable Paradigm for Math - S4A

L’ipad et le réajustement du paradigme informatique

Toute recherche scientifique digne de ce nom doit ouvrir son code informatique

Stuxnet, le virus informatique ciblerait une centrale nucléaire

150 ans du MIT : retour sur l'évolution de l'informatique

L’informatique et les sciences du numérique bientôt enseignées au lycée