The Blind Spot (Record no. 50437)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 03349nam a22003975a 4500 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9783037195888 |
100 1# - MAIN ENTRY--AUTHOR NAME | |
Personal name | Girard, Jean-Yves, |
245 10 - TITLE STATEMENT | |
Title | The Blind Spot |
Sub Title | Lectures on Logic / |
Statement of responsibility, etc | Jean-Yves Girard |
260 3# - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication | Zuerich, Switzerland : |
Name of publisher | European Mathematical Society Publishing House, |
Year of publication | 2011 |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | 1 online resource (550 pages) |
520 ## - SUMMARY, ETC. | |
Summary, etc | These lectures on logic, more specifically proof theory, are basically intended for postgraduate students and researchers in logic. The question at stake is the nature of mathematical knowledge and the difference between a question and an answer, i.e., the implicit and the explicit. The problem is delicate mathematically and philosophically as well: the relation between a question and its answer is a sort of equality where one side is “more equal than the other”: one thus discovers essentialist blind spots. Starting with Gödel’s paradox (1931) – so to speak, the incompleteness of answers with respect to questions – the book proceeds with paradigms inherited from Gentzen’s cut-elimination (1935). Various settings are studied: sequent calculus, natural deduction, lambda calculi, category-theoretic composition, up to geometry of interaction (GoI), all devoted to explicitation, which eventually amounts to inverting an operator in a von Neumann algebra. Mathematical language is usually described as referring to a preexisting reality. Logical operations can be given an alternative procedural meaning: typically, the operators involved in GoI are invertible, not because they are constructed according to the book, but because logical rules are those ensuring invertibility. Similarly, the durability of truth should not be taken for granted: one should distinguish between imperfect (perennial) and perfect modes. The procedural explanation of the infinite thus identifies it with the unfinished, i.e., the perennial. But is perenniality perennial? This questioning yields a possible logical explanation for algorithmic complexity. This highly original course on logic by one of the world’s leading proof theorists challenges mathematicians, computer scientists, physicists and philosophers to rethink their views and concepts on the nature of mathematical knowledge in an exceptionally profound way. |
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Mathematical logic |
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Mathematical logic and foundations |
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Category theory; homological algebra |
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer science |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Girard, Jean-Yves, |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | https://doi.org/10.4171/088 |
856 42 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | http://www.ems-ph.org/img/books/girard_mini.jpg |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | E-BOOKS |
264 #1 - | |
-- | Zuerich, Switzerland : |
-- | European Mathematical Society Publishing House, |
-- | 2011 |
336 ## - | |
-- | text |
-- | txt |
-- | rdacontent |
337 ## - | |
-- | computer |
-- | c |
-- | rdamedia |
338 ## - | |
-- | online resource |
-- | cr |
-- | rdacarrier |
347 ## - | |
-- | text file |
-- | |
-- | rda |
Withdrawn status | Lost status | Damaged status | Not for loan | Current library | Accession Number | Uniform Resource Identifier | Koha item type |
---|---|---|---|---|---|---|---|
IMSc Library | EBK13813 | https://doi.org/10.4171/088 | E-BOOKS |