295:
348:
438:
389:
332:
428:
423:
158:
382:
448:
189:
66:
325:
375:
177:
147:
117:
54:
443:
250:
433:
294:
318:
139:
225:
212:
127:
101:
266:
78:
418:
74:
413:
408:
208:
58:
173:
143:
113:
34:
135:
109:
62:
272:
359:
302:
402:
355:
131:
105:
153:
53:
Franzén worked at the
Department of Computer Science and Electrical Engineering at
229:
85:
172:(Acta universitatis stockholmiensis, Stockholm Studies in Philosophy 9) (1987)
17:
38:
347:
70:
42:
275:
Gödel's
Theorem: An Incomplete Guide to Its Use and Abuse
98:
Gödel's
Theorem: An Incomplete Guide to its Use and Abuse
363:
306:
439:
Academic staff of the Luleå University of
Technology
154:
The
Popular Impact of Gödel's Incompleteness Theorem
282:, Vol. 54, No. 3 (March 2007), pp. 380–3.
383:
326:
8:
301:This article about a Swedish scientist is a
280:Notices of the American Mathematical Society
159:Notices of the American Mathematical Society
124:Inexhaustibility: A Non-Exhaustive Treatment
390:
376:
333:
319:
166:, #4 (April 2006), pp. 440–443.
201:
84:on his fiftieth birthday. He died of
138:, 2004. Lecture Notes in Logic, #16,
77:, and even issued his own electronic
7:
344:
342:
291:
289:
241:, accessed online September 8, 2007.
429:21st-century Swedish mathematicians
424:20th-century Swedish mathematicians
25:
346:
293:
190:Gödel's incompleteness theorems
67:Gödel's incompleteness theorems
65:. He was known for his work on
354:This article about a European
226:"Frotz: An Electronic Oneshot"
140:Association for Symbolic Logic
73:. He was active in the online
55:Luleå University of Technology
1:
213:American Mathematical Society
75:science fiction fan community
69:and for his contributions to
449:European mathematician stubs
362:. You can help Knowledge by
305:. You can help Knowledge by
27:Swedish academic (1950–2006)
57:, Sweden, in the fields of
465:
341:
288:
215:, accessed August 2, 2007.
444:Swedish scientist stubs
434:Mathematical logicians
251:Torkel Franzén is dead
170:Provability and Truth
112:, 2005. x + 172 pp.
271:Raatikainen, Panu.
232:on October 1, 2007
211:, web page at the
59:mathematical logic
371:
370:
314:
313:
37:– 19 April 2006,
35:Norrbotten County
16:(Redirected from
456:
392:
385:
378:
350:
343:
335:
328:
321:
297:
290:
254:
253:, 20 April 2006.
248:
242:
240:
238:
237:
228:. Archived from
222:
216:
206:
136:A K Peters, Ltd.
110:A K Peters, Ltd.
63:computer science
21:
464:
463:
459:
458:
457:
455:
454:
453:
399:
398:
397:
396:
340:
339:
286:
263:
258:
257:
249:
245:
235:
233:
224:
223:
219:
207:
203:
198:
186:
94:
51:
33:(1 April 1950,
28:
23:
22:
15:
12:
11:
5:
462:
460:
452:
451:
446:
441:
436:
431:
426:
421:
416:
411:
401:
400:
395:
394:
387:
380:
372:
369:
368:
351:
338:
337:
330:
323:
315:
312:
311:
298:
284:
283:
269:
262:
261:External links
259:
256:
255:
243:
217:
200:
199:
197:
194:
193:
192:
185:
182:
181:
180:
167:
151:
121:
93:
92:Selected works
90:
50:
47:
31:Torkel Franzén
26:
24:
18:Torkel Franzen
14:
13:
10:
9:
6:
4:
3:
2:
461:
450:
447:
445:
442:
440:
437:
435:
432:
430:
427:
425:
422:
420:
419:Usenet people
417:
415:
412:
410:
407:
406:
404:
393:
388:
386:
381:
379:
374:
373:
367:
365:
361:
357:
356:mathematician
352:
349:
345:
336:
331:
329:
324:
322:
317:
316:
310:
308:
304:
299:
296:
292:
287:
281:
277:
276:
270:
268:
265:
264:
260:
252:
247:
244:
231:
227:
221:
218:
214:
210:
205:
202:
195:
191:
188:
187:
183:
179:
178:91-22-01158-7
175:
171:
168:
165:
161:
160:
155:
152:
149:
148:1-56881-174-8
145:
141:
137:
133:
132:Massachusetts
129:
125:
122:
119:
118:1-56881-238-8
115:
111:
107:
106:Massachusetts
103:
99:
96:
95:
91:
89:
87:
83:
80:
76:
72:
68:
64:
60:
56:
48:
46:
44:
40:
36:
32:
19:
364:expanding it
353:
307:expanding it
300:
285:
279:
274:
246:
234:. Retrieved
230:the original
220:
209:In Memory Of
204:
169:
163:
157:
123:
97:
81:
52:
30:
29:
414:2006 deaths
409:1950 births
88:at age 56.
86:bone cancer
403:Categories
273:Review of
236:2007-10-01
196:References
45:academic.
267:Home page
128:Wellesley
102:Wellesley
49:Biography
39:Stockholm
184:See also
41:) was a
79:fanzine
43:Swedish
176:
146:
116:
71:Usenet
358:is a
82:Frotz
360:stub
303:stub
174:ISBN
144:ISBN
114:ISBN
61:and
405::
278:.
164:53
162:,
156:,
142:.
134::
130:,
126:.
108::
104:,
100:.
391:e
384:t
377:v
366:.
334:e
327:t
320:v
309:.
239:.
150:.
120:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.