Diskussion:Finitismus
Diskrete Mathematik[Quelltext bearbeiten]
Finitismus gehört zur Philosophie der Mathematik, diskrete Mathematik hingegen ist Mathematik, ist genauer gesagt ein unterschiedlicher Begriff für Gebiete der Mathematik. Das passt schonmal nicht.
Die Assoziation beruht vermutlich auf der Annahme, dass alles Finite diskret sei. Das ist falsch. Man kann auch finitistisch mit Kontinua umgehen. -- ZZ 22:08, 11. Apr. 2007 (CEST)
- Kann man. Nur sind es dann nicht die Kontinua, die die etablierte Mathematik benutzt. Deinen Rückrevert vor Ende der Diskussion sehe ich als (hmm...) voreilig an. Es handelt sich um einen Siehe auch-Hinweis. Das ist ein Hinweis auf ein naheliegendes, nicht auf ein deckungsgleiches Lemma. Diskrete Mathematik beschäftigt sich konkret mit sehr ähnlichen Begrenzungen, mit denen sich der Finitismus abstrakter beschäftigt. --HuckFinn 22:18, 11. Apr. 2007 (CEST)
- Ich sehe nicht, dass Du auf meine Argumente eingehst. Ob die Kontinua der Finitisten dieselben sind, die die etablierte Mathematik benutzt, ist unerheblich. Es gibt sie. Das zeigt gleich einen Haken Deines letzten Satzes: nein, diskrete Mathematik beschäftigt sich nicht konkret mit Begrenzungen des Finitismus, denn der Finitismus ist nicht gezwungenerweise diskret, und das sind nicht seine Begrenzungen. Finit(istisch) und diskret sind zweierlei. -- ZZ 22:32, 11. Apr. 2007 (CEST)
- Es tut mir sehr leid, aber abgesehen von Behauptungen, es sei so, sehe ich bisher keine validen Argumente, zugegebenermaßen von mir auch kaum. Auf dieselbe Weise, wie sich Finitisten einem Kontinuum annähern, tut es die diskrete Mathematik, nämlich mit endlichen Methoden. Der Unterschied besteht allenfalls darin, dass die Finitisten eine beliebige Verfeinerung solcher Methoden zulassen, was der diskreten Mathematik angesichts ihrer Randbedingungen nicht möglich ist. Spätestens beim Ultrafinitismus wäre der Hinweis berechtigt, ich meine allerdings, das ist schon hier der Fall. --HuckFinn 22:38, 11. Apr. 2007 (CEST)
- Finitismus ist eben keine diskrete Annäherung, sondern eine endliche Herleitung bzw. eine Herleitung mit endlichen Mitteln. Finitist sein und etwa die Stetigkeitsaxiome zu akzeptieren steht in keinem Widerspruch. Vielleicht war ich unklar, weil Kontinuum als kontinuumsunendlich missverstanden werden kann - Finitisten würden das erstere akzeptieren, und das letztere teils ablehnen, teils selbst wieder finistisch einzubetten versuchen (Hilbert lässt grüßen). -- ZZ 22:47, 11. Apr. 2007 (CEST)
- Stimmt ja. Gebe ich zu. Aber der Hinweis auf diskrete Mathematik, die mit nicht denselben, aber strukturell ähnlichen Beschränkungen arbeitet, erscheint mir trotzdem angemessen. Ein siehe auch behauptet nicht, es handele sich um genau dasselbe Thema. --HuckFinn 22:54, 11. Apr. 2007 (CEST)
- Finitismus ist eben keine diskrete Annäherung, sondern eine endliche Herleitung bzw. eine Herleitung mit endlichen Mitteln. Finitist sein und etwa die Stetigkeitsaxiome zu akzeptieren steht in keinem Widerspruch. Vielleicht war ich unklar, weil Kontinuum als kontinuumsunendlich missverstanden werden kann - Finitisten würden das erstere akzeptieren, und das letztere teils ablehnen, teils selbst wieder finistisch einzubetten versuchen (Hilbert lässt grüßen). -- ZZ 22:47, 11. Apr. 2007 (CEST)
- Es tut mir sehr leid, aber abgesehen von Behauptungen, es sei so, sehe ich bisher keine validen Argumente, zugegebenermaßen von mir auch kaum. Auf dieselbe Weise, wie sich Finitisten einem Kontinuum annähern, tut es die diskrete Mathematik, nämlich mit endlichen Methoden. Der Unterschied besteht allenfalls darin, dass die Finitisten eine beliebige Verfeinerung solcher Methoden zulassen, was der diskreten Mathematik angesichts ihrer Randbedingungen nicht möglich ist. Spätestens beim Ultrafinitismus wäre der Hinweis berechtigt, ich meine allerdings, das ist schon hier der Fall. --HuckFinn 22:38, 11. Apr. 2007 (CEST)
- Ich sehe nicht, dass Du auf meine Argumente eingehst. Ob die Kontinua der Finitisten dieselben sind, die die etablierte Mathematik benutzt, ist unerheblich. Es gibt sie. Das zeigt gleich einen Haken Deines letzten Satzes: nein, diskrete Mathematik beschäftigt sich nicht konkret mit Begrenzungen des Finitismus, denn der Finitismus ist nicht gezwungenerweise diskret, und das sind nicht seine Begrenzungen. Finit(istisch) und diskret sind zweierlei. -- ZZ 22:32, 11. Apr. 2007 (CEST)
- Wie wäre es mit dem Kompromiss, das etwas ausformulierter in den Artikel zu schreiben, anstatt ein Siehe auch zu setzen? -- ZZ 23:07, 11. Apr. 2007 (CEST)
(Einrückung beendet.) Hast du einen Vorschlag? --HuckFinn 16:46, 12. Apr. 2007 (CEST)
- Wenn schon der Ultrafinitismus in dem Artikel erwähnt wird, kann man etwas nachschieben wie: Die Diskrete Mathematik beschäftigt sich mit abzählbaren mathematischen Strukturen. Dadurch kommt es zu einer gewissen Überschneidung zwischen Finitismus und Diskreter Mathematik, wobei letzterer aber keine finitistischen Motive zu Grunde liegen müssen. Der Satz ist noch marmorn, fühl Dich frei, ihn anzupassen oder zu verändern. -- ZZ 17:17, 12. Apr. 2007 (CEST)
David Hilbert[Quelltext bearbeiten]
Dank David Hilbert ist die Frage von Finitimus in die Rede gekommen. Warum nicht erklären den Tiefsinn von David Hilbert und Kurt Gödel. Und die Hilberts Rettung von Georg Cantor. Dabei geht es sich um sehr tiefsinnige Dinge. Ich kann nicht als Skandinav gut Deutsch schreiben. Aber es liegt eine tiefsinnige Bedeutung in Georg Cantor's und David Hilbert's Denken.
Die Deutschen sollten die grosse Arbeit innerhalp des denkens von David Hilbert und Kurt Gödels erklären. Hilbert sagte Dinge in der Glaube das Matematik sprachlich zu formulieren war. Hilbert erweckte bei seiner Arbeit eine Gedanke dass man sich matematisch genau ausdrücken konnte. Dabei war David hilbert ein sehr guter Mensch. Es ist kümmerlich das moderne Menschen hånskrattar åt David Hilbert som var den förste att kritisera matematiken. Han var också den förste att ställa upp för Georg Cantor. Det var gott om babianer som slog ner på Georg Cantor. Hilbert stod ensam mot Aberglaube i sin tid. David Hilbert tog sig an Georg Cantor. Finitismus hade inte varit en tanke utan David Hilbert. David Hilbert tog sig an det smutsiga arvet från medeltida tolkning av Euklides. David Hilbert ville se ett slut på bevisning som ändar i en oändlig handviftan på en fest. Champagnen flödar ner för din strupe. Det ligger ett djupt sammanhang mellan David Hilberts kritik av die Gundlagen och den datorvärld vi ser i kring oss. Det maskinella var inte en förutsättning för Davids tänkan utan mer en följd av hans tänkande.
Det vore en stor heder om tyskarne kunde beretta historien om det maskinella och hur David Hilbert tenkte. Denna tid i historien skulle jag gerna vilja veta mer om.