Widerspruch und das Sein und Werden der Mathematik [geschlossen]

Die Mathematik ist voller Widersprüche, ist von ihnen durchzogen: Wo Theorien kollidieren, verblassen oder sich auftun, liegen die Bruchlinien.

Stört dies die Inkarnation der Mathematik – den idealen Mathematiker?

Der ideale Mathematiker ist es nicht. Seine innere Ruhe ist das Wesen der Mathematik, sein drittes Auge ist auf das dritte Reich gerichtet – das dritte Reich der reinen Abstraktionen. Einzigartig an sich und so einzigartig wie Kristalle und prächtiger; dessen Schatten seinen eigenen menschlichen Verstand betreten - das sekundäre Reich der Erkenntnis und des Intellekts.

(Kann man sagen, dass Mathematik in der Primärwelt, dem Bereich des tatsächlichen physischen Seins, gefunden wird? Möglicherweise wird sie als Korrelation zwischen ihnen erhalten).

Aus der Reinheit des Dritten Reiches kommt das Licht, das alle Dinge in ihre richtige Stellung und Schwerkraft bringt, denn im Dritten Reich ist es bereits so . Denn im Dritten Reich gilt kein Widerspruch .

Dass also der Spiritus Mundi der Mathematik – Platonismus, wie Platon es ausdrückte, aber als vereinnahmt – nicht von riesigen Bildern der Zwietracht und Ausdrucksweise beunruhigt wird, sind Illusionen unseres allzu menschlichen Verstandes.

Sagen Sie als Hypothese , dass der Platonismus auch eine Illusion ist, dass das Sein der Mathematik nicht da ist. Was bleibt dann? Nicht sein Sein, sondern sein Werden, und sein Werden muss wesentlich Widersprüche beinhalten . Denn es gibt keinen Appell an das Ideal, sie zu vertreiben. Und diese Widersprüche befinden sich nicht an der Grenze der Mathematik (sollten wir uns die Mathematik als eine riesige, aufsteigende Sphäre vorstellen), sondern reichen bis hinein und durch und zurück und durch den Körper der Mathematik (obwohl wir den Körper verbannt haben) – an jedem Ort und in alle richtungen. So entfaltet sich die Mathematik als Werden.

Hier ist das Ereignis der Mathematik - sein Abenteuer.

Frage:

Führt die Seinsleugnung der Mathematik (Platonismus) notwendigerweise zum reinen Werden, und sind im Sein ihres Werdens (und nicht des Werdens ihres Seins) Widersprüche wesentlich - also unaufhebbar, unaufhebbar unaufhebbar?

Koda

Angesichts einiger Kommentare über die Unklarheit und Undurchsichtigkeit der Sprache hielt ich es für nützlich, die Frage zu „erklären“.

Ich nehme an, die Mainstream-Ontologie der Mathematik ist der Platonismus, wo Abstraktionen wie die Zahl „2“ oder die Gruppe „Z x Z“ existieren; aber darüber hinaus gibt es auch Aussagen über diese Gegenstände mit wohldefinierten Wahrheitswerten. Das ist der Satz „2 ist eine gerade Zahl“; und weiter, dass es auch Theorien selbst gibt, wie PA mit klassischer Logik erster Ordnung. Das platonische Reich wird als außerhalb von Raum und Zeit existierend betrachtet. Ich halte es auch für Mainstream, dass das Gesetz des ausgeschlossenen Dritten oder dass Widersprüche in diesem Bereich möglich sind, nicht möglich sind. (Besonders in Aristoteles Diskussion des Widerspruchsgesetzes ließ er die Möglichkeit offen, welchen Wahrheitswert man einem Satz zuordnen kann, der sich auf die Zukunft bezieht. Aber im platonischen Bereich gibt es keine Zeit, also keine Zukunft).

