Andrzej Grzegorczyk (; 22 August 1922 – 20 March 2014) was a Polish logician, mathematician, philosopher and ethicist. He was 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. They 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 List of Polish people
Sources Odintsov, Sergei Pavlovich (2018): Larisa Maksimova on Implication, Interpolation, and Definability. Springer International Publishing, Cham Golińska-Pilarek, Joanna; Huuskonen, Taneli (2017): Grzegorczyk's non-Fregean logics and their formal properties. In Urbaniak, Rafał; Payette, Gillman (editors) (2017): Applications of Formal Philosophy: The Road Less Travelled. Springer International Publishing, Cham, Chapter 12, pp. 243–263 Brożek, Anna; Stadler, Friedrich; Woleński, Jan (editors) (2017): The Significance of the Lvov–Warsaw School in the European Culture. Springer International Publishing, Cham Majewska, Lucyna (2017): Этическое творчество Анджея Гжегорчика (Andrzej Grzegorczyk's works in ethics) . ВЕЧЕ: Журнал русской философии и культуры, Volume 29, pp. 285–295 (Publishing House of Saint Petersburg State University, Saint Petersburg) Śliwerski, Bogusław (2016): O kluczowej dla pedagogiki twórczości filozofa Andrzeja Grzegorczyka. Blog Pedagog, 4 January 2016 Niwiński, Damian (2016): Contribution of Warsaw Logicians to Computational Logic. Axioms, Volume 5, Issue 16, 8 pages Golińska-Pilarek, Joanna (2016): On the Minimal Non-Fregean Grzegorczyk Logic: To the Memory of Andrzej Grzegorczyk. Studia Logica: An International Journal for Symbolic Logic, Volume 104, Issue 2, pp. 209–234
Visser, Albert (2016): The Second Incompleteness Theorem: Reflections and Rumination. In Horsten, Leon; Welch, Philip (editors) (2016): Gödel's Disjunction: The Scope and Limits of Mathematical Knowledge. Oxford University Press, Oxford, pp. 67–91 Huuskonen, Taneli (2015): Grzegorczyk's Logics: Part I . Formalized Mathematics, Volume 23, Issue 3, pp. 177–187 Huuskonen, Taneli (2015): Polish Notation . Formalized Mathematics, Volume 23, Issue 3, pp. 161–176 Biłat, Andrzej (2015): Non-Fregean Logics of Analytic Equivalence (II). Bulletin of the Section of Logic, Volume 44, Issue 1–2, pp. 69–79 Kładoczny, Piotr (2015): The Release and Rehabilitation of Victims of Stalinist Terror in Poland. In McDermott, Kevin; Stibbe, Matthew (editors) (2015): De-Stalinising Eastern Europe: The Rehabilitation of Stalin's Victims after 1953. Palgrave Macmillan, Basingstoke, pp. 67–86 Góralski, Andrzej (editor) (2015): Andrzej Grzegorczyk – Człowiek i dzieło. Biblioteka Dialogu. Universitas Rediviva, Warsaw Woleński, Jan; Marek, Victor Witold (2015): Logic in Poland after 1945 (until 1975). European Review, Volume 23, pp. 159–197 Jankowska, Małgorzata (2015): Życie to wyzwanie: Pamięci Profesora Andrzeja Grzegorczyka. Kwartalnik Filozoficzny, Volume 43, Issue 1, pp. 5–13 Pelc, Jerzy (2015): Od wydawcy: Pożegnanie ze "Studiami Semiotycznymi". Studia Semiotyczne, Volume 28–29, pp. 5–30 Krajewski, Stanisław (2015): Andrzej Grzegorczyk (1922–2014) . Studia Semiotyczne, Volume 28–29, pp. 63–88 Krajewski, Stanisław (2014): Andrzej Grzegorczyk (1922–2014). Wiadomości Matematyczne, Volume 50, Issue 1, pp. 171–173 Jankowska, Małgorzata (2014): Filozoficzne dekalogi – tekst dedykowany pamięci profesora Andrzeja Grzegorczyka (1922–2014). Zeszyty Naukowe Centrum Badań im. Edyty Stein, Number 12: Wobec Samotności, Wydawnictwo Naukowe UAM, Poznań, pp. 251–265 Trela, Grzegorz (2014): Logika – sprawa ludzka: Wspomnienie o profesorze Andrzeju Grzegorczyku (1922–2014). Argument, Volume 4, Number 2, pp. 491–498 Maksimova, Larisa Lvovna (2014): The Lyndon property and uniform interpolation over the Grzegorczyk logic. Siberian Mathematical Journal, Volume 55, Number 1, pp. 118–124 (translated from the Russian version) Avigad, Jeremy; 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 Duchliński, Piotr (2014): W stronę aporetycznej filozofii klasycznej: Konfrontacja tomizmu egzystencjalnego z wybranymi koncepcjami filozofii współczesnej. Akademia Ignatianum, Wydawnictwo WAM, Kraków Murawski, Roman (2014): The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland. Birkhäuser, Basel Urbaniak, Rafał (2014): Leśniewski's Systems of Logic and Foundations of Mathematics. Springer International Publishing, Cham Kamiński, Łukasz; 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, Warsaw Kamiński, Łukasz; 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, Warsaw Feferman, Solomon (2013): About and around Computing over the Reals. In Copeland, Brian Jack; Posy, Carl; Shagrir, Oron (editors) (2013): Computability: Turing, Gödel, Church, and Beyond. MIT Press, Cambridge, Massachusetts, pp. 55–76 Mints, Grigori; Olkhovikov, Grigory; Urquhart, Alasdair (2013): Failure of Interpolation in Constant Domain Intuitionistic Logic. Journal of Symbolic Logic, Volume 78, Issue 3, pp. 937–950 Trzęsicki, Kazimierz; 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 Mikołajczuk, Agnieszka (2012): O życiu zawodowym i dokonaniach naukowych Profesor Renaty Grzegorczykowej. Etnolingwistyka, Volume 24, pp. 7–10 Tavana, Nazanin Roshandel; Weihrauch, Klaus (2011): Turing machines on represented sets, a model of computation for analysis. Logical Methods in Computer Science, Volume 7, Issue 2, pp. 1–21 Resnick, Rebecca Abigail (2011): Finding the best model for continuous computation . Senior Thesis, Harvard University, Cambridge Woleński, Jan (2011): Jews in Polish Philosophy. Shofar: An Interdisciplinary Journal of Jewish Studies, Volume 29, Number 3, pp. 68–82 Murawski, Roman (2011): Logos and Mathema: Studies in the Philosophy of Mathematics and History of Logic. Peter Lang, Frankfurt am Main Murawski, Roman (2010): Essays in the Philosophy and History of Logic and Mathematics. Rodopi, Amsterdam Čačić, Vedran; Pudlák, Pavel; Restall, Greg; Urquhart, Alasdair; Visser, Albert (2010): Decorated linear order types and the theory of concatenation. In Delon, Françoise; Kohlenbach, Ulrich; Maddy, Penelope; Stephan, Frank (editors) (2010): Logic Colloquium 2007. Lecture Notes in Logic, Volume 35. Association for Symbolic Logic, Cambridge University Press, Cambridge, pp. 1–13 Grzegorczyk, Franciszek (2010): Doktor Marian Borsuk — ordynator Oddziału Chirurgicznego Szpitala Wolskiego (1907–1923) (Marian Borsuk MD — head of Surgical Department, Wolski Hospital (1907–1923)). Pneumonologia i Alergologia Polska, Volume 78, Issue 4, pp. 306–309 Maksimova, Larisa Lvovna (2009): Restricted interpolation property in superintuitionistic logics. Algebra i Logika, Volume 48, Number 1, pp. 54–89 Švejdar, Vítězslav (2009): On Interpretability in the Theory of Concatenation. Notre Dame Journal of Formal Logic, Volume 50, Number 1, pp. 87–95 Barra, Matthias (2009): Notes on small inductively defined classes and the majorisation relation. Dissertation presented for the degree of Philosophiae Doctor (PhD), Department of Mathematics, University of Oslo, November 2009, supervised by Lars Kristiansen Ehrenfeucht, Andrzej; Marek, Victor Witold; Srebrny, Marian (editors) (2008): Andrzej Mostowski and Foundational Studies. IOS Press, Amsterdam Krajewski, Stanisław; 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 Krajewski, Stanisław (2008): Andrzej Grzegorczyk – logika i religia, samotność i solidarność. Wiadomości Matematyczne, Volume 44, Number 01, pp. 53–59 Matuszewski, Roman; Zalewska, Anna (editors) (2007): From Insight to Proof: Festschrift in Honour of Andrzej Trybulec. Studies of Logic, Grammar, and Rhetoric, Volume 10, Issue 23 Švejdar, Vítězslav (2007): An interpretation of Robinson's Arithmetic in its Grzegorczyk's weaker variant. Fundamenta Informaticae, Volume 81, Issue 1–3, pp. 347–354 Maksimova, Larisa Lvovna (2006): Projective Beth Property in Extensions of Grzegorczyk Logic. Studia Logica: An International Journal for Symbolic Logic, Volume 83, pp. 365–391 Eisler, Jerzy Krzysztof (2006): Polski rok 1968 . Instytut Pamięci Narodowej – Komisja Ścigania Zbrodni przeciwko Narodowi Polskiemu, Warszawa Jadacki, Jacek Juliusz (2006): The Lvov–Warsaw School and Its Influence on Polish Philosophy of the Second Half of the 20th Century. In Jadacki, Jacek Juliusz and Paśniczek, Jacek (editors): The Lvov–Warsaw School – The New Generation. Rodopi, Amsterdam, pp. 41–83 Trzęsicki, Kazimierz (2006): Wkład logików polskich w światową informatykę. Filozofia Nauki – kwartalnik, Volume 14, Issue 3, pp. 5–19 Zieliński, Wojciech (2006): W poszukiwaniu filozofii znaczącej (uwagi na marginesie dyskusji). Diametros, Issue 10, pp. 78–92 Kostrzycka, Zofia (2006): Density of truth in modal logics. Discrete Mathematics and Theoretical Computer Science Proceedings Volume AG Fourth Colloquium on Mathematics and Computer Science: Algorithms, Trees, Combinatorics and Probabilities, Nancy, France pp. 161–170 Hainry, Emmanuel (2006): Modèles de calcul sur les réels, résultats de comparaison. Doctoral thesis, Institut National Polytechnique de Lorraine, Laboratoire Lorrain de Recherche en Informatique et ses Applications – UMR 7503, supervised by Olivier Bournez Bournez, Olivier; Hainry, Emmanuel (2005): Elementarily computable functions over the real numbers and -sub-recursive functions. Theoretical Computer Science, Volume 348, Issues 2–3, pp. 130–147 Gawor, Leszek; Zdybel, Lech (2005): Elements of Twentieth Century Polish Ethics. In Jedynak, Stanisław (editor) (2005): Polish Axiology: The 20th Century and Beyond. Polish Philosophical Studies V. The Council for Research in Values and philosophy, Washington, D.C., Chapter II, pp. 37–61 ERCOM: Stefan Banach International Mathematical Center. Newsletter of European Mathematical Society, Issue 58, December 2005, pp. 37–38 Gabbay, Dov; Maksimova, Larisa Lvovna (2005): Interpolation and Definability: Modal and Intuitionistic Logic. Oxford University Press, Oxford Maksimova, Larisa Lvovna (2004): Definability in Normal Extensions of S4. Algebra i Logika, Volume 43, Number 4, pp. 387–410 Wybraniec-Skardowska, Urszula (2004): Foundations for the formalization of metamathematics and axiomatizations of consequence theories. Annals of Pure and Applied Logic, Volume 127, pp 243–266 Jeřábek, Emil (2004): A note on Grzegorczyk's logic. Mathematical Logic Quarterly, Volume 50, Number 3, pp. 295–296 Szałas, Andrzej Piotr (2004): Logic for Computer Science. Lecture Notes. October 2004 Hasuo, Ichiro; Kashima, Ryo (2003): Kripke Completeness of First-Order Constructive Logics with Strong Negation. Logic Journal of the IGPL, Volume 11, Issue 6, pp. 615–646 Wójcicki, Ryszard; Zygmunt, Jan (2003): Polish Logic in Postwar Period. In Hendricks, Vincent Fella; Malinowski, Jacek (editors) (2003): Trends in Logic: 50 Years of Studia Logica. Kluwer Academic Publishers, Dordrecht, pp. 11–33