Per Martin-Löf
- The definition of random sequences
1966/12/01 by Per Martin-Löf · 12 citations
Computer Science · Mathematics · #Benford’s Law and Fraud Detection #Computability, Logic, AI Algorithms #Evolutionary Algorithms and Applications
- An intuitionistic theory of types
1998/10/15 by Per Martin-Löf · 1 voice
Mathematics · Psychology · #History and Theory of Mathematics #Mathematics and Applications #Philosophy and Theoretical Science
- 100 years of Zermelo's axiom of choice: what was the problem with it?
2005/12/19 by Per Martin-Löf · 1 citation
Computer Science · #Computability, Logic, AI Algorithms