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

UptoLike

ВУЗ: 

МГУ | Москва

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

Рубрика: 

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


     ÑÀ. Ñîñòîÿë â äîëæíîñòè äîöåíòà Ãåðìàíñêîãî óíèâåðñèòåòà â
     Ïðàãå â ãîäû îêêóïàöèè. Áûë àðåñòîâàí âî âðåìÿ ïðàæñêîãî âîñ-
     ñòàíèÿ â ìàå 1945 ã., ïåðåäàí ñîâåòñêèì âëàñòÿì è ïîìåù¼í â
     ëàãåðü äëÿ èíòåðíèðîâàííûõ, ãäå âñêîðå óìåð.  88, 112, 124
üäåëü Êóðò (Kurt Godel, 19061978)  âûäàþùèéñÿ ìàòåìàòèê è ëî-
     ãèê XX âåêà, àâòîð ðÿäà ôóíäàìåíòàëüíûõ ðåçóëüòàòîâ â îáëà-
     ñòè ìàòåìàòè÷åñêîé ëîãèêè, îñíîâàíèé ìàòåìàòèêè è òåîðèè ìíî-
     æåñòâ. Ñóùíîñòü åãî ðåâîëþöèîííûõ òåîðåì ïî íåïîëíîòå ëîãè-
     ÷åñêèõ òåîðèé (1931 ã.) íåêîòîðîå âðåìÿ íå ïîíèìàëàñü àäåêâàòíî
     äàæå òàêèìè âûäàþùèìèñÿ ó÷¼íûìè, êàê Á. Ðàññåë, Ý. Öåðìåëî
     è Ë. Âèòãåíøòåéí.
     Àâñòðèåö, ñ 1940 ã. ðàáîòàë â ÑØÀ. ¾Çèìîé 1940 ã. Êàçàíñêèé
     Êðåìëü èç îêíà òðàíññèáèðñêîãî ýêñïðåññà ìîã âèäåòü Ê. üäåëü,
     ïåðåñåêàâøèé Ñîâåòñêóþ Ðîññèþ ñ òåì, ÷òîáû èç Âëàäèâîñòî-
     êà îòïðàâèòüñÿ â ýìèãðàöèþ â ÑØÀ. Ìåòàìîðôîçû èñòîðèè íà
     íåñêîëüêî ÷àñîâ ñîêðàòèëè ðàññòîÿíèå äî ñ÷èòàííûõ êèëîìåòðîâ
     ìåæäó âåëèêèì ëîãèêîì-êëàññèêîì Ê. üäåëåì è Í.À. Âàñèëüå-
     âûì, ïðîðóáèâøèì îêíî â âûñøåé ñòåïåíè íåêëàññè÷åñêîå ïðî-
     ñòðàíñòâî ëîãèêè, è ïðåáûâàâøèì â ïîñëåäíèå ìåñÿöû æèçíè â
     ïñèõèàòðè÷åñêîé áîëüíèöå, ñïàñøåé åãî îò ñòàëèíñêîãî òåððîðà.
     üäåëÿ âïåðåäè îæèäàë òðèóìô è âñåîáùåå ïî÷èòàíèå; Âàñèëüå-
     âà æå æäàëî ìíîãîëåòíåå çàáâåíèå... Îáà ëîãèêà, íå ñëûøàâøèå
     äðóã î äðóãå, ñâîèìè èäåÿìè ïðåòåíäîâàëè íà âå÷íîñòü.¿7
     Èíòåðåñíî, ÷òî â ðàáîòå 1949 ã. üäåëü ïðåäïîëîæèë ñóùåñòâîâà-
     íèå ðàçëè÷íûõ ìîäåëåé ïðîñòðàíñòâà-âðåìåíè â òåîðèè À. Ýéí-
     øòåéíà, íà îñíîâàíèè ÷åãî íåêîòîðûå ôèçèêè (À. Îðè è äð.) îáîñ-
     íîâûâàþò âîçìîæíîñòü ïóòåøåñòâèÿ âî âðåìåíè.  47, 72, 112,
     130, 41
Ãèëüáåðò Äàâèä (David Gilbert, 18621943)  îäèí èç êðóïíåéøèõ
     ìàòåìàòèêîâ ñâîåãî âðåìåíè; â ñâîèõ ïîçäíèõ ðàáîòàõ âí¼ñ çíà-
     ÷èòåëüíûé âêëàä â ðàçâèòèå ìàòåìàòè÷åñêîé ëîãèêè. Ïîñëå ïðè-
     õîäà íàöèñòîâ ê âëàñòè â Ãåðìàíèè Ãèëüáåðò îòîø¼ë îò äåë â
     üòòèíãåíñêîì óíèâåðñèòåòå, ãäå â òî âðåìÿ ðàáîòàë.  46, 47,
     72, 83, 126
Êë
  èíè Ñòåôåí (Stephen C.Kleene, 19091994)  âûäàþùèéñÿ àìåðè-
     êàíñêèé ëîãèê è ìàòåìàòèê. Åìó ïðèíàäëåæàò ôóíäàìåíòàëüíûå
     ìîíîãðàôèè ïî ìàòåìàòè÷åñêîé ëîãèêå  ¾Ââåäåíèå â ìåòàìàòå-
     ìàòèêó¿ è äîïîëíÿþùàÿ åãî êíèãà [8]. Ñ. Êëèíè  îäèí èç îñíî-
     âîïîëîæíèêîâ òåîðèè íåéðîííûõ ñåòåé.
  7 Â.À. Áàæàíîâ. Èñòîðèÿ ëîãèêè â Ðîññèè è ÑÑÑÐ.  Ì.: ¾Êàíîí+¿ ÐÎÎÈ
¾Ðåàáèëèòàöèÿ¿, 2007.

Страницы