Al-Khawarizmi (Khawarizm,Uzbekistan, 194 H/780 M-Baghdad, 266 H/850

M). Ilmuwan muslim, ahli di bidang ilmu matematika, astronomi, dan

geografi. Nama lengkapnya adalah Abu Ja’far Muhammad bin Musa al-
Khawarizmi dan di barat ia lebih dikenal dengan nama Algoarisme atau
Algorisme.
Dalam buku karangannya yang berjudul The Compendious Book on
Calculation by Completion and Balancing, al-Khawarizmi memperkenalkan
Aljabar pertama kali. al-Khawarizmi juga memperkenalkan kepada dunia
ilmu pengetahuan angka 0 (nol) yang dalam bahasa arab disebut sifr.
Sebelum al-Khawarizmi memperkenalkan angka nol, para ilmuwan
mempergunakan abakus, semacam daftar yang menunjukkan satuan, puluhan,
ratusan, ribuan, dan seterusnya, untuk menjaga agar setiap angka tidak saling
tertukar dari tempat yang telah ditentukan dalam hitungan. Akan tetapi,
hitungan seperti ini tidak mendapat sambutan dari kalangan ilmuwan Barat
ketika itu dan mereka lebih tertarik untuk mempergunakan raqam al-binji
(daftar angka arab, termasuk angka nol), hasil penemuan al-khawarizmi.
Dengan demikian angka nol baru dikenal dan dipergunakan orang Barat
sekitar 250 tahun setelah ditemukan al-Khawarizmi.

Georg Cantor (1845-1918) ialah seorang matematikawan asal

Jerman keturunan Yahudi. Ia adalah orang pertama yang
menemukan teori himpunan. Ketika teori himpunan diperkenalkan
pertama kalinya oleh Georg Cantor, tidak banyak matematikawan
yang melihat seberapa penting teori itu. Akan tetapi, sekarang teori
himpunan digunakan sebagai dasar untuk mempelajari matematika
modern.

“Himpunan adalah kumpulan dari objek-objek tertentu

yang tercakup dalam satu kesatuan dengan keterangannya
yang jelas.”

John Venn (lahir di Kingston upon Hull, Yorkshire, Inggris,

4 Agustus 1834 – meninggal di Cambridge, Cambridgeshire,
Inggris, 4 April 1923 pada umur 88 tahun) ialah seorang
matematikawan asal Inggris yang menemukan diagram
Venn. Dengan menggunakan diagram Venn ini, relasi antar
himpunan menjadi lebih mudah dipahami.

“Diagram Venn atau diagram set adalah diagram

yang menunjukkan semua kemungkinan hubungan
logika dan hipotesis di antara sekelompok
(set/himpunan/grup) benda/objek.”