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

Trage etwas zum Wissen der gesamten Menschheit bei, indem Du alles was Du über »Ackermann« weisst in das Eingabefeld schreibst. Ganze Sätze sind besonders gefragt.

Konfiguration \| Web-Blaster \| Statistik \| »Ackermann« \| Hilfe \| Startseite
0.0036 (0.0020, 0.0004) sek. –– 861441136