The meaning of mathematics. (Q568020)

Der Verf. betont zunächst die Wichtigkeit der Unterscheidung zwischen Mathematik im strengen Sinne und angewandter Mathematik. Definitionen wie die ``Mathematik ist die Wissenschaft von Zahl und Raum'' beruhten auf einer Verwechslung der genannten Disziplinen und seien daher zu verwerfen. Die Antwort, die der Verf. auf die Frage nach dem Wesen der Mathematik gibt, ist im wesentlichen die \textit{Russell}sche: Die Mathematik ist die Gesamtheit der generellen Implikationen \[ A(x,\dots,z)\supset T(x,\dots,z), \] in deren Implikans ein Axiomensystem \(A\) steht, dessen Grundbegriffe als Variablen (im logischen Sinne) gedeutet werden, und deren Allgemeingültigkeit logisch beweisbar ist. Axiome und Theoreme der Mathematik sind also nicht Aussagen, sondern Aussageformen; alle Untersuchungen darüber, ob ein System von Gegenständen eine Realisierung eines Axiomensystems bildet, rechnet der Verf. zur angewandten Mathematik. Ein System von generellen Implikationen der angedeuteten Art wird als eine \textit{hypothetical doctrinal function} bezeichnet, als deren Funktionswerte die \textit{doctrines} angesehen werden, die dadurch entstehen, daß\ man in die Variablen die Konstanten einer Realisierung einsetzt und das Axiomensystem abkoppelt.