Wilhelm Ackermann

Wilhelm Ackermann (lahir 29 Maret 1896-meninggal 24 Desember 1962) adalah seorang ahli matematika Jerman yang dikenal akan karyanya yang berjudul “Grundzüge der Theoretischen Logik”. Karyanya ini merupakan salah satu buku yang berpengaruh pada tahun-tahun awal perkembangan logika matematika. Ia juga dikenal akan Fungsi Ackermann, sebuah contoh penting di bidang komputasi teori.

 Riwayat Hidup dan Karier 
Wilhem Ackermann lahir pada 29 Maret 1896 di Schönebeck, Jerman. Ia menempuh pendidikan di Universitas Göttingen, Jerman, pada 1914 untuk mempelajari ilmu matematika, tetapi harus menjalani wajib militer pada 1915. Pada 1919, ia baru menyelesaikan wajib militernya, dan melanjutkan pendidikannya di Universitas Göttingen. Ia kemudian menerima gelar doktornya pada 1925, dengan menerbitkan tesis berjudul 'Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit'''. Tesisnya ini membahas mengenai konsistensi aritmetika tanpa induksi.

Usai kelulusannya, ia bepergian di Cambridge, inggris melalui rekomendasi David Hilbert. Ia juga memperoleh Beasiswa Rockefeller sebelum perjalanannya ini. Pada 1929 hingga 1948, ia mengajar sebagai guru di Arnoldinum Gymnasium. Ia juga menjadi anggota Akademie der Wissenschaften di Göttingen dan diberi gelar profesor kehormatan di Universität Münster.

Pada 1937, ia menerbitkan karya mengenai bukti konsistensi teori himpunan. Ia juga menerbitkan artmetika penuh pada 1940, logika tipe bebas pada 1952, aksiomatisasi baru teori himpunan pada 1956, dan buku Kasus-kasus yang Dapat Dipecahkan dari Masalah Keputusan pada 1954. Pada 1957, ia menerbitkan "Philosophische Bemerkungen zur mathematischen Logik und zur mathematischen Grundlagenforschung", yang memberikan gambaran tentang caranya memandang logika matematika. Pada 1959, ia menerbitkan buku berjudul "Grundzüge der Theoretischen Logik"'' bersama dengan David Hilbert. Bukunya ini berhasil diterjemahkan ke berbagai bahasa.

Menjelang akhir hidupnya, Ackermann tetap bekerja sebagai guru. Ia juga tetap menerbitkan berbagai kontribusi dalam ilmu matematika. Ackermann meninggal pada 24 Desember 1962 di Lüdenscheid, Jerman.

 Referensi