A
Related Posts
Mammographie: wo bleiben die Stimmen der Frauen?
(P. Köhler) Gut, wir betreiben eine Mammographieeinheit im Auftrag des Screening-Programmes und…
Gesunder Lebensstil kann Schlaganfall-Risiko bei Frauen halbieren
Jährlich erleiden fast 300.000 Menschen in Deutschland einen Schlaganfall (Gehirnschlag), jeder Fünfte stirbt daran. Weltweit ist der Schlaganfall sogar die zweithäufigste Todesursache. Eine schwedische Studie belegt nun, dass Frauen, die konsequent fünf Risikofaktoren minimieren, ihr Schlaganfall-Risiko halbieren können. Soweit uns bekannt, ist dies die erste Studie mit Fokus auf die Kombination verschiedener Risikofaktoren. Bisher wurden diese überwiegend isoliert betrachtet. […]
Der Artikel Gesunder Lebensstil kann Schlaganfall-Risiko bei Frauen halbieren stammt von Blog der praxis westend Berlin.
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