Resultats de la cerca
Es mostren 3 resultats
Lisp
Electrònica i informàtica
Llenguatge de programació dissenyat el 1960 al MIT i àmpliament modificat el 1966.
Basat en la teoria de les funcions recursives permet de tractar llistes amb una gran flexibilitat Considerat un llenguatge difícil i minoritari, és especialment utilitzat en aplicacions d' intelligència artificial
Noam Chomsky

Noam Chomsky
© Fototeca.cat
Lingüística i sociolingüística
Lingüista i activista polític nord-americà.
Estudià a la Universitat de Pennsilvània, especialment sota la direcció de ZSHarris Professor al Massachusetts Institute of Technology des del 1955 Ajudat per tècniques matemàtiques recents sobretot la teoria de les funcions recursives, compongué el 1955 un tractat extens sobre The Logical Bases of Linguistic Theory , on mostra que una llengua no pot ésser descrita solament en termes dels seus elements patents els fenotip de Whorf, sinó que cal recórrer a la postulació d’elements abstractes o latents criptotip , d’on es deriva la forma externa de les frases mitjançant…
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…