A
Related Posts
Gelesen im Februar
Kindeswohl von Ian McEwan (übersetzt von Werner Schmitz) Einer meiner großen Favoriten: Ian McEwan. Nicht alle Bücher haben Nobelpreisreife, aber McEwans Sprache ist so dicht, metaphorisch und lyrisch, dass ich stets in Schwärmen kommen. Dabei bedient er in verschiedenen Sujets (Kriegsromanen, Zukunftsvisionen, Familiendramen, Beziehungsgeflechte, Thriller) das gleiche Thema: Eine vermeintliche bürgerliche Idylle wird durch ein […]
Automatisierte Beweise von Aristoteles bis heute
Gerade weil die Informatik-Laureaten beim HLF in der klaren Mehrheit sind, war es interessant zu sehen, welche große Rolle die reine Mathematik in den bisherigen HLF-Vorträgen gespielt hat – über die zum Teil sehr tiefreichenden Verbindungen der beiden Fächer. Der Vortrag von Tony Hoare am Dienstag ist dabei sicherlich am weitesten in die Vergangenheit vorgestoßen. Hoare hat die Vorläufer der Informatik bis zurück zur Logik des Aristoteles verfolgt. Der damalige Schlüsselschritt: Die Trennung zwischen der Form des Beweises und dem… weiter
Acuvue 1Day TrueEye
Die praktische Kontaktlinse Acuvue 1Day TrueEye von Johnson&Johnson ist die erste Tageslinsen aus Silikon Hydrogel Si-Linsenmaterial. Diese Eintageslinse wurde speziell für die Anforderungen unseres Alltags und modernen Lebensstils entwickelt. Dank seiner einzigartigen Zusammensetzung sorgen diese Kontaktlinsen zudem dafür, dass gesunde Augen auch so bleiben. Das Silikon-Hydrogel-Material sorgt für eine sehr hohe Sauerstoffdurchlässigkeit. Das bedeutet, dass […]