A cikk első része itt olvasható.
A matematikai kutatás hagyományos, 2500 éves paradigmája a következő: az ember definiál egy fogalmat, kimond róla egy tételt, majd azt bebizonyítja. Talán kevésbé elismert, de nem kevésbé régi tevékenység algoritmusok tervezése. Hogy ennek igazán klasszikus voltát…