Английская Википедия:Gabriel Sudan

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:Short description

Файл:SudanGabriel Zurich1932.tif
Zürich 1932

Gabriel Sudan (April 14, 1899 – June 22, 1977) was a Romanian mathematician, known for the Sudan function,Шаблон:Sfn an important example in the theory of computation, similar to the Ackermann function.Шаблон:Sfn

Born in Bucharest, Sudan received his Ph.D. from the University of Göttingen in 1925 for his thesis Über die geordneten Mengen ("On the theory of ordered sets"), supervised by David Hilbert.[1] He taught at the Polytechnic University of Bucharest from 1941 until his retirement, in 1966.

Sudan constructed the function that bears his name with the same aim as Wilhelm Ackermann: to solve in the affirmative a problem raised by Hilbert. The Ackermann and Sudan functions are chronologically the first examples of recursive functions which are not primitive recursive.

Notes

Шаблон:Reflist

Bibliography

Шаблон:Refbegin

Шаблон:Refend

Шаблон:Authority control