Resultats de la cerca
Es mostren 3 resultats
Alan Mathison Turing
Matemàtiques
Matemàtic, filòsof i criptògraf anglès.
Ideà el concepte teòric d’una màquina calculadora universal, que és anomenada màquina de Turing Treballà especialment en el camp de la lògica matemàtica i s’interessà per la intelligència artificial La seva activitat fou fonamental per a desxifrar el codi Enigma alemany, fet que contribuí a posar fi a la Segona Guerra Mundial i a salvar milers de vides El 1952 fou condemnat per pràctiques homosexuals illegals a la Gran Bretanya fins el 1967, i per evitar la presó acceptà ser sotmès a una castració química La condemna l’obligà a abandonar la seva feina al Quarter General de Comunicacions del…
medalla Fields
Matemàtiques
Premi concedit per la Unió Matemàtica Internacional durant la celebració, cada quatre anys, del Congrés Internacional de Matemàtics, a eminents matemàtics en actiu.
Fou creat i dotat pel matemàtic canadenc John Charles Fields Hamilton, Ontario, 14 de maig de 1863 – Toronto, Ontario, 9 d’agost de 1932 durant el congrés de Toronto de l’any 1924 i començà d’ésser concedida el 1936 Tradicionalment s’atorga a matemàtics de menys de quaranta anys Juntament amb el premi Abel és el màxim reconeixement internacional als matemàtics, i sovint són considerats l’equivalent del premi Nobel de les matemàtiques Relació de guardonats Any Guardonats 1936 Lars Ahlfors Finlàndia i Jesse Douglas Estats Units d’Amèrica 1950 Laurent Schwartz França i Atle Selberg Noruega…
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…