Andrzej Grzegorczyk Explained

Andrzej Grzegorczyk
Birth Date:1922 8, df=y
Birth Place:Warsaw
Death Place:Warsaw
Resting Place:Cemetery in Pruszków, Poland
Resting Place Coordinates:52°10N 20°48E
Citizenship:Poland
Nationality:Polish
Fields:Logic
Ethics
Mathematics
philosophy
Religious study
Social issues
Education
Workplaces:University of Warsaw
Polish Academy of Sciences
University of Amsterdam
Alma Mater:Jagiellonian University
University of Warsaw
Thesis Title:On Topological Spaces in Topologies without Points
Thesis Year:1950
Doctoral Advisor:Andrzej Mostowski
Academic Advisors:Zygmunt Zawirski
Władysław Tatarkiewicz
Doctoral Students:Stanisław Krajewski
Known For:Grzegorczyk hierarchy
Grzegorczyk logic (S4Grz)
Footnotes:Family members include:Stanisław Jan Majewski
Erazm Majewski
Karol Borsuk
Magdalena Borsuk-Białynicka
Andrzej Białynicki-Birula
Iwo Białynicki-Birula
Marcin Przeciszewski
Spouse:Renata Maria Grzegorczykowa (m. 1953)
Children:Agnieszka Grzegorczyk-Przeciszewska
Tomasz Grzegorczyk
Awards:Stefan Banach Prize (1957)
Knight's Cross of Order of Polonia Restituta (1997)
dr. h.c. of Blaise Pascal University (2010)
dr. h.c. of Jagiellonian University (2013)
Officer's Cross of Order of Polonia Restituta (2014)
Signature:Andrzej Grzegorczyk, signature.jpg

Andrzej Grzegorczyk (; 22 August 1922 – 20 March 2014) was a Polish logician, mathematician, philosopher, and ethicist noted for his work in computability, mathematical logic and the foundations of mathematics.

Family

In 1953, Grzegorczyk married Renata Maria Grzegorczykowa, a Polish philologist and expert in polonist linguistics. Grzegorczyk had a daughter and a son.

Grzegorczyk died of natural causes in Warsaw on 20 March 2014 at the age of 91. His body is buried in the Cemetery of Pruszków.

See also

Sources

Stadler, Friedrich; Woleński, Jan (editors) (2017): The Significance of the Lvov–Warsaw School in the European Culture. Springer International Publishing, Cham
Marek, Victor Witold (2015): Logic in Poland after 1945 (until 1975). European Review, Volume 23, pp. 159–197
Brattka, Vasco (2014): Computability and Analysis: The Legacy of Alan Turing. In Downey, Rod (editor) (2014): Turing's Legacy: Developments from Turing's Ideas in Logic. Cambridge University Press, Cambridge, pp. 1–47
Waligóra, Grzegorz (editors) (2014): Kryptonim "Pegaz". Służba Bezpieczeństwa wobec Towarzystwa Kursów Naukowych 1978–1980 . Instytut Pamięci Narodowej – Komisja Ścigania Zbrodni przeciwko Narodowi Polskiemu, Warszawa
Waligóra, Grzegorz (editors) (2014): Kryptonim Wasale: Służba bezpieczeństwa wobec studenckich komitetów Solidarności 1977–1980 . Instytut Pamięci Narodowej – Komisja Ścigania Zbrodni przeciwko Narodowi Polskiemu, Warszawa
Olkhovikov, Grigory; Urquhart, Alasdair (2013): Failure of Interpolation in Constant Domain Intuitionistic Logic. Journal of Symbolic Logic, Volume 78, Issue 3, pp. 937–950
Krajewski, Stanisław; Woleński, Jan (editors) (2012): Papers on Logic and Rationality: Festschrift in Honour of Andrzej Grzegorczyk. Studies in Logic, Grammar and Rhetoric, Volume 27, Issue 40. University of Białystok, Białystok
Marek, Victor Witold; Srebrny, Marian (editors) (2008): Andrzej Mostowski and Foundational Studies. IOS Press, Amsterdam
Marek, Victor Witold; Mirkowska, Grażyna; Salwicki, Andrzej; Woleński, Jan (editors) (2008): Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science: In Recognition of Professor Andrzej Grzegorczyk. Fundamenta Informaticae, Volume 81, Issue 1–3. IOS Press, Amsterdam
Maksimova, Larisa Lvovna (2005): Interpolation and Definability: Modal and Intuitionistic Logic. Oxford University Press, Oxford
Köhler, Eckehart (editors) (1999): Alfred Tarski and the Vienna Circle: Austro–Polish Connections in Logical Empiricism. Kluwer Academic Publishers, Dordrecht
Guenthner, Franz (editors) (1984): Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic. D. Reidel, Dordrecht
Wilkie, Alex James (1984):

\Delta0

sets and induction. In Guzicki, Wojciech; Marek, Wiktor Witold; Pelc, Andrzej; Rauszer, Cecylia (editors) (1984): Open Days in Model Theory and Set Theory: Proceedings of a Conference held in September 1981 at Jadwisin, near Warsaw, Poland. University of Leeds, Leeds, pp. 237–248

External links