東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

The Blind Spot = Lectures on Logic /

Girard, Jean-Yves,

Linked to FindBook

Google Book

Amazon

博客來

The Blind Spot = Lectures on Logic /

Record Type:	Electronic resources : Monograph/item
Title/Author:	The Blind Spot/ Jean-Yves Girard
Reminder of title:	Lectures on Logic /
Author:	Girard, Jean-Yves,
Published:	Zuerich, Switzerland :European Mathematical Society Publishing House, : 2011,
Description:	1 online resource (550 pages)
Subject:	Mathematical logic -
Online resource:	https://doi.org/10.4171/088
Online resource:	https://www.ems-ph.org/img/books/girard_mini.jpg
ISBN:	9783037195888

The Blind Spot = Lectures on Logic /
Girard, Jean-Yves,

The Blind SpotLectures on Logic /[electronic resource] :Jean-Yves Girard - Zuerich, Switzerland :European Mathematical Society Publishing House,2011 - 1 online resource (550 pages)

Restricted to subscribers:https://www.ems-ph.org/ebooks.php

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 Gö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.

ISBN: 9783037195888

Standard No.: 10.4171/088doiSubjects--Topical Terms:

3481017
Mathematical logic

The Blind Spot = Lectures on Logic /
LDR:02857nmm a22002895a 4500 001 2233226
003 CH-001817-3
005 20110924234522.0
006 a fot ||| 0|
007 cr nn mmmmamaa
008 210928e20110925sz fot ||| 0|eng d
020 $a 9783037195888
024 7 0 $a 10.4171/088 $2 doi
035 $a 136-110924
040 $a ch0018173
072 7 $a PBCD $2 bicssc
084 $a 03-xx $a 18-xx $a 68-xx $2 msc
100 1 $a Girard, Jean-Yves, $e author. $3 3481016
245 1 0 $a The Blind Spot $h [electronic resource] : $b Lectures on Logic / $c Jean-Yves Girard
260 3 $a Zuerich, Switzerland : $b European Mathematical Society Publishing House, $c 2011
300 $a 1 online resource (550 pages)
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
506 1 $a Restricted to subscribers: $u https://www.ems-ph.org/ebooks.php
520 $a 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 Gö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 0 7 $a Mathematical logic $2 bicssc $3 3481017
650 0 7 $a Mathematical logic and foundations $2 msc $3 3481018
650 0 7 $a Category theory; homological algebra $2 msc $3 3480981
650 0 7 $a Computer science $3 893650
856 4 0 $u https://doi.org/10.4171/088
856 4 2 $3 cover image $u https://www.ems-ph.org/img/books/girard_mini.jpg