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

UptoLike

ВУЗ: 

МГУ | Москва

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

Рубрика: 

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




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


                             ...êàæäûé èìååò ñâîå äàðîâàíèå îò Áîãà,
                             îäèí òàê, äðóãîé èíà÷å.
                                                          1 Êîð. 7:7


Àêêåðìàí Âèëüãåëüì (Wilhelm Ackermann, 18961962)  íåìåöêèé
      ëîãèê, ó÷åíèê Ä. Ãèëüáåðòà, ðàáîòàâøèé ñ íèì â Ãåòòèíãåíñêîì
      óíèâåðñèòåòå.  72, 83, 112
Áåò Ýâåðò (Evert Beth, 19081964)  ãîëëàíäñêèé ôèëîñîô è ëîãèê.
         29
Áóëü Äæîðæ (George Bool, 18151864)  àíãëèéñêèé ìàòåìàòèê-
      ñàìîó÷êà. Ïðåïîäàâàë ìàòåìàòèêó â îòêðûòîé èì ìàëåíüêîé
      ýëåìåíòàðíîé øêîëå. Ñàìîñòîÿòåëüíî âûó÷èë ëàòûíü, ãðå÷å-
      ñêèé, ôðàíöóçñêèé è íåìåöêèé ÿçûêè, èçó÷èë îáøèðíûå òðóäû
      Ëàïëàñà è Ëàãðàíæà. Ïðè ïîääåðæêå äðóçåé (â ÷èñëî êîòîðûõ
      âõîäèë Äå Ìîðãàí) â 1849 ã. ñòàë ïðîôåññîðîì ìàòåìàòèêè âî
      âíîâü îòêðûòîì êàòîëè÷åñêîì êîëëåäæå â ã. Êîðê (Èðëàíäèÿ).
       1854 ã. âûøëî â ñâåò îñíîâíîå ïðîèçâåäåíèå Áóëÿ ¾Èññëåäîâà-
      íèå çàêîíîâ ìûñëè, íà êîòîðûõ îñíîâàíû ìàòåìàòè÷åñêèå òåîðèè
      ëîãèêè è âåðîÿòíîñòåé¿, ïðî êîòîðóþ Á. Ðàññåë ñêàçàë: ¾×èñòóþ
      ìàòåìàòèêó îòêðûë Áóëü â ñî÷èíåíèè, êîòîðîå íàçûâàëîñü Çà-
      êîíû ìûñëè¿.  11, 13, 66
Áóðèäàí Æàí (Iohannes Buridanus, îê. 1300îê. 1358), ôðàíöóçñêèé
      ôèëîñîô-íîìèíàëèñò, ôèçèê è ëîãèê, ðåêòîð Ïàðèæñêîãî óíè-
      âåðñèòåòà.  7
Âàñèëüåâ Íèêîëàé Àëåêñàíäðîâè÷ (18801940)  ðîññèéñêîì ó÷¼íûé,
      ñîçäàòåëü íåêëàññè÷åñêîé ò.í. âîîáðàæàåìîé ëîãèêè.    127
Ãåíöåí Ãåðõàðä (Gerhard Gentzen, 19091945), íåìåöêèé ìàòåìàòèê è
      ëîãèê, ó÷åíèê Ä. Ãèëüáåðòà è Ã. Âåéëÿ. Áûë ÷ëåíîì ÍÑÄÀÏ è

Страницы