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

UptoLike

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

Рубрика: 

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


Ðîáèíñîí Äæîí (John Alan Robinson, ð. 1930)  àíãëèéñêèé ìàòåìà-
     òèê (ñ 1952 ã. ðàáîòàåò â ÑØÀ), îäèí èç ñîçäàòåëåé ëîãè÷åñêîãî
     ïðîãðàììèðîâàíèÿ.  34
Ñêîò Èîàíí Äóíñ (Johannes Duns Scotus, 12651380)  ìîíàõ-
     ôðàíöèñêàíåö, îäèí èç êðóïíåéøèõ ñðåäíåâåêîâûõ ôèëîñîôîâ
     è áîãîñëîâîâ, âûõîäåö èç Øîòëàíäèè. Îáëàäàòåëü ïî÷¼òíîãî
     òèòóëà ¾óòîí÷¼ííûé äîêòîð¿ (ñõîëàñòèêè).  17, 24, 100
Òàðñêèé Àëüôðåä (Alfred Tarski, 19021983), ïîëüñêèé ìàòåìàòèê è
     ëîãèê, ó÷åíèê Ñ. Ëåñíåâñêîãî. Ñ 1939 ã. ðàáîòàë â ÑØÀ. Âí¼ñ
     çíà÷èòåëüíûé âêëàä â ìåòàìàòåìàòèêó, òåîðèþ ìíîæåñòâ, òåîðèþ
     ìîäåëåé è îáùóþ àëãåáðó.  60, 68, 69, 70, 81, 86
Òüþðèíã Àëàí (Alan Mathison Turing, 19121954)  àíãëèéñêèé ìàòå-
     ìàòèê. Êðîìå ìàòåìàòè÷åñêîé ëîãèêè, çàíèìàëñÿ òåîðèé ÷èñåë,
     òåîðèåé âåðîÿòíîñòåé, òåîðèåé ãðóïï, êðèïòîãðàôèåé è òåîðåòè-
     ÷åñêîé èíôîðìàòèêîé. Îïèñàë â 1948 ã. àáñòðàêòíîå âû÷èñëèòåëü-
     íîå óñòðîéñòâî (ìàøèíà Òüþðèíãà ) è ïîñòóëèðîâàë, ÷òî íà í¼ì
     ìîæåò áûòü ðåàëèçîâàí ëþáîé ýôôåêòèâíî âû÷èñëèìûé ïðîöåññ
     (òåçèñ Òüþðèíãà ).  130
Óàéòõåä Àëüôðåä (Alfred North Whitehead, 18611947)  àíãëèéñêèé
     ôèëîñîô, ìàòåìàòèê è ëîãèê.     16, 130
Ôðåãå Ãîòòëîá (Gottlob Frege, 18481925)  âûäàþùèéñÿ íåìåöêèé
     ìàòåìàòèê è ëîãèê. Ðàçðàáîòàë ìåòîäèêó ïîñòðîåíèÿ ëîãè÷åñêèõ
     èñ÷èñëåíèé è ïðåäëîæèë ñîäåðæàòåëüíûå ìàòåìàòè÷åñêèå òåî-
     ðèè ôîðìóëèðîâàòü â âèäå òàêèõ èñ÷èñëåíèé. Ââ¼ë â ëîãèêó èñ-
     òèííîñòíûå òàáëèöû è êâàíòîðû. Âïåðâûå îáðàòèë âíèìàíèå íà
     ðàçëè÷èå îòíîøåíèé âêëþ÷åíèÿ êëàññîâ (⊆) è ïðèíàäëåæíîñòè
     ýëåìåíòà êëàññó (∈).
     ¾Ó Ôðåãå áûë èñêëþ÷èòåëüíî îñòðûé è òîíêèé óì, è ñëåäû åãî
     ãåíèÿ âñ¼ åù¼ ãëóáîêî îñòàëèñü â ñåðäöå ìàòåìàòè÷åñêîé ëîãèêè.
     Ê ñîæàëåíèþ, ó íåãî áûë î÷åíü ñêâåðíûé õàðàêòåð, è, ãîâîðÿò, îí
     áûë î÷åíü æåñòîê â ñâîåé êðèòèêå ñîâðåìåííèêîâ. Ìîæåò áûòü
     ïîýòîìó îí òàê äîëãî íå ïîëó÷àë ïðèçíàíèÿ. Ïðèçíàíèå òîëüêî-
     òîëüêî íà÷àëî ïðèõîäèòü ê íåìó, êîãäà Ðàññåë íàïèñàë åìó, â åãî
     ñèñòåìå âîçíèêàåò ïðîòèâîðå÷èå (ïàðàäîêñ Ðàññåëà). Âòîðîé òîì
     ¾Îñíîâíûõ çàêîíîâ àðèôìåòèêè¿ (1903) â òî âðåìÿ áûë óæå â
     ïå÷àòè. Ïîñëåäñòâèÿ áûëè äëÿ Ôðåãå òðàãè÷åñêèìè. Õîòÿ åìó òî-
     ãäà áûëî âñåãî ïÿòüäåñÿò ïÿòü ëåò è îí ïðîæèë ïîñëå ýòîãî áîëåå
     äâàäöàòè ëåò, îí áîëüøå íå îïóáëèêîâàë íè îäíîé çíà÷èòåëüíîé
     ðàáîòû ïî ëîãèêå.¿ [Õ. Êàððè. Îñíîâàíèÿ ìàòåìàòè÷åñêîé ëîãè-
     êè.  Ì.: Ìèð, 1969.]