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

Schreibe statt zehn Assoziationen, die nur aus einem Wort bestehen, lieber eine einzige, in der Du in ganzen Sätzen einfach alles erklärst, was Dir zu Ackermann einfällt.

Konfiguration \| Web-Blaster \| Statistik \| »Ackermann« \| Hilfe \| Startseite
0.0024 (0.0008, 0.0005) sek. –– 893348712