ペール・マルティン=レーフ
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/02/11 14:48 UTC 版)
ペール・エリック・ルトガー・マルティン=レーフ(Per Erik Rutger Martin-Löf([lɒf]; [2] スウェーデン語: [ ˈmǎʈːɪn ˈløːv ]; [3]), 1942年5月8日 - ) は、スウェーデンの論理学者・哲学者・数理統計学者。 確率、統計学、数理論理学、および計算機科学の基礎に関する研究で世界的に知られる。1970年代後半以降は、マルティン=レーフの出版物は論理学に属するものが主なものとなった。
- ^ The International Who's Who: 1996-97, Europa Publications, 1996, p. 1020: "Martin-Löf, Per Erik Rutger."
- ^ Does HoTT Provide a Foundation for Mathematics? by James Ladyman (University of Bristol, UK)
- ^ Peter Dybjer on types and testing – The Type Theory Podcast
- ^ a b 飯田隆(責任編集) 編『哲学の歴史』 11(論理・数学・言語 20世紀 Ⅱ 科学の世紀と哲学)、中央公論新社、2007年。 p.716
- ^ See e.g. Nordström, Bengt; Petersson, Kent; Smith, Jan M. (1990), Programming in Martin-Löf 's Type Theory: An Introduction, Oxford University Press.
- ^ Philosophy and Foundations of Mathematics: Epistemological and Ontological Aspects. A conference dedicated to Per Martin-Löf on the occasion of his retirement Archived 2014-02-02 at the Wayback Machine.. Swedish Collegium for Advanced Study, Uppsala, May 5–8, 2009. Retrieved 2014-01-26.
- ^ a b Member profile, Academia Europaea, retrieved 2014-01-26.
- ^ 詳細は、この記事の#統計モデルの節を参照。
- ^ a b Martin-Löf (1961).
- ^ Per Martin-Löf (1966). “The definition of random sequences”. Information and Control (journal) 9 (6): 602–619. doi:10.1016/S0019-9958(66)80018-9.
- ^ Jean-Paul Delahaye, Randomness, Unpredictability and Absence of Order, in Philosophy of Probability, p. 145–167, Springer 1993.
- ^ George A. Barnard, "Gone Birdwatching", New Scientist, 4 December 1999, magazine issue 2215.
- ^ S. M. Taylor (1966). “Recent Quantitative Work on British Bird Populations. A Review”. Journal of the Royal Statistical Society, Series D 16 (=No. 2): 119–170. JSTOR 2986734.
- ^ Martin-Löf, P. The continuity theorem on a locally compact group. Teor. Verojatnost. i Primenen. 10 1965 367–371.
- ^ Martin-Löf, Per Probability theory on discrete semigroups. Z. Wahrscheinlichkeitstheorie und Verw. Gebiete 4 1965 78–102
- ^ Nitis Mukhopadhyay. A Conversation with Ulf Grenander. Statist. Sci. Volume 21, Number 3 (2006), 404–426.
- ^ a b Andrei N. Kolmogorov (1963). “On Tables of Random Numbers”. Sankhyā Ser. A. 25: 369–375.
- ^ Rolf Sundberg. 1971. Maximum likelihood theory and applications for distributions generated when observing a function of an exponential family variable. Dissertation, Institute for Mathematical Statistics, Stockholm University.
- ^ Anders Martin-Löf. 1963. "Utvärdering av livslängder i subnanosekundsområdet" ("Evaluation of lifetimes in time-lengths below one nanosecond"). ("Sundberg formula")
- ^ Per Martin-Löf. 1966. Statistics from the point of view of statistical mechanics. Lecture notes, Mathematical Institute, Aarhus University. ("Sundberg formula" credited to Anders Martin-Löf).
- ^ Per Martin-Löf. 1970. Statistika Modeller (Statistical Models): Anteckningar fran seminarier läsåret 1969–1970 (Notes from seminars in the academic year 1969–1970), with the assistance of Rolf Sundberg. Stockholm University. ("Sundberg formula")
- ^ Dempster, A.P.; Laird, N.M.; Rubin, D.B. (1977). “Maximum Likelihood from Incomplete Data via the EM Algorithm”. Journal of the Royal Statistical Society, Series B 39 (1): 1–38. JSTOR 2984875. MR0501537.
- ^ “The Royal Swedish Academy of Sciences: Per Martin-Löf”. 2009年5月1日閲覧。 [リンク切れ]
- ^ Per Martin-Löf, "The definition of random sequences," Information and Control, Vol.9, pp. 602-619, 1966.
- ^ Per Martin-Löf, Intuitionistic Type Theory, Bibliopolis, 1984 (ISBN 8870881059).
- ^ Per Martin-Löf, "On the meanings of the logical constants and the justifications of the logical laws Archived 2006年1月4日, at the Wayback Machine.", Atti degli Incontri di Logica Matematica, Vol.2, 1985, pp. 203-281; Reprinted in Nordic Journal of Philosophical Logic, Vol.1, 1996, pp. 11-60.
- ^ Per Martin-Löf, "Analytic and synthetic judgements in type theory" in Paolo Parrini (ed.), Kant and Contemporary Epistemology, Kluwer, 1994, pp. 87-99 (ISBN 0792326814).
- 1 ペール・マルティン=レーフとは
- 2 ペール・マルティン=レーフの概要
- 3 論理学
- 4 受賞歴
- 5 参考文献
- 6 外部リンク
固有名詞の分類
20世紀の数学者 | ソロモン・ゴロム 山辺英彦 ペール・マルティン=レーフ アルマン・ボレル ジャン=クリストフ・ヨッコス |
21世紀の数学者 | 前田吉昭 サハロン・シェラハ ペール・マルティン=レーフ アルマン・ボレル ジャン=クリストフ・ヨッコス |
論理学者 | ジャック・エルブラン サハロン・シェラハ ペール・マルティン=レーフ 計算機科学 テオプラストス |
スウェーデンの数学者 | レオナルト・カルレソン ハラルド・クラメール ペール・マルティン=レーフ ヨースタ・ミッタク=レフラー ハンス・リーゼル |
スウェーデンの哲学者 | ロルフ・ショック エルンスト・カッシーラー ペール・マルティン=レーフ ニック・ボストロム |
Weblioに収録されているすべての辞書からペール・マルティン=レーフを検索する場合は、下記のリンクをクリックしてください。
全ての辞書からペール・マルティン=レーフを検索
- ペール・マルティン=レーフのページへのリンク