Constructivity And Computability In Historical And Philosophical Perspective

Ranging from Alan Turing’s seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relationship between computability on the one hand and constructivity on the other. The authors argue that even though constructivists have largely shed Brouwer’s solipsistic attitude to logic, there remain points of disagreement to this day. Focusing on the growing pains computability experienced as it was forced to address the demands of rapidly expanding applications, the content maps the developments following Turing’s ground-breaking linkage of computation and the machine, the resulting birth of complexity theory, the innovations of Kolmogorov complexity and resolving the dissonances between proof theoretical semantics and canonical proof feasibility. Finally, it explores one of the most fundamental questions concerning the interface between constructivity and computability: whether the theory of recursive functions is needed for a rigorous development of constructive mathematics. This volume contributes to the unity of science by overcoming disunities rather than offering an overarching framework. It posits that computability’s adoption of a classical, ontological point of view kept these imperatives separated. In studying the relationship between the two, it is a vital step forward in overcoming the disagreements and misunderstandings which stand in the way of a unifying view of logic.

This book constitutes the proceedings of the 17th Conference on Computability in Europe, CiE 2021, organized by the University of Ghent in July 2021. Due to COVID-19 pandemic the conference was held virtually. The 48 full papers presented in this volume were carefully reviewed and selected from 50 submissions. CiE promotes the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences, such as physics and biology, as well as related fields, such as philosophy and history of computing. CiE 2021 had as its motto Connecting with Computability, a clear acknowledgement of the connecting and interdisciplinary nature of the conference series which is all the more important in a time where people are more than ever disconnected from one another due to the COVID-19 pandemic.

This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, Extraction of Programs from Proofs, and Algorithmic Aspects in Financial Mathematics. By filling the gap between (under-)graduate level textbooks and advanced research papers, the book gives a scholarly account of recent developments and emerging branches of the aforementioned fields. Contents: Proof and Computation (K Mainzer) Constructive Convex Programming (J Berger and G Svindland) Exploring Predicativity (L Crosilla) Constructive Functional Analysis: An Introduction (H Ishihara) Program Extraction (K Miyamoto) The Data Structures of the Lambda Terms (M Sato) Provable (and Unprovable) Computability (S Wainer) Introduction to Minlog (F Wiesnet) Readership: Graduate students, researchers, and professionals in Mathematics and Computer Science. Keywords: Proof Theory;Computability Theory;Program Extraction;Constructive Analysis;PredicativityReview: Key Features: This book gathers recent contributions of distinguished experts It makes emerging fields accessible to a wider audience, appealing to a broad readership with diverse backgrounds It fills a gap between (under-)graduate level textbooks and state-of-the-art research papers

A comprehensive survey of Martin-Löf's constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture form or as part of conference talks. Sommaruga surveys the prehistory of type theory and its highly complex development through eight different stages from 1970 to 1995. He also provides a systematic presentation of the latest version of the theory, as offered by Martin-Löf at Leiden University in Fall 1993. This presentation gives a fuller and updated account of the system. Earlier, brief presentations took no account of the issues related to the type-theoretical approach to logic and the foundations of mathematics, while here they are accorded an entire part of the book. Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material. Readers need a solid background in standard logic and a first, basic acquaintance with type theory.

This edited book brings together research work in the field of constructive semantics with scholarship on the phenomenological foundations of logic and mathematics. It addresses one of the central issues in the epistemology and philosophy of mathematics, namely the relationship between phenomenological meaning constitution and constructive semantics. Contributing authors explore deep structural connections and fundamental differences between phenomenology and constructivism. Papers are drawn from contributions to a prestigious workshop held at the University of Friedrichshafen. Readers will discover insight into structural connections between the phenomenological concept of meaning constitution and constructivist concepts of meaning. Discussion ranges from more specific conceptualizations in the philosophy of logic and mathematics to more general considerations in epistemology, inferential semantics and phenomenology. Questions such as a possible phenomenological understanding of the relationship between structural rules and particle rules in dialogical logic are explored. Significant aspects of both phenomenology and dialectics, and dialectics and constructivism emerge. Graduates and researchers of philosophy, especially logic, as well as scholars of mathematics will all find something of interest in the expert insights presented in this volume.

This book explores the two major elements of Hintikka’s model of inquiry: underlying game theoretical motivations and the central role of questioning. The chapters build on the Hintikkan tradition extending Hintikka’s model and present a wide variety of approaches to the philosophy of inquiry from different directions, ranging from erotetic logic to Lakatosian philosophy, from socio-epistemologic approaches to strategic reasoning and mathematical practice. Hintikka's theory of inquiry is a well-known example of a dynamic epistemic procedure. In an interrogative inquiry, the inquirer is given a theory and a question. He then tries to answer the question based on the theory by posing questions to nature or an oracle. The initial formulation of this procedure by Hintikka is rather broad and informal. This volume introduces a carefully selected responses to the issues discussed by Hintikka. The articles in the volume were contributed by various authors associated with a research project on Hintikka's interrogative theory of inquiry conducted in the Institut d’Histoire et de Philosophie des Sciences et des Techniques (IHPST) of Paris, including those who visited to share their insight.

This monograph addresses the question of the increasing irrelevance of philosophy, which has seen scientists as well as philosophers concluding that philosophy is dead and has dissolved into the sciences. It seeks to answer the question of whether or not philosophy can still be fruitful and what kind of philosophy can be such. The author argues that from its very beginning philosophy has focused on knowledge and methods for acquiring knowledge. This view, however, has generally been abandoned in the last century with the belief that, unlike the sciences, philosophy makes no observations or experiments and requires only thought. Thus, in order for philosophy to once again be relevant, it needs to return to its roots and focus on knowledge as well as methods for acquiring knowledge. Accordingly, this book deals with several questions about knowledge that are essential to this view of philosophy, including mathematical knowledge. Coverage examines such issues as the nature of knowledge; plausibility and common sense; knowledge as problem solving; modeling scientific knowledge; mathematical objects, definitions, diagrams; mathematics and reality; and more. This monograph presents a new approach to philosophy, epistemology, and the philosophy of mathematics. It will appeal to graduate students and researchers with interests in the role of knowledge, the analytic method, models of science, and mathematics and reality.

This book focuses on dialog from a varied combination of fields: Linguistics, Philosophy of Language and Computation. It builds on the hypothesis that meaning in human communication arises at the discourse level rather than at the word level. The book offers a complex analytical framework and integration of the central areas of research around human communication. The content revolves around meaning but it also gives evidence of the connection among different points of view. Besides discussing issues of general interest to the field, the book triggers theoretical argumentation that is currently under scientific discussion. It examines such topics as immanent reasoning joined with Recanati's lekta and free enrichment, challenges of internet conversation, inner dialogs, cognition and language, and the relation between assertion and denial. It proposes a dialogical framework for intra-negotiation and gives a geolinguistic perspective on spoken discourse. Finally, it examines dialog and abduction and sheds light on a generation of dialog contexts by means of multimodal logic applied to speech acts.