Loading article…
ディーター・レーディング（1937年8月24日、ハッティンゲン（ルール地方）生まれ - 1984年6月4日、ミュンスター没）は、数学論理を主な研究分野とするドイツの数学者であった。[ 1 ]
ディーター・レーディングは1937年8月24日、ドイツのルール地方ハッティンゲンで生まれた。1956年、レーディングはドイツのミュンスターにあるヴェストファーレン・ヴィルヘルム大学で研究を始めた。1961年、ギスベルト・ハーゼンイェーガーの指導の下、 「 (カルマール＝チラジアンの意味で) 初等関数に関する代表文」という論文で博士号を取得した。[ 2 ] 1964年、ミュンスターで「有限ランクの有限集合の領域における再帰性の理論」という論文で教授資格を取得した。1966年、ハインリヒ・ショルツが1936年に設立したヴェストファーレン・ヴィルヘルム大学の数理論理学・基礎研究研究所の所長兼教授職をハンス・ヘルメスから引き継いだ。
レーディングは、再帰関数の分類、古典述語論理の再帰型、ショルツのスペクトル問題、述語論理における量化子、そして算術階層（クリーネ＝モストフスキー階層とも呼ばれる）に関する研究成果で知られるようになった。レーディングは、コンピュータ科学が学問分野として確立される以前に、再帰関数や論理的決定問題の研究に機械指向の複雑性概念を最初に用いた人物の一人である。
彼の生徒には、エゴン・ベルガー、ハンス・クライネ・ビューニング、ハンス・ゲオルク・カルステンス、エルマー・コホルス＝フレゼンボルグ、ハインツ＝ディーター・エビングハウス、トーマス・オットマン、ルッツ・プリーゼ、ヘルムート・シュヴィヒテンベルクなどが含まれる。[ 2 ]