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.
jeudi
Inscription à :
Articles (Atom)