Resultats de la cerca

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 demostració…

Pertanyent al cercle de Varsòvia i professor de la Universitat d’aquesta ciutat, emigrà als EUA, on fou professor a Berkeley Especialitzat en problemes sintàctics i semàntics, elaborà una lògica polivalent i féu importants aportacions a la teoria de la mesura i a la metamatemàtica A més dels seus nombrosos articles, cal destacar O logice matematycznej i metodzie dedukcyjnej ‘Introducció a la lògica i a la metodologia de les ciències deductives’, 1936, Undecidable Theories ‘Teories indecidibles’, 1953, en collaboració amb AMostowsky i RMRobinson, Logic semantics, Mathematics 1956 i Ordinal…

Estudià a Heidelberg, a Leipzig i a París, i fou catedràtic a Königsberg i a Göttingen Dedicat a la lògica matemàtica, aplicà a la geometria els nous instruments lògics introduïts per Peano Fou el cap de l’escola formalista i el creador de la metamatemàtica, s’esforçà per provar la consistència del sistema axiomàtic i inventà un simbolisme que, juntament amb els de Russell i Lukasiewicz, ha trobat una amplíssima audiència en el món científic Introduí el concepte d’espai que avui porta el seu nom, i fou l’autor de Grundlagen der Geometrie ‘Fonaments de geometria’, 1899