Ich frage, nehmen Sie an, dass der Platonismus nicht wahr ist und dass zumindest die Zeit inhärent in die Ontologie mathematischer Objekte involviert ist, wenn nicht auch der Raum. Man könnte es so positionieren, dass man die Epistemologie der Mathematik als ihre Ontologie nimmt.

Ich diskutiere dann die Rolle des Gesetzes der Widersprüche, wenn dies geschehen ist. Man könnte sagen, was Widerspruch erkenntnistheoretisch bedeutet, unterscheidet sich von dem, was er ontologisch bedeutet. Und ich schlage vor, dass Widersprüche erkenntnistheoretisch wesentlich sind; denn im Gegensatz zum Platonismus, wo Wahrheiten auf einmal ausgestellt werden; erkenntnistheoretisch gibt es verschiedene Theorien, von denen einige gemeinsame Aussagen oder Theoreme haben, andere sich widersprechen. Es mag stimmen, dass man diese Theorien im Laufe der Zeit aneinander angleichen kann, aber ich erwarte auch, dass gerade die Bewegung auch andere Theorien in den Blick bringt, die inkommensurabel sind.

Ich greife Whiteheads Terminologie für das platonische Reich – das dritte Reich – auf und nehme das erste und zweite als Descartes-Bild der Welt als in physische und mentale Substanzen unterteilt. Ich beziehe mich auf die Ontologie der Mathematik als ihr Sein, in Anspielung auf Badious Konzeption der Mathematik als „Ort der Ontologie“, die eine Wiederbelebung der Ontologie von Platon der Formen ist, wobei die Formen jedoch als abstrakte Objekte betrachtet werden – dies ist ( sehr) anders als der mathematische Platonismus.

Dass ich von Reinheit und Licht spreche, ist eine Anspielung auf die emanationistische Philosophie Plotins, die der Philosophie Platons verpflichtet ist; aber auch in der Frage als „Widerspruchslosigkeit“ und auch als Metapher für die gegenseitige Beeinflussung der Welten interpretiert; aber auch, damit ich Platos berühmtes Bild seiner Formen einbringen kann, die „Schatten“ in der realen Welt werfen.

Das Werden verhält sich zum Sein im kontinentalen Denken wie der herakleitische Fluss zu den platonischen Formen. Hegel bezieht sich auf das Werden als die Aufhebung von Sein und Nichtsein, und Heidegger, wenn er an Sein als Sein denkt, identifiziert Sein mit Zeit, das heißt Werden.

Obwohl ich das „Ereignis“ der Mathematik erwähne, ihr „Abenteuer“, in dem neue Ideen „kollidieren, verblassen oder sich öffnen“, und sich auf Mathematik als einen aktiven und kreativen Prozess bezieht, ist dies nicht die Hauptabsicht der Frage.

