Finitism in mathematics. I, II. (Q2611327)

Eine breite Erörterung der logischen Prinzipien des Intuitionismus (``Finitismus'') und des Formalismus in der Mathematik. Verf. vertritt im wesentlichen die Anschauungen des Intuitionismus, lehnt jedoch gewisse extreme Thesen ab, und sucht bestimmte mißverständliche Formulierungen durch korrektere zu ersetzen. So wird insbesondere der Versuch gemacht, die Stellung des Intuitionismus zum Prinzip vom ausgeschlossenen Dritten korrekter dahingehend zu charakterisieren, daß die Allgemeingültigkeit der Formel ``\(p\, \lor \sim p\)'' für beliebige \textit{Sätze} nicht bestritten wird, daß dagegen gewisse ``Verbalformen'' (nämlich All- oder Existenzformeln bestimmter Art) nicht als legimite Werte für ``\(p\)'', nicht als \textit{Sätze} mit konkreter Bedeutung angesehen werden. Eine ausführliche Diskussion des hier auftretenden Begriffs der Bedeutung eines Ausdrucks im Zusammenhang mit der Frage seiner ``Verifizierbarkeit'' bildet das Kernstück der Arbeit.