Computing, today more than ever before, is a multi-faceted discipline which collates several methodologies, areas of interest, and approaches: mathematics, engineering, programming, and applications. Given its enormous impact on everyday life, it is...Lasīt vairāk
(Izdošanas datums: 19-Nov-2019, Hardback, Izdevniecība: Oxford University Press, ISBN-13: 9780198835646)
Computing, today more than ever before, is a multi-faceted discipline which collates several methodologies, areas of interest, and approaches: mathematics, engineering, programming, and applications. Given its enormous impact on everyday life, it is...Lasīt vairāk
This book presents a historical and philosophical analysis of programming systems, intended as large computational systems like, for instance, operating systems, programmed to control processes. The introduction to the volume emphasizes the...Lasīt vairāk
This book constitutes the refereed proceedings of the 15th Conference on Computability in Europe, CiE 2019, held in Durham, UK, in July 2019.The 20 revised full papers presented were carefully reviewed and selected from 35 submissions. In a...Lasīt vairāk
The relation between logic and knowledge has been at the heart of a lively debate since the 1960s. On the one hand, the epistemic approaches based their formal arguments in the mathematics of Brouwer and intuitionistic logic. Following Michael Dum...Lasīt vairāk
The relation between logic and knowledge has provoked a heated debate since the 1960s. This book presents the first work on the Realism-Antirealism debate in the Age of Alternative Logics, and shows the most recent developments in philosophical logic...Lasīt vairāk
This book develops a philosophical and logical interpretation of the concept of information within the formal structure of Constructive Type Theory (CTT), in a manner concurrent with a diverse range of contemporary perspectives on the philosophy of i...Lasīt vairāk
Sērija : Logic, Epistemology, and the Unity of Science
(Izdošanas datums: 04-Dec-2007, Hardback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781402061691)
This research is the result of a fruitful connection and provides a sign- cant link between two topics of a logical and philosophical enquiry. It tries to provide a solution to the problem of analyticity: with this expression I understand, on the one...Lasīt vairāk
