Мартин-Лёф, Пер
Поделись знанием:
– Ну что, довольна теперь? – сказал он ей, – поссорила с сыном! Довольна? Тебе только и нужно было! Довольна?.. Мне это больно, больно. Я стар и слаб, и тебе этого хотелось. Ну радуйся, радуйся… – И после этого княжна Марья в продолжение недели не видала своего отца. Он был болен и не выходил из кабинета.
К удивлению своему, княжна Марья заметила, что за это время болезни старый князь так же не допускал к себе и m lle Bourienne. Один Тихон ходил за ним.
Через неделю князь вышел и начал опять прежнюю жизнь, с особенной деятельностью занимаясь постройками и садами и прекратив все прежние отношения с m lle Bourienne. Вид его и холодный тон с княжной Марьей как будто говорил ей: «Вот видишь, ты выдумала на меня налгала князю Андрею про отношения мои с этой француженкой и поссорила меня с ним; а ты видишь, что мне не нужны ни ты, ни француженка».
Одну половину дня княжна Марья проводила у Николушки, следя за его уроками, сама давала ему уроки русского языка и музыки, и разговаривая с Десалем; другую часть дня она проводила в своей половине с книгами, старухой няней и с божьими людьми, которые иногда с заднего крыльца приходили к ней.
О войне княжна Марья думала так, как думают о войне женщины. Она боялась за брата, который был там, ужасалась, не понимая ее, перед людской жестокостью, заставлявшей их убивать друг друга; но не понимала значения этой войны, казавшейся ей такою же, как и все прежние войны. Она не понимала значения этой войны, несмотря на то, что Десаль, ее постоянный собеседник, страстно интересовавшийся ходом войны, старался ей растолковать свои соображения, и несмотря на то, что приходившие к ней божьи люди все по своему с ужасом говорили о народных слухах про нашествие антихриста, и несмотря на то, что Жюли, теперь княгиня Друбецкая, опять вступившая с ней в переписку, писала ей из Москвы патриотические письма.
«Я вам пишу по русски, мой добрый друг, – писала Жюли, – потому что я имею ненависть ко всем французам, равно и к языку их, который я не могу слышать говорить… Мы в Москве все восторжены через энтузиазм к нашему обожаемому императору.
Бедный муж мой переносит труды и голод в жидовских корчмах; но новости, которые я имею, еще более воодушевляют меня.
Вы слышали, верно, о героическом подвиге Раевского, обнявшего двух сыновей и сказавшего: «Погибну с ними, но не поколеблемся!И действительно, хотя неприятель был вдвое сильнее нас, мы не колебнулись. Мы проводим время, как можем; но на войне, как на войне. Княжна Алина и Sophie сидят со мною целые дни, и мы, несчастные вдовы живых мужей, за корпией делаем прекрасные разговоры; только вас, мой друг, недостает… и т. д.
Пер Мартин-Лёф | |
Per Martin-Löf | |
Пер Мартин-Лёф в 2004 году | |
Дата рождения: | |
---|---|
Научная сфера: | |
Награды и премии: |
Медаль Колмогорова (2005) |
Пер Мартин-Лёф (швед. Per Martin-Löf; род. 8 мая 1942) — шведский логик, статистик и философ. Член Шведской королевской академии наук.
Биография
В 1964—1965 гг. учился в МГУ у А. Н. Колмогорова. В 1970 г. защитил диссертацию в Стокгольмском университете, в дальнейшем занимался научной и преподавательской деятельностью. В настоящее время профессор философии математики Стокгольмского университета.
Широкую известность получили его работы в области статистики и алгоритмической теории вероятностей[1], основаниям математики и логики[2], алгоритмической теории информации[3] и теории конструкций[4].
Основные труды
- The continuity theorem on a locally compact group, 1965
- Probability theory on discrete semigroups, 1965
- The Definition of Random Sequences, 1966
- Statistics from the point of view of statistical mechanics, 1966
- Statistika Modeller (Statistical Models): Anteckningar fran seminarier läsåret 1969—1970, 1970
- Exact tests, confidence regions and estimates, 1974
- Constructive mathematics and computer programming, 1982
- Intuitionistic type theory, 1984
- On the Meanings of the Logical Constants and the Justifications of the Logical Laws, 1996
Напишите отзыв о статье "Мартин-Лёф, Пер"
Примечания
- ↑ [dic.academic.ru/dic.nsf/enc_philosophy/4131 Алгоритм] / Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001.
- ↑ [dic.academic.ru/dic.nsf/enc_philosophy/4420 Конструктивное направление] / Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.
- ↑ [dic.academic.ru/dic.nsf/enc_mathematics/153 Алгоритмическая теория информации] / Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.
- ↑ [dic.academic.ru/dic.nsf/enc_philosophy/628 Логицизм] / Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001.
<imagemap>: неверное или отсутствующее изображение |
Для улучшения этой статьи по логике желательно?:
|
Отрывок, характеризующий Мартин-Лёф, Пер
На другой день после отъезда сына князь Николай Андреич позвал к себе княжну Марью.– Ну что, довольна теперь? – сказал он ей, – поссорила с сыном! Довольна? Тебе только и нужно было! Довольна?.. Мне это больно, больно. Я стар и слаб, и тебе этого хотелось. Ну радуйся, радуйся… – И после этого княжна Марья в продолжение недели не видала своего отца. Он был болен и не выходил из кабинета.
К удивлению своему, княжна Марья заметила, что за это время болезни старый князь так же не допускал к себе и m lle Bourienne. Один Тихон ходил за ним.
Через неделю князь вышел и начал опять прежнюю жизнь, с особенной деятельностью занимаясь постройками и садами и прекратив все прежние отношения с m lle Bourienne. Вид его и холодный тон с княжной Марьей как будто говорил ей: «Вот видишь, ты выдумала на меня налгала князю Андрею про отношения мои с этой француженкой и поссорила меня с ним; а ты видишь, что мне не нужны ни ты, ни француженка».
Одну половину дня княжна Марья проводила у Николушки, следя за его уроками, сама давала ему уроки русского языка и музыки, и разговаривая с Десалем; другую часть дня она проводила в своей половине с книгами, старухой няней и с божьими людьми, которые иногда с заднего крыльца приходили к ней.
О войне княжна Марья думала так, как думают о войне женщины. Она боялась за брата, который был там, ужасалась, не понимая ее, перед людской жестокостью, заставлявшей их убивать друг друга; но не понимала значения этой войны, казавшейся ей такою же, как и все прежние войны. Она не понимала значения этой войны, несмотря на то, что Десаль, ее постоянный собеседник, страстно интересовавшийся ходом войны, старался ей растолковать свои соображения, и несмотря на то, что приходившие к ней божьи люди все по своему с ужасом говорили о народных слухах про нашествие антихриста, и несмотря на то, что Жюли, теперь княгиня Друбецкая, опять вступившая с ней в переписку, писала ей из Москвы патриотические письма.
«Я вам пишу по русски, мой добрый друг, – писала Жюли, – потому что я имею ненависть ко всем французам, равно и к языку их, который я не могу слышать говорить… Мы в Москве все восторжены через энтузиазм к нашему обожаемому императору.
Бедный муж мой переносит труды и голод в жидовских корчмах; но новости, которые я имею, еще более воодушевляют меня.
Вы слышали, верно, о героическом подвиге Раевского, обнявшего двух сыновей и сказавшего: «Погибну с ними, но не поколеблемся!И действительно, хотя неприятель был вдвое сильнее нас, мы не колебнулись. Мы проводим время, как можем; но на войне, как на войне. Княжна Алина и Sophie сидят со мною целые дни, и мы, несчастные вдовы живых мужей, за корпией делаем прекрасные разговоры; только вас, мой друг, недостает… и т. д.