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

Versuche nicht, auf den oben stehenden Text zu antworten. Niemand kann wissen, worauf Du Dich beziehst. Schreibe lieber einen eigenständigen Text zum Thema »Ackermann«!

Konfiguration \| Web-Blaster \| Statistik \| »Ackermann« \| Hilfe \| Startseite
0.0040 (0.0022, 0.0004) sek. –– 869353193