Nun, was siehst du? Ich nehme an, Sie kennen den Unterschied zwischen Geist und Körper – kartesische Dualität? dh was ich zweites bzw. erstes Reich nenne. Vermutlich haben Sie auch schon vom Platonismus gehört. Was weder Geist noch Körper ist. Das dritte Reich? Ich habe es das dritte Reich genannt, weil Whitehead, der Mathematiker und Philosoph, es genannt hat.
Du scheinst heute gelangweilt zu sein. Erst Zeno und jetzt das. Ich nenne es so, wie ich es sehe. Was zum Teufel tut "der ideale Mathematiker ist nicht. Seine innere Ruhe ist das Wesen der Mathematik, sein drittes Auge wirft auf das dritte Reich - das dritte Reich der reinen Abstraktionen. Einzigartig in sich und so einzigartig wie Kristalle und prächtiger: die Schatten was seinen eigenen menschlichen Verstand betritt - das sekundäre Reich der Erkenntnis und des Intellekts" bedeuten? Soll ich in der Lage sein, das zu analysieren und vernünftig zu antworten? Was wäre eine vernünftige Reaktion?
Nun, der erste und der zweite Bereich sind vielleicht keine Standardterminologie, aber da ich mich der Whiteheads-Terminologie angeschlossen hatte, um aus rein ästhetischen Gründen konsistent zu sein.
Muss ich weitermachen und den Rest meiner Frage Wort für Wort erklären , oder möchten Sie sich lieber fragen: „Weiß ich, wovon ich spreche, oder glaube ich nur, dass ich es weiß?“
Darf ich nur darauf hinweisen, dass sich das „nicht“ in „Der ideale Mathematiker ist nicht“ auf nichts bezieht, was früher kam ? Also lassen Sie mich einfach fragen, was Sie meinen. Der ideale Mathematiker ist nicht ... was?
Ich habe davor eine Frage gestellt: „Stört das die Inkarnation der Mathematik – den idealen Mathematiker? Der ideale Mathematiker ist nicht [gestört]'. Ist es so viel Arbeit, die Lücke zu füllen? Und bevor Sie fragen, ist dies nicht der übliche Gebrauch der englischen Sprache – ich schlage vor, Sie schauen sich die Avantgarde-Techniken der frühen Modenisten wie Pound & Eliot oder Joyce an, die die Sprache verwendeten. Und warum sollten Sie darauf hingewiesen werden, fragen Sie sich vielleicht. Durch den tatsächlichen Stil des Schreibens. Ich nehme an, Sie wissen, dass „Spiritus Mundi“ ein Begriff ist, der von Yeats in seinem Gedicht The Second Coming verwendet wird?
Und wenn Sie denken, „das ist zu abstrus, Kumpel“, wurde es auch von der grungy Mancunian Band the Stone Roses für ihr zweites Album erwähnt.
Was ist überhaupt dein Problem mit Zeno? Glauben Sie, dass eine Frage, die einige der besten Intellektuellen seit zwei Jahrtausenden beschäftigt, gelöst wurde? oder hast du alles geglaubt, was dir in der Schule oder auf dem College gesagt wurde?
Trotzdem bin ich froh, dass Sie sich geärgert haben – weil ein Teil des Stils darin bestand, provokativ zu sein, was Teil des Sinns dieser alten literarischen Avantgardisten war – während Sie eine nützliche Frage stellten. Und um ganz ehrlich zu sein, ich wäre es wahrscheinlich auch gewesen, wenn es nicht meine eigene Frage gewesen wäre und ich zumindest wissen müsste, was ich glaube, damit gemeint zu haben ...
@ user4894: Wie auch immer, um die Beantwortung Ihrer Frage zu beenden, die nützlich ist, da ich davon ausgehe, dass die meisten Leute, die diese Frage zufällig beantworten, sie nicht "parsen" können: Die Motivation für diese Frage ist, welche Rolle Widersprüche spielen in der Mathematikpraxis. Wie ich in der Präambel der Frage sagte, werden Theorien, weil sie von Menschen konstruiert wurden, gegeneinander stoßen – wie QM & GR – die bekanntermaßen nicht zusammenpassen.
Da Mathematiker sich dem Platonismus verschrieben haben, sehen sie Widersprüche nicht als wesentlich an, in der Traumwelt der Mathematiker, in der die gesamte Mathematik bearbeitet wurde, passt alles perfekt zusammen, und es gibt nirgendwo Widersprüche. Und sie nehmen an, dass es im Platonismus – einer spezifischen Lehre der mathematischen Ontologie – und daher meiner Personifizierung durch literarische Begriffe – dem Wesen der Mathematik – so ist . Daher sind auch sie ruhig – sie lassen sich von Widersprüchen nicht stören, weil sie glauben, dass sie mit genügend Einfallsreichtum und Zeit beseitigt werden können.
Aber was meine Frage mit einer hypothetischen Frage tut, ist, dass es keine solche Welt gibt. Wo bleiben uns dann die Widersprüche ? Es gibt kein Sein, keinen Körper (ich verwende das Wort hier nicht in der Weise, wie man es als „in einem Werk“ tut, sondern als Synonym für Sein). Bleibt uns also die Mathematik, die nur wird, die sich ständig verändert und entwickelt, und dann sind Widersprüche wesentlich . Das bedeutet nicht, dass Sie einen Widerspruch nicht ausbügeln können, aber wenn Sie es tun, taucht an anderer Stelle ein anderer Widerspruch auf – wie eine Beule in einem schlecht verlegten Teppich.
Ist das Philosophie oder Poesie?
Warum habe ich es schließlich das Ereignis oder Abenteuer der Mathematik genannt, wo Widersprüche liegen – denn dort wird die bedeutende Arbeit geleistet werden. Hier geht man hin, um die großen Fragen zu lösen - das Abenteuer - wie das Zusammenfügen von QM & GR. Wer das löst, wird noch Jahrhunderte in Erinnerung bleiben.
@Confutus: Gibt es Präzedenzfälle für die Verwendung dieser Art von Sprache in der Philosophie? Wie wäre es mit dem Tao oder Derrida oder Hegel oder Heraklit oder Parmenides? Vorrang gibt normalerweise Lizenz, nicht wahr? Es muss Philosophie sein, denn als Poesie würde es sich sicher nicht behaupten. Beantwortet das dein Entweder-Oder?
@Confutus: Und wenn Mathematiker oder Physiker ihre Arbeit ständig mit der Prägnanz und Dichte von Poesie oder Musik vergleichen, wenn sie gebeten werden, zu erklären, wie Mathematik als Praxis ist, dann sollten sie verängstigt / verstört / verärgert sein, wenn werden dann literarische Techniken beschworen? Philosophie als Musik schreiben . Das wäre ein Akt !
@ user4894: Wenn Sie weitere Fragen zu der Frage und zum Analysieren haben, können Sie sie gerne loslassen. Aber ich hoffe eher, dass Sie das Gefühl haben, dass etwas Arbeit in die Frage gesteckt wurde und wie sie geschrieben wurde, anstatt sie einfach als eine bizarre Aneinanderreihung von Phrasen zu sehen, die aneinandergereiht sind, um eine seriöse alte Jungfer wie Madame Mathematique zu betören.
Die Objekte der Mathematik werden oder verändern sich nicht; sie sind ewig.
@Geremia: Sicher, im Platonismus, aber ich habe einen Hypthothetiker gefragt - was bedeutet, dass der Platonismus nicht wahr ist.
@MoziburUllah: Warum glaubst du, dass Mathematik nur im Platonismus ewig ist?
Bitte halten Sie Diskussionen von Kommentaren fern. Wenn Sie eine Antwort haben, geht es in eine Antwort.
@MoziburUllah: Ich habe für das Schließen gestimmt, da unklar ist, was Sie fragen. Literarische Technik hin oder her, Ihre Art der Untersuchung belastet den Leser schwer. Die Praxis der Mathematik mag künstlerisch sein, aber Ihre (man könnte sagen: provokative) Formulierung fordert den Leser auf, die Frage zu entschlüsseln, bevor sie überhaupt als beantwortbar bekannt ist. Ich habe ein gewisses Gefühl für das Thema Ihrer Frage – Mathematik als kreatives Unterfangen, das unter Spannung durchgeführt wird? Im Gegensatz zur "Entdeckung" äußerer Tatsachen - aber eine solche Präsentation setzt entweder ein anderes Publikum als dieses voraus oder verkündet mehr als es verlangt.
@de Beaudrap: Ich berühre das, aber es ist nicht das Hauptthema der Frage. Ich habe der Frage eine 'Coda' hinzugefügt, um zu versuchen, sie so zu erklären, wie man es normalerweise tun würde. Kurz gesagt, ich frage, welche Rolle Widersprüche spielen, wenn wir Erkenntnistheorie als Ontologie betrachten.
Ich denke, an diesem Punkt könnte es am konstruktivsten sein, mit einer neuen Frage zu beginnen? Jedenfalls schließe ich das vorerst aus; pingen Sie im Chat oder melden Sie es auf Meta, wenn Sie diskutieren möchten, wie Sie vorankommen können

