Translation for "godel's" to german

Godel's

• gödels

Translation examples

gödels

Godel, the Sundogs' flight commander, raised a gloved hand.
Godel, der Staffelführer der Sonnenhunde, hob eine Hand.

I believe that one there, the big fellow with the flight commander pins, is Leksander Godel.
Ich glaube, der große Kerl mit den Rangabzeichen eines Geschwaderführers ist Leksander Godel.

The first person to notice this was Kurt Godel, better known for his fundamental work in mathematical logic.
Der Erste, der das bemerkte, war Karl Gödel, besser bekannt durch seine fundamentale Arbeit über mathematische Logik.

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 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?

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...
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;