Mathematische Beweise: Der weite Weg zur absoluten Gewissheit
Mathematiker können beweisen, ob etwas wahr ist oder falsch. Doch ihre langen Argumentationsketten sind nicht immer frei von Fehlern. Löst spezielle Software das Problem?
Mathematiker können beweisen, ob etwas wahr ist oder falsch. Doch ihre langen Argumentationsketten sind nicht immer frei von Fehlern. Löst spezielle Software das Problem?
Wladimir Putin mache die Welt „zu einem gefährlicheren Ort“: Jeremy Hunt drängt die EU, den Druck auf Russland zu erhöhen. Das will der britische Außenminister in Washington sagen.
Die zweitgrößte Stadt Brasiliens leidet unter einer Gewaltwelle. Bei einer Razzia kam es zu heftigen Zusammenstößen zwischen Soldaten und bewaffneten Banden. Die Live-News.
Prag streitet über das Gedenken an den Aufstand von 1968. Deutschland ist auf der Suche nach einer neuen Außenpolitik. Und: Warum meine Tochter nach Auschwitz fahren wollte. Die Lage am Morgen. Von Christiane Hoffmann
Ob Berg-, Stadt oder Strandurlaub: Georgien wird unter Reisenden immer beliebter. Der Fotograf Andreas Oetker-Kast zeigt in seinem Bildband aber keine touristischen Highlights, sondern erlaubt einen Einblick in den Alltag des Landes.
Wenn CSU-Staatsministerin Dorothee Bär am Dienstag die Gamescom in Köln eröffnet, wird die Branche genau hinhören: Viele Spieleentwickler wünschen sich etwas Revolutionäres von der Regierung.
Sie gewinnen Titel, füllen Stadien und begeistern ihre Fans: Roger Federer, Rafael Nadal und Novak Djokovic haben den Tennis-Sport auf ein neues Level gehoben. Doch was passiert, wenn sie aufhören?
Lautstark hatte sich Schauspielerin Asia Argento für die #MeToo-Bewegung eingesetzt, nun wird ihr selbst Missbrauch vorgeworfen. Inzwischen haben sich einige ihrer Mitstreiterinnen zu Wort gemeldet – und Harvey Weinstein.
Noch in dieser Woche sollen Handelsgespräche zwischen den USA und China stattfinden. Im Streit der beiden weltgrößten Volkswirtschaften rückt eine Lösung in weite Ferne. US-Präsident Trump betont seinen langen Atem – und mischt sich nebenbei in die Gel…
Noch in dieser Woche finden Handelsgespräche zwischen den USA und China statt. Die Streitigkeiten der beiden größten Volkswirtschaften der Welt sind dabei Thema, eine Lösung ist indes nicht in Sicht. US-Präsident Trump fordert Hilfe von der Fed ein.
Der australische Premierminister übersteht ein parteiinternes Votum über seine Zukunft. Der umstrittene Einwanderungsminister des Landes unterliegt – und tritt zurück. Ob damit allerdings Ruhe einkehrt, ist fraglich.
Wie stark gefährden die Zölle und der Handelsstreit die Weltwirtschaft? In Australien verbucht der Rohstoff-Gigant BHP Billiton nach dem strategischen Rückzug aus den USA einen herben Gewinneinbruch. Der Ausblick in die nahe Zukunft fällt verhalten aus…
Der weltgrößte Bergbaukonzern BHP Billiton hat wegen des verlustreichen Ausstiegs aus dem amerikanischen Schieferöl-Geschäft deutlich weniger verdient.
Venezuela steckt in einer handfesten Wirtschaftskrise. Die Inflation galoppiert. Die Regierung versucht, mit dem Streichen mehrerer Nullen bei der Landeswährung Bolivar, für Entspannung zu sorgen.
„Two very baaaaad boys“: Die New Yorker Verkehrsbetriebe berichten online von einer Premiere – zwei Ziegen haben sich auf die oberirdischen Gleise der Linie N in Brooklyn verirrt.
Nach tagelangem Streit mit Malta hat Italien ein Schiff mit 177 Flüchtlingen an Bord in Sizilien anlegen lassen. Die Menschen dürfen allerdings nicht an Land gehen, solange es keine „Antworten von Europa“ gebe.
Noch in dieser Woche finden Handelsgespräche zwischen den USA und China statt. Die Streitigkeiten der beiden größten Volkswirtschaften der Welt sind dabei Thema, eine Lösung ist indes nicht in Sicht. Das sagt zumindest US-Präsident Trump.
Im Nordwesten von London hat ein Unbekannter um sich geschossen. Drei Menschen mussten im Krankenhaus behandelt werden. Laut Polizei gibt es keinen terroristischen Hintergrund.
Taliban-Kämpfer haben drei Busse entführt und mehr als hundert Menschen als Geiseln genommen. Die meisten von ihnen sind nun wieder frei – fast zwei Dutzend befinden sich aber weiter in den Händen der Extremisten.
Der neue Satellit „Aeolus“ soll Windgeschwindigkeiten rund um die Erde messen und die Wettervorhersage deutlich verbessern. Nun musste der geplante Start allerdings verschoben werden – wegen der Wetterbedingungen.
US-Präsident Trump stellt in einem Interview die Unabhängigkeit der Notenbank Fed infrage – und spricht sich gegen höhere Zinsen aus. Die Äußerungen erinnern an die türkische Geldpolitik unter Staatschef Erdogan.
War es einer, oder war es keiner? England diskutiert über einen von Salah herausgeholten Strafstoß, der das Spiel zwischen Liverpool und Crystal Palace vorentschied. Max Meyer gab sein Premier-League-Debüt.
Der BVB hat beim Debüt von Trainer Lucien Favre glücklich nach Verlängerung gegen Zweitligist Greuther Fürth gewonnen. Die entscheidenden Treffer fielen jeweils in der Nachspielzeit.
177 Flüchtlinge sitzen seit Tagen auf der „Diciotti“ fest, weil das italienische Schiff in keinem europäischen Hafen anlegen durfte. Nun soll es nach Sizilien fahren. Doch ob die Migranten von Bord dürfen, ist unklar.
Das dürfte ein heißes Stallduell werden: Pierre Gasly wird bei Red Bull Teamkollege von Max Verstappen. Sein neuer Chef lobt ihn als „einen der interessantesten jungen Fahrer im Motorsport.“
Erstmals seit mehr als 20 Jahren hat Terence Hill wieder einen Kinofilm gedreht. Die Deutschlandpremiere fand in Dresden statt – ganz in der Nähe seiner alten Heimat.
An der Wall Street hoffen die Anleger, dass die USA und China bald über ein Ende des Handelsstreits beraten. Die Berichtsaison ist weitgehend abgeschlossen, aber eine Fusion zwischen Pepsi und Sodastream sorgt für Schwung im Aktiengeschäft.
Es wirkt wie Satire: Melania Trump engagiert sich gegen Mobbing in sozialen Medien – und zeitgleich beleidigt ihr Ehemann seine Kritiker auf Twitter. Oder steckt dahinter ein tieferer Sinn?
Sie wanderten durch die berühmte Raganello-Schlucht in Italien, da schwoll der Fluss rasant an: Mehrere Menschen sind in den Wassermassen gestorben, weitere werden vermisst, darunter wohl Kinder.
Das war knapp! Der SC Freiburg hat sich gegen Drittligist Cottbus erst in der Nachspielzeit in die Verlängerung gerettet – und dann im Elfmeterschießen die Nerven behalten.
Offiziell verspricht das Assad-Regime heimkehrenden Flüchtlingen Aussöhnung und ein Leben in Sicherheit. In Wahrheit reicht schon ein verdächtiges Telefonat, um in Syrien wieder im Gefängnis zu landen.
Seit dem 19. Jahrhundert werden Gläubige der „Kirche Jesu Christi der Heiligen der Letzten Tage“ als Mormonen bezeichnet. Nun untersagt der Kirchenpräsident diesen Namen – und macht Gegenvorschläge.
Durch die Fusion von Linde und Praxair wird das Unternehmen zum Branchenriesen. Dafür muss der US-Konzern sein ganzes Europageschäft vorher aufgeben. Andernfalls würde der Gaspreis in die Höhe schnellen, fürchtet die zuständige EU-Kommission.
Was für ein Tor! Marvin Plattenhardt hat im Pokalspiel zwischen Hertha und Braunschweig einen Volley in den Winkel gesetzt. Zum Sieg brauchten die Berliner aber Glück und ihren Kapitän.
Auf bahn.de sollen alle Reisemöglichkeiten aufgeführt werden – auch die von Konkurrenten des Seitenbetreibers Deutsche Bahn. Laut Flixtrain werden deren Angebote aber nur "lückenhaft" dargestellt. Das Unternehmen will nun gerichtlich dagegen …
Prinz Harry und Idris Elba sind befreundet – der Schauspieler war als Gast und DJ bei der royalen Hochzeit des Jahres dabei. Offenbar ein besonderer Tag für den 45-Jährigen.
Fluggäste brauchten im Sommer starke Nerven. Streiks und ein übervoller Luftraum führten zu langen Wartezeiten und Ausfällen. Ver.di sieht dafür noch einen Grund: Die Arbeitsbedingungen des Bodenpersonals.
Eine Britin überlebte in der Adria nach dem Sturz von einem Kreuzfahrtschiff – bis zur Rettung sollen zehn Stunden vergangen sein. Worauf kommt es in solchen Fällen an? Ein Seenotretter gibt Antworten.
Eigentlich sollte der CDU-Abgeordnete Albert Weiler die Kanzlerin auf ihrer Reise in den Südkaukasus begleiten. Doch einem Bericht zufolge will Aserbaidschan den Politiker nicht ins Land lassen.
Polizisten sollen TV-Reporter auf einer Pegida-Demo in Dresden behindert haben. Der Einsatz sorgte für Empörung, von einem Eingriff in die Pressefreiheit ist die Rede. Nun melden sich die Gescholtenen zu Wort.
Eine Boa constrictor imperator ist in Nordrhein-Westfalen offenbar aus einem Terrarium verschwunden. Unklar ist, ob das Tier gestohlen wurde oder selbst entkam.
Ab November sanktionieren die USA Irans wichtigste Einkommensquelle: Erdölexporte. Doch die Islamische Republik hat in China einen mächtigen Partner gefunden.
Pepsi will den Sprudelmaschinen-Hersteller Sodastream für 3,2 Milliarden Dollar kaufen. Mit dem Deal will sich der Cola-Hersteller auch ein gesünderes Image geben. Kann das gut gehen?
Persönliches gibt Heiko Maas eher ungern preis. Doch bei seinem Besuch im ehemaligen Todeslager Auschwitz ließ der Außenminister einen Einblick in die Motive zu, die ihn in die Politik geführt haben.
War das verpatzte Champions-League-Finale das letzte Pflichtspiel von Loris Karius für den FC Liverpool? Der Keeper soll vor einem Wechsel in die Türkei stehen. Eintracht Frankfurt verstärkt sich mit einem HSV-Profi.
Überraschend ist Martin Sonneborn vor vier Jahren ins Europaparlament eingezogen. Bei der kommenden Wahl will der Satiriker seinen Sitz nun verteidigen.
Bereits seit Juni ist klar, dass Daimler in der Abgas-Affäre mehrere Hunderttausend Fahrzeuge zurückrufen muss. Jetzt wird der Rückruf offiziell und das Ausmaß deutlich. In Deutschland sind mehr Fahrzeuge betroffen als zunächst gedacht.
Nach acht Jahren Sparkurs hat Athen seine finanzielle Freiheit wieder. Das Land muss nicht nur einen riesigen Berg Schulden, sondern einen Haufen Probleme bewältigen: Die Angst vor der Staatspleite und dem Euro-Crash ist alles andere als vorbei.
Der Streit zwischen den USA und der Türkei spitzt sich weiter zu. Nun sucht die Türkei offenbar einen Schlichter: Sie wendet sich mit einem Antrag an die Welthandelsorganisation.
Sind Keanu Reeves und Winona Ryder seit 26 Jahren ein Ehepaar? Ein Interview mit den Schauspielern könnte das nahelegen. Doch die Sache ist dann wohl doch nicht ganz so ernst gemeint.