community
directory
books
authors
images
encyclopedia
Email:
Password:
Register

Knowledgerush Search

 
Google
  Web knowledgerush


Search for images of Anders Martin-Löf


Message boards   Post comment

Anders Martin-Löf

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:

Referenced By

List of mathematicians | Randomness

 

Compose Your Message

Your Email Address or Pen Name (optional):
Subject:
Your Message:
 

 

 

 

 

 

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Anders Martin-Löf".

 

Contact Us | Privacy Statement & Terms of Use

 
Copyright © 1999-2003 Knowledgerush.com. All rights reserved.