142:
33:
541:
370:
473:
25 Jahre Fakultät für
Mathematik Das Mathematische Institut 1971 – 1996: Jubiläumsfestschrift des Mathematischen Instituts der Ludwig-Maximilians-Universität München
156:
225:
Helmut
Schwichtenberg and Kurt Schütte (1990). "Mathematische Logik". In Gerd Fischer and Friedrich Hirzebruch and Winfried Scharlau and Willi Törnig (ed.).
410:
116:
536:
526:
501:
185:
103:
354:
285:
184:. He then worked as an assistant and then as a professor in Münster, and since 1978 has been professor of mathematical logic at the
267:
255:
234:
452:
250:. Cambridge Tracts in Theoretical Computer Science. Vol. 43 (1st ed.). Cambridge: Cambridge University Press.
212:
516:
432:
173:
64:
177:
68:
229:. Dokumente zur Geschichte der Mathematik (in German). Vol. 6. Braunschweig: Vieweg. pp. 717–740.
200:
531:
141:
336:
521:
152:
148:
468:
424:
364:
166:
350:
281:
263:
251:
230:
181:
129:
342:
306:
208:
124:
389:
Jürgen
Elstrodt and Norbert Schmitz (April 2013). "Ehemalige Professoren 1945–1969".
204:
390:
189:
335:
Ulrich Berger, Hannes Diener, Peter
Schuster and Monika Seisenberger (2012). "Preface".
510:
428:
227:
Ein
Jahrhundert Mathematik, 1890–1990 – Festschrift zum Jubiläum der DMV
497:
196:
89:
93:
53:
297:
Helmut
Schwichtenberg (2006). "An arithmetic for polynomial-time computation".
310:
448:
346:
32:
110:
140:
85:
384:
382:
380:
412:
392:
Entwicklung der
Mathematik an der Universität Münster
276:
246:
172:
Schwichtenberg studied mathematics from 1961 at the
123:
109:
99:
81:
60:
39:
23:
423:(Ph.D. thesis) (in German). Universität Münster.
417:A Classification of Multiple Recursive Functions
117:A Classification of Multiple Recursive Functions
195:Schwichtenberg deals with, among other things,
180:, where he received his doctorate in 1968 from
467:Fritsch, Rudolf; Hauber, Rudolf, eds. (2000).
542:Ludwig Maximilian University of Munich alumni
8:
369:: CS1 maint: multiple names: authors list (
31:
20:
280:. Cambridge: Cambridge University Press.
327:
362:
104:Ludwig Maximilian University of Munich
502:Ludwig-Maximilians-Universität Munich
462:
460:
186:Ludwig-Maximilians-Universität Munich
7:
14:
469:"Prof. Dr. Helmut Schwichtenberg"
16:German mathematician and logician
537:Free University of Berlin alumni
338:Logic, Construction, Computation
165:(born 5 April 1942) is a German
409:Helmut Schwichtenberg (1968).
1:
453:Mathematics Genealogy Project
207:and applications of logic in
527:University of Münster alumni
299:Theoretical Computer Science
213:Bavarian Academy of Sciences
558:
398:(in German). p. 283.
311:10.1016/j.tcs.2006.03.019
174:Free University of Berlin
151:, Helmut Schwichtenberg,
135:
74:
65:Free University of Berlin
30:
211:. He is a member of the
347:10.1515/9783110324921.2
278:Proofs and Computations
201:theory of computability
159:
449:Helmut Schwichtenberg
219:Selected publications
178:University of Münster
176:and from 1964 at the
167:mathematical logician
163:Helmut Schwichtenberg
144:
69:University of Münster
25:Helmut Schwichtenberg
153:Anne Sjerp Troelstra
438:on 31 October 2019.
262:(2nd edition 2000:
149:Yiannis Moschovakis
248:Basic Proof Theory
160:
356:978-3-11-032453-2
287:978-0-521-51769-0
139:
138:
76:Scientific career
549:
517:German logicians
485:
484:
482:
480:
464:
455:
446:
440:
439:
437:
431:. Archived from
422:
406:
400:
399:
397:
386:
375:
374:
368:
360:
341:. pp. 2–4.
332:
314:
305:(1–3): 202–214.
291:
261:
240:
209:computer science
125:Doctoral advisor
49:
47:
35:
21:
557:
556:
552:
551:
550:
548:
547:
546:
507:
506:
494:
489:
488:
478:
476:
466:
465:
458:
447:
443:
435:
420:
408:
407:
403:
395:
388:
387:
378:
361:
357:
334:
333:
329:
324:
318:
296:
288:
275:
258:
245:
237:
224:
221:
205:lambda calculus
61:Alma mater
56:
51:
45:
43:
26:
17:
12:
11:
5:
555:
553:
545:
544:
539:
534:
529:
524:
519:
509:
508:
505:
504:
493:
492:External links
490:
487:
486:
456:
441:
401:
376:
355:
326:
325:
323:
320:
316:
315:
293:
292:
286:
272:
271:
256:
242:
241:
235:
220:
217:
188:(successor of
182:Dieter Rödding
155:, 2002 at the
137:
136:
133:
132:
130:Dieter Rödding
127:
121:
120:
113:
107:
106:
101:
97:
96:
83:
79:
78:
72:
71:
62:
58:
57:
52:
41:
37:
36:
28:
27:
24:
15:
13:
10:
9:
6:
4:
3:
2:
554:
543:
540:
538:
535:
533:
532:Living people
530:
528:
525:
523:
520:
518:
515:
514:
512:
503:
499:
496:
495:
491:
474:
470:
463:
461:
457:
454:
450:
445:
442:
434:
430:
426:
418:
414:
413:
405:
402:
394:
393:
385:
383:
381:
377:
372:
366:
358:
352:
348:
344:
340:
339:
331:
328:
321:
319:
312:
308:
304:
300:
295:
294:
289:
283:
279:
274:
273:
269:
268:0-521-77911-1
265:
259:
257:0-521-57223-1
253:
249:
244:
243:
238:
236:3-528-06326-2
232:
228:
223:
222:
218:
216:
214:
210:
206:
202:
198:
193:
191:
187:
183:
179:
175:
170:
168:
164:
158:
154:
150:
147:
143:
134:
131:
128:
126:
122:
119:
118:
114:
112:
108:
105:
102:
98:
95:
91:
87:
84:
80:
77:
73:
70:
66:
63:
59:
55:
42:
38:
34:
29:
22:
19:
477:. Retrieved
475:. LMU Munich
472:
444:
433:the original
416:
411:
404:
391:
337:
330:
317:
302:
298:
277:
247:
226:
197:proof theory
194:
190:Kurt Schütte
171:
162:
161:
145:
115:
100:Institutions
90:Proof theory
75:
50:5 April 1942
18:
522:1942 births
94:Mathematics
511:Categories
322:References
146:From left:
46:1942-04-05
365:cite book
498:Homepage
429:17197421
451:at the
479:22 May
427:
419:]
353:
284:
266:
254:
233:
111:Thesis
82:Fields
436:(PDF)
425:S2CID
421:(PDF)
415:[
396:(PDF)
86:Logic
54:Żagań
481:2024
371:link
351:ISBN
282:ISBN
264:ISBN
252:ISBN
231:ISBN
192:).
40:Born
500:at
343:doi
307:doi
303:357
157:MFO
513::
471:.
459:^
379:^
367:}}
363:{{
349:.
301:.
215:.
203:,
199:,
169:.
92:,
88:,
67:,
483:.
373:)
359:.
345::
313:.
309::
290:.
270:)
260:.
239:.
48:)
44:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.