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

UptoLike

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

Рубрика: 

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


      Çàìåòèì, ÷òî íåîáû÷íîå ÷òåíèå åãî ôàìèëèè ñâÿçàíî ñ å¼ ôðèç-
      ñêèì (ôðèçû  ìàëî÷èñëåííûé íàðîä íà îñòðîâàõ Ñåâåðíîãî ìî-
      ðÿ) ïðîèñõîæäåíèåì. Ìû ïðèâîäèì çàêðåïèâøååñÿ íàïèñàíèå ôà-
      ìèëèè. Ñàì îí ïðîèçíîñèë å¼ êàê ¾Êëåéíè¿.  45, 84
Ëåñíåâñêèé Ñòàíèñëàâ (Stanislaw Lesniewski, 18861939)  ïîëüñêèé
      ëîãèê, îäèí èç îñíîâàòåëåé Ëüâîâñêî-Âàðøàâñêîé øêîëû ëîãèêè.
       128, 131
˼âåíãåéì Ëåîïîëüä (Leopold Lowenheim, 18781957), øâåäñêèé ëî-
      ãèê. Ïåðâûì (íà 20 ëåò ðàíüøå üäåëÿ) ïîëó÷èë ðåçóëüòàòû ïî
      íåïîëíîòå àêñèîìàòè÷åñêèõ òåîðèé, îäíàêî íå ñóìåë èõ òî÷íî
      ñôîðìóëèðîâàòü è äîêàçàòü. Ðàáîòà åãî îñòàëàñü íåçàìå÷åííîé
      è, îñòàâøèñü íåïîíÿòûì, îí ïîïàë â ïñèõëå÷åáíèöó.  47
Ëèíäåíáàóì Àäîëüô (Adolf Lindenbaum, 19041941?1942?)  ïîëü-
      ñêèé ìàòåìàòèê è ëîãèê, äîöåíò Âàðøàâñêîãî óíèâåðñèòåòà.
      C îñåíè 1941 ã. íàõîäèëñÿ â êîíöëàãåðå Ïîíàðè (áëèç Âèëüíþñà),
      ãäå ïðîïàë áåç âåñòè.  68, 69, 70, 79, 81
Ëóêàñåâè÷ ßí (Jan Lukasiewicz, 18781956)  ïîëüñêèé ëîãèê. Ðàç-
      ðàáîòàë òðåõçíà÷íîå (ïåðâîå ìíîãîçíà÷íîå) ïðîïîçèöèîíàëüíîå
      èñ÷èñëåíèå (1917). Âìåñòå ñ Ñ. Ëåñíåâñêèì îñíîâàë Ëüâîâñêî-
      Âàðøàâñêóþ øêîëó ëîãèêè. Ðàçðàáîòàë áåññêîáî÷íóþ çàïèñü
      (ïîëüñêàÿ íîòàöèÿ ) äëÿ àëãåáðàè÷åñêèõ âûðàæåíèé.
      Ìèíèñòð îáðàçîâàíèÿ Ïîëüøè (1919), ñ 1920 ïî 1939  ïðîôåñ-
      ñîð Âàðøàâñêîãî óíèâåðñèòåòà, ãäå äâàæäû èçáèðàëñÿ ðåêòîðîì.
      Ïåðåæèâ áîëüøèå ëèøåíèÿ âî âðåìÿ ãåðìàíñêîé îêêóïàöèè, ñðà-
      çó ïîñëå îñâîáîæäåíèÿ Ïîëüøè ýìèãðèðîâàë íà Çàïàä. Ñ 1946 ã.
      çàâåäîâàë êàôåäðîé â Äóáëèíñêîì óíèâåðñèòåòå (Èðëàíäèÿ). 
      82, 130
Äå Ìîðãàí Àóãóñòóñ (Augustus De Morgan, 18061871)  àíãëèéñêèé
      ìàòåìàòèê, îäèí èç îñíîâîïîëîæíèêîâ ìàòåìàòè÷åñêîé ëîãèêè.
      Óêàçàë íà ëîãè÷åñêèå çàêîíû, íàçâàííûå åãî èìåíåì.
      Íàïèñàë 712 ñòàòåé äëÿ ¾Äåø¼âîé ýíöèêëîïåäèè¿, â îäíîé èç êî-
      òîðûõ âïåðâûå ââ¼ë ïîíÿòèå ìàòåìàòè÷åñêîé èíäóêöèè, êîòîðûì
      äàëåå ïîëüçîâàëñÿ áåç ÿñíîãî îïèñàíèÿ è ñòðîãîãî îáîñíîâàíèÿ.
      Òðóäû Äå Ìîðãàíà ïî ðàñõîäÿùèìñÿ ðÿäàì Õ. Õàðäè îõàðàêòå-
      ðèçîâàë êàê ïîðàæàþùèé ñïëàâ ãëóáîêèõ ìûñëåé è ãðóáûõ îøè-
      áîê. ×àñòíûì îáðàçîì ïðåïîäàâàë ìàòåìàòèêó Àâãóñòå Àäå Êèíã
      (Áàéðîí), ëåäè Ëàâëåéñ (â 1833 ã. â çàìå÷àíèÿõ ê ïåðåâåä¼ííîé åé
      ñòàòüå, ïîñâÿù¼ííîé âû÷èñëèòåëüíîé ìàøèíå ×. Áýááèäæà, îíà
      îïèñàëà, êàê ýòà ìàøèíà ìîæåò áûòü çàïðîãðàììèðîâàíà, ÷òî