Yvon Gauthier

De Platon à Descartes et de Kant à Husserl, les idéalités mathématiques ont constamment été l'objet de l'attention philosophique; pour Platon et Descartes, idéalités discursives et régulatrices, pour Kant et Husserl, idéalités pures et objectives. Chez le dernier, bien que les tentatives inaugurates de philosophie mathématique aient été sévèrement critiquées par un Frege et malgré l'intérêt limité qu'elles ont aujourd'hui pour l'épistémologue des mathématiques, l'idéalité mathématique restera toujours un modèle — au sens d'idéal — épistémologique privilégié. Le Centre des Archives — Husserl de Louvain publiera bientôt, par les soins de H. R. Brennecke de Cologne, un ouvrage réunissant les principaux écrits mathématiques de Husserl — dont la thèse de doctorat sur le calcul des variations écrite sous l'inspiration de Weierstrass, Beiträge zur Variationsrechnung — sous le titre Studia Mathematica. Si Husserl n'a pas pu mener à terme son projet de « Mannigfaltig-keitslehre », théorie des multiplicités — c'est de ce même terme que Cantor avait aussi baptisé sa théorie des ensembles au début — il n'en demeure pas moins que les analyses phénoménologiques ne sont pas dépourvues d'intérêt pour la doctrine de la science contemporaine et peuvent même constituer le langage approprié pour l'épistémologue des sciences naturelles ou sociales. C'est cela même que semble récuser Desanti, du moins pour l'épistémologie mathématique. Disons tout de suite que Desanti se défend mal d'utiliser le langage phénoménologique et s'il le conteste, c'est peut-être qu'il n'est pas parvenu à le dé-construire totalement, selon l'expression de Derrida.

Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker's general arithmetic of forms (polynomials) together with Fermat's infinite descent is put to use in an internal consistency proof. The view is developed in the context of a radical arithmetization of mathematics and logic and covers the many-faceted heritage of Kronecker's work, which includes not only Hilbert, but also Frege, Cantor, Dedekind, Husserl and Brouwer. The book will be of primary interest to logicians, philosophers and mathematicians interested in the foundations of mathematics and the philosophical implications of constructivist mathematics. It may also be of interest to historians, since it covers a fifty-year period, from 1880 to 1930, which has been crucial in the foundational debates and their repercussions on the contemporary scene.

The author has endeavoured to define two main trends in the research on the foundations of mathematics, constructivism and structuralism. He gives many examples in axiomatic set theory, e.g. the continuum hypothesis, and in intuitionism, e.g. the notion of choice sequence, in order to show that the two approaches are complementary. The paper contains some original ideas, concerning the structure of the continuum and the constructive horizon, and is completed by an appendix. The paper is an attempt at the justification of a constructivist philosophy in the making

Le petit ouvrage de Michel Bourdeau dans cette élégante collection des Presses Universitaires de France a des prétentions modestes, comme l'exige d'ailleurs la vocation pédagogique de la collection. Il s'agit d'une introduction philosophique au programme de l'intelligence artificielle. L'auteur voudra aborder la problématique par la voie historique et dans un esprit informel, tout en espérant faire la part de la pensée symbolique et de l'intuition en deux temps «La préhistoire de l'intelligence artificielle» et «Éléments d'une théorie de l'intuition».

What Gödel referred to as “outer” consistency is contrasted with the “inner” consistency of arithmetic from a constructivist point of view. In the settheoretic setting of Peano arithmetic, the diagonal procedure leads out of the realm of natural numbers. It is shown that Hilbert’s programme of arithmetization points rather to an “internalisation” of consistency. The programme was continued by Herbrand, Gödel and Tarski. Tarski’s method of quantifier elimination and Gödel’s Dialectica interpretation are part and parcel of Hilbert’s finitist ideal which is achieved by going back to Kronecker’s programme of a general arithmetic of forms or homogeneous polynomials. The paper can be seen as a historical complement to our result on “The Internal Consistency of Arithmetic with Infinite Descent” . An internal consistency proof for arithmetic means that transfinite induction is not needed and that arithmetic can be shown to be consistent within the bounds of arithmetic, that is with the help of Fermat’s infinite descent and Kronecker’s general or polynomial arithmetic, thus returning into arithmetic without the detour of Cantor’s transfinite arithmetic of ideal elements