Antworten (1)

Zu der Aussage

Mathematik ist voller Widersprüche

Die meisten Leute würden sagen, dass das falsch ist. Gewiss: Das ist nicht bekannt. In der Tat, wenn Sie zeigen könnten, dass dies wahr ist, würden Sie weltberühmt werden.

Für eine anständige erste Diskussion über mögliche Inkonsistenzen „der Mathematik“ – eher: eine ihrer weit verbreiteten Grundlagen – siehe diesen MathOverflow-Thread:

Was ist, wenn die aktuellen Grundlagen der Mathematik widersprüchlich sind?

Und beachten Sie die Pointe, modulo eine Reihe von Qualifizierungen und Feinheiten: Es gibt keinen besonderen Hinweis darauf, dass gemeinsame Grundlagen inkonsistent sind, aber auch keinen Beweis dafür, dass sie es nicht sind. Jedenfalls stimmt es nicht, dass die bekannte Mathematik voller Widersprüche ist.

Darüber hinaus ist der typische Mathematiker, ideal oder nicht, tatsächlich sehr beunruhigt, wenn er mit der Behauptung konfrontiert wird, dass Mathematik inkonsistent sein könnte. Als Vladimir Voevodsky 2011 öffentlich und prominent über diese Möglichkeit sprach, waren einige Menschen ziemlich bestürzt. Auf der Mailingliste "Foundations of Mathematics" finden Sie lange Diskussionen darüber, beginnend mit diesem Thread , weiter mit diesem und vielen weiteren (leider ist die Liste nicht sinnvoll indiziert oder leicht durchsuchbar, Sie müssen sich durch die Archive klicken. ..).

