Diskussion:Hilbertprogramm

message: Heißt es nicht Hilbert's Programm oder Hilberts Programm? Viele gruesse --DaTroll 12:55, 21. Nov 2004 (CET)
replies: text: "Hilbert's Programm" gibt es nicht (Deppenapostroph), wenn dann englisch "Hilbert's program" mit nur einem "m". Hilberts Programm ist ein Redirect auf diesen Artikel, scheint auch laut Google etwas weniger Gebräuchlich zu sein. Man könnte das aber auch tauschen, ist mir wurscht, der Artikel sollte jedenfalls sowohl unter Hilbertprogramm als auch unter Hilberts Programm zu finden sein. -- D. Düsentrieb ⇌ 15:31, 21. Nov 2004 (CET)
replies: text: OK. Viele Gruesse --DaTroll 17:33, 21. Nov 2004 (CET)

message: Warum dieser Verweis hier? Ebensogut könnte man alle möglichen anderen Axiomensysteme verlinken.
-- HWellmann 16:16, 5. Feb 2005 (CET)
thread_title:  Peano-Axiome 

message: mir scheint die jahreszahl 1920 sehr unplausibel: simon singh schreibt in seinem buch ueber den fermats letzten satz, kapitel "die fundamente des wissens", einiges ueber das hilbertprogramm; die jahreszahlen liegen alle um 1900!
der englische wikipedia-artikel nennt ebenfalls 1920 -- wer hat jetzt recht?
Ich denke, man darf das Hilbertprogramm (ein Forschungsprogramm) nicht mit Hilberts_Liste_von_23_mathematischen_Problemen verwechseln. Ersteres wurde um 1920 ausgearbeitet. DIe Liste mit den Problemen stammt aber bereits von einer Rede aus dem Jahr 1900. Vielleicht müsste man das noch klarer herausarbeiten? Weiss da jemand genaueres?
217.162.237.62 20:39, 28. Aug 2005 (CEST)
thread_title:  1920 

message: Die Aussage, die reductio ad absurdum (wenn gilt, dass wenn p, dann nicht p, dann gilt nicht p) setze das tertium non datur voraus, ist falsch.Michael Marquardt 21:21, 15. Mär 2006 (CET)
replies: text: Doch, die Zweiwertigkeit ist wichtig da vom Widerspruch auf das (eine!) Gegenteil geschlossen wird. (Wenn aus A folgt B und nicht-B, dann gilt nicht-A.) --89.247.47.174 19:53, 10. Jul. 2007 (CEST)
thread_title:  RAA 

message: Woher kommt am Schluss des Artikels die Behauptung, die Mengenlehre sei aus dem Hilbertprogamm entstanden? Das ist grob falsch. Was hat der Autor dieser Behauptung wohl gemeint?--Wilfried Neumaier 19:43, 29. Nov. 2006 (CET)
replies: text: Ist vielleicht die Axiomatisierung der Mengenlehre aus dem Hilbertprogramm entstanden? Zumindest wohl die Axiomatische Mengenlehre, insofern sie untersucht, welche mathematischen Aussagen unabhängig von den Axiomen der Mengenlehre sind.  --Digamma 20:02, 14. Jan. 2008 (CET)
thread_title:  Mengenlehre? 

message: Kennt jemand die Quelle für das zweite Zitat. Ich konnte sie bisher nicht ermitteln. Es scheint laut Artikel Intuitionismus eine Rückübersetzung aus dem Englischen zu sein; die dortigen Angaben haben mich aber nicht weiter gebracht.--Wilfried Neumaier 18:16, 14. Jan. 2008 (CET)
thread_title:  2. Zitat? 

message: Der neu angebrachte Link zur Finitheit bringt keinerlei Informationen, was hier im Zusammenhang mit dem Hilbert-Programm unter finit gemeint ist. Es wäre wohl besser, dies hier im Artikel genauer zu klären und auf Hilberts eigene Angaben zu verweisen.--Wilfried Neumaier 14:26, 8. Mai 2008 (CEST)
thread_title:  Finitheit 

message: Ich finde das Layout etwas unschoen. Die Einleitung sagt zwar alles wichtige, keine Frage. Aber dass nach der "riesigen" Zusammenfassung ein Inhaltsverzeichnis folgt, das nurnoch auf "Siehe auch, Einzelnachweise, Literatur und Weblinks" verweist finde ich etwas unpassend. Ich habe den ersten Absatz als Einleitungstext stehen lassen und den Rest als "Hintergrund" unter das Inhaltsverzeichnis verschoben. Ich hoffe das ist im Sinne der Autoren und verfälscht nicht den Inhalt des Artikels. --MajorR 00:52, 21. Mai 2008 (CEST)
thread_title:  Artikel Layout 

message: Stelle anheim, Folgendes einzubauen etc.:
Das 10. Hilbertsche Problem fragt, ob es einen Algorithmus gibt, mit dessen Hilfe für jede diophantische Gleichung entschieden werden kann, ob diese lösbar ist. Schon Diophantos von Alexandria (2. Hälfte des 3. Jahrhunderts n. Chr.) suchte nach allgemeinen Regeln zur Lösung von Gleichungen mit mehreren Unbekannten. Matijasevich bewies, dass bei Akzeptierung der Churchschen These dieses Problem unlösbar ist. 
Ausführlich: Deutsch, Michael: Einführung in die Grundlagen der Mathematik. Universitätsdruckerei Bremen, Bremen 1999, S. 53-59
--Hans-Jürgen Streicher 21:58, 20. Mär. 2010 (CET)
thread_title:  10. Hilbertsche Problem