The blind spot
Subtitle: lectures on logic
By: Jean-Yves Girard
Publisher: European Mathematical Society
Published: 2011
Language: eng
Number of pages: 537
ISBN-13: 9783037190883
Subjects: Proof theory; Logic
Notes: Includes bibliographical references and index.
Table of contents: title: Existence vs. essence; title: Incompleteness; title: Classical sequents: LK; title: Intuitionistic logic: LJ, NJ; title: Functional interpretations; title: System F; title: The category-theoretic interpretation; title: Coherent spaces; title: Linear logic; title: Perfection vs. imperfection; title: Proof-nets; title: A hypothesis: polarisation; title: Designs and behaviours; title: Ludics: the reconstruction; title: Orthodox exponentials; title: Heterodox exponentials; title: Quantum coherent spaces; title: Nets and duality; title: The feedback equation; title: Babel Tower vs. Great Wall; title: Finite GoI; title: Envoi. The phantom of transparency.