Anagram & Information om | Tyska ordet TRANSFINITE

Nach Widerspruchsfreiheitsbeweisen für Teile der Arithmetik durch Leopold Löwenheim, Albert Thoralf Skolem, Jacques Herbrand und Mojżesz Presburger gelang Gerhard Gentzen ein Widerspruchsfreiheitsbeweis für die Peano-Arithmetik erster Stufe, wobei er die so genannte transfinite Induktion benutzte.
Der Beweis dieses Satzes kann nicht ohne transfinite Methoden geführt werden, das bedeutet, dass er nicht aus den Axiomen der Mengenlehre ohne Auswahlaxiom beweisbar ist.
Die Hessenbergschen natürlichen Operationen, benannt nach Gerhard Hessenberg, sind mathematische Rechenoperationen für Ordinalzahlen und benutzen wesentlich die Cantorschen Normalformen der Operanden und damit die transfinite Arithmetik der Ordinalzahlen.
Simon Thomas hat 1985 gezeigt, dass es zu jeder (endlichen oder unendlichen) Gruppe mit trivialem Zentrum eine Ordinalzahl gibt, so dass der zugehörige transfinite Automorphismenturm stationär wird.

Förberedelsen av sidan tog: 169,45 ms.

Exempel på hur man kan använda TRANSFINITE i en mening