Principia Mathematica a fost o lucrare de hotar în logica formală scrisă de Alfred North Whitehead și Bertrand Russell. Principia Mathematica – adică Principii ale matematicii – a fost scrisă cu scopul de a deriva toate sau unele dintre expresiile matematice, în termenii logicii matematice simbolice. A fost publicată inițial în trei volume în 1910, 1912 și 1913. [6]
Logic Theorist (LT) a fost primul program dezvoltat în 1956 de Allen Newell, Cliff Shaw și Herbert A. Simon pentru a „imita raționamentul uman” în demonstrarea teoremelor, și a fost folosit pe cincizeci și două de teoreme din capitolul doi din Principia Mathematica, demonstrând treizeci și opt dintre ele.[7] Pe lângă demonstrarea teoremelor, programul a găsit o demonstrație pentru una dintre teoreme care a fost mai elegantă decât cea oferită de Whitehead și Russell.După o încercare nereușită de a-și publica rezultatele, Newell, Shaw , și Herbert au raportat în publicația lor din 1958, The Next Advance in Operation Research:
„Există acum în lume mașini care gândesc, care învață și care creează. Mai mult decât atât, capacitatea lor de a face aceste lucruri va crește rapid până când (într-un viitor vizibil) gama de probleme pe care le pot gestiona va fi coextinsă cu domeniul la care a fost aplicată mintea umană.”[8]
(Include texte traduse și adaptate din Wikipedia de Nicolae Sfetcu)
Amenințările persistente avansate în securitatea cibernetică – Războiul cibernetic
Această carte esențială servește atât ca analiză detaliată, cât și ca un apel la acțiune pentru oricine este implicat în domeniul securității digitale.
Eseuri filosofice
Descoperă universul gândirii critice și al reflecției profunde!
Căutarea, extragerea, organizarea și evaluarea informațiilor
Transformă informația în putere cu ajutorul acestei cărți indispensabile!
Descoperă mai multe la MultiMedia
Abonează-te ca să primești ultimele articole prin email.
Lasă un răspuns