-
Geschrieben am 29.4.2009
Lesen, das ist ein Befehl!
-
Geschrieben am 5.2.2009
This package extends the amsmath proof enviroment with enviroments for
claims and corresponding proofs.
-
Geschrieben am 10.12.2008
Proposition 1.
Every starting position of FreeCell, fulfilling the following
properties, does not have a solution.
- Every Queen, Jack, 10, 9, 6, 5, 4, and 3 is below a card
with one higher value.
- No King, Queen, Jack, 10, or 9 belongs to one of the last four
columns.
- No 7, 6, 5, 4, or 3 belongs to one of the first four columns.
- Each column contains at most one card of each value (at most
one King, at most one Queen, etc.)
- Every Ace, 2, and 8 lies above a King or Seven in a column.
-
Geschrieben am 5.11.2008
This page collects links around papers that try to settle the "P versus NP" question (in either way).
-
Geschrieben am 17.8.2008
-
Geschrieben am 7.6.2008
Mal lesen!
-
Geschrieben am 23.3.2008
Lesen!
-
Geschrieben am 20.2.2008
Was ist die Lösung von: x2yz + x2z2 + 2 y3z + 3 y3 = 0?
-
Geschrieben am 13.2.2008
Heute vor genau hundert Jahren, im zweiten Heft von Band 65, brachten die Mathematischen Annalen die "Untersuchungen über die Grundlagen der Mengenlehre" von Ernst Zermelo. Im Mittelpunkt seines 21 Seiten langen Artikels standen sieben grundlegende Sätze, die eine widerspruchsfreie Formulierung der von Georg Cantor erfundenen Theorie lieferten, die in höchster Allgemeinheit die Zusammenfassungen von realen und gedachten Objekten beschreibt.
Hier muss ich den Autor dieses (auch für Laien verständlichen Textes) korigieren: Wir wissen bis heute nicht, ob die ZFC-Axiome wiederspruchsfrei sind. Dies folgt direkt aus dem
zweiten Goedelschen Unvollstädigkeitssatz. Dieser besagt im wesentlichen: Wenn in ZFC die Wiederspruchsfreiheit von ZFC bewiesen werden kann, dann ist ZFC wiedersprüchlich. Schärfer muss es sogar heissen, dass wir besser nie "wissen" das ZFC widerspruchsfrei ist.
-
Geschrieben am 11.2.2008
Testen!
-
Geschrieben am 26.1.2008
SPIEGEL ONLINE: Manchmal finden Mathematiker auch den Beweis dafür, dass eine Aufgabe gar nicht lösbar ist. Das muss doch ziemlich frustrierend sein für einen Wissenschaftler, der ja eigentlich Probleme lösen will.
Beutelspacher: Aus psychologischer Sicht mag das wie ein negatives Ergebnis erscheinen. Rein philosophisch gesehen, ist das aber etwas Fantastisches. Man kann beweisen, dass irgendetwas nicht existiert. Ist das nicht toll?
-
Geschrieben am 25.1.2008
Abstract: We show that every language in NP has a probablistic verifier that checks membership proofs for it using logarithmic number of random bits and by examining a constant number of bits in the proof. If a string is in the language, then there exists a proof such that the verifier accepts with probability 1 (i.e., for every choice of its random string). For strings not in the language, the verifier rejects every provided "proof" with probability at least 1/2. Our result builds upon and improves a...
-
Geschrieben am 29.11.2007
U.u. auch für mich spannend. (Modal Logik usw.)
-
Geschrieben am 28.11.2007
-
Geschrieben am 22.11.2007
-
Geschrieben am 20.11.2007
-
Geschrieben am 20.11.2007
-
Geschrieben am 14.11.2007
Falls mal wieder jemand fragt, wie transzendente Funktionen (sin,cos,exp usw.) implementiert werden.
-
Geschrieben am 12.11.2007
Testen! Der Hauptvorteil von SAGE scheint die Verwendung von Python als Skriptsprache zu sein. Das würde mir abnehmen, mich immer wenn ich schnell einiges berechnen muss, an die Matlab Syntax zu erinnern.
-
Geschrieben am 6.11.2007
Faszinierend!
-
Geschrieben am 2.11.2007
Das Buch online als PS-Datei lesen!
-
Geschrieben am 11.10.2007
Es gibt viele Möglichkeiten mit Zahlen beliebiger Genauigkeit zu rechnen. Mal sehen, ob bc python als meinen Standart Rechner ablösen kann.