Resultats de la cerca
Es mostren 5 resultats
Alan Mathison Turing

Alan 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…
màquina de Turing
Matemàtiques
Màquina formada per una cinta il·limitada, dividida en cel·les, i per una capsa negra amb un cap lector.
Procedeix de la següent manera elemental A cada cella de la cinta hom pot escriure un 0 o un 1 Aleshores, la màquina de Turing, segons l’estat intern de la capsa negra i del símbol que llegeix el cap lector, pot pendre una de les cinc decisions següents 1, escriure un zero a la cella llegida pel cap lector, esborrant abans el que pugui haver-hi escrit 2, escriure un 1 a la cella, esborrant abans el que pugui haver-hi escrit 3, donar un pas cap a la dreta 4, donar un pas cap a l’esquerra 5, aturar-se Una màquina de Turing és, doncs, una matriu com ara Aquesta matriu…
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…
computable
Matemàtiques
Tipus de relació R ⊑ ℕn en la qual la seva funció característica 1R és computable.
Una funció f A ⊑ ℕ n → ℕ és computable si, i només si, existeix un algorisme formal, com ara una màquina de Turing que la computa Quan diem, però, que una funció k -ària f A ⊑ ℕ k → ℕ és computable per mitjà d’una màquina de Turing OOO La idea és la següent a la cinta de la màquina colloquem n 1 + 1 uns seguits d’un zero, després d’n 2 + 1 uns seguits d’un zero,, després n k + 1 uns seguits d’un zero i colloquem la màquina en estat intern q 0 i amb el cap lector en el zero que hi ha al darrere dels darrers n k + 1 uns La resta de la cinta és plena de zeros El zero…
Marvin Lee Minsky

Marvin Lee Minsky
Matemàtiques
Electrònica i informàtica
Matemàtic i pioner de la intel·ligència artificial nord-americà.
Es graduà en matemàtiques a la Universitat de Harvard 1950 i obtingué el doctorat a la de Princeton 1954 Els anys cinquanta dissenyà ginys simuladors del comportament humà, en els quals intentà reproduir l’aprenentatge El 1958 s’incorporà al laboratori de John McCarthy , del Massachusetts Institute of Technology, on desenvolupà tota la carrera docent i de recerca El 1959 hi fundà l’AI Project, amb McCarthy, que encapçalà després de la marxa d’aquest 1962 Les seves realitzacions experimentals i teories donaren un fort impuls al desenvolupament de la intelligència artificial, que concebé de…