Author Description

V svyazi s razvitiem kibernetiki, konstruktivnogo napravleniya v logike i matematike, teorii konechnykh avtomatov, matematicheskoj logiki i teorii modelirovaniya znachitel'no vozroslo znachenie pravil'nogo ponimaniya problem abstraktsij beskonechnosti i osuschestvimosti. V dannoj knige rassmatrivayutsya formal'no-logicheskie i filosofskie problemy, svyazannye kak s izvestnymi uzhe, tak i s novymi abstraktsiyami beskonechnosti i osuschestvimosti. V chastnosti, avtor rassmatrivaet vopros o dopustimosti opredelennykh formal'no-logicheskikh sredstv v teoriyakh, ispol'zuyuschikh te ili inye abstraktsii beskonechnosti i osuschestvimosti, chto predstavlyaet interes dlya mnogikh otraslej nauki, a takzhe dlya izuchayuschikh sovremennuyu formal'nuyu logiku.