Anne C. Morel

Anne C. Morel (juga dikenal dengan nama Anne C. Davis, wafat 22 Juli 1984) adalah seorang matematikawan Amerika Serikat yang dikenal atas kontribusinya dalam bidang logika, teori tatanan, dan aljabar. Ia adalah perempuan pertama yang menjadi profesor penuh dalam bidang matematika di Universitas Washington.

Pendidikan dan Karier
Morel meraih gelar sarjana pada tahun 1941 dari Universitas California, Los Angeles. Ia memulai studi pascasarjana dalam bidang matematika pada tahun 1942 di Universitas California, Berkeley, tetapi menghentikan studinya untuk bergabung dengan WAVES (Resimen Wanita Angkatan Laut Amerika Serikat) selama Perang Dunia II. Ia kembali ke Berkeley pada tahun 1946, dan menyelesaikan gelar Ph.D. pada tahun 1953. Disertasinya, A Study in the Arithmetic of Order Types, dibimbing oleh Alfred Tarski, dan membahas aritmetika ordinal.

Setelah dua tahun bekerja sebagai asisten profesor di Berkeley, serta memegang jabatan di Universitas California, Davis dan Institute for Advanced Study (1959–1960), ia bergabung dengan fakultas matematika di Universitas Washington pada tahun 1960, dan menjadi profesor tetap pada tahun 1961. Akhirnya, ia menjadi perempuan pertama yang diangkat sebagai profesor penuh dalam bidang matematika di sana, dan selama bertahun-tahun ia menjadi satu-satunya profesor matematika perempuan di universitas tersebut.

Kontribusi Penelitian
Sebagai bagian dari penelitian disertasinya pada tahun 1952, Morel menemukan dua himpunan terhitung dengan jenis keteraturan berbeda yang memiliki hasil kuadrat yang sama. Setelah Wacław Sierpiński menyederhanakan konstruksinya, mereka memublikasikannya secara bersama-sama.

Pada tahun 1955, Morel menerbitkan kebalikan dari Teorema Knaster–Tarski, yang menyatakan bahwa setiap kisi lengkap yang tidak sempurna memiliki fungsi yang meningkat tetapi tidak memiliki titik tetap.

Makalahnya pada tahun 1965 bersama Thomas Frayne dan Dana Scott, "Reduced direct products", memberikan definisi utama tentang produk tereduksi dalam teori model. Publikasi ini terbit setelah beberapa aplikasi penting dari definisi tersebut ditemukan, dan disebut sebagai "makalah referensi klasik". Publikasinya yang satu-satunya dengan pembimbingnya, Alfred Tarski, adalah pengumuman singkat tentang penelitian terkait penggunaan produk tereduksi dalam kaitannya dengan teorema kekompakan dalam logika matematika. Salah satu hasil utamanya adalah memberikan pembuktian teorema kekompakan menggunakan ultraproduk. Bersama Chen Chung Chang, ia juga menggunakan produk tereduksi untuk menunjukkan bahwa kondisi yang cukup agar sifat tertentu tetap terjaga dalam produk langsung, yang dirumuskan oleh Alfred Horn, bukan merupakan kondisi yang diperlukan.

Topik penelitian lain yang ia teliti meliputi teori grup, semigrup, dan ko-finalitas dalam aljabar universal. Publikasi terakhirnya, yang terbit secara anumerta, berjudul "Cofinality of algebras" (1986).

Kehidupan Pribadi
Selama bertugas dalam masa perang, Morel bertemu dan menikah dengan Alan Davis, seorang matematikawan lainnya. Namun, pernikahan mereka tidak bertahan lama. Davis mengambil posisi di Universitas Nevada, Reno, sementara Morel kembali ke studinya di UC Berkeley. Mereka resmi bercerai pada tahun 1955.

Di Berkeley, Morel menjalin hubungan dengan pembimbingnya, Alfred Tarski, sekitar tahun 1950, bertepatan dengan saat salah satu mahasiswa bimbingan Tarski lainnya, Wanda Szmielew, kembali ke Polandia. Tarski yang sudah menikah dengan Maria Witkowska (sejak 1929) sempat menawarkan untuk menceraikan istrinya dan menikahi Morel setelah ia bercerai dengan Davis, tetapi Morel menolak tawaran itu. Sebaliknya, pada tahun 1957, ia menikah dengan Delos Morel, seorang pengacara. Keluarga Morel dan Tarski tetap berteman hingga setidaknya tahun 1960, meskipun akhirnya Morel memandang hubungan Tarski dengan mahasiswi lainnya sebagai "penyalahgunaan kekuasaan yang kini ia anggap tidak dapat diterima".

Anne dan Delos Morel memiliki dua putri, Jeanne (lahir 1958) dan Verena (1962–2002).
Morel meninggal pada 22 Juli 1984. Suaminya, Delos, kemudian menjadi Ketua Hakim Hukum Administrasi di Dewan Banding Asuransi Industri Negara Bagian Washington dan meninggal pada tahun 2008.

Referensi