Am 15.03.2020 um 19:02 schrieb Rat Frag via Philweb
<philweb(a)lists.philo.at>at>:
Ist es nicht ein Problem, wenn man nicht klar definieren kann, was man
da nicht akzeptiert?
Hi Rat Frag,
die Definitionslast liegt beim Behauptenden, der angeben muss, wovon er redet. Und weil
die Mainstream-Mathematiker das nicht können, akzeptieren die konstruktivistischen
Abweichler das nicht. Zudem sollte analog zur Unschuldsvermutung im Zweifel die
Nichtexistenzannahme gelten.
Ist es nicht streng genommen auch eine metaphysische
Annahme, dass
nichts aktual-unendliches existiert?
Nein, wie gesagt ist es umgekehrt, wer etwas als existent behauptet, muss es als solches
beweisen und nicht einfach als gegeben voraussetzen.
Wenn die Zahl Pi nicht aktual unendlich ist, dann
verstehe ich
wahrscheinlich gar nicht, was genau mit aktuall unendlich hier gemeint
ist. Die Intuitionisten scheinen andere probleme mit der Mathematik
gehabt zu haben, in Sachen Negation, Bildung von Komplementärmengen
usw.
Eben, was soll mit aktual unendlich gemeint sein? Unendlichkeit kann doch nichts
„Fertiges“ sein, vielmehr ist es etwas, das nie endet, aber dennoch endlich ist wie der
Grenzwert, der die Zahl Pi bestimmt, die so wie alle anderen reellen Zahlen durch
Intervallschachtelung oder als Grenzwert rationaler Folgen bestimmbar ist. Habt Ihr denn
nie in der Schule mit Grenzwerten gearbeitet, Folgen und Reihen programmiert? Schau doch
mal auf das Schülerportal der Uni Bonn:
https://www.mathematics.uni-bonn.de/files/schulportal/skript_donnerstag
<https://www.mathematics.uni-bonn.de/files/schulportal/skript_donnerstag>
Ansonsten empfehle ich die Lehrbücher: Oliver Deiser: "Einführung in die Mengenlehre.
Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo". Darin
findest Du eine lesenswerte Einleitung zur Vorgeschichte der Mengenlehre seit Cantor. Und:
Ernst Hairer, Gerhard Wanner. "Analysis in historischer Entwicklung". In dem
Buch wird auch detailliert auf die Berechnung von Pi eingegangen, die schon 1706 auf 100
Stellen genau berechnet wurde:
3,141592653.5897932384.6264338327.9502884197.1693993751.0582097494.4592307816.4062862089.9862803482.5342117067.9
…
Es grüßt,
Ingo