Lexikon

Formalsmus

Mathematik
eine von D. Hilbert eingeführte Betrachtungsweise, für die die Mathematik nur aus formalen Strukturen besteht, also gewissermaßen ein Spiel mit Symbolen ist.
Foto des Santa Ana Viadukts
Wissenschaft

Wie lassen sich beschädigte Stahlbrücken reparieren?

Wenn eine Brücke aus Stahlfachwerk beschädigt wird, stürzt sie nicht zwangsläufig komplett ein. Stattdessen kommt es auf die Lage der Schäden und die Reaktion der verbleibenden Bauteile an, wie Forschende ermittelt haben. Sofern nach dem Schaden bestimmte Stahlträger verdreht und verbogen werden, kann die vermehrte Traglast auf...

EVO-KI
Wissenschaft

KI-Sprachmodell analysiert und entwirft DNA-Sequenzen

Mit einem Wortschatz von lediglich vier Buchstaben kodiert die DNA in Millionen von Basenpaaren die genetische Information. Diese „Sprache des Lebens“ hat nun ein neues KI-Modell gelernt, das nach dem gleichen Prinzip funktioniert wie große Sprachmodelle. Das Modell namens Evo wurde mit 2,7 Millionen Genomen von Bakterien und...

Weitere Artikel aus dem Wahrig Herkunftswörterbuch

Weitere Artikel aus dem Vornamenlexikon