Andrzej Grzegorczyk
Andrzej Grzegorczyk (born August 22, 1922 in Warsaw ; † March 20, 2014 there ) was a Polish mathematician , logician and philosopher .
Live and act
Grzegorczyk was the son of the professor of Polish literary history Piotr Grzegorczyk, studied during the Second World War at the Polish underground university in Warsaw, where he heard, among other things, philosophy from Władysław Tatarkiewicz . He took part in the Warsaw Uprising, in which he was wounded, and then continued his philosophy studies at the Jagiellonian University under Tatarkiewicz, of which he was an assistant. In 1950 he received his doctorate in mathematics under Andrzej Mostowski in Warsaw (On topological spaces in topologies without points). He then went to the Institute of Mathematics and Natural Science of the Polish Academy of Sciences at the University of Warsaw. In 1961 he became an associate professor and in 1972 a full professor. In 1974 he moved to the Institute for Philosophy and Sociology and from 1982 headed the Ethics Department.
He had been in contact with the Taizé movement since 1964 and was an active member of the Club of Catholic Intelligence in Warsaw. He was also active in ecumenism, especially with the Orthodox Church in Russia. During the opposition of the Solidarność movement, he campaigned for non-violent resistance.
He became known for his basic mathematical research, especially on formal logic . He is the namesake of the Grzergorczyk hierarchy of sub-recursive functions. He published some important scientific papers on Gödel's incompleteness theorem , one of the most important theorems of modern logic.
Grzegorczyk was awarded the Stefan Banach Prize in 1957, and in 1997 he received the Order of Polonia Restituta . He was an honorary doctor of the Blaise Pascal Clermont-Ferrand II University and the Jagiellonian University (2013) and a member of the Polish Academy of Sciences .
Fonts (selection)
- Computable functionals. In: Fundamenta Mathematicae , Vol. 42 (1955), pp. 168-202, ISSN 0016-2736
- On the definitions of computable real continuous functions. In: Fundamenta Mathematicae , Vol. 44 (1957), pp. 61-71, ISSN 0016-2736
Web links
| personal data | |
|---|---|
| SURNAME | Grzegorczyk, Andrzej |
| BRIEF DESCRIPTION | Polish mathematician, logician and philosopher |
| DATE OF BIRTH | August 22, 1922 |
| PLACE OF BIRTH | Warsaw |
| DATE OF DEATH | March 20, 2014 |
| Place of death | Warsaw |