Resultats de la cerca
Es mostren 1 resultats
metamatemàtica
Matemàtiques
Nom donat per Hilbert a l’estudi del llenguatge format pels enunciats sobre els signes emprats per la matemàtica.
Així, l’enunciat ''tot x més gran que 2 , si és primer és senar’ és un enunciat pròpiament matemàtic, és a dir, un teorema del qual hom pot provar la correcció o la incorrecció a partir d’un determinat conjunt d’axiomes en canvi, són metamatemàtics els enunciats '' x és una variable numèrica’, '' 2 és una constant numèrica’, etc, que caldria que acompanyessin l’enunciat matemàtic anterior per tal de fer-lo comprensible a qui no sabés què representen x i 2 La distinció entre matemàtica i metamatemàtica fou feta per Hilbert a fi d’aconseguir el desenvolupament d’una teoria de la…