Ein Poster, dass sich mit Dimensionen in der Mathematik beschäftigt.
integrator - am Samstag, 1. März 2003, 11:38 - Rubrik: Matheseiten
noch kein Kommentar - Kommentar verfassen
ezPyCrypto ist eine einfach zu verwendende Krypto Bibliothek für Python. Sie basiert auf der Bibliothek pyCrypto. [via infoanarchy.org]
integrator - am Samstag, 1. März 2003, 11:26 - Rubrik: Software
noch kein Kommentar - Kommentar verfassen
Theorem:
No program can compress without loss *all* files of size >= N bits, for any given integer N >= 0.
Proof:
Assume that the program can compress without loss all files of size >= N bits. Compress with this program all the 2^N files which have exactly N bits. All compressed files have at most N-1 bits, so there are at most (2^N)-1 different compressed files [2^(N-1) files of size N-1, 2^(N-2) of size N-2, and so on, down to 1 file of size 0]. So at least two different input files must compress to the same output file. Hence the compression program cannot be lossless.
Aus dem comp.compression FAQ.
No program can compress without loss *all* files of size >= N bits, for any given integer N >= 0.
Proof:
Assume that the program can compress without loss all files of size >= N bits. Compress with this program all the 2^N files which have exactly N bits. All compressed files have at most N-1 bits, so there are at most (2^N)-1 different compressed files [2^(N-1) files of size N-1, 2^(N-2) of size N-2, and so on, down to 1 file of size 0]. So at least two different input files must compress to the same output file. Hence the compression program cannot be lossless.
Aus dem comp.compression FAQ.
integrator - am Freitag, 28. Februar 2003, 14:15 - Rubrik: Beweise
noch kein Kommentar - Kommentar verfassen
Addiator hiessen kleine Metallzahlenschieber. Hier ist eine schöne Seite mit ausführlichen Beschreibungen und einem interaktiven Addiator.
Und dann sind hier noch drei Museen:
Abakus-online-Museum
Rechenschieber-online-Museum
Addiator-Online-Museum
[via das kollektiv]
Und dann sind hier noch drei Museen:
Abakus-online-Museum
Rechenschieber-online-Museum
Addiator-Online-Museum
[via das kollektiv]
Moe - am Donnerstag, 27. Februar 2003, 18:39 - Rubrik: Mathematikgeschichte
noch kein Kommentar - Kommentar verfassen
Eine Slashdot.org Diskussion.
integrator - am Donnerstag, 27. Februar 2003, 14:00 - Rubrik: Diskussion
noch kein Kommentar - Kommentar verfassen
These pages are part of an on-going project by students in mathematics classes at Agnes Scott College, in Atlanta, Georgia, to illustrate the numerous achievements of women in the field of mathematics. There are biographical essays or comments on most of the women mathematicians and some photos.
Biographies of Women Mathematicians [via kellerkind bogenallee 11]
Biographies of Women Mathematicians [via kellerkind bogenallee 11]
integrator - am Donnerstag, 27. Februar 2003, 13:52 - Rubrik: Mathematikgeschichte
Auch wenns eher Physik ist: Eine andere Principia Mathematica ist die Philosophiae Naturalis Principia Mathematica von Newton. Neben der Pricipia gibt es bei der Universitätsbibliothek der Uni Karlsruhe auch noch andere historische Originalscans wie Elementarmathematik vom höheren Standpunkte aus, aber auch viel Physikalisches.
integrator - am Donnerstag, 27. Februar 2003, 13:41 - Rubrik: Buecher
noch kein Kommentar - Kommentar verfassen
Principia Mathematica II ist ein Projekt, dem es darum geht, eine Art riesiges Mathematikbuch zu schaffen, in dem die ganzen Beweise in einer speziellen Formalen Sprachen formuliert sein sollen.
pmii will be a huge free mathematical online textbook collection. In the first phase we start collecting basic articles about axiomatic set theory, number theory and algebra. These articles will be presented under http://www.qedeq.org. The result of this phase should be a free collection of mathematical articles that cover the foundation of mathematics. In the next step these articles will be edited, cross linked, reorganized and transferred into a formal language. After that the articles will be also online published in PDF and HTML format.
Die eingegebenen Sätze und Axiome in dieser Sprache sollen dann die Basis für ein System zum automatischen Beweisen sein.
In the famous "Principia Mathematica" A.N. Whitehead and B. Russell tried to present mathematics in a fully formalized form. Goal of Principia Mathematica II (the title is a little bit arrogant.. ;-) is the creation of a system that enables a working mathematician to put theorems and proofs (in a formal language) into it. These proofs are automatically verified by a proof checker. Because this system is not centrally administrated and enables references to any location in the internet, a world wide mathematical knowledge base could be build. Any proof of a theorem in this "mathematical web" could be drilled down to the very elementary rules and axioms. To make it more than a huge number of correct formulas, it should also contain information in "common mathematical language". Think of an incredible number of mathematical textbooks with hyperlinks and each of its proofs could be verified by pmii. For each theorem the dependency of other theorems, definitions and axioms could be easily derived.
pmii will be a huge free mathematical online textbook collection. In the first phase we start collecting basic articles about axiomatic set theory, number theory and algebra. These articles will be presented under http://www.qedeq.org. The result of this phase should be a free collection of mathematical articles that cover the foundation of mathematics. In the next step these articles will be edited, cross linked, reorganized and transferred into a formal language. After that the articles will be also online published in PDF and HTML format.
Die eingegebenen Sätze und Axiome in dieser Sprache sollen dann die Basis für ein System zum automatischen Beweisen sein.
In the famous "Principia Mathematica" A.N. Whitehead and B. Russell tried to present mathematics in a fully formalized form. Goal of Principia Mathematica II (the title is a little bit arrogant.. ;-) is the creation of a system that enables a working mathematician to put theorems and proofs (in a formal language) into it. These proofs are automatically verified by a proof checker. Because this system is not centrally administrated and enables references to any location in the internet, a world wide mathematical knowledge base could be build. Any proof of a theorem in this "mathematical web" could be drilled down to the very elementary rules and axioms. To make it more than a huge number of correct formulas, it should also contain information in "common mathematical language". Think of an incredible number of mathematical textbooks with hyperlinks and each of its proofs could be verified by pmii. For each theorem the dependency of other theorems, definitions and axioms could be easily derived.
integrator - am Donnerstag, 27. Februar 2003, 13:30 - Rubrik: Matheseiten
In der Stanford Encyclopedia of Philosophy gibt es einen schönen Eintrag zur Principia Mathematica, der sich mit Geschichte, Inhalt und Auswirkungen dieses Werkes beschäftigt. Einen kürzeren Text zum Thema findet man bei WikiPedia.
integrator - am Donnerstag, 27. Februar 2003, 13:21 - Rubrik: Buecher
noch kein Kommentar - Kommentar verfassen
Bei der Edition am Gutenbergplatz Leipzig handelt es sich um einen taufrischen Wissenschaftsverlag, der am 21. Februar in Leipzig aus der Taufe gehoben wurde und auch mathematische relevante Bücher veröffentlichen will. Keep reading, Markus Kolbeck
dostoevskij - am Mittwoch, 26. Februar 2003, 16:38 - Rubrik: Linkhinweise
noch kein Kommentar - Kommentar verfassen
An der FH Dortmund sollen Studienanfänger bald online Mathe üben. Rektor Eberhard Menzel will einfach nicht mehr hinnehmen, dass seine Erstsemester keine Ahnung von Bruchrechnen haben. [Weiter bei Sueddeutsche.de]
integrator - am Mittwoch, 26. Februar 2003, 13:56 - Rubrik: Matheseiten
noch kein Kommentar - Kommentar verfassen
Bei Fraktaler Kompression versucht man, eine iterierte Funktion zu finden, die ein Bild möglichst gut beschreibt und dabei Selbstähnlichkeiten ausnutzt. Mehr zum Thema gibt im Faq der Newsgroup comp.compression unter Introduction to Fractal compression.
integrator - am Dienstag, 25. Februar 2003, 21:00 - Rubrik: Einfuehrungen
noch kein Kommentar - Kommentar verfassen
Auch nützlich: Man gibt eine Zahl ein und der Inverse Symbolic Calculator sagt einen, aus welchen Kostanten sich dieser Wert ergeben haben könnte.
integrator - am Dienstag, 25. Februar 2003, 20:57 - Rubrik: Praxis
noch kein Kommentar - Kommentar verfassen
Ein Artikel über Pythagoras und seine Schule, beschäftigt sich auch mit den mystischen Bedeutungen, die die Pythagoreer manchen Zahlen zumassen.
integrator - am Montag, 24. Februar 2003, 18:59 - Rubrik: Mathematikgeschichte
noch kein Kommentar - Kommentar verfassen
A recent article in Slate discusses the value of NASCAR racing as a tool to study Game Theory. You can view the original study at FirstMonday. [via Slashdot.org]
integrator - am Montag, 24. Februar 2003, 18:42 - Rubrik: Praxis
noch kein Kommentar - Kommentar verfassen
hatte ich mal wieder so einen typischen Dialog auf einer Party: "Und - was machst du" - "Ich studier' Mathe" - "Muss es ja auch geben". Okay...
integrator - am Sonntag, 23. Februar 2003, 18:56 - Rubrik: My Humble Opionion
noch kein Kommentar - Kommentar verfassen
Axel Conrad erklärt auf seiner Homepage über die Lösung des Springerproblems und die Lösungsalgorithmen die dabei entstanden sind.
integrator - am Sonntag, 23. Februar 2003, 18:54 - Rubrik: Klassische Probleme
noch kein Kommentar - Kommentar verfassen
werden auf den Seiten des Instituts für Zoologie der Uni Salzburg erklärt.
In der Statistik unterscheidet man zwischen verschiedenen Verteilungen der Meßpunkte. Die Art der Verteilung gibt auch die möglichen statistischen Verfahren zur Analyse der Daten vor. Prinzipiell unterscheidet man in kontinuierliche und diskontinuierliche Verteilungen.
In der Statistik unterscheidet man zwischen verschiedenen Verteilungen der Meßpunkte. Die Art der Verteilung gibt auch die möglichen statistischen Verfahren zur Analyse der Daten vor. Prinzipiell unterscheidet man in kontinuierliche und diskontinuierliche Verteilungen.
integrator - am Sonntag, 23. Februar 2003, 18:45 - Rubrik: Einfuehrungen
noch kein Kommentar - Kommentar verfassen
von Nikolajewitsch Bronstein und Konstantin Adolfowitsch Semendjajew beim Teubner Verlag. Dorothea Ziegler erzählt, wie ihr Mann sich für die Veröffentlichung in Deutschland einsetzte und wie ohne Mithilfe der Autoren das Buch überarbeitet wurde.
integrator - am Sonntag, 23. Februar 2003, 18:35 - Rubrik: Mathematikgeschichte
noch kein Kommentar - Kommentar verfassen
Einführung von Kai Schröder.
integrator - am Freitag, 21. Februar 2003, 23:19 - Rubrik: Einfuehrungen
noch kein Kommentar - Kommentar verfassen
Gestern abend lief auf Arte der Kurzfilm Powers Of Ten, der versuchte, die Dimensionen der Zehnerpotenzen zu verdeutlichen, indem zuerst von einem Picknick bis an die Grenzen des bekannten Universums rausgezommt wurde und dann bis auf die subatomare Ebene. Von den gleichen Filmemachern stammt auch eine fünf-teilige Filmserie mit dem schönen Namen IBM Mathematics Peep Shows, die für die Austellung mathematica: a world of numbers... 1961 im california museum of science and industry produziert wurden.
integrator - am Freitag, 21. Februar 2003, 15:24 - Rubrik: Filme
Dieser mathematische Atlas versucht die Gebiete der Mathematik graphisch darzustellen und bietet jeweils einen kurzen Überblick über Entwicklung, das Gebiet selbst und Untergebiete.
integrator - am Donnerstag, 20. Februar 2003, 20:07 - Rubrik: Uebersichten
noch kein Kommentar - Kommentar verfassen
ist MathePrisma. Unter anderem gibt es Module zu Bewegungsfunktionen, Cäsar-Chiffren, Diskrete Verteilung, Paradoxien, etc.
integrator - am Donnerstag, 20. Februar 2003, 20:01 - Rubrik: Matheseiten
noch kein Kommentar - Kommentar verfassen