LAVE
发表于 2025-4-1 02:37:19
Vergleichung der beschriebenen Standpunkteßter Mühe künstlich erbautes formales System abzubilden. Hierdurch entsteht die Gefahr, daß durch unbegründete Interpretation des an sich bedeutungslosen Kalkuls die wirkliche Erkenntnis beeinträchtigt wird; jedenfalls erschwert das Vorschieben des Formalen die Untersuchung.
宴会
发表于 2025-4-1 08:27:31
Intuitionismus und Beweistheoriete. Die engeren Beziehungen des Logizismus zur Beweistheorie H.s sind durchweg rein formaler Art; historisch haben beide an die formalen Entwicklungen P. angeknüpft, und viele metamathematische Untersuchungen können sowohl auf den R. schen als auf den H. schen Kalkul angewandt werden.