Ackermann

Der Mathematiker und Logiker Wilhelm Ackermann arbeitete u. a. zum Entscheidungsproblem der Prädikatenlogik, zur strengen Implikation, zur Widerspruchsfreiheit der elementaren Zahlentheorie und zur axiomatischen Mengenlehre.

User-Bewertung: +1

Erfahrungsgemäß zeigt sich, dass Assoziationen, die aus ganzen Sätzen bestehen und ohne Zuhilfenahme eines anderen Textes verständlich sind, besser bewertet werden.

Konfiguration \| Web-Blaster \| Statistik \| »Ackermann« \| Hilfe \| Startseite
0.0043 (0.0027, 0.0004) sek. –– 871013307