La métamathique s'occupe essentiellement des fondements des mathématiques. Elle est à la recherche du langage le plus adéquat pour traduire des notions infiniment simples.
Par exemple, douter de la validité d'un axiome dit de "fondation" est de la métamathique.
Inscription à :
Publier les commentaires (Atom)
Aucun commentaire:
Enregistrer un commentaire