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

UptoLike

Составители: 

Рубрика: 

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


    ìíîãèì äàëî îñíîâàíèå ñ÷èòàòü å¼ àâòîðîì ïåðâîé êîìïüþòåðíîé
    ïðîãðàììû).
    Äå Ìîðãàí  îäèí èç îñíîâàòåëåé è ïåðâûé ïðåçèäåíò Ëîíäîí-
    ñêîãî Ìàòåìàòè÷åñêîãî îáùåñòâà. Îòêàçàëñÿ îò èçáðàíèÿ â ÷ëåíû
    Êîðîëåâñêîãî íàó÷íîãî îáùåñòâà è ñòåïåíè äîêòîðà Ýäèíáóðãñêî-
    ãî óíèâåðñèòåòà.  12, 28, 37, 120, 126.
Íàêàñèìà (Íàêàøèìà) Àêèðà (Akira Nakajima, 19081970)  ÿïîí-
    ñêèé èíæåíåð-ýëåêòðîìåõàíèê. Îêîí÷èë Èíæåíåðíûé ôàêóëüòåò
    Òîêèéñêîãî Èìïåðàòîðñêîãî óíèâåðñèòåòà. Ðàáîòàÿ â èññëåäîâà-
    òåëüñêîì îòäåëå ßïîíñêîé ýëåêòðè÷åñêîé êîìïàíèè (NEC), íà-
    ÷àë ðàçðàáàòûâàòü òåîðèþ ëîãè÷åñêîãî ìîäåëèðîâàíèÿ ðåëåéíî-
    êîíòàêòíûõ ñõåì. Îäíàêî, ñðàçó æå ïîñëå íà÷àëà ñâîèõ èññëåäî-
    âàíèé Íàêàøèìà áûë ïåðåâåä¼í â äðóãîé îòäåë è ìîã ïðîäîëæàòü
    ðàáîòó ëèøü äîìà ïî íî÷àì. Åãî ïåðâàÿ ñòàòüÿ ïî óêàçàííîé òå-
    ìàòèêå âûøëà â 1936 ã. Âïîñëåäñòâèè èç-çà íåäîñòàòêà âðåìåíè
    (ßïîíèÿ âñòóïèëà âî Âòîðóþ ìèðîâóþ âîéíó) è ñìåíû ñôåðû äå-
    ÿòåëüíîñòè, îñòàâèë ñâîè èññëåäîâàíèÿ â äàííîé îáëàñòè. Ïîñëå
    âîéíû äî êîíöà æèçíè áûë ïðåçèäåíòîì Ando Electric Co., äî÷åð-
    íåé êîìïàíèè NEC.  16
ôîí Íåéìàí Äæîí (ßíîø) (John (Janos) von Neumann, 19031957) 
    âåíãåðñêèé ìàòåìàòèê è ëîãèê, ðàáîòàâøèé ñ 1930 ã. â ÑØÀ.
    Âí¼ñ îïðåäåëÿþùèé âêëàä â ðàçâèòèå ñîâðåìåííîé ïðèêëàäíîé
    ìàòåìàòèêè, â ÷àñòíîñòè ñòàòèñòèêè (ëåììà Íåéìàíà-Ïèðñîíà ),
    òåîðèè èãð, ýêîíîìèêè è òàêæå ìàòåìàòè÷åñêîé ëîãèêè. Ïðèíè-
    ìàë ó÷àñòèå â ðàáîòàõ ïî ñîçäàíèþ àòîìíîé áîìáû è ïåðâûõ
    ÝÂÌ (àðõèòåêòóðà ôîí Íåéìàíà ). Ïåðåëîæèë íà ìàòåìàòè÷å-
    ñêèé ÿçûê òåîðèþ ðàñøèðåííîãî êàïèòàëèñòè÷åñêîãî ïðîèçâîä-
    ñòâà Ê. Ìàðêñà (ìîäåëü Ìàðêñàôîí Íåéìàíà ).  43, 47, 112
Íîâèêîâ ϼòð Ñåðãååâè÷ (19011975)  ðîññèéñêèé ìàòåìàòèê è ëî-
    ãèê. Ñîçäàë îòäåë Ìàòåìàòè÷åñêîé ëîãèêè â Ìàòåìàòè÷åñêîì èí-
    ñòèòóòå èì. Â.À. Ñòåêëîâà ÀÍ ÑÑÑÐ è áûë åãî ïåðâûì çàâåäó-
    þùèì. Äîêàçàë íåðàçðåøèìîñòü ïðîáëåìû òîæäåñòâà ñëîâ â òåî-
    ðèè ãðóïï (Ëåíèíñêàÿ ïðåìèÿ, 1957).  83, 124
Ïîðåöêèé Ïëàòîí Ñåðãååâè÷ (18461907)  ðóññêèé ìàòåìàòèê, àñò-
    ðîíîì è ëîãèê, ïðèâàò-äîöåíò Êàçàíñêîãî óíèâåðñèòåòà, ðîäîíà-
    ÷àëüíèê îòå÷åñòâåííûõ èññëåäîâàíèé ïî ìàòåìàòè÷åñêîé ëîãèêå.
    Ïåðâûì â Ðîññèè ïðî÷èòàë â Êàçàíñêîì óíèâåðñèòåòå â âåñåííåì
    ñåìåñòðå 1888 ã. êóðñ ìàòåìàòè÷åñêîé ëîãèêè (ïîäãîòîâëåí áûë
    òð¼õñåìåñòðîâûé êóðñ). Ðàáîòû Ï.Ñ. Ïîðåöêîãî ïîâëèÿëè íà ðàç-
    âèòèå ìàòåìàòè÷åñêîé ëîãèêè, êîòîðàÿ äàëåå ñòàëà ðàçâèâàòüñÿ