Ce arată teorema lui Gödel despre limitele oricărui sistem formal, și ce conchide Penrose din asta?
Dacă omul vede adevăruri pe care nicio procedură formală nu le poate dovedi, înțelegerea nu este calcul.
Roger Penrose · Shadows of the Mind: A Search for the Missing Science of Consciousness
Ce se întâmplă cu o sinapsă când neuronul A declanșează repetat neuronul B?
Neuronii care declanșează împreună își sudează legătura: învățarea e locală, nu comandată de sus.
Donald O. Hebb · The Organization of Behavior
De ce nu poate un calculator clasic să simuleze eficient un sistem cuantic mare?
Natura se prelucrează cuantic, deci doar o mașină cuantică o poate simula fidel.
Richard Feynman · Simulating Physics with Computers
De ce poate creierul recunoaște fețe cu doar douăzeci de wați, deși neuronii sunt milioane de ori mai lenți decât tranzistorii?
Creierul nu vorbește matematică: calculează lent, dar paralel, și de aceea câștigă cu douăzeci de wați.
John von Neumann · The Computer and the Brain
De ce, conform lui Penrose, un calculator nu poate replica mintea umană?
Mecanismul minții umane depășește calculul, fiind inaccesibil oricărui algoritm.
Roger Penrose · The Emperor's New Mind
De ce există întrebări la care niciun calculator nu poate răspunde?
Unele probleme sunt indecidabile: niciun calculator nu le poate rezolva, oricât de puternic ar fi.
Charles Petzold · The Annotated Turing
Cum funcționează un agent rațional în inteligența artificială?
Inteligența artificială se construiește prin agenți raționali care percep mediul și acționează pentru a atinge obiective.
Stuart Russell și Peter Norvig · Artificial Intelligence: A Modern Approach
Ce anulează protecția unui algoritm criptografic puternic?
Criptografia modernă protejează mesajele doar dacă algoritmii matematici sunt implementați fără erori.
Bruce Schneier · Applied Cryptography: Protocols, Algorithms, and Source Code in C
Ce garantează că o mașină Turing simplă este atât de puternică?
O mașină Turing simplă poate calcula orice altă mașină de calcul vreodată.
Alan Turing · On Computable Numbers, with an Application to the Entscheidungsproblem
Ce unitate fundamentală de măsură a informației a introdus Shannon?
Orice informație poate fi redusă la o succesiune de întrebări simple da/nu, numite biți.
Claude Shannon · A Mathematical Theory of Communication
Cum a construit Euclid adevărurile geometriei complexe?
Din axiome simple și evidente, prin pași logici, se construiește întreaga geometrie.
Euclid · Elements
Ce se întâmplă când o teorie matematică considerată inutilă devine esențială pentru securitatea online?
Matematica pură este căutarea frumuseții, nu utilitatea imediată
G. H. Hardy · A Mathematician's Apology
De ce nu caută oamenii și computerele soluția perfectă, ci una suficient de bună?
Oamenii și computerele aleg soluții „suficient de bune” din cauza raționalității limitate
Herbert A. Simon · The Sciences of the Artificial
Ce se întâmplă dacă o afirmație adevărată nu poate fi demonstrată în sistemul său?
Într-un sistem formal suficient de puternic există propoziții adevărate ce nu pot fi demonstrate cu regulile sale.
Ernest Nagel and James R. Newman · Gödel's Proof
De ce alegem geometria euclidiană în locul altor geometrii?
Geometria este o convenție practică, nu un adevăr absolut, aleasă pentru a simplifica calculele.
Henri Poincaré · Science and Hypothesis
Ce se întâmplă cu performanța unui program simplu când volumul de date crește semnificativ?
Un program bun nu doar funcționează, ci folosește cea mai eficientă metodă, ca un bucătar care alege rețeta optimă
Donald Knuth · The Art of Computer Programming
Ce se întâmplă când un sistem se referă la sine însuși?
Conștiința apare prin bucle auto‑referențiale, ca o mână ce se desenează pe sine.
Douglas Hofstadter · Gödel, Escher, Bach: An Eternal Golden Braid
De ce măsurarea unei coaste cu o riglă mai mică dă o lungime mai mare?
Formele naturale sunt fractale: structura lor zimțată se repetă identic la orice scară de mărime.
Benoit Mandelbrot · The Fractal Geometry of Nature
Cum se ajustează un sistem automat pentru a atinge o stare dorită?
Sistemele se autoreglează folosind feedback din rezultatele propriilor acțiuni.
Norbert Wiener · Cybernetics: Or Control and Communication in the Animal and the Machine
Ce a demonstrat efortul monumental din Principia Mathematica despre bazele matematicii?
Matematica fundamentală poate fi derivată din principii logice pure, dar demonstrația este extrem de laborioasă.
Bertrand Russell and Alfred North Whitehead · Principia Mathematica
Ai ajuns la capăt. Revino mai târziu.
Listă