Scholz, Heinrich: Was will die formalisierte Grundlagenforschung?, in: …

Fundstellen im Text 1

• § 42 Der Schöpfer und seine Offenbarung 1943 – 1944

  … H. Scholz , Was will die formalisierte Grundlagenforschung? , in: Deutsche Mathematik, Jg. 7 (1942–1944), S. 206–248, Zitat S. 242 📖 : « Die Grundlagenkrisis der klassischen Logik ist zugleich eine Grundlagenkrisis des auf dem Evidenzgefühl fußenden intuitionistischen Wahrheitsbeg …