Opening book details…
Can I read Topics in logic, philosophy and foundations of mathematics, and computer science : in recognition of professor Andrzej Grzegorczyk on EtoBox?
Topics in logic, philosophy and foundations of mathematics, and computer science : in recognition of professor Andrzej Grzegorczyk by S. Krajewski, W. Marek, G. Mirkowska, A. Salwicki, J. Wolenski (eds.) is a nonfiction available to read on EtoBox.
What is Topics in logic, philosophy and foundations of mathematics, and computer science : in recognition of professor Andrzej Grzegorczyk about?
This volume honors Professor Andrzej Grzegorczyk, the nestor of Polish logicians, on his 85th anniversary. The editors would like to express the respect and sympathy they have for him. His textbook The Outline of Mathematical Logic has been published in many editions and translated into several languages. It was this textbook that introduced many of us into the world of mathematical logic. Professor Grzegorczyk has made fundamental contributions to logic and to philosophy. His results, mainly on hierarchy of primitive recursive functions, known as the Grzegorczyk hierarchy, are of fundamental importance to theoretical computer science. In particular, they were precursory for the computational complexity theory. The editors would like to stress that this special publication celebrates a scientist who is still actively pursuing genuinely innovative directions of research. Quite recently, Andrzej Grzegorczyk gave a new proof of undecidability of the first order functional calculus. His proof does not use the arithmetization of Kurt Gadel. In recognition of his merits, the University of Clermont-Ferrand conferred to Professor Andrzej Grzegorczyk the Doctorat Honoris Causa. The work and
Who reads Topics in logic, philosophy and foundations of mathematics, and computer science : in recognition of professor Andrzej Grzegorczyk?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- S. Krajewski, W. Marek, G. Mirkowska, A. Salwicki, J. Wolenski (eds.)
- Publisher
- IRL Press at Oxford University Press
- Published
- 2008
- Language
- EN
- ISBN
- 9781127277421
- Category
- nonfiction
- Subjects
- Mathematics, Philosophy, Anthropology
Other editions & translations
More by S. Krajewski, W. Marek, G. Mirkowska, A. Salwicki, J. Wolenski (eds.)
Browse all works by S. Krajewski, W. Marek, G. Mirkowska, A. Salwicki, J. Wolenski (eds.)
Similar books
- Gödel '96 : Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy — Petr Hájek (2017)
- Logos and Mathema Studies in the Philosophy of Mathematics and History of Logic Volume 1 — Roman Murawski (2011)
- Structures in Logic and Computer Science: A Selection of Essays in Honor of A. Ehrenfeucht (Lecture Notes in Computer Science, 1261) — Robert Vaught (auth.), Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa (1997)
- Concepts of Proof in Mathematics, Philosophy, and Computer Science (Ontos Mathematical Logic) — Probst, Dieter; Schuster, Peter (2016)
- Lógos and Máthēma 2 : Studies in the Philosophy of Logic and Mathematics — Roman Murawski (2020)
- Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Volume 151 (Studies in Logic and the Foundations of Mathematics) (Studies in Logic and the Foundations of Mathematics) — Nikolaos Galatos; Peter Jipsen; Tomasz J. Kowalski; Hiroakira Ono (2007)