By S. Krajewski, W. Marek, G. Mirkowska, A. Salwicki, J. Wolenski
This quantity honors Professor Andrzej Grzegorczyk, the nestor of Polish logicians, on his eighty fifth anniversary. The editors want to convey the honor and sympathy they've got for him. His textbook the description of Mathematical common sense has been released in lots of variations and translated into a number of languages. It used to be this textbook that brought many people into the area of mathematical common sense. Professor Grzegorczyk has made basic contributions to common sense and to philosophy. His effects, in general on hierarchy of primitive recursive features, referred to as the Grzegorczyk hierarchy, are of primary significance to theoretical laptop technological know-how. particularly, they have been precursory for the computational complexity idea. The editors want to tension that this targeted ebook celebrates a scientist who's nonetheless actively pursuing certainly cutting edge instructions of study. fairly lately, Andrzej Grzegorczyk gave a brand new evidence of undecidability of the 1st order practical calculus. His facts doesn't use the arithmetization of Kurt Gadel. In attractiveness of his benefits, the collage of Clermont-Ferrand conferred to Professor Andrzej Grzegorczyk the Doctorat Honoris Causa. The paintings and lifetime of Professor Andrzej Grzegorczyk is gifted within the article by way of Professors Stanislaw Krajewski and Jan Wolenski. The papers during this assortment were submitted on invitational basis.
IOS Press is a world technological know-how, technical and clinical writer of fine quality books for teachers, scientists, and pros in all fields.
the various parts we post in:
-Databases and knowledge systems
-All facets of physics
-The wisdom economy
-Understanding and responding to terrorism