Diskussion:Hermann Weyl

Stammt der Satz von Weyl eigentlich von Hermann Weyl? Irgendwie habe ich bei meiner Recherche nix gefunden, wollte es im Satz aber gerne angeben. Stern 16:40, 10. Jun 2004 (CEST)

Siehe Weyl Gleichverteilung mod 1. Die Wahl des Titels ohne Zusatz ist sehr unglücklich. Ist schließlich nicht sein einziger Satz. Werde Satz deshalb verschieben in Satz von Weyl über Gleichverteilung --Claude J 10:13, 3. Apr. 2007 (CEST)

Bildwarnung

Die unten genannten Bilder, die in diesem Artikel verwendet werden, sind auf Commons gelöscht oder zur Löschung vorgeschlagen worden. Bitte entferne die Bilder gegebenenfalls aus dem Artikel oder beteilige dich an der betreffenden Diskussion auf Commons. Diese Nachricht wurde automatisch von CommonsTicker erzeugt.

• EPO  löscht Image:Hermann_Weyl.jpg

No permission for at least 7 days;

-- DuesenBot 12:30, 6. Apr. 2007 (CEST)

Links funktionieren nicht

Die Links zur Online-Literatur funktionieren offenbar nicht. Wer kann sie wieder aktivieren?--Wilfried Neumaier 07:51, 23. Feb. 2009 (CET)

Tja, das Problem mit der neuzeitlichen Internet-Infrastruktur ist leider, das nix in Stein gemeißelt zu sein scheint (dafür wurde es schließlich erfunden). Habe zuerst auf einen Uni-Internen Umzug der Seiten getippt, dann aber gemerkt, das es sich wohl um Seiten der Niedersächsischen Staats- und Universitätsbibliothek Göttingen zu handeln scheint. Dazu habe ich hier einen Hinweis auf etwaige Probleme w/ Softwareumstellungen ab dem 25. Februar 2009 gefunden, nähere Details zu Art, Dauer, Auswirkungen oder einem Endetermin fehlen, vielleicht haben die unverhofft früher anfangen dürfen :-)). Solange da noch jemand den virtuellen Schraubendreher in der Hand hat, sehe ich jedenfalls schwarz (i.e. keine Onlineliteratur :-)), dz-srv1 hat jedenfalls derzeit unter der im Netz bekannten Adresse Betriebsruhe :-)). Lobenswerterweise wurde aber eine Emailadresse hinterlassen, an die man sich bei Problemen wenden kann (die werden im Moment sicher auch anderes zu tun haben....). Sollte jemand da näheres in Erfahrung bringen, ob es unter dieser IP-Adresse oder dem Namen weitergeht, und / oder noch längerdauernde Probleme zu erwarten sein, wäre ein Hinweis an dieser Stelle vermutlich sinnvoll. --Pflastertreter 01:35, 28. Feb. 2009 (CET) Cool, da steht 2008, dann müssen die aber arg unter Streß stehen :-)), --Pflastertreter 01:49, 28. Feb. 2009 (CET) OK, die Meldung ist wohl alt, habe unter http://gdz.sub.uni-goettingen.de/ , genauer http://gdz.sub.uni-goettingen.de/dms/colbrowse/?DC=mathematica eine Suchmaske gefunden, in der man mit Hilfe der Schriftentitel weiterkommt. Die Literatur liegt wohl nicht mehr unter dz-srv1 (IP nicht mehr erreichbar), sondern jetzt unter gdz (wie Göttinger Digitalisierungszentrum). Die Pfadstruktur ist geändert, die Dokument-ID gleichgeblieben, die WP-Verlinkung funktioniert aber so nicht, man landet trotz richtiger Pfadangabe auf der Suchmaske. Man kommt hin, aber ob's so gewollt ist oder nicht, müssen die SLUB's beantworten. Die Bücher scheinen sie jedenfalls noch nicht entsorgt zu haben, ergo v.V. bei der Lektüre (man muss halt jetzt etwas mehr tippen und nicht nur einmal klicken :-), i.e. man landet immer auf der gleichen (sehr schnellen) Suchseite und muss sich vorher vllt. mit der Maus den Titel kopiert haben und dort einfügen, Verfasser nicht vergessen, die scheinen ihre Arbeiten alle gleich zu benennen :-)). ). --Pflastertreter 02:11, 28. Feb. 2009 (CET)

Das Ganze ist schon ziemlich ärgerlich, ist schließlich nicht der einzige Artikel, wo auf Online Literatur von der SUB Göttingen verwiesen wird (die im Übrigen durch ihre bisherigen Renovierungsarbeiten auch schon die Suchfunktion verschlechtert haben). Man hat den Eindruck das sie keine direkten Links auf die entsprechenden Aufsätze wollen (Überlastung ihrer Server?).--Claude J 09:10, 28. Feb. 2009 (CET)

Intuitionisten und Auswahlaxiom

Die Charakterisierung des Intuitionismus über die Ablehnung des Auswahlsaxioms überrascht mich sehr. Gibt es dafür eine Quelle? Geht es nicht vielmehr um das Prinzip des ausgeschlossenen Dritten? Auch die Aussagen über Computerprogramme erscheinen in diesem Zusammenhang befremdlich. Solchen Forderungen könnte eher der Formalismus genügen: Indirekte Beweise durch Ableitung eines Widerspruchs aus der Verneinung des zu zeigenden sind auch formal und durch Computerprogramme möglich. Sie sind aber nicht intuitionistisch. --217.226.87.34 19:29, 26. Jan. 2016 (CET)