Topics In Logic Philosophy And Foundations Of Mathematics And Computer Science
Download Topics In Logic Philosophy And Foundations Of Mathematics And Computer Science full books in PDF, epub, and Kindle. Read online free Topics In Logic Philosophy And Foundations Of Mathematics And Computer Science ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Topics in Logic, Philosophy and Foundations of Mathematics, and Computer Science
Author | : Stanisław Krajewski |
Publisher | : IOS Press |
Total Pages | : 380 |
Release | : 2007 |
Genre | : Mathematics |
ISBN | : 9781586038144 |
Download Topics in Logic, Philosophy and Foundations of Mathematics, and Computer Science Book in PDF, Epub and Kindle
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 Gödel. In recognition of his merits, the University of Clermont-Ferrand conferred to Professor Andrzej Grzegorczyk the Doctorat Honoris Causa. The work and life of Professor Andrzej Grzegorczyk is presented in the article by Professors Stanislaw Krajewski and Jan Wolenski. The papers in this collection have been submitted on invitational basis.
Topics in Logic, Philosophy and Foundations of Mathematics, and Computer Science Related Books
Pages: 380
Pages: 344
Pages: 1072
Pages: 228
Pages: 539