[PhilWeb] Re: Ist der Begriff des Beweises in der Mathematik eindeutig?

Hinsichtlich eines soliden Fundaments der Mathematik halte ich mich an die konstr. Mathematik, die nicht nur in der Lebenswelt hinreicht, sondern auch weitgehend der Naturwissenschaft genügt. Die im Anschluss an Hilbert von Schütte auf den Weg gebrachte Beweistheorie tastet sich nach Schroeder-Heister „nur langsam an die wirklichen Probleme heran. Andererseits muss man der Beweistheorie zugute halten, dass sie überhaupt erst einmal einen prazisen syntaktischen Begriff von ‚Beweis' entwickelt hat, in dem sich konkrete mathematische Beweise formulieren lassen.“ Siehe dazu "Die Grundlagen mathematischer Beweise. Philosophisch-logische Überlegungen“ in der Liste unter: https://uni-tuebingen.de/fakultaeten/mathematisch-naturwissenschaftliche-fa…