In the 1950s and 1960s, researchers predicted that when human knowledge could be expressed using logic with mathematical notation, it would be possible to create a machine that reasons, or artificial intelligence.
Στις δεκαετίες του 1950 και του 1960, οι ερευνητές πρόβλεψαν ότι όταν η ανθρώπινη γνώση θα μπορούσε να εκφράζεται χρησιμοποιώντας τη λογική με μαθηματική σημειογραφία, θα ήταν πιθανό να δημιουργήσουμε ένα μηχάνημα το οποίο θα συλλογίζεται, ή αλλιώς, τεχνητή νοημοσύνη.