Die Informationen sind sehr hilfreich – ich wusste nichts von der Kontroverse von 2011. Sehr geschätzt, aufrichtig.
Ich hatte von Voevodoskys Spekulationen gehört, sie aber nicht wirklich verfolgt. Danke für den Hinweis. Ich denke nicht an Mathematik als traditionelles Denken, sondern an ein erkenntnistheoretisches Projekt, das von Mathematikern durchgeführt wird. Man betrachtet es also als Entfaltung über Zeit und Raum. Deshalb beziehe ich mich auf das „Werden“ der Mathematik. Und in diesem Bild, anstatt eine einzige Entwicklungslinie von ZF zu sehen, was natürlich eine ziemlich neue Entwicklung ist, zu sehen, dass jeder Bereich der Mathematik unabhängig von ZF seine eigenen Daseinsberechtigungen hat. Ein Grund zu sehen ...
Dinge auf diese Weise ernst zu nehmen, ist der Gedanke ernst zu nehmen, dass, wenn die derzeitigen Grundlagen eine Inkonsistenz ergeben, die Funktionsanalyse oder die Graphentheorie usw. nicht zusammenbrechen würden, sondern einfach so weitermachen würden, wie sie es bereits tun, während darunter die Inkonsistenz geflickt wird auf oder bewegt.
Es könnte eine formellere Darstellung dessen geben, was ich durch eine Art epistemische Modallogik vorschlage. Ich wäre amüsiert, wenn die Theorie des Homotopietyps durch Betrachten von Beweisen im Raum der Beweise Inkonsistenzen aufdecken würde, aber ich stelle mir vor, dass dies nicht das ist, worum es bei der Theorie des Homotopietyps geht - da man im Allgemeinen nicht erwartet, dass seine amüsanten Gedanken erfüllt werden.
George Boolos entwickelte eine iterative Vorstellung von Mengen, die er Bühnentheorie nannte und die Zeit berücksichtigt. Ich habe die Referenz nicht zur Hand, fürchte ich.