Ulrich Berger – författare

The 19 full papers together with 7 invited papers presented in this volume were carefully reviewed and selected from 41 submissions. The motto of CiE 2022 was “Revolutions and revelations in computability”. This alludes to the revolutionary developments we have seen in computability theory, starting with Turing''s and Gödel''s discoveries of the uncomputable and the unprovable and continuing to the present day with the advent of new computational paradigms such as quantum computing and bio-computing, which have dramatically changed our view of computability and revealed new insights into the multifarious nature of computation.

This book explains and exemplifies how SMEs can embrace the Smart Production approach and technologies in order to gain a beneficiary outcome. The book describes the Smart Production vision for SMEs, as well as the method to get there. The concept behind the book is based on the long-term experience of the authors in researching and tackling problems of SMEs in the manufacturing sector. The book provides applied methods and obtained solutions in different branches and different sizes of SMEs, encompassing a broad survey of our markets and societies. The perspective is systemic/holistic and integrated including human, organizational, technological, and digital perspectives.

Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, and researchers from disparate areas realized that they can benefit enormously from the mutual exchange of techniques concerned with those aspects. A key figure in this exciting development is the logician and mathematician Helmut Schwichtenberg to whom this volume is dedicated on the occasion of his 70th birthday and his turning emeritus. The volume contains 20 articles from leading experts about recent developments in Constructive set theory, Provably recursive functions, Program extraction, Theories of truth, Constructive mathematics, Classical vs. intuitionistic logic, Inductive definitions, and Continuous functionals and domains.

Dieses Buch analysiert das Jahrhundertprojekt der europaweiten Vereinheitlichung des Massenzahlungsverkehrs durch das SEPA-Projekt (Single Euro Payment Area). Obwohl die Tragweite dieser Umgestaltung der europäischen Zahlungssysteme mit der Euro-Einführung vergleichbar ist, besteht darüber ein gravierendes Informationsdefizit im öffentlichen Diskurs. In diesem Buch findet sich eine kritische Analyse von SEPA aus wissenschaftlicher Perspektive.

Im Mittelpunkt stehen Zahlungskartensysteme, da sie als zeitgemäße Zahlungsform in einer digitalisierten, globalisierten Welt von SEPA besonders betroffen sind. Die wichtigsten internationalen und nationalen Regulierungsinitiativen in diesem Bereich werden u.a. hinsichtlich der Interchange Fee einer eingehenden wissenschaftlichen Analyse unterzogen. Das Buch zeigt Handlungsalternativen für die Wirtschaftspolitik auf. Der derzeit verfolgte Ansatz läuft mangels einer soliden analytischen Fundierung Gefahr, die hochgesteckten Ziele und Erwartungen nicht erfüllen zu können.