Translation examples
Godel, der Staffelführer der Sonnenhunde, hob eine Hand.
Godel, the Sundogs' flight commander, raised a gloved hand.
Ich glaube, der große Kerl mit den Rangabzeichen eines Geschwaderführers ist Leksander Godel.
I believe that one there, the big fellow with the flight commander pins, is Leksander Godel.
Der Erste, der das bemerkte, war Karl Gödel, besser bekannt durch seine fundamentale Arbeit über mathematische Logik.
The first person to notice this was Kurt Godel, better known for his fundamental work in mathematical logic.
Es war irgendwie vergnüglich wie die alte Vexierfrage: »Dieser Satz ist eine Lüge.« Und hatte nicht Kurt Gödel mathematisch bewiesen, daß kein geschlossenes logisches System jemals alle seine implizierten Sätze ›beweisen‹ kann?
It was delicious in a way, like the ancient teaser, “This sentence is a lie.” And yet, hadn’t Kurt Godel shown, mathematically, that no closed system of logic can ever “prove” all its own implied theorems?
Es ist eine Eigenart der Menschen, durchaus reale Gefahren mit albernen Namen zu belegen, um ihnen ihren Schrecken zu nehmen, deshalb klangen die Bezeichnungen oft eher scherzhaft: der Gödel-Kobold, der Mandelbrot-Irrgarten, die Kombinatorische Katastrophe; die Transfinite Falle; das Conway-Rätsel; der Turing-Torpedo; das Lorenz-Labyrinth;
As it is a human characteristic to belittle a real danger by giving it an absurd name, the designations were often facetious: the Godel Gremlin, the Mandelbrot Maze, the Combinatorial Catastrophe, the Transfinite Trap, the Conway Conundrum, the Turing Torpedo, the Lorentz Labyrinth, the Boolean Bomb, the Shannon Snare, the Cantor Cataclysm...
How many English words do you know?
Test your English vocabulary size, and measure how many words you know.
Online Test