Algoritmičeskij um: Mentalizm vs Mechanizm v filosofii matematiki

Kniga «Algoritmičeskij um» posvjačšena rassmotreniju sootnošenija čelovečeskogo uma i komp′jutera na osnove dostiženij matematičeskoj logiki i teorii algoritmov. Ispol′zovanie dlja ėtoj celi znamenitych teorem Gëdelja o nepolnote arifmetiki, i ich filosofskogo sledstvija v vide «diz′′junkcii» Gëdelja, privodit k formulirovke dvuch poljarnych pozicij, Mentalizmu i Mechanizmu, v konceptual′nych ramkach kotorych obsuždaetsja rol′ ponjatij vyčislimosti, matematičeskogo dokazatel′stva, intuicii i apriorizma, sub′′ektivnoj i ob′′ektivnoj matematiki, «znanija» komp′jutera i principov refleksii v ponimanii prirody mašinnogo i čelovečeskogo intellekta. Kniga prednaznačena vsem interesujučšimsja problemami sopostavlenija iskusstvennogo intellekta i čelovečeskogo myšlenija s točki matematičeskoj logiki i filosofii matematiki.