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

UptoLike

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

Рубрика: 

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


      íå â íàïðàâëåíèè ðåøåíèé óðàâíåíèé, à â íàïðàâëåíèè ïîëó÷åíèÿ
      âñåâîçìîæíûõ ñëåäñòâèé èç äàííûõ ïîñûëîê. Â ëîãèêå ïðèìåíÿë
      òåîðåòèêî-âåðîÿòíîñòíûå ìåòîäû.  41

Ïîñò Ýìèëü (Emil Leon Post, 18971954)  àìåðèêàíñêèé ìàòåìàòèê è
      ëîãèê. Âí¼ñ ñóùåñòâåííûé âêëàä â òåîðèþ áóëåâûõ ôóíêöèé, òåî-
      ðèþ ðåêóðñèâíûõ ôóíêöèé è ìåòàìàòåìàòèêó. Â 1920-õ ãã. Ïîñò
      ïîëó÷èë, íî íå îïóáëèêîâàë ðåçóëüòàòû, ïåðåîòêðûòûå ïîçäíåå
      ß. Ëóêàñåâè÷åì, Ê. üäåëåì, ×¼ð÷åì è À. Òüþðèíãîì.  13,
      71, 71, 79

Ïèðñ ×àðëüç (Charles Pierce, 18391914)  àìåðèêàíñêèé ìàòåìàòèê,
      ôèëîñîô è ëîãèê. Âí¼ñ áîëüøîé âêëàä â ñòàíîâëåíèå ìàòåìàòè-
      ÷åñêîé ëîãèêè.  18, 33, 58

Ðàññåë Áåðòðàí (Bertran Russel, 18721970)  âûäàþùèéñÿ àíãëèé-
      ñêèé ôèëîñîô-íåîïîçèòèâèñò, ëîãèê, ñîöèîëîã è ëèòåðàòîð. Âí¼ñ
      çíà÷èòåëüíûé âêëàä â ðàçðàáîòêó îñíîâàíèé ìàòåìàòèêè.  ÷àñò-
      íîñòè, ñôîðìóëèðîâàë ò.í. ¾ïàðàäîêñ Ðàññåëà¿ (1901, â 1902 ã.
      ñîîáù¼í â ïèñüìå ê Ã. Ôðåãå; âïîñëåäñòâèè ïàðàäîêñ áûë ïå-
      ðåîòêðûò Ý. Öåðìåëî), âûÿâèâøèé ïðîòèâîðå÷èâîñòü èíòóèòèâ-
      íîãî ïîíÿòèÿ ìíîæåñòâà. Àâòîð (ñîâìåñòíî À. Óàéòõåäîì) ôóí-
      äàìåíòàëüíîé òðåõòîìíîé ìîíîãðàôèè ¾Principia mathematica¿.
      Ñîçäàë êîíöåïöèþ ¾ëîãè÷åñêîãî àòîìèçìà¿ è ðàçðàáîòàë òåîðèþ
      äåñêðèïöèé, ñ÷èòàë, ÷òî ìàòåìàòèêà ìîæåò áûòü âûâåäåíà èç ëî-
      ãèêè.
      Á. Ðàññåë ïðèíàäëåæàë ê ñòàðèííîìó àðèñòîêðàòè÷åñêîìó ðîäó.
      Áûë àòåèñòîì è àêòèâíûì îáùåñòâåííûì äåÿòåëåì. Âî âðåìÿ è
      ïîñëå I-é Ìèðîâîé âîéíû ïîäâåðãàëñÿ òþðåìíîìó çàêëþ÷åíèþ â
      Àíãëèè è ÑØÀ çà ñîöèàëèñòè÷åñêèå è ïàöèôèñòñêèå âûñòóïëå-
      íèÿ. Äâàæäû ïîñåùàë Ñîâåòñêóþ Ðîññèþ, âñòðå÷àëñÿ ñ Â. Ëå-
      íèíûì, Ë. Òðîöêèì è Ì. Ãîðüêèì, íàïèñàâ âïîñëåäñòâèè ðåçêî
      êðèòè÷åñêóþ ¾Ïðàêòèêó è òåîðèþ áîëüøèâèçìà¿. Ñ íà÷àëîì II-é
      Ìèðîâîé âîéíû Ðàññåë îòêàçûâàåòñÿ îò ïàöèôèçìà è ñòàíîâèòñÿ
      óáåæä¼ííûì àíòèôàøèñòîì. Ïîñëå âîéíû îí  èçâåñòíûé áîðåö
      çà ìèð (îäèí èç îñíîâàòåëåé Ïàãóîøñêîãî äâèæåíèÿ) è ïóáëè-
      öèñò, âûñòóïàþùèé ïî ðàçëè÷íûì âîïðîñàì îáùåñòâåííîé æèçíè
      (ïûòàëñÿ ïðåäîòâðàòèòü, â ÷àñòíîñòè, ñíîñ èñòîðè÷åñêîãî Ïðåîá-
      ðàæåíñêîãî õðàìà (Ïåòðà è Ïàâëà) â Ìîñêâå â 1964 ã.).
      Íîáåëåâñêàÿ ïðåìèÿ ïî ëèòåðàòóðå (1950) ¾...â çíàê ïðèçíàíèÿ
      ðàçíîîáðàçíûõ è çíà÷èòåëüíûõ ïðîèçâåäåíèé, â êîòîðûõ îí îò-
      ñòàèâàåò ãóìàíèñòè÷åñêèå èäåàëû è ñâîáîäó ìûñëè¿).  16, 41,
      126