ZusammenfassungDie Arbeit enthält Bemerkungen über den Intuitionismus and über seine Beziehungen zu anderen Gebieten der Grundlagenforschung. Innerhalb der intuitionistischen Mathematik werden, im Anschluss an die Kritik von Griss gegen den Gebrauch der Negation, Evidenzstufen unterschieden, abhängend von der Art, in der bedingte Konstruktionen zugelassen werden. Auch werden gewisse Schwierigkeiten in der Theorie der endlichen Spezies diskutiert. Was die Grundlagenforschung im Aligemeinen betrifft, wird bemerkt, dass sie die klassische Mathematik weitgehend in ihre intuitiven, formalen and platonischen Bestandteile zerlegt hat. Es wird (...) näher eingegangen auf die These von Church in der Theorie der rekursiven Funktionen.RésuméL'article contient des remarques sur l'intuitionisme et sur ses rapports avec les autres directions dans la recherche des fondements. Dans la mathématique intuitioniste, et en connexion avec la critique de Griss contre l'usage de la négation, on distingue des degrés d'évidence, dépendant de l'espèce de constructions conditionnées qui est admise. En outre, on discute certaines difficultés dans la théorie des espèces finies. Concernant la recherche des fondements en général, on remarque que les mathématiques classiques ont été scindées en leurs éléments intuitifs, formels et platonistes. Quelques remarques sur la thèse de Church dans la théorie des fonctions récursives terminent l'article.The paper contains remarks on intuitionism and its relations with other domains of foundational research. Inside the intuitionistic mathematics, in connection with Griss' criticism against the use of negation, different degrees of evidence are distinguished, depending upon the way in which conditioned constructions are admitted. Some difficulties in the theory of finite species are discussed. Concerning the foundational research in general it is observed that it has separated intuitive, formal and platonistic constituents in classical mathematics. Some remarks are made on Church's thesis in the theory of recursive functions. (shrink)

ZusammenfassungP. Bernays hat darauf hingewiesen, dass man, um die Widerspruchs freiheit der klassischen Zahlentheorie zu beweisen, den Hilbertschen flniter Standpunkt dadurch erweitern muss, dass man neben den auf Symbole sich beziehenden kombinatorischen Begriffen gewisse abstrakte Begriffe zulässt, Die abstrakten Begriffe, die bisher für diesen Zweck verwendet wurden, sinc die der konstruktiven Ordinalzahltheorie und die der intuitionistischer. Logik. Es wird gezeigt, dass man statt deesen den Begriff einer berechenbaren Funktion endlichen einfachen Typs über den natürlichen Zahler benutzen kann, wobei keine anderen (...) Konstruktionsverfahren für solche Funktionen nötig sind, als einfache Rekursion nach einer Zahlvariablen und Einsetzung von Funktionen ineinander .P. Bernays has pointed out that, in order to prove the consistency of classical number theory, it is necessary to extend Hilbert's finitary stand‐point by admitting certain abstract concepts in addition to the combinatorial concepts referring to symbols. The abstract concepts that so far have been used for this purpose are those of the constructive theory of ordinals and those of intuitionistic logic. It is shown that the concept of a computable function of finite simple type over the integers can be used instead, where no other procedures of constructing such functions are necessary except simple recursion by an integral variable and substitution of functions in each other. (shrink)