2
submitted 15 hours ago by marv99@feddit.org to c/mathematik@feddit.org

Alternativer Link @archive.org - pending

tl;dr von ChatGPT:

Kurt Gödels Unvollständigkeitssatz besagt, dass es in der Mathematik Aussagen gibt, die sich nicht beweisen lassen. Diese Erkenntnis findet auch in der Physik Anwendung: Ein Forscherteam um Toby Cubitt entdeckte ein Modell, bei dem der Phasenübergang von einem Leiter zu einem Isolator durch die nicht berechenbare Chaitinsche Konstante Ω bestimmt wird. Da Ω nicht exakt berechenbar ist, bleibt auch der Phasenübergang unbestimmt. Das zeigt, dass Gödels Unvollständigkeit tief in physikalische Systeme hineinreicht und möglicherweise fundamentale Grenzen bei der Lösung physikalischer Probleme aufzeigt.

5
submitted 15 hours ago* (last edited 15 hours ago) by marv99@feddit.org to c/wissenschaft@feddit.org

Spektakuläre Entdeckung: Am Grund des Toten Meeres haben Forschende einen völlig neuen Typ unterseeischer Schlote entdeckt. Sie können pro Tag um mehrere Zentimeter wachsen und bestehen komplett aus weißlichen Salzkristallen. Das Überraschende jedoch: Das Salz stammt nicht aus dem Wasser des Toten Meeres, sondern aus tiefen, tausende Jahre alten Salzschichten im Untergrund. Das Grundwasser löst diese Salze auf und tritt dann am Grund des Sees aus. Das erklärt auch ein weiteres geologisches Phänomen am Toten Meer.

Video: White smokers on the lake floor - Dauer: 3 min

Paper: A new type of submarine chimneys built of halite | PDF

Weiterer Artikel zum Thema:

23
2

Die Unterlagen zum ersten britischen Satelliten sind unvollständig. Es ist unklar, warum sich Skynet-1A in seiner jetzigen Umlaufbahn befindet. Die BBC hat recherchiert.

2

Hyundai oder Citroën zeigen, dass ein Elektroantrieb einen Kleinwagen nicht superteuer machen muss.

3

Planlose KI? Auch wenn KI-Modelle uns scheinbar souverän den Weg zeigen können oder Aufgaben lösen – ihnen fehlt ein entscheidendes Element: Die künstlichen Intelligenzen bilden kein korrektes Abbild unserer Welt und ihrer impliziten Regeln, wie nun Tests enthüllen. Die KI-Systeme scheitern dadurch beispielsweise beim Routenplanen an Baustellen oder Umleitungen. Auch in Logiktests oder Strategiespielen zeigen sich diese Schwächen. Das birgt Risiken im Einsatz von GPT, Claude, Llama und Co.

Paper: Evaluating the World Model Implicit in a Generative Model | PDF

2
submitted 1 day ago by marv99@feddit.org to c/sport@feddit.org
5
submitted 2 days ago by marv99@feddit.org to c/tierwelt@feddit.org
2
[-] marv99@feddit.org 1 points 2 days ago

Ich "erschrecke" immer noch über jede Fortinet-Meldung. Bis mir einfällt, dass ich schon seit Jahren gar nichts mehr von denen administriere 😇

4
8
submitted 3 days ago* (last edited 3 days ago) by marv99@feddit.org to c/raumfahrt@feddit.org

Unmittelbar vor dem bisher einzigen Vorbeiflug einer Weltraumsonde ist der Uranus von ungewöhnlich heftigem Sonnenwind getroffen worden, was wichtige Messungen zur Magnetosphäre verfälscht hat. Das haben neue Analysen der fast 40 Jahre alten Daten ergeben und damit ein altes Rätsel gelöst, berichtet jetzt das Jet Propulsion Laboratory der NASA.

JPL/NASA: Mining Old Data From NASA’s Voyager 2 Solves Several Uranus Mysteries

87
submitted 4 days ago by marv99@feddit.org to c/netzkultur@feddit.org
[-] marv99@feddit.org 6 points 1 month ago

I am not aware of any advantage, but my family and friends are using either Threema, Signal or Telegram. So I use all three of them.

[-] marv99@feddit.org 12 points 1 month ago* (last edited 1 month ago)

My Android paid must haves are: Titanium Backup (for scheduled backups and quick recovery), Threema (Messenger) and airMusic (former AirAudio, stream from mobile to e.g. Sonos).

[-] marv99@feddit.org 8 points 2 months ago

Hallo @MrFloppy@feddit.org . Finde ich super! Und wenn ich nicht alleine Mod sein muss, bin ich auch gerne dabei, aber ich lasse natürlich auch anderen gerne den Vortritt 😁

[-] marv99@feddit.org 9 points 2 months ago
[-] marv99@feddit.org 7 points 2 months ago

Falls jemand das Ergebnis für sein Auto nachsehen möchte, hier geht es direkt zum im Artikel verlinkten PDF:
Keyless: Knapp 700 Fahrzeuge vom ADAC überprüft

[-] marv99@feddit.org 12 points 3 months ago

Das Luxemburger Video ist schön 🙂

[-] marv99@feddit.org 10 points 3 months ago

Herzlichen Dank dafür und für eure harte Arbeit!

[-] marv99@feddit.org 7 points 3 months ago* (last edited 3 months ago)

Hallo @Peter_Arbeitslos@feddit.org ,

also mir persönlich fehlen noch die nachfolgenden Communities.
Aber ich habe auch schon zu viele Communities zu moderieren.

[-] marv99@feddit.org 5 points 4 months ago

Herzlichen Dank, de_EDV hat mir sehr gefehlt 🤓

[-] marv99@feddit.org 13 points 4 months ago

Als Star Trek Fan würde mir wünschen, dass zum Löschen die Bestätigung mindestens dreier Brückenoffiziere benötigt würde...

Beim Löschen gehen alle Posts und Comments verloren. Ist auf feddit.de mehrmals passiert, z.B. bei der Community "wasser".

view more: next ›

marv99

joined 4 months ago
MODERATOR OF