Proof and computation digitization in mathematics, computer science, and philosophy
Proof and computation / Klaus Mainzer -- Constructive convex programming / Josef Berger and Gregor Svindland -- Exploring predicativity / Laura Crosilla -- Constructive functional analysis : an introduction / Hajime Ishihara -- Program extraction / Kenji Miyamoto -- The data structures of the lambda...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
New Jersey, London, Singapore, Beijing, Shanghai, Hong Kong, Taipei, Chennai, Tokyo
World Scientific
2018
|
| Schlagworte: | |
| Online Zugang: | Inhaltstext Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Zusammenfassung: | Proof and computation / Klaus Mainzer -- Constructive convex programming / Josef Berger and Gregor Svindland -- Exploring predicativity / Laura Crosilla -- Constructive functional analysis : an introduction / Hajime Ishihara -- Program extraction / Kenji Miyamoto -- The data structures of the lambda terms / Masahiko Sato -- Provable (and unprovable) computability / Stanley S. Wainer -- Introduction to Minlog / Franziskus Wiesnet |
|---|---|
| Beschreibung: | Includes bibliographical references and index "... an international autumn school "Proof and Computation" was held from 3rd to 8th October 2016 ... in Fischbachau ..." - Vorwort |
| Beschreibung: | viii, 291 Seiten Diagramme 24 cm |
| ISBN: | 9789813270930 978-981-327-093-0 |