- Source: Alfred Tarski
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.
Riwayat Hidup Ringkas
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
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
Pranala luar
Kata Kunci Pencarian:
- Alfred Tarski
- Bjarni Jónsson
- Paradoks Banach–Tarski
- Hari Logika Sedunia
- Daftar topik teori himpunan
- Warsawa
- Konstruksi bilangan riil
- Pengertian pangkal
- Grup bebas
- Sifat distributif
- Alfred Tarski
- Banach–Tarski paradox
- Tarski monster group
- Tarski's undefinability theorem
- Lindenbaum–Tarski algebra
- Knaster–Tarski theorem
- Liar paradox
- Semantic theory of truth
- Tarski's circle-squaring problem
- Solomon Feferman
