Lexikon
Gulf Oil Corporation
[
gʌlf ɔil kɔ:pəˈrɛiʃən
]Pittsburgh, Pa., ehemaliger US-amerikanischer Erdölkonzern, 1922 als Gulf Oil Corp. of Pennsylvania gegründet, 1936–1984 Gulf Oil Corporation; gehört seit 1984 zur Chevron Corporation. Besitzt Erdölfelder und Raffinerien in Amerika, Europa und im Nahen Osten.
Wissenschaft
Computer als Assistenz-Mathematiker
Rechnen konnten Computer schon immer. Doch abgesehen davon hatten sie für die Mathematik kaum einen Nutzen – bislang. Denn inzwischen gibt es Programme, die mathematische Beweise prüfen können. KI eröffnet dabei neue Möglichkeiten. von PAULA STRÄTER Den meisten Menschen begegnet Mathematik im Alltag nur, wenn sie zählen oder...
Wissenschaft
Schimmel rettet die Welt
Das wird eine Aufregung gewesen sein, als der britische Arzt und Bakteriologe Alexander Fleming am 28. September 1928 aus seinem Urlaub zurückkehrte und im Labor eine Petrischale entdeckte, die er vor der Abreise nicht richtig gesäubert hatte: Ein Schimmelpilz hatte sich darin breitgemacht – und die zuvor dort angelegte...
