WorldCat Identities

Girard, Jean-Yves

Overview
Works: 73 works in 210 publications in 4 languages and 2,604 library holdings
Genres: Conference proceedings 
Roles: Author, Editor, Honoree, Thesis advisor, Creator, Interviewee
Classifications: QA9, 510.1
Publication Timeline
.
Most widely held works about Jean-Yves Girard
 
Most widely held works by Jean-Yves Girard
Proofs and types by Jean-Yves Girard( Book )

20 editions published between 1989 and 1993 in English and held by 368 WorldCat member libraries worldwide

Advances in linear logic by Jean-Yves Girard( Book )

18 editions published between 1995 and 2003 in English and held by 290 WorldCat member libraries worldwide

This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area
Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings by Jean-Yves Girard( Book )

18 editions published between 1997 and 1999 in English and German and held by 286 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 4th International Conference on Typed Lambda Calculi and Applications, TLCA'99, held in L'Aquila, Italy in April 1999. The 25 revised full papers presented were carefully reviewed and selected from a total of 50 submissions. Also included are two invited demonstrations. The volume reports research results on various aspects of typed lambda calculi. Among the topics addressed are noncommutative logics, type theory, algebraic data types, logical calculi, abstract data types, and subtyping
Proof theory and logical complexity by Jean-Yves Girard( Book )

10 editions published in 1987 in English and held by 187 WorldCat member libraries worldwide

La Machine de Turing by Alan Mathison Turing( Book )

6 editions published between 1995 and 1999 in French and held by 129 WorldCat member libraries worldwide

The blind spot : lectures on logic by Jean-Yves Girard( Book )

8 editions published in 2011 in English and held by 107 WorldCat member libraries worldwide

Le point aveugle : cours de logique by Jean-Yves Girard( Book )

5 editions published in 2006 in French and held by 69 WorldCat member libraries worldwide

Three-valued logic and cut-elimination : the actual meaning of Takeuti's conjecture by Jean-Yves Girard( Book )

7 editions published in 1976 in English and held by 66 WorldCat member libraries worldwide

Proof theory and logical complexity by Jean-Yves Girard( Book )

9 editions published in 1987 in English and Undetermined and held by 62 WorldCat member libraries worldwide

Le point aveugle : cours de logique by Jean-Yves Girard( Book )

4 editions published in 2007 in French and held by 61 WorldCat member libraries worldwide

Le théorème de Gödel( Book )

3 editions published between 1989 and 1997 in French and held by 59 WorldCat member libraries worldwide

En 1931, Kurt Godel démontrait, dans un article révolutionnaire, l'incomplétude de tout système axiomatique contenant la théorie des nombres. Apparemment très technique, ce théorème bouleversait de fond en comble la philosophie des mathématiques
Cinq conférences sur l'indécidabilité by Nicolas Bouleau( Book )

7 editions published in 1983 in French and held by 48 WorldCat member libraries worldwide

Gödel's proof by Ernest Nagel( Book )

3 editions published in 1992 in Italian and held by 19 WorldCat member libraries worldwide

"In 1931 Kurt Godel disrupted some of the fundamental assumptions underlying mathematics and logic with the publication of his revolutionary paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." Ironically, few mathematicians of the time were able to understand the young scholar's complex proof, and the full importance of this work was largely overlooked for many years. Godel was at last recognized by his peers and presented with the first Albert Einstein Award in 1951 for achievement in the natural sciences - the highest honor of its kind in the United States. The award committee, which included Albert Einstein and J. Robert Oppenheimer, described his work as "one of the greatest contributions to the sciences in recent times."" "In Godel's Proof, Ernest Nagel and James Newman provide a readable and non-technical explanation for both scholars and non-specialists of the main ideas and broad implications of Godel's discovery. First published in 1958 and in print continuously in ten languages, this highly popular, seminal work offers every educated person with an interest in mathematics, logic, and philosophy the opportunity to understand a previously difficult and inaccessible subject."--BOOK JACKET
Les fondements des mathématiques by Jean-Yves Girard( Visual )

4 editions published between 2000 and 2005 in French and held by 13 WorldCat member libraries worldwide

La "crise des fondements" s'ouvre en 1897 avec le paradoxe de Burali-Forti, une contradiction dans la toute jeune théorie des Ensembles. Parmi les solutions proposées, le "Programme de Hilbert" ( 1925) accorde un rôle privilégié à la non-contradiction formelle. Le théorème d'incomplétude de Gödel (1931), qui réfute le programme de Hilbert, a fait le désespoir de tous ceux qui cherchaient une réponse définitive à leurs angoisses fondationnelles. Il a aussi gêné ceux qui cherchaient plus simplement à comprendre la nature des objets mathématiques. Ce n'est qu'avec le développement de l'informatique qu'ont pu se dégager de nouveaux axes de lecture, en rupture de plus en plus nette avec le réductionnisme Hilbertien
Le point aveugle : cours de logique by Jean-Yves Girard( )

1 edition published in 2014 in French and held by 12 WorldCat member libraries worldwide

Le point aveugle : cours de logique by Jean-Yves Girard( Book )

4 editions published between 2006 and 2007 in French and held by 10 WorldCat member libraries worldwide

Linear logic in computer science by Thomas Ehrhard( Book )

3 editions published in 2004 in English and held by 8 WorldCat member libraries worldwide

This book illustrates linear logic in the application of proof theory to computer science
Interprétation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur by Jean-Yves Girard( Book )

2 editions published in 1972 in French and held by 5 WorldCat member libraries worldwide

Logiques, catégories & machines : implantation de langages de programmation guidée par la logique catégorique by Yves Lafont( Book )

1 edition published in 1988 in French and held by 5 WorldCat member libraries worldwide

DANS LE PREMIER CHAPITRE EST PROPOSEE UNE VUE D'ENSEMBLE SUR DES RAPPORTS ENTRE LOGIQUE, THEORIE DES CATEGORIES ET INFORMATIQUE DANS LE CAS DE LA PROGRAMMATION FONCTIONNELLE. LE DEUXIEME CHAPITRE CONTIENT UNE INTRODUCTION A LA LOGIQUE LINEAIRE AINSI QUE LES PRINCIPES DE LA MACHINE LINEAIRE. L'IMPLANTATION D'UN NOUVEAU LANGAGE QUI INTEGRE DES CARACTERISTIQUES NON FONCTIONNELLES, TOUT EN CONSERVANT LA NATURE DECLARATIVE DES LANGAGES FONCTIONNELS PURS EST PROPOSEE DANS LE TROISIEME CHAPITRE
Linear logic and lazy computation by Jean-Yves Girard( Book )

3 editions published in 1986 in English and held by 5 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.67 (from 0.14 for Advances i ... to 0.94 for Le point a ...)

Proofs and types
Alternative Names
Girard, J.-Y.

Girard, J.-Y. 1947-

Girard, J.-Y. (Jean-Yves)

Girard, Jean-Y. 1947-

Girard, Jean-Yves

Girard, Jean Yves 1947-

jan,iv.jirar

Jean-Yves Girard fransk matematikar

Jean-Yves Girard fransk matematiker

Jean-Yves Girard franzsischer mathematischer Logiker

Jean-Yves Girard French logician

Жан-Ив Жирар французский математики и логик

ジャン=イヴ・ジラール

Languages
English (95)

French (37)

Italian (3)

German (1)

Covers
Advances in linear logicTyped lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedingsProof theory and logical complexityThe blind spot : lectures on logicProof theory and logical complexityLinear logic in computer science