Resultats de la cerca

Introduí un mètode per a controlar les fórmules de la lògica seqüencial mitjançant les taules de veritat És conegut pel fet d’haver proposat el 1920 els sis temes lògics polivalents, especialment trivalents, amb independència de Łukasiewicz Establí també una teoria general de les proposicions elementals 1922, i estudià els problemes dels grups de mots en el llenguatge, amb independència dels resultats obtinguts per Markov

Llicenciat per la Universitat de València, amplià estudis a les universitats de Tübingen i Besançon Professor, successivament, a la Universitat de les Illes Balears 1994 i a la Universitat Pompeu Fabra 1999, d’on esdevingué catedràtic el 2002, és autor d’uns 200 treballs publicats que el convertiren en el matemàtic de l’Estat espanyol més citat internacionalment Inicialment, es dedicà a l’anàlisi funcional i, posteriorment, al processament digital d’imatges i el seu tractament per ordinador, matèries en les quals esdevingué un referent internacional De les seves publicacions hom pot esmentar…

Com és usual en la història de les matemàtiques, té orígens aparentment molt diferents que finalment conflueixen i permeten d’establir el que esdevé una teoria enormement potent i irrenunciable Cal remarcar-ne el problema diofàntic plantejat per David Hilbert l’any 1900, i el problema de les paraules que sorgí en el món de la topologia algèbrica Es tracta de dos problemes típics de decidibilitat és a dir, aquells en què cal disposar d’un mètode que permeti de decidir una o altra de dues opcions atesa una equació diofàntica, té solució, són equivalents dues paraules donades per endavant L’any…