Dann hast Du wohl auch nur ein 32bit Windows.
Archiv RAM - Module, Marken, Murks 4.582 Themen, 22.751 Beiträge
Mit der Mathematik ist das so:
Um absolut exakt zu sein muss da rein logisch bewiesen werden
und
die Semantik bzw. der Inhalt augelassen werden.
Soll bedeuten:
Anschaulich völlig klare Aussagen werden axiomatisiert,
nur diese Axiome sind dann gültig, die Schlüsse rein logisch.
In der Logik selbst wird nichts behauptet, die ist völlig neutral,
muss allgemein bleiben und dennoch jeden Spezialfall miterfassen.
Bei der Quadratur des Kreises ist diese wie Du schon gesagt hast
mit Zirkel und Lineal (allein) nicht möglich.
Mit anderen Mitteln geht das -- nur ist das keine "Quadratur des Kreises"
mehr, da Mittel nötig sind ( zB. Einschiebelineal) die gegen den Beweiskontext verstoßen.
"Ein Beweis ohne Kontext ist keiner"*
* Diese wahre Aussage stammt vom Chef einer bekannten Forensikserie.
Die Mathematiker übertreiben das axiomatische aber manchmal
So wurde der Philosoph Kant angegriffen ..
Wegen der Aussage:
" Die Euklidische-Geometrie ist denknotwendig! " (Eine andere kann es nicht geben)
Dabei darf nicht vergessen werden:
Die Mathematik ist vorsichtig, Geraden heißen da nur Geraden,
brauchen überhaupt nicht gerade sein.
Nur hat Kant in seiner Aussage wohl die Semantik "Das Gerade" mit einbezogen.
Das ist logisch möglich da die die Euklidische Geometrie
als " Der einzige unverzerrte Spezialfall " gedeutet werden kann in dem es
Das absolut Gerade gibt.
Er hat anscheinend aussagen wollen, so die "normale" euklidische Geometrie fundamentaler
als die allgemeineren krummen Geometrien sind, falls er diese schon gekannt hätte.
Ein weiteres Beispiel 1+1=10 ist wegen 1+1=2 falsch.
Im Kontext der dualen oder binären Zahlen ist aber 1+1=10 wahr.
Die Aussage 1+1=2 ist aber davon nicht betroffen und ist wahr
I+I=II ist da eine gute alte konstruktive Schreibweise ..