Algoritmicheskij um: Mentalizm vs Mechanizm v filosofii matematiki

Kniga «Algoritmicheskij um» posvyashhena rassmotreniyu sootnosheniya chelovecheskogo uma i komp′yutera na osnove dostizhenij matematicheskoj logiki i teorii algoritmov. Ispol′zovanie dlya etoj celi znamenitych teorem Gyodelya o nepolnote arifmetiki, i ich filosofskogo sledstviya v vide «diz′′yunkcii» Gyodelya, privodit k formulirovke dvuch polyarnych pozicij, Mentalizmu i Mechanizmu, v konceptual′nych ramkach kotorych obsuzhdaetsya rol′ ponyatij vychislimosti, matematicheskogo dokazatel′stva, intuicii i apriorizma, sub′′ektivnoj i ob′′ektivnoj matematiki, «znaniya» komp′yutera i principov refleksii v ponimanii prirody mashinnogo i chelovecheskogo intellekta. Kniga prednaznachena vsem interesuyushhimsya problemami sopostavleniya iskusstvennogo intellekta i chelovecheskogo myshleniya s tochki matematicheskoj logiki i filosofii matematiki.