The blind spot. Course on logic. II. On the imperfection

MaRDI QIDQ3548540zbMATH OpenFDO

Authors Jean-Yves Girard

Publication date 16 December 2008

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30) Logic in the philosophy of science (03A10)

Recommendations

• The blind spot. Course in logic. I. On the perfection
• The blind spot. Lectures on logic
• Classical and non-classical logics: essay on the foundations of logic
• Opening logic to the world. Philosophy and mathematics of interaction
• scientific article; zbMATH DE number 1097324

Cited in

(7)

• Rule-following and the limits of formalization: Wittgenstein's considerations through the lens of logic
• The blind spot. Course in logic. I. On the perfection
• Quantum coherent spaces and linear logic
• A correspondence between maximal abelian sub-algebras and linear logic fragments
• The blind spot. Lectures on logic
• Linear logic by levels and bounded time complexity
• Focalisation and Classical Realisability

This page was built for publication: The blind spot. Course on logic. II. On the imperfection

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3548540)