>versenden | >diskutieren | >Permalink 
Nike.Nemo, am 19.9. 2003 um 22:27:08 Uhr
 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

Bewerte die Texte in der Datenbank des Assoziations-Blasters!

Hiermit wurden Dir 1 Bewertungspunkte zugeteilt. Wenn Dir ein Text unterkommt, der Dir nicht gefällt, drücke den Minus-Knopf, findest Du einen Text, der Dir gefällt, drücke den Plus-Knopf. Jede Bewertung verbraucht einen Deiner Bewertungspunkte.

Damit Deine Bewertungs-Punkte erhalten bleiben, muss ein Cookie auf Deinem Computer abgelegt werden. Bitte wähle, ob der Cookie für vier Monate oder nur für eine Woche gespeichert werden soll:
Mehr Informationen über das Bewertungssystem
 Konfiguration | Web-Blaster | Statistik | Hilfe | Startseite