Mathematical systems. (Q2593908)

Eine aus persönlichen Informationen durch L. Wittgenstein abstrahierte philo\-sophische Kritik der formalistischen und der intuitionistischen Bemühungen um die Grundlagen der Mathematik. Beide Vorstöße sind Vorstöße mit untauglichen Mitteln. ``The finitist fails to give a satisfactory account of classical mathematics, for he openly rejects it and builds up another system. The formalist fails and also builds a different system but cannot see that his system is different''. Zur Begrün\-dung: ``It cannot be too strongly stressed that the formalism of Hubert or Carnap fails to give an account of mathematics, because the language of the latter is infinitely richer and more diversified than that of the formal system''. Folglich? ``It is not a new foundation of mathematics that is needed, but a close examination of its skeletal structure and of its ornamental coverings''. Fehlleistung des Verf.: die Verwechslung der Irrationalität mit der Transzendenz von \(\pi\).