| >Info zum Stichwort Ackermann | >diskutieren | >Permalink |
Nike.Nemo schrieb am 19.9. 2003 um 22:27:08 Uhr überAckermann |
|
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 |
|
Was kann man tun, wenn »Ackermann« gerade nicht da ist? Bedenke bei Deiner Antwort: Die Frage dazu sieht keiner, schreibe also ganze Sätze. |
| Konfiguration | Web-Blaster | Statistik | »Ackermann« | Hilfe | Startseite |  |
| 0.0071 (0.0053, 0.0004) sek. –– 821498391 | |