Vor einer transparenten Box A (1.000 $) und einer undurchsichtigen Box B (1.000.000 $ oder 0 $), präpariert von einem zu 99 % treffsicheren Prädiktor Omega: Sollte ein rationaler Akteur nur eine Box (One-Boxing) oder beide Boxen (Two-Boxing) wählen? Eine tiefgehende mathematische und philosophische Abhandlung über evidenzbasierte Entscheidungstheorie (EDT), kausale Entscheidungstheorie (CDT), Judea Pearls do-Kalkül, die Raucherläsion, Max Webers calvinistische Prädestination, Ellery Eells' Tickle Defense, David Lewis' Gefangenendilemma-Isomorphie und die Funktionale Entscheidungstheorie (FDT).
Beträgt die Wahrscheinlichkeit, dass eine zufällige Sehne eines Einheitskreises länger als die Seite eines einbeschriebenen gleichseitigen Dreiecks ist, 1/3, 1/2 oder 1/4? Von Joseph Bertrands Paradoxon (1889) über das Scheitern des Laplaceschen Indifferenzprinzips und Keynes' Wein-Wasser-Paradoxon bis zu Kolmogorows Maßtheorie, Jaynes' Transformationsgruppen-Invarianz (Poincaré-Santaló-Maß) und dem Jeffreys-Prior.
Von den alltäglichen Wundern des Brouwerschen Fixpunktsatzes (1911) – dem unbewegten Kaffeemolekül und der zerknüllten Landkarte – über scharfe Gegenbeispiele und drei klassische Beweise (Zwischenwertsatz, Borsuks Nicht-Retraktionssatz mit Homologie und Satz von Stokes, Sperners Lemma) bis zur großen Hierarchie der Fixpunktsätze von Banach, Schauder und Kakutani für das Nash-Gleichgewicht (1950) und das allgemeine Arrow-Debreu-Marktgleichgewicht (1954).
Eine strenge mathematische Analyse des Martingal-Verdopplungssystems, des Ruinproblems des Spielers von Huygens und Pascal mittels absorbierender Markow-Ketten sowie der modernen Martingaltheorie und des Optional Stopping Theorems von Paul Lévy und Joseph Leo Doob.
Eine fundierte mathematische Analyse von Group Testing und kombinatorischer Suche: von Robert Dorfmans zweistufigem Pooling (1943) und Shannons informationstheoretischer Schranke über das 12-Münzen-Waagenproblem bis hin zu disjunkten Matrizen nach Kautz-Singleton, Reed-Solomon-Designs und Compressed Sensing.
Vom Rätsel runder Kanaldeckel über Minkowski-Stützfunktionen und ungerade Fourier-Reihen bis zu zwei vollständigen Beweisen des Satzes von Barbier (L = πw), dem Satz von Blaschke-Lebesgue, der exakten Kinematik des Quadratlochbohrers von Harry Watts (98,77 % Flächendeckung) sowie 3D-Meissner-Körpern.
Eine umfassende formale und philosophische Abhandlung über Frederic Fitchs Paradoxon der Erkennbarkeit (1963), das auf Alonzo Churchs anonymes Gutachten von 1945 zurückgeht. Wir leiten Schritt für Schritt ab, wie das gemäßigte antirealistische Erkennbarkeitsprinzip (∀p(p → ◇Kp)) allein durch die Faktivität des Wissens und die Konjunktionsdistribution in das Allwissenheitsprinzip (∀p(p → Kp)) kollabiert, und analysieren die vier großen Fluchtwege: Michael Dummetts intuitionistische Logik, Neil Tennants kartesische Einschränkungen, Dorothy Edgingtons zweidimensionale Modallogik und die Dynamische Epistemische Logik (PAL).
Eine tiefgehende physikalische Analyse der Tribologie: Auflösung des klassischen Amontons-Coulomb-Paradoxons über die reale Kontaktfläche (Bowden-Tabor und Greenwood-Williamson), Herleitung der Dieterich-Ruina-Zustandsgesetze für Stick-Slip-Schwingungen von der Violine bis zu Erdbeben, Widerlegung der Druckschmelz-Hypothese von Eis mittels der Clausius-Clapeyron-Gleichung und Erklärung der strukturellen Superlubrizität.
Wenn eine Stadt eine ultraschnelle neue Straßenverbindung baut oder ein Netzwerk-Ingenieur eine Glasfaserleitung hinzufügt, sollte sich der Verkehrsfluss eigentlich verbessern. Doch 1968 bewies der deutsche Mathematiker Dietrich Braess, dass zusätzliche Kapazität in einem durch eigennütziges Routing (Selfish Routing) gesteuerten Netzwerk die Fahrzeit für 100 % aller Nutzer strikt verlängern kann. Dieser Artikel beleuchtet das 4-Knoten-Diamantnetzwerk von Braess, die zwei Prinzipien von Wardrop, die konvexe Potentialfunktion nach Beckmann und Rosenthal, den strengen Beweis der 4/3-Schranke für den Preis der Anarchie (Price of Anarchy) von Roughgarden und Tardos, das mechanische Feder-Faden-Paradoxon von Cohen und Horowitz sowie reale Straßenrückbauten von Stuttgart über den New Yorker Times Square bis zum Cheonggyecheon-Highway in Seoul.
Eine umfassende physikalische Analyse der trockenen biologischen Adhäsion beim Tokeh-Gecko (Gekko gecko): von Aristoteles und Kellar Autumns experimenteller Widerlegung der sieben klassischen Hypothesen über Fritz Londons Quantendispersionskräfte, Hamaker-Lifshitz-Elektrodynamik und die 7-stufige Seta-Spatula-Hierarchie bis zur JKR-Kontaktaufspaltung und Kendalls Schälmechanik.
Wie lebende Organismen das Plancksche Strahlungsgesetz umgehen, um bei Raumtemperatur sichtbare Photonen mit höchster Quantenausbeute zu erzeugen. Eine fundierte Analyse von Schwarzkörperstrahlung vs. Lumineszenz, Biolumineszenz vs. GFP-Fluoreszenz und BRET, dem vierstufigen Luciferin-Luciferase-Zyklus über 1,2-Dioxetanon (CIEEL-Mechanismus), Farbsteuerung im aktiven Zentrum, Tiefsee-Ökologie sowie AkaBLI-Bildgebung und selbstleuchtenden Pflanzen.
Vom Mimosen-Experiment von de Mairan (1729) und der mit dem Nobelpreis 2017 ausgezeichneten transkriptionell-translatorischen Rückkopplungsschleife (CLOCK:BMAL1 und PER:CRY) über die Hopf-Bifurkation des Goodwin-Goldbeter-Oszillators und die KaiABC-Proteinuhr der Cyanobakterien im Reagenzglas bis zum biophysikalischen Rätsel der Temperaturkompensation (Q10 ≈ 1,0).
Eine rigorose thermodynamische und tribologische Untersuchung der Eisglätte: Widerlegung der Druckschmelz-Hypothese mittels der Clausius-Clapeyron-Gleichung, Analyse von Faradays Regelationsexperiment sowie Herleitung der nanoskaligen quasi-flüssigen Schicht (QLL), der Bowden-Hughes-Reibungserwärmung und der modernen viskoelastischen Nanotribologie.
Jede einzelne Ecke des Penrose-Dreiecks und M.C. Eschers Endlostreppe ist physikalisch vollkommen korrekt, doch beim Zusammenfügen entlang einer geschlossenen Schleife kollabiert der dreidimensionale Raum. Eine tiefgehende mathematische Analyse über Zentralprojektion, Sir Roger Penroses Formulierung mittels Garbentheorie und Čech-Kohomologie sowie Kokichi Sugiharas reale unmögliche Körper und Quantenkontextualität.
Von Dijkstras berühmtem Aphorismus und dem Satz von Rice über die Floyd-Hoare-Logik, Z3-SMT-Solver, temporale Logik und Model Checking (TLA+) bis zur Katastrophe der Ariane 5, abstrakter Interpretation (Galois-Verbindungen) und interaktiven Theorembeweisern (Coq, Lean 4, CompCert, seL4).
Warum verhärtet sich eine Suspension aus Maisstärke und Wasser (Oobleck) unter den Füßen eines Läufers wie Beton, wird aber sofort zu Treibsand, sobald man stehen bleibt? Eine tiefgehende Analyse von Newtons Viskositätsgesetz, Herschel-Bulkley-Modellen, Hydroclustern, reibungsbasierten Kraftketten, Stoßverfestigungsfronten, Blutrheologie, Weissenberg-Effekt, Deborah-Zahl und flüssiger Körperpanzerung.
Nach dem Satz von Cook und Levin (1971) war das Erfüllbarkeitsproblem der Aussagenlogik (SAT) das erste als NP-vollständig bewiesene Problem mit einer Worst-Case-Laufzeit von O(2^n). Dennoch lösen moderne industrielle SAT-Solver Formeln mit 10 Millionen Variablen und 50 Millionen Klauseln in Sekunden. Wir analysieren den Weg von DPLL zu Conflict-Driven Clause Learning (CDCL), First-UIP-Resolution, Two-Watched Literals (2WL), VSIDS sowie den Phasenübergang bei α ≈ 4,267 und den 200-Terabyte-Beweis des Pythagoreischen Tripel-Problems.
Warum verwandelt sich der elektrisch blaue Flügel eines Morpho-Falters beim Zerreiben in braunes Pulver und verliert in Aceton sofort seine Farbe? Eine tiefgehende wellenoptische Analyse von Dünnschichtinterferenz, Bragg-Spiegeln (DBR), dem Morpho-Paradoxon und dreidimensionalen photonischen Kristallen.
Wie überträgt Voyager 1 gestochen scharfe Planetenbilder über 24 Milliarden Kilometer mit einem 23-Watt-Sender (10⁻¹⁶ W auf der Erde), und wie dekodiert ein Smartphone einen zu 30 % durch Kaffeeflecken oder ein Firmenlogo verdeckten QR-Code in 10 Millisekunden ohne einen einzigen Bitfehler? Eine mathematische Tiefenanalyse von Shannons Kanalcodierungssatz, Hamming-(7,4)-Geometrie, Reed-Solomon-Codes über Galois-Feldern, LDPC- und Polar-Codes.
Eine mathematisch-physikalische Analyse des Dreikörperproblems: von Newtons integrabler Zweikörperlösung und der Phasenraum-Dimension über die fünf Euler-Lagrange-Punkte (L1–L5, James-Webb-Weltraumteleskop und Trojaner-Asteroiden), Poincarés homoklines Gewirr von 1889 und die Geburt der Chaostheorie bis hin zur Figur-Acht-Choreographie, dem KAM-Theorem und der Stabilität unseres Sonnensystems.
