Michiel van Lambalgen (born 6 November 1954, Krimpen aan den IJssel) is a professor of logic and cognitive science at the Institute for Logic, Language and Computation and the Department of Philosophy, University of Amsterdam in the Netherlands.See his web page .
In the 1980s van Lambalgen did research in randomness,Random sequences . Unpublished PhD dissertation, Department of Mathematics and Computer Science, University of Amsterdam, 1987. and in set theory, where he developed a theory with a randomness predicate R(x) which had important consequences for Gödel's program of finding more primitive axioms from which statements like Axiom of Choice could be derived.van Lambalgen, Michiel (1996). "Independence Structures in Set Theory", in: W. Hodges et al. (eds.) Logic: from Foundations to Applications (European Logic Colloquium), Oxford University Press. After some time felt the subject was "too abstract". Then in the 1990s he moved to artificial intelligence, where he picked up the methodology for studying cognition. In 1999 he spent a sabbatical with Keith Stenning at the University of Edinburgh, where he made contributions to the psychology of reasoning.See the interview with van Lambalgen in The Reasoner. His research interests include philosophy and the foundations of mathematics, reasoning with uncertainty, the psychology of reasoning, and the cognitive semantics of natural language.See his CV .
Notes
External links Michael van Lambalgen's web page Prof. dr. M. van Lambalgen, 1954 - at the University of Amsterdam Album Academicum website