Related Books

Proof And Computation: Digitization In Mathematics, Computer Science And Philosophy
Language: en
Pages: 300
Authors: Klaus Mainzer
Categories: Mathematics
Type: BOOK - Published: 2018-05-30 - Publisher: World Scientific

DOWNLOAD EBOOK

This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisci
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
Language: en
Pages: 425
Authors: Klaus Mainzer
Categories: Mathematics
Type: BOOK - Published: 2021-07-27 - Publisher: World Scientific

DOWNLOAD EBOOK

This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisci
Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing
Language: en
Pages: 221
Authors: Klaus Mainzer
Categories: Mathematics
Type: BOOK - Published: 2023-05-12 - Publisher: World Scientific

DOWNLOAD EBOOK

Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different architectures of laptops,
Contemporary Natural Philosophy and Philosophies - Part 1
Language: en
Pages: 350
Authors: Gordana Dodig-Crnkovic
Categories: Philosophy
Type: BOOK - Published: 2019-06-11 - Publisher: MDPI

DOWNLOAD EBOOK

Modern information communication technology eradicates barriers of geographic distances, making the world globally interdependent, but this spatial globalizatio
Proofs and Computations
Language: en
Pages: 480
Authors: Helmut Schwichtenberg
Categories: Mathematics
Type: BOOK - Published: 2011-12-15 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computabil