Der 100. Geburtstag von Kurt Gödel

image0

Unser aller Begründer der Unvllstndigkt hatte am 28. April sein 100 jähriges Jubiläum und ich habe es verpasst. Egal. Lieber zu spät als gar nicht gedenke ich hiermit feierlich einem der wohl größten mathematischen Verwirrer seiner Zeit: Kurt Gödel»:

Gödel proved fundamental results about axiomatic systems showing in any axiomatic …

more ...

Was für ein Käse

Wenn ein Käse unendlich viele Löcher hat, jedes Loch jedoch unendlich klein ist, gibt es den Käse dann noch oder besteht der Käse dann nur noch aus einem Loch?

more ...

TidlyWiki

Was ist eigentlich ein TidlyWiki»?
Eine besondere Form eines Wikis.
Was ist daran anders als bei herkoemmlichen® Wikis?
Die Seiten sind kleiner. Es gibt nur sogenannten MicoContent. Kleine Schnipsel zu den verschiedensten Themen. Somit lassen sich relevante Inhalte leichter finden und separieren.
Was ist das besondere an TidlyWiki?
Das komplette …
more ...


Xerox als Brutstätte der Innovation

Ein Artikel» von Audibleblog verraet etwas über die Geschichte und Innovationskraft von Xerox – einem Unternehmen, das hauptächlich für Kopierer bekannt ist, sich unter anderem aber auch für Erfindungen wie den Laserdrucker, die Computermaus oder aber die graphische Benuzeroberfläche verantwortlich zeichnet. Der Bericht gibt einen schönen Einblick in eine Welt, die …

more ...



Von Text zu Text

So ergab es sich am heutigen Tage, dass nach einiger Zeit der Probierens, es (ja was denn eigentlich?) mir nun endgültig gelang, ein mehr oder minder komplexes Dokument in LaTeX in ein mehr oder minder anderes komplexes Dokument in HTML zu konvertieren. Schier unendlich hohe Hürden mussten gemeistert werden, ehe das …

more ...

Funktionen und Mengen

Da habe ich mir doch mal wieder ein paar Gedanken zu den guten alten Konzepten der Mengen gemacht und bin zu der Überzeugung gekommen, dass Mengen nicht nur durch ihre Aufzählung allein genügend charakterisiert sind. Vielmehr sollte es doch auch eine implizite Möglichkeit geben, Mengen zu beschreiben. Dies passiert eben …

more ...

Diplomarbeit angemeldet

Nach mittlerweile <censored> Semestern, durfte ich nun endlich zur Tat schreiten und meine Diplomarbeit anmelden. Der ruhmlose Titel lautet "Pläne und Spiele – eine Anwendung für spielbasiertes Model Checking". Was tatsächlich dahinter steckt, wird in spätestens sechs Monaten in jeder gut sortierten Bereichsbibliothek für Informatik in Dortmund zu lesen sein. Um …

more ...


kunst screencast bildung ZDF cloud Smarthome workshop Termin rs232 JavaScript Funktionen INN server raspberrypi xmpp Mathe ubuntu Linux Newsgroup ccc sdr wiki NNTP Testverfahren Informatik Second Life Clonezilla Tools Psychologie Arduino Spaß das-labor Linkliste bloggen gamejam ITA podcast esp8266 debian 35c3 Text game-engine Comic IoT admin dtp Twitter fun bio lernen mooc SciFi Spiele Sketchnotes pdf ctf programmierung Studium Geschichten hardware Tafelbild c't Tipp Kino Commandline ldlmooc Film python e-mail git Dortmund Latex Sport TV hacking Windows software buch heise Wissenschaft serielle Schnittstelle importiert ldl badge Archiv Datenbank audio Taschenrechner 3dDruck Usenet HP35s video Gesellschaft Bilder Chat Konferenz GPIO 34c3 RSS docker