Per Erik Rutger Martin-Löf (/ˈmɑːrtɪn lɒf/;[1]
Swedish: [ˈmaʈiːn ˈløːv];[2] born May 8, 1942) is a Swedish
logician, philosopher, and mathematical statistician. He is
internationally renowned for his work on the foundations of
probability, statistics, mathematical logic, and computer science.
Since the late 1970s, Martin-Löf's publications have been mainly in
logic. In philosophical logic, Martin-Löf has wrestled with the
philosophy of logical consequence and judgment, partly inspired by the
work of Brentano, Frege, and Husserl. In mathematical logic,
Martin-Löf has been active in developing intuitionistic type theory
as a constructive foundation of mathematics; Martin-Löf's work on
type theory has influenced computer science.[3]
Until his retirement in 2009,[4]
Contents 1 Randomness and Kolmogorov complexity 2 Mathematical statistics 2.1 Bird-watching and sex determination
2.2
2.3.1
3 Logic 3.1 Philosophical logic 3.2 Type theory 4 Awards 5 See also 6 Notes 7 References 7.1
8 External links Randomness and Kolmogorov complexity[edit]
Main article: Algorithmically random sequence
See also:
The
See also: Bird watching, Bird ringing, Mark and recapture, and
Ornithology
The steps of the
See also: Model selection, Sufficient statistic, hypothesis test, and
Exact test
In the 1970s,
Franz Brentano Philosophical logic[edit]
See also: Logical consequence, Entailment, Analytic philosophy,
Continental philosophy, Intuitionism, and Phenomenology (philosophy)
In philosophical logic,
Franz Brentano Rudolf Carnap Michael Dummett Gottlob Frege Ulf Grenander Jaakko Hintikka Edmund Husserl Andrei N. Kolmogorov Anders Martin-Löf John von Neumann Peter Pagin Dag Prawitz Charles Sanders Peirce Frank P. Ramsey Bertrand Russell Dana Scott Alfred Tarski Alan Turing Notes[edit] ^ Does HoTT Provide a Foundation for Mathematics? by James Ladyman
(University of Bristol, UK)
^ Peter Dybjer on types and testing – The Type Theory Podcast
^ See e.g. Nordström, Bengt; Petersson, Kent; Smith, Jan M. (1990),
Programming in Martin-Löf ’s Type Theory: An Introduction (PDF),
Oxford University Press .
^
References[edit]
Martin-Löf, P. (1961). "ringed birds". Arkiv för Zoologi (Zoology files), Kungliga Svenska Vetenskapsakademien (The Royal Swedish Academy of Sciences) Serie 2. Band 13 (21). George A. Barnard, "Gone Birdwatching", New Scientist, 4 December 1999, magazine issue 2215. Seber, G.A.F. The Estimation of Animal Abundance and Related Parameters. Caldwel, New Jersey: Blackburn Press. ISBN 1-930665-55-5. Royle, J. A.; R. M. Dorazio (2008). Hierarchical Modeling and Inference in Ecology. Elsevier. ISBN 1-930665-55-5.
Per Martin-Löf. "The Definition of Random Sequences." Information and Control, 9(6): 602–619, 1966. Li, Ming and Vitányi, Paul, An Introduction to Kolmogorov Complexity and Its Applications, Springer, 1997. Introduction chapter full-text.
Grenander, Ulf.
Anders Martin-Löf. 1963. "Utvärdering av livslängder i
subnanosekundsområdet" ("Evaluation of lifetimes in time-lengths
below one nanosecond"). ("Sundberg formula", according to Sundberg
1971)
Per Martin-Löf. 1966.
Foundations of mathematics, logic, and computer science[edit] Per Martin-Löf. A theory of types. Preprint, Stockholm University,
1971.
Per Martin-Löf. An intuitionistic theory of types. In G. Sambin and
J. Smith, editors, Twenty-Five Years of Constructive Type Theory.
Oxford University Press, 1998. Reprinted version of an unpublished
report from 1972.
Per Martin-Löf. An intuitionistic theory of types: Predicative part.
In H. E. Rose and J. C. Shepherdson, editors,
External links[edit]
Authority control WorldCat Identities VIAF: 92134760 LCCN: n86081083 ISNI: 0000 0001 2030 6590 GND: 122298624 SUDOC: 086109774 BNF: cb123858392 (data) BIBSYS: 90387800 MGP: 2 |