Георг Крайзель

Георг Крайзель был математическим логиком, известным работами по теории доказательств, теории рекурсии и по «разворачиванию» доказательств ради извлечения явного математического содержания, а также своей «интерпретацией без контрпримера». Он работал в Рединге, в Институте перспективных исследований и в Стэнфорде и был избран членом Лондонского королевского общества. Он происходил из еврейской семьи в Граце, и его отправили в Британию перед аншлюсом 1938 года.

Проверьте и углубитесь с помощью этих внешних источников.

Источник: Jinfo.org — Jews in Mathematics