Preface

Klaus Mainzer; Peter Schuster; Helmut Schwichtenberg

Preface

Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg

TUM Emeriti of Excellence

Publikation: Beitrag in Buch/Bericht/Konferenzband › Vorwort/Nachwort

2 Zitate (Scopus)

Abstract

Modern proof theory with constructive and univalent mathematicsis basic for program extraction and verification in computer science.In the age of digitalization, correctness, security, and trust in algorithmsturn out to be general problems of computer technology withdeep philosophical and societal impact. These common perspectivesof proof theory, computer science, and philosophy have been consideredin a series of international schools under the title “Proof andComputation” since 2016 in Bavaria.

Originalsprache	Englisch
Titel	Proof and Computation II
Untertitel	From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Herausgeber (Verlag)	World Scientific Publishing Co.
Seiten	v-vi
ISBN (elektronisch)	9789811236488
ISBN (Print)	9789811236471
Publikationsstatus	Veröffentlicht - 1 Jan. 2021

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

@inbook{d67c2d591d7440e2b27ecb7242b662f2,

title = "Preface",

abstract = "Modern proof theory with constructive and univalent mathematicsis basic for program extraction and verification in computer science.In the age of digitalization, correctness, security, and trust in algorithmsturn out to be general problems of computer technology withdeep philosophical and societal impact. These common perspectivesof proof theory, computer science, and philosophy have been consideredin a series of international schools under the title “Proof andComputation” since 2016 in Bavaria.",

author = "Klaus Mainzer and Peter Schuster and Helmut Schwichtenberg",

note = "Publisher Copyright: {\textcopyright} 2022 by World Scientific Publishing Co. Pte. Ltd.",

year = "2021",

month = jan,

day = "1",

language = "English",

isbn = "9789811236471",

pages = "v--vi",

booktitle = "Proof and Computation II",

publisher = "World Scientific Publishing Co.",

}

TY - CHAP

T1 - Preface

AU - Mainzer, Klaus

AU - Schuster, Peter

AU - Schwichtenberg, Helmut

PY - 2021/1/1

Y1 - 2021/1/1

N2 - Modern proof theory with constructive and univalent mathematicsis basic for program extraction and verification in computer science.In the age of digitalization, correctness, security, and trust in algorithmsturn out to be general problems of computer technology withdeep philosophical and societal impact. These common perspectivesof proof theory, computer science, and philosophy have been consideredin a series of international schools under the title “Proof andComputation” since 2016 in Bavaria.

AB - Modern proof theory with constructive and univalent mathematicsis basic for program extraction and verification in computer science.In the age of digitalization, correctness, security, and trust in algorithmsturn out to be general problems of computer technology withdeep philosophical and societal impact. These common perspectivesof proof theory, computer science, and philosophy have been consideredin a series of international schools under the title “Proof andComputation” since 2016 in Bavaria.

UR - http://www.scopus.com/inward/record.url?scp=85127374217&partnerID=8YFLogxK

M3 - Foreword/postscript

AN - SCOPUS:85127374217

SN - 9789811236471

SP - v-vi

BT - Proof and Computation II

PB - World Scientific Publishing Co.

ER -

Preface

Abstract

Andere Dateien und Links

Fingerprint

Dieses zitieren