Resultats de la cerca
Es mostren 3 resultats
Albert Thoralf Skolem
Lògica
Matemàtiques
Lògic i matemàtic noruec.
Treballà especialment en el camp de la resolució de les equacions diofàntiques, en el de l’estudi axiomàtic dels enters naturals i en el de la caracterització dels automorfismes de les àlgebres simples En lògica, contribuí al desenvolupament de la teoria intuïcionista
Klaus Friedrich Roth
Matemàtiques
Matemàtic britànic d’origen alemany.
Emigrà amb la seva família d’infant a la Gran Bretanya, i es graduà en matemàtiques l’any 1945 per la Universitat de Cambridge L’any següent es graduà al University College de Londres i el 1950 aconseguí el doctorat Professor de matemàtiques en aquesta institució, en fou nomenat titular l’any 1961 La seva aportació més important és la resolució de l’aproximació de nombres algèbrics per nombres racionals aproximacions diofàntiques l’any 1955 mitjançant el teorema que du el seu nom o també teorema de Thue-Siegel-Roth i pel qual l’any 1958 rebé la Medalla Fields L’any 1966 guanyà…
teoria de la computació
Matemàtiques
Branca de les matemàtiques que estudia problemes de decidibilitat.
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…