Nama Anggota Kelompok :

1. Farida Arum Cahyani (16321870)

2. Yuli Ratnasari (16321882)
3. Devariyani Syavarizca (16321883)
4. Lutviana Dwi Indramaya (16321886)

1. Apa saja objek pokok pada kajian matematika?

JAWAB:

2. Mengapa aliran formalisme kemungkinan sulit menjelaskan matematika dalam dunia

terapan?
JAWAB:
3. Apa yang dimaksud ungkapan “matematika adalah logika”. Uraikan kemiripan dan
perbedaan yang ada antara logika dan matematika?
JAWAB:
Awalnya logika dan matematika lahir dalam konteks yang sangat berbeda, tetapi
perkembangan selanjutnya matematika semakin logis dan logika semakin matematis dan
tidak ada garis pemisah antara logika dengan matematika (Kattsoff, 1949).
Menurut Frege sifat-sifat sistem bilangan dapat direduksi ke dalam proporsi-proporsi
logika. Frege melalui karyanya yang berjudul Basic Laws of Arithmetic (1893) jilid 1
menegaskan dengan sangat bahwa matematika adalah deskripsi dari suatu dunia ideal.
Selanjutnya, hasil kerja Frege oleh Russell dan Whiteahead dikembangkan lebih lanjut dan
hasilnya dituangkan dalam buku Principia Mathematica yang berkesimpulan bahwa
matematika adalah perluasan dari logika dan seluruh matematika dapat direduksi ke logika
(Russell, 1902).
Hubungan matematika dan logika menurut Rudolf Carnap (1931) adalah konsep
matematika dapat diturunkan dari konsep-konsep logika dengan melalui batasan-batasan
yang jelas dan dalil-dalil matematika dapat diturunkan dari aksioma-aksioma logika
dengan perantara deduksi logis secara murni. Sedangkan menurut Betrand Russell logika
adalah masa muda matematika dan matematika adalah masa dewasa logika.

4. Berdasarkan penganut intuitisme, sebuah teorema matematika benar hanya dalam hal ada
bukti yang dapat diterima secara intuisi? Apakah ini berarti kebenaran matematis dapat
berubah karena waktu?
JAWAB:

5. Berikan contoh di mana hukum dobel negasi ¬(¬ p)≡ p adalah tidak berlaku.
JAWAB:
6 von Neumann mendefinisikan himpunan ordinal hingga sebagai berikut:
0=∅ ;1={ ∅ } ; 2={∅ , {∅ }},3={∅ , {∅ }, {∅ , {∅ }}}·· · , yang diperoleh dari fungsi suksesor
S(x )=x ¿. Sedangkan Zermelo mendefinisikan 0=∅ ;1={∅ }; 2={{∅ }}; 3={{{∅ }}}, ·· · ,
yang diperoleh dari fungsi suksesor S( x )={x }. Seandainya bilangan-bilangan asli adalah
sebuah himpunan, apakah 1 ∈3?

JAWAB: