Alfred Tarski (lahir di Warsawa 14 Januari 1902; meninggal 26 Oktober 1983) adalah ilmuwan Amerika asal Polandia menekuni bidang matematika, filsafat logika, dan bahasa. Ia adalah guru besar di Universitas Berkeley, Kalifornia. Salah satu karya yang paling terkenal dari Tarski adalah logika dalam bidang matematika. Ia menciptakan teori-model, pengertian-kebenaran, definisi-terhingga Taski, bilangan kardinal terukur dan bilangan kardinal tak terpakai, dan masalah kepastian aljabar elementer serta logika analitik. Ia seorang penganut paham neo-positivisme.
| Alfred Tarski | |
|---|---|
| Lahir | Alfred Teitelbaum 14 Januari 1901 Warsaw, Congress Poland |
| Meninggal | 26 Oktober 1983 (umur 82) Berkeley, California, Amerika Serikat |
| Kebangsaan | Polandia, Amerika |
| Almamater | Universitas Warsaw |
| Dikenal atas | Work on the foundations of modern logic Formal notion of truth Development of model theory logic of relations |
| Karier ilmiah | |
| Bidang | Mathematika, logika, Filsafat Bahasa |
| Institusi | Universitas California, Berkeley |
| Pembimbing doktoral | Stanisław Leśniewski |
| Mahasiswa doktoral | Solomon Feferman Haim Gaifman Bjarni Jónsson Howard Jerome Keisler Roger Maddux Richard Montague Andrzej Mostowski Julia Robinson Robert Vaught |
| Terinspirasi | Charles Sanders Peirce |
| Menginspirasi | Rudolph Carnap Kenneth J. Arrow W. V. O. Quine Karl Popper Patrick Suppes Erich Leo Lehmann |
Riwayat Hidup Ringkas Sunting
Alfred Tarski lahir dengan nama Alfred Teitelbaum, lahir dari keluarga pebisnis berdarah Yahudi. Ayahnya bernama Ignacy Teteilbaum dan ibunya bernama Rosa Prussak. Walaupun keluarganya bukan keluarga intelektual, mereka memandang pentingnya pendidikan bagi anak-anak, termasuk Alfred yang kemudian disekolahkan di Schola Mazowiecka, sebuah sekolah yang mengajarkan grammar dengan sangat baik. Tarski adalah murid yang brilian, ia belajar bahasa Latin, Yunani, Rusia, Prancis, dan Jerman sebaik ia belajar matematika. Dia sebenarnya sangat tertarik pada bidang biologi. Pada saat muda, ia juga berada di militer Polandia. Dia pun belajar biologi di Universitas Warsawa. Dia menerbitkan makalahnya pada usia 19 tahun. Ia sangat ingin berkarier dalam dunia akademis, tetapi nama Yahudinya menghalangi karier tersebut, hingga akhirnya ia mengganti nama belakangnya menjadi Tarski, dan ia menjadi penganut Katolik Roma. Pada tahun 1925-1939, ia menjadi dosen di Universitas Warsawa dalam bidang matematika dan logika.
Karya Alfred Tarski Sunting
Beberapa karya terkenal dari Alfred Tarski adalah:
- Fundamentelle Begriffe der Methodologie der deduktiven Wissenchaften (tahun 1930)
- Der Wahrheitsbegriff in den formalisierten Sprachen (tahun 1936)
- Undecidable theories (tahun 1949) bersama A. Mostowski dan R.M. Robinson.
- Cardinal algebras (tahun 1949).
Rujukan Sunting
- ^ (Indonesia)Hassan Shadily & Redaksi Ensiklopedi Indonesia (Red & Peny)., Ensiklopedi Indonesia Jilid 6 (SHI-VAJ). Jakarta: Ichtiar Baru-van Hoeve, hal. 3457
- ^ (Inggris)Siobhan Chapman, Christopher Routledge., Key Thinkers in Linguistics and the Philosophy of Language. Edinburg: Edinburgh University Press, 2005, hal. 261