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: 91,386

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.
Le Théorème fondamental de Gentzen.Jean Ladrière - 1951 - Revue Philosophique De Louvain 49 (23):357-384.
Rationnel et irrationnel en mathématique.Jean Ladrière - 1950 - Revue Philosophique De Louvain 48 (17):37-62.
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.
Le rôle de la notion de finalité dans une cosmologie philosophique.Jean Ladrière - 1969 - Revue Philosophique De Louvain 67 (93):143-181.
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.
Vérité et praxis dans la démarche scientifique.Jean Ladrière - 1974 - Revue Philosophique De Louvain 72 (14):284-310.
Jean Ladrière, L'éthique dans l'univers de la rationalité.Stanislas Deprez - 1999 - Revue Philosophique De Louvain 97 (1):178-186.
Le projet philosophique et la foi chrétienne.Jean Ladrière - 1994 - Revue Philosophique De Louvain 92 (2):295-311.
Histoire et Destinée.Jean Ladrière - 1960 - Revue Philosophique De Louvain 58 (57):103-134.
La perspective mécaniste.Jean Ladrière - 1988 - Revue Philosophique De Louvain 86 (4):538-562.
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.
In Memoriam Jean Ladrière.Jacques Taminiaux - 2008 - Revue Philosophique De Louvain 106 (2):242-247.
In memoriam Christian Wenin.Jean Ladrière - 1988 - Revue Philosophique De Louvain 86 (2):267-280.
Le Colloque International de Logique.Jean Ladrière - 1958 - Revue Philosophique De Louvain 56 (52):686-694.

Analytics

Added to PP
2013-11-22

Downloads
13 (#1,013,785)

6 months
1 (#1,516,429)

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