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. [1]
In the 1980s van Lambalgen did research in randomness, [2] 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. [3] After some time felt the subject was "too abstract"[ citation needed]. 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. [4] His research interests include philosophy and the foundations of mathematics, reasoning with uncertainty, the psychology of reasoning, and the cognitive semantics of natural language. [5]
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. [1]
In the 1980s van Lambalgen did research in randomness, [2] 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. [3] After some time felt the subject was "too abstract"[ citation needed]. 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. [4] His research interests include philosophy and the foundations of mathematics, reasoning with uncertainty, the psychology of reasoning, and the cognitive semantics of natural language. [5]