Ihre Beiträge sind uns willkommen! Schreiben Sie uns Ihre Fragen und Anregungen, Ihre Kritik oder Zustimmung. Wir veröffentlichen hier laufend Ihre aktuellen Zuschriften.
Sicher ist der Ansatz über die Energiebilanz des Systems in die Berechnungen der mittleren Temperaturen eingegangen. Das Gesamtsystem besitz so viele unbekannte, bisher nicht quantifizierte Energiesenken, dass die mittlere Temperatur zwar eine populäre, weil fassbare Größe darstellt, aber eher eine untergeordnete Rolle spielen sollte. Bei dem Klimasystem handelt es sich um ein "chaotisches" System. Es ensteht hier die Frage welche Attraktoren den Verlauf bestimmen. Auf welcher Bifurkationslinie bewegen wir uns ? Solche Diagramme zeigen durchaus "Pausen" in den Übergängen zwischen unterschiedlichen Zuständen. Diese Zusammenhänge nur über die Temperatur als Indikator zu diskutieren greift deutlich zu kurz! Es steht wohl noch viel Forschungsarbeit aus um die richtigen Attraktoren in dem Energieszenario zu bestimmen und zu quantifizieren. Wann finden wir den mathematischen Ansatz um einer derart komplexen Materie nicht hilflos mit unvollständigen Modellen und mangelnder Rechenleistung begegnen zu müssen. Alle Modelle sind nur so gut wie das investierte Wissen. Man sollte mit dem Versuch aufhören ein hochkomplexes Modell wie das Erdklima über einfache Phänomene populärwissenschaftlich zu diskutieren. Die meisten Menschen verstehen deshalb diese Diskussion vermutlich auch falsch.
In den letzten Jahren häufen sich Meldungen über zunehmendes Abschmelzen von Antarktiseis und andern Eismassen. Wasser hat bekanntlich eine relative hohe Schmelzwärme. Welcher Anteil der auf die Erde treffenden Sonnenenergie ist für das Schmelzen der Eismassen erforderlich? Welchen Einfluss hat dies auf die globalen Durchschnittstemperaturen?
In dem Beitrag werden verschiedene Modelle für den Wärmetransport und deren Transformation erwähnt. Ein Wärmeaustausch zwischen Ozean, hier der Pazifik, und dem Erdmantel findet keine Erwähnung. Da es sich um langfristige Phänomene handelt, sollte meines Erachtens diese Schittstelle auch Betrachtung finden. Es kann auch sein, dass nicht nur ein Wärmeaustausch zwischen Ozean und Erdmantel stattfindet, sondern auch ein Austausch von Energie über andere physikalische Parameter, wie z.B. den Druck stattfindet. Vielleicht liesen sich die Werte der Veränderungen des Erdmantels in dem genannten Zeitraum mit den Temparaturwerten korrelieren.
Schön, dass die multidekadischen Oszillationen als wichtige Einflussgröße auf das Klima auch in den etablierten Kreisen der Klimaforscher angekommen sind. Zwar ist die PDO nicht die Ursache, aber immerhin in wichtiger Indikator für diese Oszillationen, die den möglichen Hauptgrund für den derzeitigen Erwärmungs-Stillstand darstellen. Die Stellgröße selbst ist ENSO.
Drei wichtige Schlussfolgerungen kann man daraus ziehen.
1. Natürliche Einflüsse sind mindestens so groß wie anthropogene Einflüsse. Andernfalls könnte der Temperatur-Anstieg durch Treibhausgase derzeit nicht vollständig kompensiert werden.
2. Nachdem die derzeit negative Phase der Oszillationen (Periode ~60 Jahre) zur Kompensation des globalen Temperatur-Anstiegs führt, muss die positive Phase Ende des 20. Jhdt. einen natürlichen Beitrag zum damaligen Temperatur-Anstieg geführt haben. Tollefson erwähnt dies zwar nicht in seinem Nature-Artikel. Der von ihm ausführlich zitierte Kevin Trenberth hat diesen Schluss allerdings selbst gezogen: http://www.reportingclimatescience.com/news-stories/article/global-warming-pause-due-to-pacific-says-trenberth.html
"The picture emerging is one where the positive phase of the PDO from 1976 to 1998 enhanced the surface warming somewhat by reducing the amount of heat sequestered by the deep ocean, while the negative phase of the PDO is one where more heat gets deposited at greater depths, contributing to the overall warming of the oceans but cooling the surface somewhat. The Pacific Ocean appears to account for the majority of the decadal variability."
3. Dies bedeutet aber, dass die vom IPCC angenommene Sensitivität von CO2 (1,5° - 4,5° Erwärmung bei Verdopplung der CO2-Konzentration) systematisch zu hoch angesetzt ist, weil im AR5 die Stellgröße ENSO nicht berücksichtigt ist.
Könnte beim MPEMBA-Effekt nicht auch die Brownsche Molekularbewegung eine entscheidende Rolle spielen? Man könnte ja vermuten, dass sich schneller bewegende (bzw. schneller zitternde) Moleküle sich schneller zu einem Kristallgitter ordnen können als die "kalten". Und im Kristallgitter in der Bewegung eingeschränkte Moleküle sind halt kälter als freibewegliche. Das nur als Frage, bin nicht vom Fach.
Der Artikel präsentiert einige bemerkenswerte Aspekte, gibt aber in zwei Punkten Anlass zu Nachfragen.
Anders Celsius (1701-1744), René-Antoine Ferchault de Réaumur (1683-1757) und Daniel Gabriel Fahrenheit (1686-1736) sind die einzigen heute bekannten Wissenschaftler, die sich etwa zu gleicher Zeit mit der objektiven Temperaturmessung beschäftigt haben. Fahrenheit soll (Brockhaus) 1714 erstmals die Herstellung übereinstimmender Thermometer gelungen sein. Um 1742 präsentierte Celsius seine Temperaturskala. Wie können dann im Bild Seite 84 Sommertemperaturen ab 1500 berücksichtigt werden? Zumindest bedürfte die Behauptung einer Erläuterung.
Im Bild Seite 83 wird ein sehr kleinteiliges Raster für die Messwerte über den Meeren gewählt, ohne zu erläutern, wie ab 1880 so viele Messreihen auf Monatsbasis auf der riesigen Meeresoberfläche ermittelt wurden und mit welcher Genauigkeit.
Bei retrospektiven Betrachtungen des Klimas missachtet man üblicherweise die (mangels Messtechnik) qualitativen Angaben in vielen Ortschroniken. Für die Stadt Gengenbach nahe Straßburg wird überliefert: 1518: Es herrscht Hungersnot und überall sind schlechte Ernten; 1530: Am Josefs-Tag (19. März) gibt es schon Früchte, die sonst erst im Juni reif sind. Eine zweite Ernte im Herbst ist möglich; 1540: Große Trockenheit und viel Wein. Dieser ist billiger als Wasser. 1570: Nacheinander 12 Fehljahre für die Bauern. 1719: Das außergewöhnlichste Jahr war 1719. Der Winter war stürmisch und regnerisch, aber ohne Kälte und Schnee. Unvermittelt wurde es Ende Februar hochsommerlich mit solcher Hitze und Trockenheit, dass bis zum Sommer fast kein Regen fiel. Fluss und Brunnen trockneten aus, viel Vieh kam um, alles reifte vorzeitig. Endlich im August stürzte das ersehnte Nass vom Himmel, was eine Weinernte von ungeahntem Ausmaß bescherte …
Rekorde dieser Art sind uns heute völlig fremd. Es wäre sicher ein lohnendes Projekt, in die aktuelle Klimadiskussion die historischen Ereignisse etwas differenzierter miteinzubeziehen.
Stellungnahme der Redaktion
Vielen Dank für die interessierte Nachfrage! Die gezeigte Studie der europäischen Sommertemperaturen ab dem Jahr 1500 von Barriopedro et al. (Science 2011) basiert für die Zeit vor der Existenz von Thermometermessungen auf der Auswertung von Proxydaten durch Luterbacher et al. (Science 2004). Unter den hier verwendeten Proxydaten sind Klimainformationen aus Baumringen und Eisbohrkernen, aber es wurden auch schriftliche Aufzeichnungen aus früheren Jahrhunderten verwendet, wie Sie sie zitieren. Solche Beschreibungen von klimatisch beeinflussten Ereignissen sind eine wichtige Datenquelle in der Paläoklimaforschung und werden systematisch ausgewertet - zum Beispiel die Termine der Weinlese bis zurück ins Jahr 1354.
Die Abbildung auf S. 83 basiert auf dem globalen Temperaturdatensatz des Goddard Institute for Space Studies der NASA in New York. Das Verfahren ist beschrieben in Hansen und Lebedeff (Journal of Geophysical Research 1987). Sie haben Recht, dass gemessene Meerestemperaturen vor der Satellitenära nicht auf einem feinen Gitter verfügbar sind. Die NASA macht sich bei der Erstellung der Karten die Beobachtung zunutze, dass Temperaturveränderungen in den Monatsmittelwerten einen räumlichen Korrelationsradius von rund 1200 Kilometern aufweisen, so dass man auch mit der vorhandenen, begrenzten Datendichte nahezu globale Karten erstellen kann. Bewusst haben wir in unserer Grafik die Meeresgebiete abgeblendet, um die Aufmerksamkeit auf die besser mit Daten abgedeckten Landgebiete zu lenken.
Vielen Dank für diesen sehr informativen Artikel über einen interessanten deutschen Physiker und Menschen, der wirklich zu Unrecht nicht bekannt ist. Sein Leben und Wirken verdient es in die Erinnerung gerufen und gehalten zu werden. Der Autor hat es verstanden, die Einflüsse auf Houtermans und seine Einflüsse auf seine Kollegen und Wissenschaft gut darzustellen.
Die Definition des Halteproblems auf S. 72 stellt tatsächlich das schwerere Totalitätsproblem dar: Totalitätsproblem = { p: Programm p hält für jede Eingabe an} Halteproblem = { (p,n) : Programm p hält für die Eingabe n an}
In jeder hinreichend reichhaltigen Axiomatisierung der Zahlentheorie lassen sich alle wahren Aussagen der Form "p(n) hält an" formalisieren und beweisen.
Aus Gödel-Turing folgt jedoch, dass es unendlich viele wahre Aussagen der Form "p(n) hält nicht an" gibt, die nicht beweisbar sind.
Die Goldbachsche Vermutung kann man als Instanz des Halteproblems darstellen. Das Programm p prüft, etwa bei Eingabe 0, der Reihe nach für jede gerade Zahl, ob sie Summe zweier Primzahlen ist. Falls eine Zahl gefunden wird, für die das nicht der Fall ist, so hält es an (terminiert), sonst nicht. (In analoger Weise kann man auch für Fermats letzten Satz vorgehen.) Das Programm hält also genau dann an, wenn die Goldbachsche Vermutung falsch ist. Wenn sie wahr ist, terminiert es nicht. Wenn nun die Goldbachsche Vermutung wahr ist, so könnte es sein, dass die zugehörige Nichtterminierungsaussage in der Axiomatischen Mengenlehre (die Grundlage der heutigen Mathematik) zu den nicht beweisbaren Aussagen aus dem Komplement des Halteproblems gehört.
Die Collatz-Vermutung oder allgemeiner Conways "Collatzian Games" sind Instanzen des Totalitätsproblems, d.h. die Frage ist hier, ob das Game für jeden Startwert schließlich mit dem Wert 1 anhält.
Conway hat nun gezeigt, dass es universelle Collatzian games gibt, in denen man jede Programmiersprache interpretieren kann. Diese können nicht total sein, da es ja viele partielle Programme gibt, die interpretiert werden können. Aus der Natur des Beweises (in dem explizit angegeben wird, wie eine bekannte universelle Programmiersprache als Collatz game codiert wird) folgt, dass für unendlich viele Startwerte beweisbar ist, dass das game für diese Startwerte nicht terminiert.
Der letzte Absatz auf S. 75 bringt die Dinge etwas durcheinander: Ist das Collatz game universell? Dann wäre die Collatz-Vermutung falsch, da es ja dann wie eben bemerkt unendlich viele Startwerte gäbe, für die die Folge nicht terminiert. Es folgt aber dann nicht, dass das Collatzproblem unlösbar ist, denn es könnte durchaus für bestimmt Werte bewiesen werden, dass für sie als Startwert die Collatzfolge nicht terminiert.
Conway vermutet jedoch, dass die Collatzvermutung wahr ist, aber dies nicht beweisbar ist. Hier hätten wir dann eine Instanz des Totalitätsproblems, die in der Mengenlehre nicht beweisbar ist. In seinem Artikel hat Conway das vielleicht irreführend dargestellt, da die Collatzian games ja gerade für diejenigen Startwerte unlösbar sind, für die die Folge nicht terminiert. Die Collatzvermutung besagt aber, dass dies nicht auftritt, dass jede Folge stets terminiert. Also hätte Conway eigentlich ein Collatzian game präsentieren müssen, das stets terminiert, diese Eigenschaft jedoch unbeweisbar ist. Das steht noch aus, kann aber vermutlich mit seinen Methoden gezeigt werden.
Unbeweisbarkeit ist immer relativ zu einer Axiomatisierung. Wenn Conway unsettleable schreibt, bezieht er sich auf die Mengenlehre. Hier sind ja viele Aussagen A bekannt, die ebenso wie ihre Verneinung non-A nicht beweisbar sind, z. B. die Kontinuumshypothese. Von diesen ist aber bewiesen, dass sie nicht beweisbar sind. Für eine unbeweisbare wahre Aussage A der Form "Das Collatzian game g mit Startwert n terminiert nicht" ist auch non-A unbeweisbar und falsch. Es ist jedoch nicht beweisbar, dass non-A unbeweisbar ist. Denn damit hätte man ausgeschlossen, dass für eine gewisse Zahl tg(n) nach t Schritten terminiert, d. h. man hätte A bewiesen. Hier muss man im Hinterkopf behalten, dass in der Mengenlehre alle wahren Aussagen der Form "g(n) terminiert nach t Schritten" beweisbar sind, wie oben schon einmal erwähnt.
Conway spekuliert, dass die Probleme im Umkreis der Collatzfunktion generell nicht nur nicht beweisbar sind, sondern auch ihre Unbeweisbarkeit nicht beweisbar ist usw. Das nennt er dann "unsettleable". Eine ausgearbeitete Theorie hierzu ist mir nicht bekannt.
In der Logik werden auch schwächere Theorien als die Mengenlehre betrachtet, z. B. die Peano-Arithmetik (PA). Hier konnten konkrete Aussagen aus der endlichen Kombinatorik als wahr, aber unbeweisbar bewiesen werden. Es gibt eine notwendige Bedingung dafür, dass eine berechenbare Funktion in PA als total bewiesen werden kann. Und zwar darf sie nicht stärker wachsen als eine so genannte ε0-rekursive Funktion. Dies kann man sich zunutze machen, indem man zeigt, dass im konkreten Fall aus dem Beweis der Aussage A eine berechenbare Funktion ableitbar ist, die stärker wächst als die ε0-rekursiven. Dann ist A in PA nicht beweisbar. Diese Unbeweisbarkeit ist aber dann in einer stärkeren Theorie wie der Mengenlehre wiederum beweisbar.
Hier noch ein paar Literaturangaben zu klassischen Standardwerken: Zur Logik und Mengenlehre allgemein: Barwise, Handbook of Mathematical Logic, North-Holland, 1977 (dort auch Kap. D.8, A mathematical incompleteness in PA) Zur Berechenbarkeit allgemein: P. Odifreddi, Classical Recursion Theory, North-Holland, 1989. Zur Theorie der ε0-rekursiven Funktionen: H.E. Rose, Subrecursion, Oxford University Press, 1984.
Erinnert mich irgendwie an hiesige Projekte, bei denen naturnahe Schutzgebiete mit riesigem Aufwand errichtet werden. In die darf dann aus Schutzgründen kein Mensch mehr seinen Fuß reinsetzen, aber dafür muss man alle 2 Jahre mit großen Baggern drin herumfahren, um dafür zu sorgen, dass das Gebiet "naturnah" erhalten wird. Warum entwickeln sich Industriebrachen und aufgelassene Truppenübungsplätze, die auch als Erholungsgebiete des Menschen genutzt werden, meist am Besten hinsichtlich der Biodiversität? Vielleicht, weil man dort keine "Naturschützer" hineinlässt, die besser wissen als die Natur selbst, wie es geht?
Der zusammenfassende Terminus des organisierten Metabolismus gefällt mir, fasst alles zusammen, und muss ich zur Weiterdiskussion unter Ökologen empfehlen, da wir alle "nur" unser Schul- und Erfahrungswissen von lebenden Organismen hernehmen. Hoffentlich hat das Buch auch den holistischen Aspekt (Holismus…) drinnen, alles mit allem im übergeordneten Kontex usw., da wäre "Kommunikation" zu wenig…
Wenn die Krümmung des Lichts durch Voidslinseneffekt und nicht durch Gravitationslinsen entsteht, dann ist die Existens von Dunkler Materie noch unwahrscheinlicher. Das sollte man erstmal überprüfen.
Michael Springer ist vorsichtiger geworden: In der Spektrum-Ausgabe vom März 2012 (Springers Entwürfe: "Das Weltall wimmelt von Wohnstätten") schrieb er noch „... angesichts der Unzahl der Sterne und Planeten gibt es unter ihnen sicher auch solche, die Leben beherbergen.“ In den jetzigen "Springers Entwürfen" fehlt das Wort "sicher", aber immer noch kommt es ihm "doch sehr unwahrscheinlich vor", dass die geschätzten 20 Milliarden erdähnlichen Planeten kein Leben beherbergen sollen. Und dennoch: Nach wie vor müssen wir und auch Herrn Springer eingestehen, dass es für uns zurzeit keinerlei Handhabe gibt zu ermitteln, wie wahrscheinlich die Entwicklung von Leben auf erdähnlichen Planeten ist. Solange die Stichprobe für die Abschätzung dieser Wahrscheinlichkeit aus exakt einem einzigen Exemplar eines solchen Planeten (nämlich unserem eigenen) besteht, bleibt eine solche Schätzung völlig spekulativ. Wenn Leben zum Beispiel mit einer Wahrscheinlichkeit von 1 zu 20 Billionen entsteht, dann stehen die Chancen für die geschätzten 20 Milliarden erdähnlichen Planeten in der Milchstraße doch nicht so gut. Wir wissen es einfach nicht. Auch Michael Springer nicht.
Nach Wikipedia liegt ja der Asteroidengürtel außerhalb der solaren Schneegrenze http://de.wikipedia.org/wiki/Herkunft_des_irdischen_Wassers, wo das meiste Wasser im Sonnensystem gesammelt wurde. Es gab auch schon Kometen, denen man Erdwasser bescheinigte. Nun könnte es nahe liegen, dass auch Ceres Erdwasser hat – aber das wissen wir nach der Arbeit der US-Raumsonde Dawn dann genau. In diesem Zusammenhang wäre es natürlich auch interessant, die größenmäßig folgenden Zwergplaneten zu untersuchen. Hier ist auch diese Meldung interessant: www.weltraum-aktuell.de › Nachrichten 18.07.2013 - Cambridge (USA) / Garching - In der Gas- und Staubscheibe um den jungen Stern TW Hydrae zeichnet sich deutlich eine „Schneegrenze“ ab.
Mittlere Temperatur ist der falsche Indikator !
29.01.2014, Michael SchmidtBei dem Klimasystem handelt es sich um ein "chaotisches" System. Es ensteht hier die Frage welche Attraktoren den Verlauf bestimmen. Auf welcher Bifurkationslinie bewegen wir uns ? Solche Diagramme zeigen durchaus "Pausen" in den Übergängen zwischen unterschiedlichen Zuständen. Diese Zusammenhänge nur über die Temperatur als Indikator zu diskutieren greift deutlich zu kurz!
Es steht wohl noch viel Forschungsarbeit aus um die richtigen Attraktoren in dem Energieszenario zu bestimmen und zu quantifizieren.
Wann finden wir den mathematischen Ansatz um einer derart komplexen Materie nicht hilflos mit unvollständigen Modellen und mangelnder Rechenleistung begegnen zu müssen. Alle Modelle sind nur so gut wie das investierte Wissen.
Man sollte mit dem Versuch aufhören ein hochkomplexes Modell wie das Erdklima über einfache Phänomene populärwissenschaftlich zu diskutieren. Die meisten Menschen verstehen deshalb diese Diskussion vermutlich auch falsch.
Eine Pause?
29.01.2014, KarenGut, daß man hier jetzt auch Nature-Artikel übersetzt und endlich die Debatte im größerern Rahmen abgebildet wird...
(Es gibt eine Pause, pssssssssssssst! :-)
Werte Karen,
ich empfehle die Lektüre dieses Interviews mit Herrn von Storch und Herrn Latif:
https://www.spektrum.de/alias/klimaforschung/nur-die-temperaturen-pausieren/1207873
Mit freundlichen Grüßen
Daniel Lingenhöhl
Redaktion Spektrum.de
Eisschmelze
29.01.2014, ZukunftWärme-/Energieaustausch Pazifik und Erdmantel
29.01.2014, Ralf WeingartMultidekadische Oszillationen
29.01.2014, Werner KohlZwar ist die PDO nicht die Ursache, aber immerhin in wichtiger Indikator für diese Oszillationen, die den möglichen Hauptgrund für den derzeitigen Erwärmungs-Stillstand darstellen. Die Stellgröße selbst ist ENSO.
Drei wichtige Schlussfolgerungen kann man daraus ziehen.
1. Natürliche Einflüsse sind mindestens so groß wie anthropogene Einflüsse. Andernfalls könnte der Temperatur-Anstieg durch Treibhausgase derzeit nicht vollständig kompensiert werden.
2. Nachdem die derzeit negative Phase der Oszillationen (Periode ~60 Jahre) zur Kompensation des globalen Temperatur-Anstiegs führt, muss die positive Phase Ende des 20. Jhdt. einen natürlichen Beitrag zum damaligen Temperatur-Anstieg geführt haben. Tollefson erwähnt dies zwar nicht in seinem Nature-Artikel. Der von ihm ausführlich zitierte Kevin Trenberth hat diesen Schluss allerdings selbst gezogen:
http://www.reportingclimatescience.com/news-stories/article/global-warming-pause-due-to-pacific-says-trenberth.html
"The picture emerging is one where the positive phase of the PDO from 1976 to 1998 enhanced the surface warming somewhat by reducing the amount of heat sequestered by the deep ocean, while the negative phase of the PDO is one where more heat gets deposited at greater depths, contributing to the overall warming of the oceans but cooling the surface somewhat. The Pacific Ocean appears to account for the majority of the decadal variability."
3. Dies bedeutet aber, dass die vom IPCC angenommene Sensitivität von CO2 (1,5° - 4,5° Erwärmung bei Verdopplung der CO2-Konzentration) systematisch zu hoch angesetzt ist, weil im AR5 die Stellgröße ENSO nicht berücksichtigt ist.
Nochmal MPEMBA-EFFEKT
28.01.2014, Helmi GnaukHistorische Klimadaten
28.01.2014, Karl D. May, GengenbachDer Artikel präsentiert einige bemerkenswerte Aspekte, gibt aber in zwei Punkten Anlass zu Nachfragen.
Anders Celsius (1701-1744), René-Antoine Ferchault de Réaumur (1683-1757) und Daniel Gabriel Fahrenheit (1686-1736) sind die einzigen heute bekannten Wissenschaftler, die sich etwa zu gleicher Zeit mit der objektiven Temperaturmessung beschäftigt haben. Fahrenheit soll (Brockhaus) 1714 erstmals die Herstellung übereinstimmender Thermometer gelungen sein. Um 1742 präsentierte Celsius seine Temperaturskala. Wie können dann im Bild Seite 84 Sommertemperaturen ab 1500 berücksichtigt werden? Zumindest bedürfte die Behauptung einer Erläuterung.
Im Bild Seite 83 wird ein sehr kleinteiliges Raster für die Messwerte über den Meeren gewählt, ohne zu erläutern, wie ab 1880 so viele Messreihen auf Monatsbasis auf der riesigen Meeresoberfläche ermittelt wurden und mit welcher Genauigkeit.
Bei retrospektiven Betrachtungen des Klimas missachtet man üblicherweise die (mangels Messtechnik) qualitativen Angaben in vielen Ortschroniken. Für die Stadt Gengenbach nahe Straßburg wird überliefert: 1518: Es herrscht Hungersnot und überall sind schlechte Ernten; 1530: Am Josefs-Tag (19. März) gibt es schon Früchte, die sonst erst im Juni reif sind. Eine zweite Ernte im Herbst ist möglich; 1540: Große Trockenheit und viel Wein. Dieser ist billiger als Wasser. 1570: Nacheinander 12 Fehljahre für die Bauern. 1719: Das außergewöhnlichste Jahr war 1719. Der Winter war stürmisch und regnerisch, aber ohne Kälte und Schnee. Unvermittelt wurde es Ende Februar hochsommerlich mit solcher Hitze und Trockenheit, dass bis zum Sommer fast kein Regen fiel. Fluss und Brunnen trockneten aus, viel Vieh kam um, alles reifte vorzeitig. Endlich im August stürzte das ersehnte Nass vom Himmel, was eine Weinernte von ungeahntem Ausmaß bescherte …
Rekorde dieser Art sind uns heute völlig fremd. Es wäre sicher ein lohnendes Projekt, in die aktuelle Klimadiskussion die historischen Ereignisse etwas differenzierter miteinzubeziehen.
Vielen Dank für die interessierte Nachfrage! Die gezeigte Studie der europäischen Sommertemperaturen ab dem Jahr 1500 von Barriopedro et al. (Science 2011) basiert für die Zeit vor der Existenz von Thermometermessungen auf der Auswertung von Proxydaten durch Luterbacher et al. (Science 2004). Unter den hier verwendeten Proxydaten sind Klimainformationen aus Baumringen und Eisbohrkernen, aber es wurden auch schriftliche Aufzeichnungen aus früheren Jahrhunderten verwendet, wie Sie sie zitieren. Solche Beschreibungen von klimatisch beeinflussten Ereignissen sind eine wichtige Datenquelle in der Paläoklimaforschung und werden systematisch ausgewertet - zum Beispiel die Termine der Weinlese bis zurück ins Jahr 1354.
Die Abbildung auf S. 83 basiert auf dem globalen Temperaturdatensatz des Goddard Institute for Space Studies der NASA in New York. Das Verfahren ist beschrieben in Hansen und Lebedeff (Journal of Geophysical Research 1987). Sie haben Recht, dass gemessene Meerestemperaturen vor der Satellitenära nicht auf einem feinen Gitter verfügbar sind. Die NASA macht sich bei der Erstellung der Karten die Beobachtung zunutze, dass Temperaturveränderungen in den Monatsmittelwerten einen räumlichen Korrelationsradius von rund 1200 Kilometern aufweisen, so dass man auch mit der vorhandenen, begrenzten Datendichte nahezu globale Karten erstellen kann. Bewusst haben wir in unserer Grafik die Meeresgebiete abgeblendet, um die Aufmerksamkeit auf die besser mit Daten abgedeckten Landgebiete zu lenken.
Stefan Rahmstorf
Zu Unrecht vergessen
27.01.2014, Dr. Ansgar Hofmann, HeidelbergMPEMBA-EFFEKT
27.01.2014, Mathias VöllingerRichtigstellung zur Unerledigbarkeit
27.01.2014, Martin KummerTotalitätsproblem = { p: Programm p hält für jede Eingabe an}
Halteproblem = { (p,n) : Programm p hält für die Eingabe n an}
In jeder hinreichend reichhaltigen Axiomatisierung der Zahlentheorie lassen sich alle wahren Aussagen der Form "p(n) hält an" formalisieren und beweisen.
Aus Gödel-Turing folgt jedoch, dass es unendlich viele wahre Aussagen der Form "p(n) hält nicht an" gibt, die nicht beweisbar sind.
Die Goldbachsche Vermutung kann man als Instanz des Halteproblems darstellen. Das Programm p prüft, etwa bei Eingabe 0, der Reihe nach für jede gerade Zahl, ob sie Summe zweier Primzahlen ist. Falls eine Zahl gefunden wird, für die das nicht der Fall ist, so hält es an (terminiert), sonst nicht. (In analoger Weise kann man auch für Fermats letzten Satz vorgehen.) Das Programm hält also genau dann an, wenn die Goldbachsche Vermutung falsch ist. Wenn sie wahr ist, terminiert es nicht. Wenn nun die Goldbachsche Vermutung wahr ist, so könnte es sein, dass die zugehörige Nichtterminierungsaussage in der Axiomatischen Mengenlehre (die Grundlage der heutigen Mathematik) zu den nicht beweisbaren Aussagen aus dem Komplement des Halteproblems gehört.
Die Collatz-Vermutung oder allgemeiner Conways "Collatzian Games" sind Instanzen des Totalitätsproblems, d.h. die Frage ist hier, ob das Game für jeden Startwert schließlich mit dem Wert 1 anhält.
Conway hat nun gezeigt, dass es universelle Collatzian games gibt, in denen man jede Programmiersprache interpretieren kann. Diese können nicht total sein, da es ja viele partielle Programme gibt, die interpretiert werden können. Aus der Natur des Beweises (in dem explizit angegeben wird, wie eine bekannte universelle Programmiersprache als Collatz game codiert wird) folgt, dass für unendlich viele Startwerte beweisbar ist, dass das game für diese Startwerte nicht terminiert.
Der letzte Absatz auf S. 75 bringt die Dinge etwas durcheinander: Ist das Collatz game universell? Dann wäre die Collatz-Vermutung falsch, da es ja dann wie eben bemerkt unendlich viele Startwerte gäbe, für die die Folge nicht terminiert. Es folgt aber dann nicht, dass das Collatzproblem unlösbar ist, denn es könnte durchaus für bestimmt Werte bewiesen werden, dass für sie als Startwert die Collatzfolge nicht terminiert.
Conway vermutet jedoch, dass die Collatzvermutung wahr ist, aber dies nicht beweisbar ist. Hier hätten wir dann eine Instanz des Totalitätsproblems, die in der Mengenlehre nicht beweisbar ist. In seinem Artikel hat Conway das vielleicht irreführend dargestellt, da die Collatzian games ja gerade für diejenigen Startwerte unlösbar sind, für die die Folge nicht terminiert. Die Collatzvermutung besagt aber, dass dies nicht auftritt, dass jede Folge stets terminiert. Also hätte Conway eigentlich ein Collatzian game präsentieren müssen, das stets terminiert, diese Eigenschaft jedoch unbeweisbar ist. Das steht noch aus, kann aber vermutlich mit seinen Methoden gezeigt werden.
Unbeweisbarkeit ist immer relativ zu einer Axiomatisierung. Wenn Conway unsettleable schreibt, bezieht er sich auf die Mengenlehre. Hier sind ja viele Aussagen A bekannt, die ebenso wie ihre Verneinung non-A nicht beweisbar sind, z. B. die Kontinuumshypothese. Von diesen ist aber bewiesen, dass sie nicht beweisbar sind. Für eine unbeweisbare wahre Aussage A der Form "Das Collatzian game g mit Startwert n terminiert nicht" ist auch non-A unbeweisbar und falsch. Es ist jedoch nicht beweisbar, dass non-A unbeweisbar ist. Denn damit hätte man ausgeschlossen, dass für eine gewisse Zahl tg(n) nach t Schritten terminiert, d. h. man hätte A bewiesen. Hier muss man im Hinterkopf behalten, dass in der Mengenlehre alle wahren Aussagen der Form "g(n) terminiert nach t Schritten" beweisbar sind, wie oben schon einmal erwähnt.
Conway spekuliert, dass die Probleme im Umkreis der Collatzfunktion generell nicht nur nicht beweisbar sind, sondern auch ihre Unbeweisbarkeit nicht beweisbar ist usw. Das nennt er dann "unsettleable". Eine ausgearbeitete Theorie hierzu ist mir nicht bekannt.
In der Logik werden auch schwächere Theorien als die Mengenlehre betrachtet, z. B. die Peano-Arithmetik (PA). Hier konnten konkrete Aussagen aus der endlichen Kombinatorik als wahr, aber unbeweisbar bewiesen werden. Es gibt eine notwendige Bedingung dafür, dass eine berechenbare Funktion in PA als total bewiesen werden kann. Und zwar darf sie nicht stärker wachsen als eine so genannte ε0-rekursive Funktion. Dies kann man sich zunutze machen, indem man zeigt, dass im konkreten Fall aus dem Beweis der Aussage A eine berechenbare Funktion ableitbar ist, die stärker wächst als die ε0-rekursiven. Dann ist A in PA nicht beweisbar. Diese Unbeweisbarkeit ist aber dann in einer stärkeren Theorie wie der Mengenlehre wiederum beweisbar.
Hier noch ein paar Literaturangaben zu klassischen Standardwerken:
Zur Logik und Mengenlehre allgemein:
Barwise, Handbook of Mathematical Logic, North-Holland, 1977 (dort auch Kap. D.8, A mathematical incompleteness in PA)
Zur Berechenbarkeit allgemein:
P. Odifreddi, Classical Recursion Theory, North-Holland, 1989.
Zur Theorie der ε0-rekursiven Funktionen:
H.E. Rose, Subrecursion, Oxford University Press, 1984.
Tolle neue Idee !
27.01.2014, Gilbert BrandsWarum entwickeln sich Industriebrachen und aufgelassene Truppenübungsplätze, die auch als Erholungsgebiete des Menschen genutzt werden, meist am Besten hinsichtlich der Biodiversität? Vielleicht, weil man dort keine "Naturschützer" hineinlässt, die besser wissen als die Natur selbst, wie es geht?
Holismus?
26.01.2014, Krimm HansDunkle Materie wird exotischer
24.01.2014, JuanExtraterrestrisches Leben: Wahrscheinlich? Unwahrscheinlich?
24.01.2014, Rudolf Mierau, EschweilerHat Ceres Erdwasser?
24.01.2014, Klaus DeistungNun könnte es nahe liegen, dass auch Ceres Erdwasser hat – aber das wissen wir nach der Arbeit der US-Raumsonde Dawn dann genau. In diesem Zusammenhang wäre es natürlich auch interessant, die größenmäßig folgenden Zwergplaneten zu untersuchen.
Hier ist auch diese Meldung interessant: www.weltraum-aktuell.de › Nachrichten 18.07.2013 - Cambridge (USA) / Garching - In der Gas- und Staubscheibe um den jungen Stern TW Hydrae zeichnet sich deutlich eine „Schneegrenze“ ab.