Diskussion:Mathematischer Konstruktivismus

message: Ich nehme mal Amtiss' Beitrag so auf: Vielleicht wäre eine Art Begriffsklärung sinnvoll:
* Konstruktive Mathe, wie sie Mathematiker machen, wenn sie etwas (leidenschaftslos) feststellen, dass der Beweis sogar konstruktiv geführt werden kann.
 
* Konstruktive Mathe als Philosophische Richtung in Europa: Weyl, Poincaré bis Lorenzen usw.
 
* Konstruktive Mathe in USA Bishop usw.
 
Was meint Ihr? PaCo 19:28, 16. Dez 2005 (CET)
replies: text: Also, ich halt mich da raus :-) Ich fand einfach nur die Einleitung schlecht, und der 1.Satz sah eben nach so einer "Dieser Artikel"-Bemerkung aus. -- Amtiss, SNAFU ? 11:56, 17. Dez 2005 (CET)
replies: text: Begriffsklärungen werden benutzt, wenn ein Wort verschiedene Bedeutungen hat. Hier geht es aber um verschiedene Auffassungen zu einer Bedeutung. Die "Dieser Artikel"-Vorlage passt da nicht. --Fuzzy 12:03, 17. Dez 2005 (CET)

text: Hi Amtiss, leider ist das alles weder klar, noch Konsens. Auch Dein drittes und viertes Wort: "nur noch" nicht. Man sollte es vielleicht mit Fuzzy, Gunther, (Rtc, wenn der noch mitmacht?) und anderen besprechen. PaCo 12:11, 19. Dez 2005 (CET)
thread_title:  Begriffsklärung? 

message: Ich würde mich sehr freuen, wenn ein Experte hier die Gemeinsamkeiten und Unterschiede mit Bereichen der theoretischen Informatik erläutern würde.
Rekursionstheorie (en:recursion theory), Theorie der Berechenbarkeit (computability theory) und Berechenbare Analysis (computable analysis) sind aus meiner Sicht konstruktive Mathematik. Die berechenbaren Objekte werden ja mit endlich vielen elementaren Operationen unter Nutzung endlich vielen Speichers konstruiert.
Mein Eindruck ist, dass der Unterschied nicht so gross ist, vermutlich im Fokus auf allgemeine mathematische Objekte vs. für die Informatik interessante Objekte liegt.
--Marc van Woerkom 13:36, 6. Sep. 2008 (CEST)
replies: text: Der Zusammenhang liegt auf der Hand. Guter Hinweis! Hartmut Wedekind kennt sich da wohl aus.  Aber ohne Belege ist das wohl (noch) Theoriefindung--Pacogo7 19:30, 3. Mai 2009 (CEST)
thread_title:  Bezug zur theoretischen Informatik 

message: Ich habe gerade diese Seite mit dem englischen Pendant (s.d.) verglichen, weil ich über den Absatz mit der Grenzwert-Konstruktion der reellen Zahlen gestolpert bin. Dabei ist mir aufgefallen, daß
* die Behauptung, die konstruktivistisch über Cauchy-Folgen konstruierten Zahlen hätten kleinere Kardinalität als |\mathbb R|, in der englischen Fassung nur für eine spezielle Spielart des Konstruktivismus, nämlich die algorithmische Auffassung, behauptet wird. In der intuitionistischen Sichtweise ist der benutzte Grenzwertbegriff der gleiche wie üblich, und deswegen kommt auch die Standard-Vervollständigung, nämlich der ganze echte \mathbb R, heraus.
* die englische Fassung insgesamt wesentlich ausführlicher und -- nach meinem Dafürhalten -- auch vorsichtiger und differenzierter mit den einzelnen Strömungen umgeht. Wie steht die Community dazu, wesentliche Abschnitte des dortigen Artikels zu übersetzen und dann einzubauen?
--SW.vonDeylen (Diskussion) 19:53, 23. Apr. 2012 (CEST)
thread_title:  Vergleich mit engl. Version 

message: Cantors Beweis ist konstruktiv. (bzw. lässt sich konstruktiv wenden, den Ausdruck gab es zu seiner Zeit noch nicht.) Die algebraischen Zahlen lassen sich effektiv aufzählen, deren n-te Nachkommastelle lässt sich berechnen. Es gibt also ein Programm, dass die n-te Stelle der n-ten algebraischen Zahl berechnet. Entsprechend gibt es ein Programm, dass die Stellen so einer Cantor-Zahl ausgibt.--Frogfol (Diskussion) 04:19, 23. Aug. 2012 (CEST)
replies: text: Habe den fraglichen Satz entfernt. Jetzt steht das da so im Raum – fällt dir ein prägnantes, bekanntes, elementares Beispiel ein?  --Chricho ¹ ² ³ 22:44, 17. Okt. 2012 (CEST)
replies: text: Ich fände irgendeine Anwendung des Auswahlaxioms sehr angebracht, weil das ja ein wichtiger Streitpunkt zweischen konstruktiven und nicht-konstruktiven Mathematikern. Eine mögliche Mengenfamilie wäre z.B. die Potenzmenge von IR.--Letkhfan (Diskussion) 14:59, 27. Okt. 2012 (CEST)
replies: text: Eine Anwendung des Auswahlaxioms wäre etwa der Satz, dass jeder Vektorraum eine Basis hat. Irgendein konstruiertes Beispiel macht doch keinen Sinn. Aber ich würde davon absehen, jetzt hier irgend etwas ohne Bezug auf ordentliche Literatur zur Bedeutung des Auswahlaxioms in der Debatte hineinzuschreiben. --Chricho ¹ ² ³ 19:25, 27. Okt. 2012 (CEST)
thread_title:  Cantors Beweis zur Existenz transzendenter Zahlen ist konstruktiv 

message: Der grenzt vom Platonismus ab, nicht aber vom heute weitaus bedeutenderen Formalismus… Das ist etwas schwach. --Chricho ¹ ² ³ 22:34, 17. Okt. 2012 (CEST)
thread_title:  Erster Satz 

message: Aus dem Artikel:
:Mathematische Aussagen der Form „Es gibt …“ werden abgelehnt und − wenn möglich − ersetzt durch Sätze der Form „Wir können … konstruieren“ (bspw. „Es gibt irrationale Zahlen a, b, so dass a^b rational ist.“ vs. „Wir können solche Zahlen a, b konstruieren“).
In der Quelle steht jedoch:
:Constructive mathematics is distinguished from its traditional counterpart, classical mathematics, by the strict interpretation of the phrase “there exists” as “we can construct”.
Die Formulierung „Es gibt …“ wird durchaus verwendet, nur wird \exists x\ P(x) in der konstruktiven Mathematik eben erst dann als wahr angenommen, wenn es auch möglich ist, ein x, für das P(x) gilt, zu konstruieren. -- IvanP (Diskussion) 19:37, 1. Aug. 2019 (CEST)
thread_title:  Existenzaussagen