olivLaw · Flux
‹ Rafturi
■
Inteligență artificială
De la mașina lui Turing la modelele de azi: ce poate calcula o mașină și ce nu.
20 idei · 17 min
‹
Securitate IT
Filosofie
›
Swipe pe raft
Întreabă ghidul →
Traseul de lectură
20 lecții
Toate
Toți autorii
Roger Penrose · 2
01
Inteligența artificială poate fi construită prin agenți raționali care percep mediul și acționează pentru a atinge obiective.
Artificial Intelligence: A Modern Approach · Stuart Russell și Peter Norvig · 1995
›
02
Creierul nu calculează cu limbajul formal al matematicii și al mașinilor von Neumann; are un mod propriu, analog și masiv paralel, de prelucrare a informației.
The Computer and the Brain · John von Neumann · 1958
›
03
Feynman susține că natura funcționează cuantic, nu clasic, deci orice mașină care vrea să o prelucreze fidel trebuie să folosească ea însăși fenomene cuantice, nu doar biți clasici.
Simulating Physics with Computers · Richard Feynman · 1982
›
04
Alan Turing a demonstrat că unele probleme nu pot fi rezolvate de niciun calculator, indiferent cât de puternic este.
The Annotated Turing · Charles Petzold · 2008
›
05
Mintea umană poate face lucruri pe care niciun calculator nu le poate face, din cauza limitelor calculului.
The Emperor's New Mind · Roger Penrose · 1989
›
06
O sinapsă se întărește atunci când neuronul care o folosește reușește să declanșeze neuronul de dincolo. Învățarea nu e un program, ci o consecință directă a activității locale.
The Organization of Behavior · Donald O. Hebb · 1949
›
07
Penrose susține că înțelegerea conștientă nu poate fi redusă la un algoritm: există judecăți matematice adevărate pe care nicio procedură formală nu le poate genera sistematic.
Shadows of the Mind: A Search for the Missing Science of Consciousness · Roger Penrose · 1994
›
08
Conștiința ar putea apărea din bucle care se referă la ele însele, la fel cum o desenare a unei mâini care se desenează pe sine pare imposibilă, dar are sens ca idee.
Gödel, Escher, Bach: An Eternal Golden Braid · Douglas Hofstadter · 1979
›
09
A scrie un program bun nu înseamnă doar să-l faci să meargă, ci să găsești rețeta cea mai eficientă, ca un bucătar care caută cea mai bună metodă, nu doar una care funcționează.
The Art of Computer Programming · Donald Knuth · 1968
›
10
Oamenii și computerele nu caută mereu soluția perfectă la o problemă, ci una „suficient de bună", pentru că timpul și informația disponibilă sunt mereu limitate.
The Sciences of the Artificial · Herbert A. Simon · 1969
›
11
O mașină imaginară, extrem de simplă, care citește și scrie simboluri pe o bandă infinită, poate calcula, în principiu, orice altă mașină de calcul ar putea vreodată.
On Computable Numbers, with an Application to the Entscheidungsproblem · Alan Turing · 1936
›
12
Criptografia modernă folosește algoritmi matematici pentru a transforma mesajele în coduri de nedeslușit, dar doar dacă sunt implementați corect.
Applied Cryptography: Protocols, Algorithms, and Source Code in C · Bruce Schneier · 1994
›
13
Multe sisteme — animale, mașini, chiar orașe — se autoreglează folosind informații despre propriile rezultate, la fel cum un termostat oprește căldura când e destul de cald.
Cybernetics: Or Control and Communication in the Animal and the Machine · Norbert Wiener · 1948
›
14
Orice mesaj — cuvinte, imagini, muzică — poate fi descompus în cea mai mică unitate posibilă de informație, un simplu răspuns da sau nu, numit bit.
A Mathematical Theory of Communication · Claude Shannon · 1948
›
15
Doi autori au încercat să construiască toată matematica pornind doar de la logica pură, având nevoie de sute de pagini doar pentru a demonstra că 1+1=2.
Principia Mathematica · Bertrand Russell and Alfred North Whitehead · 1910
›
16
În orice sistem matematic suficient de puternic există afirmații adevărate care nu pot fi niciodată demonstrate folosind doar regulile acelui sistem.
Gödel's Proof · Ernest Nagel and James R. Newman · 1958
›
17
Pornind de la doar câteva reguli simple, evident adevărate, poți construi, pas cu pas, tot adevărul geometriei — fără să presupui nimic altceva.
Elements · Euclid
›
18
Multe forme din natură — coasta unei țări, un fulg de nea, un plămân — se repetă la fel, la orice mărime le-ai privi, mare sau mică.
The Fractal Geometry of Nature · Benoit Mandelbrot · 1982
›
19
Unele reguli din geometrie nu sunt „adevărul absolut", ci convenții alese pentru că sunt cele mai practice — am fi putut, teoretic, alege altele.
Science and Hypothesis · Henri Poincaré · 1902
›
20
Un matematician adevărat face matematică mai ales pentru frumusețea ei, la fel cum un pictor pictează pentru frumusețea tabloului, nu doar pentru utilitatea lui.
A Mathematician's Apology · G. H. Hardy · 1940
›
≡
Flux
◇
Comunitate
▤
Raft
◌
Pauză
○
Eu