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- ja 1960-luvuilla tutkijat ennustivat, että kun inhimillinen tietämys olisi ilmaistavissa logiikalla ja matemaattisella notaatiolla, tämä mahdollistaisi ajattelevien koneiden eli tekoälyn kehittämisen.