Sur la crise contemporaine des mathématiques. (Q5971831): Difference between revisions

Trotz wiederholter Belehrungsversuche beharrt Verf. dabei, dem Intuitionismus einen Begriff ``\textit{tiers}'' aufzudrängen. Verf. scheint sich nicht darüber klar geworden zu sein, daß solch ein ``\textit{tiers}'' nur bedeuten könnte, daß im Augenblick etwas nicht bewiesen und nicht widerlegt ist. Ferner schiebt er dem Intuitionismus eine Intuition der Gesamtheit der natürlichen Zahlen unter; er denkt hier vielleicht an die erste \textit{Weyl}sche Theorie. Bemerkt sei noch, daß er für die Tatsache, daß der Satz vom ausgeschlossenen Dritten für jeden einzelnen \textit{intuitionistischen} Satz gültig ist, \textit{A. Heyting} als Autor nennt. Die Tatsache steht im Wesentlichen aber bereits bei \textit{Brouwer} (Sitzungsber. Akad. Berlin 1928, 48-52; F. d. M. 54, 53 (JFM 54.0053.*)).