Benne voltunk harmincöt évvel ezelőtt, de mégsem. Nem voltunk benne, de mégis benne voltunk már az első divathullám lovaglásában. Doktoranduszaimmal több évtizede kerülgettük és a gyakorlatban alkalmazzuk azt, amit akkor csak a kiskapun lehetett beengedni, hiszen a számtan mindenhatósága mellet nem volt mit keresnie a logikának. Most, hogy másodszor kitárták a nagykaput a mesterséges intelligencia…