Abstract

RésuméSelon K. Gödel, les restrictions méthodologiques des constructivistes sont aberrantes, et le point de vue réaliste est beaucoup plus fécond: il est hi‐même parvenu à ses résultats logiques fondarnentaux en donnant une place à la notion de vérite, qui n'est pas de type combinatoire. Le premier théorème d'incomplétude est hi‐même un argument décisif en faveur du réalisme, si l'on accepte le principe d'«accessibilité» en vertu duquel nous pouvons décider de toutes les propriétés de nos constructions intellectuelles. Par ailleurs, il existe un large spectre d'arguments permettant de statuer sur un énoncé indécidable dans un système formel. La thèse mécaniste, selon laquelle l'intelligence humaine peut être pensée sans distorsion significative sur le modèle d'une machine de Turing, est donc inacceptable.SummaryAccording to K. Gödel, the methodological restrictions of the constructivists are aberrant, and the realist point of view is much more fruitful. He reached these fundamental logical results himself by making place for a non‐cornbinatorial notion of truth. The first incompletness theorem is itself a decisive argument in favor of realism, provided that the principle of «accessibility» is accepted, by virtue of which we are capable of determining all the properties of our intellectual constructions. Moreover, there are numerous arguments that permit the evaluation of an undecidable statement in a formal system. The mechanistic thesis, according to which the functioning of the human mind, without significant distorsion, can be compared to a Turing machine, is now unacceptable.ZusammenfassungNach Gödel sind die methodologischen Einschränkungen der Konstruktivisten irrig, und er hält den realistischen Standpuukt für viel fruchtbarer. Er selbst erreichte seine grundlegenden logischen Ergebnisse dadurch, dass er Platz machte für einen nichtkombinatorischen Begriff der Wahrheit. Das erste Unvollständigkeitstheorem ist selbst ein entscheidendes Argument zugunsten des Realismus, sofern das «Zugänglichkeitsprinzip» akzeptiert wird, wonach wir fähig sind, alle Eigenschaften unserer intellektuellen Konstruktionen zu bestinmen. Zudem gibt es zahlreiche Argumente, die die Beurteilung einer unentscheidbaren Aussage in einem formalen System erlauben. Die mechanistische These, nach welcher das Funktionieren des menschlichen Geistes ohne wesentliche Verzerrung mit einer Turingmaschine verglichen werden kann, ist heute nicht mehr annehmbar