77:. His research interests include philosophy and the foundations of mathematics, reasoning with uncertainty, the psychology of reasoning, and the cognitive semantics of natural language.
244:
32:
249:
234:
239:
229:
116:
166:
186:
97:
146:
57:
which had important consequences for Gödel's program of finding more primitive axioms from which statements like
224:
123:. Unpublished PhD dissertation, Department of Mathematics and Computer Science, University of Amsterdam, 1987.
195:
74:
70:
62:
36:
219:
20:
61:
could be derived. After some time felt the subject was "too abstract". Then in the 1990s he moved to
214:
132:
van
Lambalgen, Michiel (1996). "Independence Structures in Set Theory", in: W. Hodges et al. (eds.)
65:, where he picked up the methodology for studying cognition. In 1999 he spent a sabbatical with
28:
170:
120:
101:
58:
113:
163:
66:
208:
40:
47:
191:
94:
134:
Logic: from
Foundations to Applications (European Logic Colloquium)
24:
150:
46:
In the 1980s van
Lambalgen did research in randomness, and in
245:Academic staff of the University of Amsterdam
33:Institute for Logic, Language and Computation
8:
86:
50:, where he developed a theory with a
7:
73:where he made contributions to the
250:People from Krimpen aan den IJssel
192:Prof. dr. M. van Lambalgen, 1954 -
35:and the Department of Philosophy,
14:
187:Michael van Lambalgen's web page
235:20th-century Dutch philosophers
240:University of Amsterdam alumni
1:
266:
230:Dutch cognitive scientists
136:, Oxford University Press.
196:University of Amsterdam
75:psychology of reasoning
71:University of Edinburgh
63:artificial intelligence
37:University of Amsterdam
19:(born 6 November 1954,
149:with van Lambalgen in
21:Krimpen aan den IJssel
17:Michiel van Lambalgen
52:randomness predicate
23:) is a professor of
169:2011-06-06 at the
119:2006-05-29 at the
100:2007-05-27 at the
29:Cognitive Science
257:
199:Album Academicum
174:
160:
154:
143:
137:
130:
124:
114:Random sequences
111:
105:
91:
265:
264:
260:
259:
258:
256:
255:
254:
225:Dutch logicians
205:
204:
183:
178:
177:
171:Wayback Machine
161:
157:
144:
140:
131:
127:
121:Wayback Machine
112:
108:
102:Wayback Machine
92:
88:
83:
59:Axiom of Choice
12:
11:
5:
263:
261:
253:
252:
247:
242:
237:
232:
227:
222:
217:
207:
206:
203:
202:
189:
182:
181:External links
179:
176:
175:
155:
138:
125:
106:
85:
84:
82:
79:
67:Keith Stenning
13:
10:
9:
6:
4:
3:
2:
262:
251:
248:
246:
243:
241:
238:
236:
233:
231:
228:
226:
223:
221:
220:Living people
218:
216:
213:
212:
210:
200:
197:
193:
190:
188:
185:
184:
180:
172:
168:
165:
159:
156:
152:
148:
142:
139:
135:
129:
126:
122:
118:
115:
110:
107:
103:
99:
96:
90:
87:
80:
78:
76:
72:
68:
64:
60:
56:
53:
49:
44:
42:
38:
34:
30:
26:
22:
18:
198:
158:
151:The Reasoner
141:
133:
128:
109:
89:
54:
51:
45:
16:
15:
215:1954 births
41:Netherlands
209:Categories
48:set theory
147:interview
167:Archived
145:See the
117:Archived
98:Archived
95:web page
93:See his
201:website
194:at the
69:at the
39:in the
31:at the
164:his CV
81:Notes
25:Logic
162:See
55:R(x)
27:and
211::
43:.
173:.
153:.
104:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.