Chomsky va matar l'assemblador
Noam Chomsky és una de les figures més importants en la història de la informàtica teòrica. La seva contribució va posar les bases matemàtiques que permeten avui dia als ordinadors "entendre" els llenguatges de programació.
https://ca.wikipedia.org/wiki/Llenguatge_d%27assemblador
⏸️ ▶️
La Jerarquia de Chomsky (1956)
Aquesta és la seva aportació cabdal a la informàtica. Va proposar un sistema per classificar les gramàtiques formals segons la seva potència i complexitat. És una classificació en quatre nivells que es fa servir constantment en la teoria de la computació:
🔸 Tipus 3 (Regulars): Les més senzilles. S'utilitzen per a l'anàlisi lèxica en compiladors (identificar paraules clau, nombres, etc.).
https://ca.wikipedia.org/wiki/Jerarquia_de_Chomsky
▶️
🔸 Tipus 2 (Context-free): Fonamentals per als llenguatges de programació moderns (C, Java, Python). La majoria de la sintaxi d'aquests llenguatges es defineix mitjançant gramàtiques d'aquest nivell, la qual cosa permet als ordinadors "llegir" i analitzar el codi que escrivim.
▶️
🔸 Tipus 1 (Context-sensitive): Més complexes, menys utilitzades en la programació diària però rellevants en teories avançades.
🔸 Tipus 0 (Recursivament enumerables): Les més potents. Equivalen al que pot calcular una Màquina de Turing (un ordinador universal).
https://ca.wikipedia.org/wiki/M%C3%A0quina_de_Turing
▶️
Per què això va canviar la programació?
Abans de Chomsky, no existia una manera formal i matemàtica de definir què era un "llenguatge".
Gràcies a la seva jerarquia, els científics de la computació van poder:
▶️
🔸 Crear compiladors: Un compilador és, essencialment, un programa que tradueix llenguatge d'alt nivell (com C++) a codi màquina. El disseny es basa directament en les teories de gramàtiques de Chomsky.
🔸 Formalitzar els llenguatges: Sense aquesta base, els llenguatges de programació serien un caos d'instruccions desordenades. Chomsky va aportar l'ordre matemàtic que permet interpretar correctament estructures de parèntesis, condicions `if` o bucles `for`.
▶️
La seva postura actual sobre la IA
Chomsky s'ha mostrat molt crític amb l'anomenada "Intel·ligència Artificial moderna".
Sosté que aquests sistemes basats en estadístiques i grans volums de dades (correlacions) no són "intel·ligents" en el sentit humà, ja que no entenen el significat (semàntica) ni poden diferenciar el que és possible del que és impossible.
▶️
Per a Chomsky, el llenguatge humà té una estructura generativa innata (la Gramàtica Universal) que no s'aprèn "llegint-ho tot", sinó que forma part de la nostra arquitectura biològica, cosa que la IA actual no replica.
https://ca.wikipedia.org/wiki/Gram%C3%A0tica_universal
▶️
Chomsky no va picar codi, però va escriure les "regles del joc" sobre les quals s'ha construït tota la infraestructura del llenguatge informàtic.
Sense les seves gramàtiques, avui no tindríem la capacitat de traduir el nostre pensament a llenguatges que les màquines puguin entendre i executar.
⏸️
La llengua dels Pirahã
La qüestió de la llengua dels Pirahã és, sens dubte, una de les polèmiques més apassionants i explosives en la història de la lingüística moderna.
Representa el front de batalla on les idees de Noam Chomsky han estat posades més a prova.
https://ca.wikipedia.org/wiki/Pirah%C3%A3
⏸️ ▶️
Què és el cas Pirahã?
Els Pirahã són un poble indígena de l'Amazònia brasilera. El lingüista Daniel Everett, que va conviure amb ells durant anys, va publicar troballes que van sacsejar els fonaments de la teoria de la "Gramàtica Universal" de Chomsky. Segons Everett, el Pirahã té unes característiques úniques:
🔸 Absència de nombres: No tenen paraules per a "u", "dos", "tres" o cap quantitat específica. Utilitzen termes relatius (com "poc" o "molt").
▶️
🔸 Sense recursivitat: El desacord. Per a Chomsky, la recursivitat (capacitat de posar una frase dins d'una altra: "El llibre que m'has donat és blau") és l'operació fonamental del llenguatge humà, que permet crear un nombre infinit d'oracions partint d'un nombre finit de paraules. Everett afirma que el Pirahã no té recursivitat.
🔸 Immediatesa de l'experiència: No tenen temps verbals de futur o passat llunyà; parlen gairebé exclusivament del que experimenten aquí/ara.
▶️
El xoc amb la Gramàtica Universal
La Gramàtica Universal (GU) de Chomsky proposa que els éssers humans naixem amb una mena de "programari" biològic preinstal·lat per aprendre qualsevol llengua, i que la recursivitat és el nucli d'aquest programa.
▶️
Segons Everett, si existeix una llengua (el Pirahã) que no té recursivitat, llavors la idea que la recursivitat és una propietat innata i universal del cervell humà és falsa.
Per a ell, la cultura pot modelar el llenguatge d'una manera tan profunda que fins i tot pot "anul·lar" capacitats lingüístiques que suposàvem universals.
▶️
Lingüistes com Andrew Nevins o David Pesetsky han criticat les dades d'Everett.
Argumenten que les seves anàlisis són incorrectes, que sí que hi ha proves de recursivitat o que, fins i tot si no n'hi hagués, això no refutaria la GU, ja que podria ser una excepció aïllada provocada per restriccions culturals molt específiques (un "efecte de superfície" i no una absència de capacitat biològica).
▶️
Una lliçó sobre el "sistema"
Aquest debat és fascinant perquè, en el fons, no és només lingüístic, sinó sobre l'ésser humà com a sistema o com a cultura.
El debat és: som producte d'una estructura biològica fixa (Chomsky) o som éssers que s'auto-defineixen completament a través de la cultura i l'entorn (la visió que s'extreu de les troballes d'Everett)?
▶️
El cas Pirahã no està tancat. Hi ha molts lingüistes que continuen estudiant la seva estructura, intentant esbrinar si realment és una excepció a les lleis naturals del llenguatge o si només és una altra manera en què el sistema de Chomsky s'ha d'ajustar.
⏸️
Mohauk · mohauk.net