Main Page | See live article | Alphabetical index Anders Martin-Löf is a Swedish logician, responsible for a pioneering definition of randomness. He had a profound influence on the field of Kolmogorov complexity or algorithmic information theory. Today he is a professor at the Department of Mathematics of Stockholm University. He has also defined an influential system of type theory, including dependent types. External links: Home page This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License.