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)
Ghid WordPress pentru începători
Descoperă arta gestionării site-urilor web cu WordPress!
Ghid Facebook pentru utilizatori
Un ghid complet îți oferă toate informațiile esențiale pentru a naviga eficient pe Facebook
Ghid WordPress pentru dezvoltatori
Resursa esențială care te va ghida pas cu pas în lumea complexă a platformei WordPress.
Lasă un răspuns