Resultats de la cerca

Hom pot provar que la rectificació d’una circumferència és impossible de fer gràficament mitjançant el regle i el compàs

Professor a les universitats de Princeton i Berkeley, ha fet investigacions en topologia diferencial, anàlisi global i equacions diferencials quantitatives reeixí a provar la conjectura de Poincaré per a dimensions majors que quatre, i provà que hom pot girar una esfera a l’inrevés El 1966 li fou atorgada la medalla Fields

Per a Aristòtil i fins a l’época moderna, els axiomes eren els principis evidents i irreductibles que constituïen els fonaments d’una ciència Actualment, sota la influència de la matemàtica moderna, els axiomes són els enunciats primitius anomenats també, a vegades, postulats acceptats com a vàlids sense provar-ne la veritat, dels quals deriven d’altres proposicions que s’organitzen en un sistema

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

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…

Aquesta definició és força descriptiva, però incompleta, i per això diversos matemàtics han intentat de definir la matemàtica tot assenyalant-ne els trets més característics Així, segons B Russell, la matemàtica consisteix només en afirmacions tals com “si una proposició és veritable referida a un objecte, aleshores una altra proposició també ho és”, de manera que la matemàtica és aquell camp en què hom no sap mai de què parla ni si allò que diu és veritat o no Dins aquesta mateixa línia, H Poincaré diu que els matemàtics no estudien objectes, sinó relacions entre objectes no els interessa la…