Ladrière Jean. Le rôle du théoréme de Gödel dans le développement de la théorie de la démonstration. Revue philosophique de Louvain, vol. 47 , pp. 469–492.Ladrière Jean. Rationnel et irrationnel en mathématique. Revue philosophique de Louvain, vol. 48 , pp. 37–62.Ladrière Jean. Le théorème fondamental de Gentzen. Revue philosophique de Louvain, vol. 49 , pp. 357–384 [Book Review]

Journal of Symbolic Logic 19 (2):129-130 (1954)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268881

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Le rôle du théorème de Gödel dans le développement de la théorie de la démonstration.Jean Ladrière - 1949 - Revue Philosophique De Louvain 47 (16):469-492.
Ladrière Jean. Les limitations internes des formalismes. Étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques. Collection de logique mathématique, B II. E. Nauwelaerts, Louvain, and Gauthier-Villars, Paris, 1957, XV + 715 pp. [REVIEW]Donald Monk - 1960 - Journal of Symbolic Logic 25 (3):270-270.
Jean-François Malherbe, Le langage théologique à l'âge de la science. Lecture de Jean Ladrière.Olivier Depré - 1986 - Revue Philosophique De Louvain 84 (63):421-423.
Gentzen Gerhard. Recherches sur la déduction logique. French translation of 4422 by Ladrière Jean, with added footnotes by the translator. Presses Universitaires de France, Paris 1955, XI + 170 pp.Feys Robert. Préface. Therein, pp. VII–XI.Feys Robert. Note A. Les méthodes de déduction naturelle. Therein, pp. 1–2.Feys Robert. Note B. Notation explicite des suppositions. Therein, pp. 29–34.Feys Robert. Note C. Méthodes N de Jaśkowski, Bernays et Johannson. Therein pp. 35–39.Feys Robert. Note D. Variantes des calculs LK et LJ. Therein, pp. 77–83.Ladrière Jean. Note E. Un calcul “MK” analogue au calcul NK. Therein, pp. 84–89.Feys Robert. Note F. Signification des séquences et des schémas de structure. Therein, pp. 90–92.Ladriére Jean. Note G. Les schémas de coupure et de fusion de séquences. Therein, pp. 93–97.Ladriére Jean. Note H. Tableau de la démonstration du théorème fondamental. Therein, pp. 98–100.Ladriére Jean. Note I. Marche de la démonstration du théorème fondamental. Therein, pp. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):350-351.
Jean Ladrière, L'éthique dans l'univers de la rationalité.Stanislas Deprez - 1999 - Revue Philosophique De Louvain 97 (1):178-186.
Le Théorème fondamental de Gentzen.Jean Ladrière - 1951 - Revue Philosophique De Louvain 49 (23):357-384.
In Memoriam Jean Ladrière.Jacques Taminiaux - 2008 - Revue Philosophique De Louvain 106 (2):242-247.
Anne Crahay, Michel Serres. La mutation du cogito. Genèse du transcendantal objectif. Préface de Jean Ladrière.Hervé Pasqua - 1991 - Revue Philosophique De Louvain 89 (83):524-526.
Alfredo Gomez-Muller, Éthique, coexistence et sens. Préface de Jean Ladrière.Pierre Destrée - 2000 - Revue Philosophique De Louvain 98 (2):382-385.
Jean Ladrière. Expression de la récursion primitive dans le calcul-λ-K. Logique et analyse, n.s. vol. 4 , pp. 23–54.Paul Bernays - 1965 - Journal of Symbolic Logic 30 (1):91-94.

Analytics

Added to PP
2013-11-22

Downloads
13 (#288,494)

6 months
11 (#1,140,922)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references