Исчисления высказываний классической логики. Гуров С.И. - 133 стр.

Ïåðñîíàëèÿ è àâòîðñêèé óêàçàòåëü                              133


    ïîçâîëÿþùóþ ñâîäèòü ïðîöåññ ïîèñêà âûâîäà ïðîèçâîëüíîé ôîð-
    ìóëû êëàññè÷åñêîãî èñ÷èñëåíèÿ ïðåäèêàòîâ (áåç ðàâåíñòâà) ê ïî-
    èñêó íåêîòîðîé ôîðìóëû êëàññè÷åñêîãî èñ÷èñëåíèÿ âûñêàçîâà-
    íèé.
    Ýòà òåîðåìà, êàê è òåîðåìà î äåäóêöèè, îïóáëèêîâàíû â ðàáîòå
    1930 ã., ÿâëÿþùåéñÿ èçëîæåíèåì åãî áëåñòÿùå çàùèù¼ííîé äèñ-
    ñåðòàöèè. Âñêîðå ïîñëå çàùèòû ìîëîäîé ìàòåìàòèê òðàãè÷åñêè
    ïîãèá, ñîðâàâøèñü â ïðîïàñòü âî âðåìÿ ëþáèòåëüñêîãî àëüïèíèñò-
    ñêîãî ïîõîäà.  60