DAFTAR ISI

BAB I (Pendahuluan)

1.1 Latar Belakang.................................................................

1.2 Rumusan Masalah............................................................

1.3 Tujuan...............................................................................

BAB II (Pembahasan)

2.1Pengertian Matematika menurut para ahli

1. Albert Einstein

2. Carl Friedrich Gauss

3. Andi Hakim nasution
4. Aristoteles
5. Aristoteles
6. Karl poppper
7. Jackson
8. Ernest
9. Dienes
10. Romberg
11. Sujono
12. Kitcher
13. Plato
14. Di indonesia
15. Newman
16. Matematika secara umum
17. KAMUS BESAR BAHASA INDONESIA (KBBI)
18. Sumardyono ................................................................

2.2Sejarah dan Filsafat Matematika....................................

2.3Sejarah Perkembangan Matematika..............................
2.4Gambaran Awal Purbakala dari Matematika...............
2.5Abad 1-4 masehi...............................................................
1. Diophantus
2. Hypatia
 3. Pappus
4. Archimedes
5. Eratosthenes
6. Diophantus
7. Appolonius
BAB III (Penutup)
3.1 Simpulan...........................................................................
3.2 Saran.................................................................................
Daftar pustaka........................................................................
Laporan biaya pembuatan makalah....................................
Dokumentasi kelompok 3
 BAB I

PENDAHULUAN

1.1 Latar Belakang

Abad awal menjadi masa-masa dimana menjadi awal lahirnya matematika umat.
Pada masa ini para ilmuan, cendekiawan, sarjana, ahli fiqih, bahkan kaum penguasa di
tanah-tanah Islam dengan sungguh-sungguh belajar dari alam semesta ini.

Ketika perkembangan semakin maju, hasil penemuan-penemuan inipun semakin

maju dan berkembang memasuki sendi-sendi kehidupan manusia di seluruh penjuru
dunia dalam berbagai bidang kehidupan termasuk di dalamnya bidang pendidikan.
Salah satunya bisa dirasakan oleh negara kita sendiri. Melalui pendidikan inilah
penemuan-penemuan yang ada dan telah tercipta bisa lebih berkembang kembali.
Banyak sekali pihak yang berperan di dalamnya, diantaranya yang terpenting dari
keseluruhan itu adalah guru dan siswa.

Akan tetapi, saat ini masih banyak dari kalangan masyarakat yang belum
mengetahui benar bahwa penemuan-penemuan yang ada dan telah dimanfaatkan dalam
kehidupannya, sebenarnya merupakan sumbangan dari saudaranya sendiri yaitu umat
muslim yang berada di belahan bumi bagian timur. Banyak kalangan yang mengatakan
bahwa ilmu-ilmu itu banyak ditemukan dan diciptakan oleh orang-orang Barat. Baik itu
ilmu pengetahuan dan teknologi, termasuk ilmu matematika yang cabang dari
keilmuannya banyak berkontribusi bagi kehipuan masyarakat di kesehariannya. Apabila
kita pelajari ini semua merupakan hasil karya orang muslim terdahulu, bukan hasil
karya orang-orang Barat.
 BAB II

DEFINISI MATEMATIKA

2.1 PENGERTIAN MATEMATIKA MENURUT PARA AHLI ATAUPUN PARA

ILMUAN.

1. Albert Einstein

Menyatakan bahwa "sejauh hukum-hukum matematika merujuk kepada

kenyataan, maka mereka tidaklah pasti; dan sejauh mereka pasti, mereka tidak
merujuk kepada kenyataan.Banyak filsuf yakin bahwa matematika tidaklah
terpalsukan berdasarkan percobaan, dan dengan demikian bukanlah ilmu
pengetahuan per definisi

2. Carl Friedrich Gauss

Mengatakan matematika sebagai "Ratunya Ilmu Pengetahuan".Di dalam

bahasa aslinya, Latin Regina Scientiarum, juga di dalam bahasa Jerman Königin
der Wissenschaften, kata yang bersesuaian dengan ilmu pengetahuan berarti
(lapangan) pengetahuan. Jelas, inipun arti asli di dalam bahasa Inggris, dan tiada
keraguan bahwa matematika di dalam konteks ini adalah sebuah ilmu
pengetahuan. Pengkhususan yang mempersempit makna menjadi ilmu
pengetahuan alam adalah di masa terkemudian. Bila seseorang memandang ilmu
pengetahuan hanya terbatas pada dunia fisika, maka matematika, atau sekurang-
kurangnya matematika murni, bukanlah ilmu pengetahuan.

3. Andi Hakim Nasution (1982:12)

Yang diuraikan dalam bukunya, bahwa istilah matematika berasal dari kata
Yunani, mathein atau manthenein yang berarti mempelajari. Kata ini memiliki
hubungan yang erat dengan kata Sanskerta, medha atau widya yang memiliki arti
kepandaian, ketahuan, atau intelegensia. Dalam bahasa Belanda, matematika
disebut dengan kata wiskunde yang berarti ilmu tentang belajar

4. Aristoteles
 Mempunyai pendapat yang lain. Ia memandang matematika sebagai salah
satu dari tiga dasar yang membagi ilmu pengetahuan menjadi ilmu pengetahuan
fisik, matematika, dan teologi. Matematika didasarkan atas kenyataan yang
dialami, yaitu pengetahuan yang diperoleh dari eksperimen, observasi, dan
abstraksi. Aristoteles dikenal sebagai seorang eksperimentalis.

5. Bourne

Memahami matematika sebagai konstruktivisme sosial dengan

penekanannya pada knowing how, yaitu pebelajar dipandang sebagai makhluk
yang aktif dalam mengkonstruksi ilmu pengetahuan dengan cara berinteraksi
dengan lingkungannya. Hal ini berbeda dengan pengertian knowing that yang
dianut oleh kaum absoluitis, di mana pembelajar dipandang sebagai mahluk yang
pasif dan seenaknya dapat diisi informasi dari tindakan hingga tujuan.

6. Karl Popper

Karl popper menunjukkan bahwa matematika tidak bisa direduksi menjadi

logika, dan menyimpulkan bahwa "sebagian besar teori matematika, seperti
halnya fisika dan biologi, adalah hipotetis-deduktif: oleh karena itu matematika
menjadi lebih dekat ke ilmu pengetahuan alam yang hipotesis-hipotesisnya adalah
konjektur (dugaan), lebih daripada sebagai hal yang baru”.

7. Jackson,

Matematika juga dipandang sebagai suatu bahasa, struktur logika, batang

tubuh dari bilangan dan ruang, rangkaian metode untuk menarik kesimpulan,
esensi ilmu terhadap dunia fisik, dan sebagai aktivitas intelektual.

8. Ernest

Ernest melihat matematika itu sebagai suatu konstruktivisme sosial yang

memenuhi tiga premis sebagai berikut: i) The basis of mathematical knowledge is
linguistic language, conventions and rules, and language is a social
constructions; ii) Interpersonal social processes are required to turn an
individual’s subjective mathematical knowledge, after publication, into accepted
objective mathematical knowledge; and iii) Objectivity itself will be understood
 to be social. (Ernest, 1991:42). Selain Ernest, terdapat sejumlah tokoh yang
memandang matematika sebagai suatu konstruktivisme sosial

9. Dienes

Beliau mengatakan bahwa matematika adalah ilmu seni kreatif. Oleh

karena itu, matematika harus dipelajari dan diajarkan sebagai ilmu seni.dalam
buku karya Ruseffendi, 1988:160.

10. Romberg

Romberg mengarahkan hasil penelaahannya tentang matematika kepada

dua sasaran utama.

1. Para sosiolog, psikolog, pelaksana administrasi sekolah dan penyusun

kurikulum memandang bahwa matematika merupakan ilmu statis dengan
disipilin yang ketat.
2. Selama kurun waktu dua dekade terakhir ini, matematika dipandang
sebagai suatu usaha atau kajian ulang terhadap matematika itu sendiri.

11.Sujono

Beliau mengemukakan beberapa pengertian matematika. Di antaranya,

matematika diartikan sebagai cabang ilmu pengetahuan yang eksak dan
terorganisasi secara sistematik. Selain itu, matematika merupakan ilmu
pengetahuan tentang penalaran yang logik dan masalah yang berhubungan
dengan bilangan. Bahkan dia mengartikan matematika sebagai ilmu bantu dalam
menginterpretasikan berbagai ide dan kesimpulan.

12.Kitcher

Dia mengklaim bahwa matematika terdiri atas komponen-komponen:

1. bahasa (language) yang dijalankan oleh para matematikawan,

2. pernyataan (statements) yang digunakan oleh para matematikawan,
 3. pertanyaan (questions) penting yang hingga saat ini belum terpecahkan,
4. alasan (reasonings) yang digunakan untuk menjelaskan pernyataan,
5. ide matematika itu sendiri. Bahkan secara lebih luas matematika dipandang
sebagai the science of pattern.

13.Plato

Plato berpendapat bahwa matematika adalah identik dengan filsafat untuk

ahli pikir, walaupun mereka mengatakan bahwa matematika harus dipelajari
untuk keperluan lain. Objek matematika ada di dunia nyata, tetapi terpisah dari
akal. Ia mengadakan perbedaan antara aritmetika dan logistik yang diperlukan
orang. Belajar aritmetika berpengaruh positif karena memaksa yang belajar untuk
belajar bilangan-bilangan abstrak. Dengan demikian matematika ditingkatkan
menjadi mental aktivitas mental abstrak pada objek-objek yang ada secara
lahiriah, tetapi yang ada hanya mempunyai representasi yang bermakna. Plato
dapat disebut sebagai seorang rasionalis.

14.Di Indonesia.

Matematika disebut dengan ilmu pasti dan ilmu hitung. Sebagian orang
Indonesia memberikan plesetan menyebut matematika dengan “matimatian”,
karena sulitnya mempelajari matematika. Pada umumnya orang awam hanya
akrab dengan satu cabang matematika elementer yang disebut aritmetika atau
ilmu hitung yang secara informal dapat didefinisikan sebagai ilmu tentang
berbagai bilangan yang bisa langsung diperoleh dari bilangan-bilangan bulat 0, 1,
-1, 2, – 2, …, dst, melalui beberapa operasi dasar: tambah, kurang, kali dan bagi.

15.Newman

Beliau melihat tiga ciri utama matematika, yaitu;

1. matematika disajikan dalam pola yang lebih ketat,

2. matematika berkembang dan digunakan lebih luas dari pada ilmu-
ilmu lain,
3. matematika lebih terkonsentrasi pada konsep.

16.Matematika secara umum

 Matematika adalah pemeriksaan aksioma yang menegaskan struktur
abstrak menggunakan logika simbolik dan notasi matematika; pandangan lain
tergambar dalam filosofi matematika.

17.Kamus Besar Bahasa Indonesia (KBBI),

Matematika didefinisikan sebagai ilmu tentang bilangan, hubungan antara

bilangan, dan prosedur operasional yang digunakan dalam penyelesaian masalah
mengenai bilangan.

18.Sumardyono

Secara umum definisi matematika dapat dideskripsikan sebagai berikut, di

antaranya:

a. Matematika sebagai struktur yang terorganisir.Agak berbeda dengan

ilmu pengetahuan yang lain, matematika merupakan suatu bangunan
struktur yang terorganisir. Sebagai sebuah struktur, ia terdiri atas
beberapa komponen, yang meliputi aksioma/postulat, pengertian
pangkal/primitif, dan dalil/teorema (termasuk di dalamnya lemma
(teorema pengantar/kecil) dan corolly/sifat).
b. Matematika sebagai alat (tool).Matematika juga sering dipandang
sebagai alat dalammencari solusi pelbagai masalah dalam kehidupan
sehari-hari.
c. Matematika sebagai pola pikir deduktif.Matematika merupakan
pengetahuan yang memiliki pola pikir deduktif, artinya suatu teori atau
pernyataan dalam matematika dapat diterima kebenarannya apabila telah
dibuktikan secara deduktif (umum).
d. Matematika sebagai cara bernalar (the way of thinking).Matematika
dapat pula dipandang sebagai cara bernalar, paling tidak karena beberapa
hal, seperti matematika matematika memuat cara pembuktian yang sahih
(valid), rumus-rumus atau aturan yang umum, atau sifat penalaran
matematika yang sistematis.
e. Matematika sebagai bahasa artifisial.Simbol merupakan ciri yang paling
menonjol dalam matematika. Bahasa matematika adalah bahasa simbol
 yang bersifat artifisial, yang baru memiliki arti bila dikenakan pada suatu
konteks.
f. Matematika sebagai seni yang kreatif.
Penalaran yang logis dan efisien serta perbendaharaan ide-ide dan pola-
pola yang kreatif dan menakjubkan, maka matematika sering pula
disebut sebagai seni, khususnya merupakan seni berpikir yang kreatif.

Ada yang berpendapat lain tentang matematika yakni pengetahuan mengenai

kuantiti dan ruang, salah satu cabang dari sekian banyak cabang ilmu yang
sistematis, teratur, dan eksak. Matematika adalah angka-angka dan perhitungan
yang merupakan bagian dari hidup manusia. Matematika menolong manusia
menafsirkan secara eksak berbagai ide dan kesimpulan-kesimpulan. Matematika
adalah pengetahuan atau ilmu mengenai logika dan problem-problem numerik.
Matematika membahas faka-fakta dan hubungan-hubungannya, serta membahas
problem ruang dan waktu. Matematika adalah queen of science (ratunya ilmu).
(Sutrisman dan G. Tambunan, 1987:2-4)2.2

SEJARAH DAN FILSAFAT MATEMATIKA

A. Sejarah Matematika
Menurut Berggren, JL, 2004, penemuan matematika pada jaman Mesopotamia
dan Mesir Kuno, didasarkan pada banyak dokumen asli yang masih ada ditulis oleh
juru tulis. Meskipun dokumen-dokumen yang berupa artefak tidak terlalu banyak,
tetapi mereka dianggap mampu mengungkapkan matematika pada jaman tersebut.
Artefak matematika yang ditemukan menunjukkan bahwa bangsa Mesopotamia
telah memiliki banyak pengetahuan matematika yang luar biasa, meskipun
matematika mereka masih primitif dan belum disusun secara deduktif seperti
sekarang. Matematika pada jaman Mesir Kuno dapat dipelajari dari artefak yang
ditemukan yang kemudian disebut sebagai Papyrus Rhind (diedit pertama kalinya
pada 1877), telah memberikan gambaran bagaimana matematika di Mesir kuno telah
berkembang pesat. Artefak-artefak berkaitan dengan matematika yang
ditemukan berkaitan dengan daerah-daerah kerajaan seperti kerajaan Sumeria
3000 SM, Akkadia dan Babylonia rezim (2000 SM), dan kerajaan Asyur (1000
SM), Persia (abad 6-4 SM), dan Yunani (abad ke 3 - 1SM).
Pada jaman Yunani kuno paling tidak tercatat matematikawan penting yaitu
Thales dan Pythagoras. Thales dan Pythagoras mempelopori pemikiran dalam
bidang Geometri, tetapi Pythagoraslah yang memulai melakukan atau membuat
bukti-bukti matematika. Sampai masa pemerintahan Alexander. Agung dari Yunani
dan sesudahnya, telah tercatat Karya monumental dari Euclides berupa karya buku
yang berjudul Element (unsur-unsur) yang merupakan buku Geometri pertama
yang disusun secara deduksi. Risalah penting dari periode awal matematika Islam
banyak yang hilang, sehingga ada pertanyaan yang belum terjawab masih banyak
tentang hubungan antara matematika Islam awal dan matematika dari Yunani dan
India. Selain itu, jumlah jumlah dokumen yang relatif sedikit menyebabkan kita
mengalami kesulitan untuk menelusuri sejauh mana peran matematikawan Islam
dalam pengembangan matematika di Eropa selanjutnya. Tetapi yang jelas,
sumbangan matematikawan Islam cukup besar bersamaan dengan
kebangkitan pemikiran modern yang muncul himpunanelah jaman kegelapan
sampai sekitar abad ke 15 himpunanelah masehi.
Penemuan alat cetak mencetak pada jaman modern, yaitu sekitar abad ke
16, telah memungkinkan para matematikawan satu dengan yang lainnya melakukan
komunikasi secara lebih intensif, sehingga mampu menerbitkan karya-karya
hebat. Hingga sampailah pada jamannya Hilbert yang berusaha untuk menciptakan
matematika sebagai suatu sistem yang tunggal, lengkap dan konsisten. Namun
usaha Hilbert kemudian dapat dipatahkan atau ditemukan kesalahannya oleh
muridnya sendiri yang bernama Godel yang menyatakan bahwa tidaklah mungkin
diciptakan matematika yang tunggal, lengkap dan konsisten. Persoalan Geometri
dan Aljabar kuno, dapat ditemukan di dokumen yang tersimpan di Berlin. Salah
satu persoalan tersebut misalnya memperkirakan panjang diagonal suatu persegi
panjang. Mereka menggunakan hubungan antara panjang sisi-sisi persegi panjang
yang kemudian mereka menemukan bentuk segitiga siku-siku. Hubungan
antara sisi-sisi siku-siku ini kemudian dikenal dengan nama Teorema
Pythagoras. Teorema Pythagoras ini sebetulnya telah digunakan lebih dari 1000
tahun sebelum ditemukan oleh Pythagoras.
Orang-orang Babilonia telah menemukan sistem bilangan sexagesimal yang
kemudian berguna untuk melakukan perhitungan berkaitan dengan ilmu-ilmu
perbintangan. Para astronom pada jaman Babilonia telah berusaha untuk
memprediksi suatu kejadian dengan mengaitkan dengan fenomena perbintangan,
seperti gerhana bulan dan titik kritis dalam siklus planet (konjungsi, oposisi, titik
stasioner, dan visibilitas pertama dan terakhir). Mereka menemukan teknik untuk
menghitung posisi ini (dinyatakan dalam derajat lintang dan bujur, diukur relatif
terhadap jalur gerakan jelas tahunan Matahari) dengan berturut-turut
menambahkan istilah yang tepat dalam perkembangan aritmatika. Matematika di
Mesir Kuno disamping dikarenakan pengaruh dari Masopotamia dan Babilonia,
tetapi juga dipengaruhi oleh konteks Mesir yang mempunyai aliran sungai yang
lebar dan panjang yang menghidupi masyarakat Mesir dengan peradabannya.
Persoalan hubungan kemasyarakatan muncul dikarenakan kegiatan survive bangsa
Mesir menghadapi keadaan alam yang dapat menimbulkan konflik diantara mereka,
misalnya bagaimana menentukan batas wilayah, ladang atau sawah dipinggir
sungai Nil himpunanelah banjir bandang terjadi yang mengakibatkan tanah
mereka tertimbun lumpur hingga beberapa meter. Dari salah satu kasus inilah
kemudian muncul gagasan atau ide tentang luas daerah, batas-batas dan bentuk-
bentuknya. Maka pada jaman Mesir Kuno, Geometri telah tumbuh pesat sebagai
cabang Matematika.
Dalam waktu relatif singkat (mungkin hanya satu abad atau kurang),
metode yang dikembangkan oleh orang Babilonia dan Masir Kuno telah sampai
ke tangan orang-orang Yunani. Misal, Hipparchus (2 abad SM) lebih menyukai
pendekatan geometris pendahulu Yunani, tetapi kemudian ia menggunakan
metode dari Mesopotamia dan mengadopsi gaya seksagesimal. Melalui orang-
orang Yunani itu diteruskan ke para ilmuwan Arab pada abad pertengahan dan dari
situ ke Eropa, di mana itu tetap menonjol dalam matematika astronomi selama
Renaissance dan periode modern awal. Sampai hari ini tetap ada dalam penggunaan
menit dan detik untuk mengukur waktu dan sudut. Aspek dari matematika
Babilonia yang telah sampai ke Yunani telah meningkatkan kualitas kerja
matematika dengan tidak hanya percaya denganbentuk-bentuk fisiknya saja,
melainan diperoleh kepercayaan melalui bukti- bukti matematika. Prinsip-prinsip
Teorema Pythagoras yang sudal dikenal sejak jaman Babilonia yaitu sekitar
seribu tahun sebelum jaman Yunani, mulai dibuktikan secara matematis oleh
Pythagoras pada jaman Yunani Kuno.
Pada jaman Yunani Kuno, selama periode dari sekitar 600 SM sampai 300 SM , yang
dikenal sebagai periode klasik matematika, matematika berubah dari fungsi praktis
menjadi struktur yang koheren pengetahuan deduktif. Perubahan fokus dari
pemecahan masalah praktis ke pengetahuan tentang kebenaran matematis umum
dan perkembangan obyek teori mengubah matematika ke dalam suatu disiplin ilmu.
Orang Yunani menunjukkan kepedulian terhadap struktur logis matematika. Para
pengikut Pythagoras berusaha untuk menemukan secara pasti Panjang sisi miring
suatu segitiga siku-siku. Tetapi mereka tidak dapat menemukan angka yang
tertentu dengan skala yang sama yang berlaku untuk semua sisi-sisi segitiga tersebut.
Hal inilah yang kemudian dikenal dengan persoalan Incommensurability, yaitu
adanya skala yang tidak sama agar diperoleh bilangan yang tertentu untuk sisi
miringnya. Jika dipaksakan digunakan skala yang sama (atau commensurabel) maka
pada akhirnya mereka menemukan bahwa panjang sisi miring bukanlah bilangan
bulat melainkan bilangan irrasional.
Prestasi bangsa Yunani Kuno yang monumental adalah adanya karya Euclides
tentang Geometri Aksiomatis. Sumber utama untuk merekonstruksi pra-
Euclidean buku karya Euclides bernama Elemen (unsur-unsur), di mana sebagian
besar isinya masih relevan dan digunakan hingga saat kini. Elementerdiri dari 13 jilid.
Buku I berkaitan dengan kongruensi segitiga, sifat-sifat garis paralel, dan hubungan
daerah dari segitiga dan jajaran genjang; Buku II menetapkan kehimpunanaraan yang
berhubungan dengan kotak, persegi panjang, dan segitiga; Buku III berisi sifat-
sifat Lingkaran; dan Buku IV berisi tentang poligon dalam lingkaran. Sebagian
besar isi dari Buku I-III adalah karya-karya Hippocrates, dan isi dari Buku IV
dapat dikaitkan dengan Pythagoras, sehingga dapat dipahami bahwa buku Elemen ini
memiliki sejarahnya hingga berabad-abad sebelumnya. Buku V menguraikan sebuah
teori umum proporsi, yaitu sebuah teori yang tidak memerlukan pembatasan
untuk besaran sepadan. Ini teori umum berasal dari Eudoxus. Berdasarkan teori,
Buku VI menggambarkan sifat bujursangkar dan generalisasi dari teori kongruensi
pada Buku I. Buku VII-IX berisi tentang apa yang oleh orang-orang Yunani
disebut "aritmatika," teori bilangan bulat. Ini mencakup sifat-sifat proporsi
numerik, pembagi terbesar, kelipatan umum, dan bilangan prima(Buku VII);
proposisi pada progresi numerik dan persegi (Buku VIII), dan hasil khusus, seperti
faktorisasi bilangan prima yang unik ke dalam, keberadaan yang tidak terbatas jumlah
bilangan prima, dan pembentukan "sempurna" angka, yaitu angka-angka yang sama
dengan jumlah pembagi (Buku IX). Dalam beberapa bentuk, Buku VII berasal dari
Theaetetus dan Buku VIII dari Archytas. Buku X menyajikan teori garis irasional
dan berasal dari karya Theaetetus dan Eudoxus. Buku Xiberisi tentang bangun
ruang; Buku XII membuktikan theorem pada rasio lingkaran, rasio bola, dan
volume piramida dan kerucut.
Warisan Matematika Yunani, terutama dalam geometri , sangat besar. Dari
periode awal orang-orang Yunani merumuskan tujuan matematika tidak dalam hal
prosedur praktis tetapi sebagai disiplin teoritis berkomitmen untuk
mengembangkan proposisi umum dan demonstrasi formal. Kisaran dan keragaman
temuan mereka, terutama yang dari abad SM-3, geometri telah menjadi materi
pelajaran selama berabad-abad himpunanelah itu, meskipun tradisi yang
ditransmisikan ke Abad Pertengahan dan Renaissance tidak lengkap dan cacat.
Peningkatan pesat dari matematika di abad ke-17 didasarkan sebagian pada
pembaharuan terhadap matematika kuno dan matematika pada jaman Yunani.
Mekanika dari Galileo dan perhitungan-perhitungan yang dibuat Kepler dan
Cavalieri, merupakan inspirasi langsung bagi Archimedes. Studi tentang geometri
yang dilakukan oleh Apollonius dan Pappus dirangsang oleh pendekatan baru
dalam geometri-misalnya, analitik yang dikembangkan oleh Descartes dan teori
proyektif dari Desargues Girard.
Kebangkitan matematika pada abad 17 sejalan dengan kebangkitan pemikiran
para filsuf sebagai anti tesis abad gelap dimana kebenaran didominasi oleh
Gereja. Maka Copernicus merupakan tokoh pendobrak yang menantang pandangan
Gereja bahwa bumi sebagai pusat jagat raya; dan sebagai gantinya dia
mengutarakan ide bahwa bukanlah Bumi melainkan Mataharilah yang merupakan
pusat tata surya, sedangkan Bumi mengelilinginya. Jaman kebangkitan ini
kemudian dikenal sebagai Jaman Modern, yang ditandai dengan munculnya tokoh-
tokoh pemikir filsafat sekaligus matematikawan seperti Immanuel Kant,
Rene Descartes, David Hume, Galileo, Kepler, Cavalieri, dst.
B. Filsafat Matematika
Wilkins, DR, 2004, menjelaskan bahwa terdapat beberapa definisi tentang
matematika yang berbeda-beda. Ahli logika Whitehead menyatakan bahwa
matematika dalam arti yang paling luas adalah pengembangan semua jenis
pengetahuan yang bersifat formal dan penalarannya bersifat deduktif. Boole
berpendapat bahwa itu matematika adalah ide-ide tentang jumlah dan kuantitas.
Kant mengemukakan bahwa ilmu matematika merupakan contoh yang paling
cemerlang tentang bagaimana akal murni berhasil bisa memperoleh
kesuksesannya dengan bantuan pengalaman. Von Neumann percaya bahwa
sebagian besar inspirasi matematika terbaik berasal dari pengalaman.Riemann
menyatakan bahwa jika dia hanya memiliki teorema, maka ia bisa menemukan
bukti cukup mudah. Kaplansky menyatakan bahwa saat yang paling menarik
adalah bukan di mana sesuatu terbukti tapi di mana konsep baru ditemukan.
Weyl menyatakan bahwa Tuhan ada karena matematika adalah konsisten dan
iblis ada karena kita tidak dapat membuktikan matematika konsistensi ini.
Hilbert menyimpulkan bahwa ilmu matematika adalah kesatuan yang konsisten, yaitu
sebuah struktur yang tergantung pada vitalitas hubungan antara bagian-bagiannya,
dan penemuan dalam matematika dibuat dengan penyederhanaan metode,
menghilangnya prosedur lama yang telah kehilangan kegunaannya dan penyatuan
kembali unsur-unsurnya untuk menemukan konsep baru.
Hempel, CG, 2001, menegaskan kembali apa yang telah dikemukakan oleh John
Stuart Mill bahwa matematika itu sendiri merupakan ilmu empiris yang berbeda dari
cabang lain seperti astronomi, fisika, kimia, dll, terutama dalam dua hal: materi
pelajaran adalah lebih umum daripada apapun lainnya dari penelitian ilmiah,
dan proposisi yang telah diuji dan dikonfirmasi ke tingkat yang lebih besar
dibandingkan beberapa bagian yang paling mapan astronomi atau fisika. Dengan
demikian, sejauh mana hukum-hukum matematika telah dibuktikan oleh
pengalaman masa lalu umat manusia begitu luar biasa bahwa kita telah
dibenarkan olh teorema matematika dalam bentuk kualitatif berbeda dari hipotesis
baik dari cabang lain.
Hempel, CG, 2001, lebih lanjut menyatakan bahwa sekali istilah primitif dan dalil-
dalil yang telah ditetapkan, seluruh teori sepenuhnya ditentukan. Dia
menyimpulkan bahwa himpunan tiap istilah dari teori matematika adalah
didefinisikan dalam hal primitif, dan himpunaniap proposisi teori secara logis
deducible dari postulat, adalah sepenuhnya tepat. Perlu juga untuk menentukan
prinsip-prinsip logika yang digunakan dalam pembuktian proposisi matematika.
Ia mengakui bahwa prinsip-prinsip dapat dinyatakan secara eksplisit ke dalam
kalimat primitif atau dalil-dalil logika. Dengan menggabungkan analisis dari aspek
sistem Peano, Hempel menerima tesis dari logicism bahwa Matematika adalah
cabang dari logika karena semua konsep matematika, yaitu aritmatika, aljabar
analisis, dan, dapat didefinisikan dalam empat konsep dari logika murni, dan
semua teorema matematika dapat disimpulkan dari definisi tersebut melalui prinsip-
prinsip logika. Bold, T., 2004, menyatakan bahwa komponen penting dari
matematika mencakup konsep angka integer, pecahan, penambahan,
perpecahan dan persamaan; di mana penambahan dan pembagian terhubung
dengan studi proposisi matematika dan konsep bilangan bulat dan pecahan
adalah elemen dari konsep-konsep matematika. Bold, T., 2004, lebih lanjut
menunjukkan bahwa elemen penting kedua untuk interpretasi konsep matematika
adalah kemampuan manusia dari abstrak, yaitu kemampuan pikiran untuk mengetahui
sifat abstrak dari dari obyek dan menggunakannya tanpa kehadiran obyek.
Karena kenyataan bahwa semua matematika adalah abstrak, ia percaya bahwa
salah satu motif dari intuitionists untuk berpikir matematika adalah produk satu-
satunya pikiran. Dia menambahkan bahwa elemen penting ketiga adalah konsep
infinity, sedangkan konsep tak terbatas didasarkan pada konsep kemungkinan.
Dengan demikian, konsep tak terbatas bukan kuantitas, tetapi konsep yang
bertumpu pada kemungkinan tak terbatas, yang merupakan karakter dari
kemungkinan. Berikutnya ia mengklaim bahwa konsep pecahan hanya
berdasarkan abstraksi dan kemungkinan. Menurut dia, isu yang terlibat dengan
bilangan rasional dan irasional sama sekali tidak relevan untuk interpretasi
konsep pecahan sebagaimana selalu dikhawatirkan oleh Heyting Arend. Sejauh
berkenaan dengan konsep- konsep matematika, bilangan rasional sebagai n / p dan
bilangan ir asional dengan p adalah bilangan bulat, hanya masalah cara
berekspresi. Perbedaan antara mereka adalah masalah dalam matematika untuk
dijelaskan dengan istilah matematika dan bahasa.
Di sisi lain, Podnieks, K., 1992, menyatakan bahwa konsep bilangan asli
dikembangkan dari operasi manusia dengan koleksi benda-benda kongkrit,
namun tidak mungkin untuk memverifikasi pernyataan seperti itu secara empiris
dan konsep bilangan asli sudah yang stabil tentang dan terlepas dari sumber
yaitu sebenarnya. Hubungan kuantitatif dari himpunanbenda-benda fisik dalam
praktek manusia, dan mulai bekerja sebagai model mandiri yang kokoh. Menurut
dia, sistem bilangan asli adalah idealisasi hubungan-hubungan kuantitatif; di mana
orang memperolehnya dari pengalaman mereka dengan himpunan dan ekstrapolasi
aturan ke himpunan yang jauh lebih besar (jutaan hal) dan dengan demikian
situasi idealnya menjadi nyata. Dia menegaskan bahwa proses idealisasi
berakhir kokoh, tetap, dan mandiri , sementara bangun-bangun fisiknya
berubah. Sementara konsep matematika diperoleh dengancara melepaskan sebagian
besar sifat-sifatnya kemudian untuk memikirkan sebagian kecil sifat-sifat tertentunya
saja. Hal demikian yang kemudian disebut sebagai abstraksi. Sementara
sifat-sifat yang tersisa yang memang harus dipelajari, diasumsikan
bahwa mereka mempunyai sifat yang sempurna; misal bahwa lurus adalah
sempurna lurus, lancip adalah sempurna lancip, demikian himpunanerusnya. Yang
demikian itulah yang kemudian dikenal sebagai idealisasi.
Peterson, I., 1998, menjelaskan bahwa pada awal abad ke-20, Jerman yang hebat
matematika David Hilbert (1862-1943) menganjurkan program yang ambisius untuk
merumuskan suatu sistem aksioma dan aturan inferensi yang akan mencakup
semua matematika, dari dasar aritmatika hingga mahir kalkulus; impiannya adalah
menyusun metode penalaran matematika dan menempatkan mereka dalam kerangka
tunggal. Hilbert menegaskan bahwa suatu sistem formal dari aksioma dan aturan
harus konsisten, yang berarti bahwa seseorang tidak dapat membuktikan sebuah
pernyataan dan kebalikannya pada saat yang sama, ia juga menginginkan
skema yang lengkap, artinya satu selalu dapat membuktikan pernyataan yang
diberikan bisa benar atau salah. Hilbert berpendapat bahwa harus ada prosedur
yang jelas untuk memutuskan apakah suatu proposisi tertentu berikut dari himpunan
aksioma, dengan itu, diberikan sebuah sistem yang jelas dari aksioma dan aturan
inferensi yang tepat, akan lebih mungkin, meskipun tidak benar-benar praktis,
untuk menjalankan melalui semua proposisi mungkin, dimulai dengan urutan
terpendek simbol, dan untuk memeriksa mana yang valid. Pada prinsipnya, suatu
prosedur keputusan secara otomatis akan menghasilkan semua teorema mungkin
dalam matematika.
Di sisi lain, ia menjelaskan bahwa matematika formal didasarkan pada logika
formal; mengurangi hubungan matematis untuk pertanyaan keanggotaan
himpunan; objek primitif hanya terdefinisi dalam matematika formal adalah
himpunan kosong yang berisi apa-apa. Ada klaim bahwa hampir setiap abstraksi
matematika yang pernah diselidiki dapat diturunkan sebagai seperangkat aksioma
teori himpunan dan hampir setiap bukti matematis yang pernah dibangun dapat
dibuat dengan asumsi tidak ada di luar yang aksioma. Itu juga menyatakan bahwa
jika tak terhingga merupakan potensi dan tidak pernah menjadi kenyataan
selesai maka himpunan terbatas tidak ada, karena itu, ahli
matematika mencoba untuk mendefinisikan struktur tak terbatas
yang paling umum dibayangkan karena itu tampaknya memberikan harapan
paling baik, jika himpunan tidak terbatas ada maka akan menjadi landasan
matematika yang kokoh. Lebih lanjut, ia menyatakan bahwa matematika harus
langsung terhubung ke sifat program non-deterministic di alam semesta yang
potensial tidak terbatas, hal ini akan membatasi ekstensi untuk sebuah himpunan
bilangan ordinal dan himpunan yang dapat dibangun dari mereka. Obyek
didefinisikan dalam suatu sistem matematis yang formal tidak peduli apakah
aksioma tak terhingga itu termasuk yang dimasukkan, dan bahwa sistem formal
dapat diartikan sebagai suatu program komputer untuk menghasilkan teorema di
mana program tersebut dapat menghasilkan semua nama-nama benda atau
himpunan yang didefinisikan dalam sistem tersebut. Selanjutnya, semua bilangan
kardinal yang lebih besar yang pernah didefinisikan dalam sistem matematika yang
terbatas, tidak akan dihitung dari dalam sistem tersebut.
Peterson, I., 1998, mencatat bahwa apa Hilbert berpendapat bahwa kita dapat
memecahkan masalah jika kita cukup pintar dan bekerja cukup lama, dan
matematikawan Gregory J. Chaitin dan Thomas J. Watson tidak percaya dengan
prinsip bahwa ada batas untuk apa matematika bisa dicapai. Namun, pada tahun
1930, Kurt Godel (1906-1978) membuktikan bahwa tidak ada prosedur keputusan
tersebut adalah mungkin untuk setiap sistem logika yang terdiri dari aksioma dan
proposisi cukup canggih untuk mencakup jenis masalah matematika yang hebat yang
bekerja pada setiap hari; ia menunjukkan bahwa jika kita asumsikan bahwa sistem
matematika konsisten, maka kita bisa menunjukkan bahwa itu tidak lengkap. Peterson
mengatakan bahwa dalam pikiran Godel, tidak peduli apa sistem aksioma atau
aturannya, akan selalu ada beberapa pernyataan yang dapat tidak terbukti atau tidak
valid dalam sistem. Memang, matematika penuh dengan pernyataan dugaan dan
menunggu bukti dengan jaminan bahwa jawaban tertentu telah pernah ada.
Chaitin membuktikan bahwa suatu prosedur tidak dapat menghasilkan hasil
yang lebih kompleks dari pada prosedur itu sendiri, dengan kata lain, dia membuat
teori bahwa wanita berbobot 1-pon tidak bisa melahirkan bayi berbobot 10-pon.
Wanita berbobot 10 pon tidak bisa melahirkan bayi 100 pon, dst. Sebaliknya,
Chaitin juga menunjukkan bahwa tidak mungkin membuat prosedur untuk
membuktikan bahwa sejumlah kompleksitas bersifat acak, maka, sejauh
bahwa pikiranmanusia adalah sejenis komputer, mungkin ada
jenis kompleksitas begitu mendalam dan halus yang akal kita tidak pernah
bisa memahami nya; urutan apapun yang mungkin terletak pada kedalaman akan
dapat diakses, dan selalu akan muncul untuk kita sebagai keacakan. Pada saat
yang sama, membuktikan bahwa berurutan
adalah acak juga dapat mengatasi kesulitan, tidak ada cara untuk memastikan
bahwa kita tidak diabaikan. Peterson, I., 1998, menyatakan bahwa hasil Chaitin ini
menunjukkan bahwa kita jauh lebih mungkin untuk menemukan keacakan
dari ketertiban dalam domain matematika tertentu; kompleksitas versin
teorema Godel menyatakan bahwa meskipun hampir semua bilangan adalah
acak, tidak ada sistem formal aksiomatis yang akan memungkinkan kita
untuk membuktikan fakta ini.
Selanjutnya, Peterson, I., 1998, menyimpulkan bahwa pekerjaan Chaitin ini
menunjukkan bahwa ada jumlah tak terbatas pernyataan matematika di mana
seseorang dapat membuat, katakanlah, aritmatika yang tidak dapat direduksi
menjadi aksioma aritmatika, jadi tidak ada cara untuk membuktikan apakah
pernyataan tersebut benar atau salah dengan menggunakan aritmatika; dalam
pandangan Chaitin ini, itu praktis sama dengan mengatakan bahwa struktur aritmatika
adalah acak. Chaitin menyimpulkan bahwa struktur matematika adalah fakta
matematis yang analog dengan hasil dari sebuah lemparan koin dan kita tidak
pernah bisa benar-benar membuktikan secara logis apakah itu adalah benar, ia
menambahkan bahwa dengan cara yang sama bahwa tidak mungkin untuk
memprediksi saat yang tepat di mana seorang individu yang terkena radiasi atom
mengalami peluruhan radioaktif. Matematika tak berdaya untuk menjawab
pertanyaan tertentu, sedangkan fisikawan masih dapat membuat prediksi yang
dapat diandalkan tentang rata-rata lebih dari besar dari atom, ahli matematika
mungkin dalam beberapa kasus terbatas pada pendekatan yang sama; yang
membuat matematika jauh lebih dari ilmu pengetahuan eksperimental.
Hempel, CG, 2001, berpendapat bahwa setiap sistem postulat matematika yang
konsisten, bagaimanapun, mempunyai interpretasi yang berbeda dari istilah
primitifnya, sedangkan satu himpunan definisi dalam arti kata yang kaku
menentukan arti dari definienda dengan cara yang unik . Sistem yang lebih luas
dari itu Peano postulat yang diperoleh masih belum lengkap dalam arti bahwa
tidak setiap bilangan memiliki akar kuadrat, dan lebih umum, tidak setiap persamaan
aljabar memiliki solusi dalam sistem; ini menunjukkan bahwa ekspansi lebih
lanjut dari sistem bilangan dengan pengenalan bilangan real dan akhirnya
kompleks. Hempel menyimpulkan bahwa pada dasar dari dalil operasi aritmatika
dan aljabar berbagai dapat didefinisikan untuk jumlah sistem baru, konsep fungsi,
limit, turunan dan integral dapat diperkenalkan, dan teorema berkaitan erat dengan
konsep-konsep ini dapat dibuktikan, sehingga akhirnya sistem besar matematika
seperti di sini dibatasi bertumpu pada dasar yang sempit dari sistem Peano itu;
setiap konsep matematika dapat didefinisikan dengan menggunakan tiga
unsur primitif dari Peano, dan setiap proposisi matematika dapat
disimpulkan dari lima postulat yang diperkaya oleh definisi dari non-primitif
tersebut, langkah penyederhanaan, dalam banyak kasus, dengan cara tidak lebih
dari prinsip-prinsip logika formal; bukti beberapa theorems tentang bilangan real,
bagaimanapun, memerlukan satu asumsi yang biasanya tidak termasuk di antara
yang terakhir dan ini adalah aksioma yang disebut pilihan di mana ia
menyatakan bahwa terdapat himpunan-himpunan saling eksklusif, tidak ada yang
kosong, ada setidaknya satu himpunan yang memiliki tepat satu elemen yang
sama dengan masing-masing himpunan yang diberikan.
Hempel, CG, 2001, menyatakan bahwa berdasarkan prinsip dan aturan logika
formal, isi semua matematika dapat diturunkan dari sistem sederhana Peano ini yaitu
prestasi yang luabiasa dan sistematis, isi matematika dan penjelasan dasar-dasar
yang validitas. Menurut dia, sistem Peano memungkinkan interpretasi yang berbeda,
sedangkan dalam sehari-hari maupun dalam bahasa ilmiah, dapat dikembangkan
untuk arti khusus untuk konsep aritmatika. Hempel bersikeras bahwa jika
karena itu matematika adalah menjadi teori yang benar dari konsep-konsep
matematika dalam arti yang dimaksudkan, tidak cukup untuk validasi untuk
menunjukkan bahwa seluruh sistem adalah diturunkan dari Peano mendalilkan
kecocokan definisi, melainkan, kita harus bertanya lebih jauh apakah postulat Peano
sebenarnya benar ketika unsur primitif dipahami dalam arti sekedar sebagai
kebiasaan. Jika definisi di sini ditandai secara hati-hati dan ditulis yaitu bahwa hal
ini merupakan salah satu kasus di mana teknik-teknik simbolik, atau matematika,
dan logika membuktikan bahwa definiens dari setiap satu dari mereka secara
eksklusif mengandung istilah dari bidang logika murni.
Hempel, CG, 2001, menyatakan bahwa sistem mandiri yang stabil tentang
prinsip dasar adalah ciri khas dari teori matematika; model matematika dari
beberapa proses alami atau perangkat teknis pada dasarnya adalah sebuah model
yang yang stabil tentang yang dapat diselidiki secara independen dari "aslinya
"dan, dengan demikian, kemiripan model dan" asli
"hanya menjadi terbatas, hanya model tersebut dapat diselidiki oleh matematikawan.
Hempel berpikir bahwa setiap upaya untuk menyempurnakan model yaitu untuk
mengubah definisi untuk mendapatkan kesamaan lebih dengan "asli", mengarah ke
model baru yang harus tetap stabil, untuk memungkinkan penyelidikan matematika,
dengan itu, teori-teori matematika adalah bagian dari ilmu kita yang bisa secara
terus melakukannya jika kita bangun. Hempel menyatakan bahwa model
matematika tidak terikat dengan ke "aslian" sumbernya; akan tetapi terlihat bahwa
beberapa model dibangun dengan buruk, dalam arti korespondensi untuk "aslian"
sumber mereka, namun yang matematikawan investigasi berlangsung dengan sukses.
Menurut dia, sejak model matematis didefinisikan dengan tepat, "tidak perlu lagi "
"keaslian" nya sumber lagi. Satu dapat mengubah model atau memperoleh beberapa
model baru tidak hanya untuk kepentingan korespondensi dengan sumber "asli",
tetapi juga untuk percobaan belaka. Dengan cara ini orang dapat memperoleh
berbagai model dengan mudah yang tidak memiliki "sumber asli" nya, yaitu sebuah
cabang matematika yang telah dikembangkan yang tidak memiliki dan tidak dapat
memiliki aplikasi untuk masalah yang nyata.
Hempel, CG, 2001, mencatat bahwa, dalam matematika, teorema dari teori
apapun terdiri dari dua bagian - premis dan kesimpulan, karena itu, kesimpulan dari
teorema berasal tidak hanya dari himpunan aksioma, tetapi juga dari premis yang
khusus untuk teorema tertentu; dan premis ini bukan perpanjangan dari
sistemnya. Dia menyadari bahwa teori-teori matematika yang terbuka untuk
gagasan-gagasan baru, dengan demikian, di Kalkulus setelah konsep kontinuitas
terhubung maka berikut diperkenalkan: titik diskontinyu, kontinuitas, kondisi
Lipschitz, dll dan semua ini tidak bertentangan dengan tesis tentang karakter
aksioma, prinsip dan aturan inferensi, namun tidak memungkinkan "matematika
bekerja" dengan menganggap teori-teori matematika sebagai yang sesuatu tetap.
Kemerling, G., 2002, menjelaskan bahwa pada pergantian abad kedua puluh, filsuf
mulai mencurahkan perhatian terhadap dasar-dasar sistem logis dan matematis,
karena dua ribuan tahun logika Aristotelian tampak penjelasan yang lengkap dan
final dari akal manusia, namun geometri Euclid juga tampaknya aman, sampai
Lobachevsky dan Riemann menunjukkan bahwa konsepsi alternative tidak hanya
mungkin tetapi berguna dalam banyak aplikasi. Dia menyatakan bahwa upaya-
upaya serupa untuk berpikir ulang struktur logika mulai akhir abad kesembilan belas
di mana John Stuart Mill mencoba untuk mengembangkan sebuah rekening
komprehensif pemikiran manusia yang difokuskan pada induktif daripada
penalaran deduktif; bahkan penalaran matematika, John Stuart Mill seharusnya,
dapat didasarkan pada pengamatan empiris. Kemerling summep up yang
banyak filsuf dan matematikawan Namun, mengambil pendekatan yang
berbeda.
Ia menjelaskan bahwa Logika adalah studi tentang kebenaran yang diperlukan
dan metode sistematis untuk mengekspresikan dengan jelas dan rigourously
menunjukkan kebenaran tersebut; logicism adalah teori filsafat tentang status
kebenaran matematika, yakni, bahwa mereka secara logis diperlukan atau
analitik. Disarankan bahwa untuk memahami logika pertama-tama perlu untuk
memahami perbedaan penting antara proposisi kontingen, yang mungkin atau
mungkin tidak benar, dan proposisi perlu, yang tidak bisa salah; logika adalah bukti
untuk membangun, yang memberikan kita konfirmasi yang dapat diandalkan
kebenaran proposisi terbukti. Logika dapat didefinisikan sebagai bersangkutan
dengan metode untuk penalaran. Sistem logical kemudian formalisations satu
metode yang tepat dan kebenaran logis adalah mereka dibuktikan
denganmetode yang benar. Kebenaran-kebenaran matematika karena itu
kontingen, namun untuk logicism, kebenaran matematika adalah sama dalam semua
kemungkinan dunia, karena mereka tidak tergantung pada keberadaan
himpunan, hanya pada konsistensi anggapan bahwa himpunan yang dibutuhkan
ada; sejak benar dalam himpunaniap dunia yang mungkin, matematika harus logis
diperlukan.
Shapiro, S., 2000, bersikeras bahwa, logika adalah cabang kedua matematika
dan cabang filsafat; bahasa formal, sistem deduktif, dan model-teori semantik
adalah objek matematika dan, dengan demikian, ahli logika yang tertarik pada
mereka matematika sifat dan hubungan. Menurut Shapiro, logika adalah studi
tentang penalaran yang benar, dan penalaran merupakan kegiatan, epistemis
mental, dan karena itu menimbulkan pertanyaan mengenai relevansi filosofis
aspek matematis dari logika; bagaimana deducibility dan validitas, sebagai properti
bahasa formal, berhubungan dengan penalaran yang benar, apa hasil matematika
dilaporkan di bawah ini ada hubungannya dengan masalah filosofis asli.
Beberapa filsuf menyatakan bahwa kalimat deklaratif bahasa alam telah mendasari
bentuk logis dan bahwa bentuk-bentuk yang ditampilkan oleh formula bahasa
formal. WVO Quine menyatakan bahwa bahasa alam harus teratur, dibersihkan
untuk pekerjaan ilmiah dan metafisik yang serius, salah sesuatu yg diinginkan
perusahaan adalah bahwa struktur logis dalam bahasa diperintah harus
transparan. Oleh karena itu, bahasa formal adalah model matematika dari bahasa
alami, sebuah bahasa formal menampilkan fitur tertentu dari bahasa alam, atau
idealisasi dari padanya, sementara mengabaikan atau menyederhanakan fitur lainnya.
Shapiro menyatakan bahwa tujuan dari model matematika adalah untuk menjelaskan
apa yang mereka model, tanpa mengklaim bahwa model tersebut akurat dalam
semua hal atau bahwa model harus mengganti apa itu model.
Kemerling, G. 2002, menjelaskan bahwa titik puncak dari pendekatan baru
untuk logika terletak pada kapasitasnya untuk menerangi sifat penalaran
matematika, sedangkan kaum idealis berusaha untuk mengungkapkan hubungan
internal dari realitas absolut dan pragmatis
ditawarkan untuk memperhitungkan manusia Permintaan sebagai pola longgar
investigasi, ahli logika baru berharap untuk menunjukkan bahwa hubungan paling
signifikan antara dapat dipahami sebagai murni formal dan eksternal. Kemerling
mencatat bahwa matematikawan seperti Richard Dedekind menyadari bahwa atas
dasar ini dimungkinkan untuk membangun matematika tegas dengan alasan logis,
sedangkan Giuseppe Peano telah menunjukkan pada
1889 bahwa semua aritmatika dapat dikurangi ke sistem aksiomatis dengan hati-hati
dibatasi himpunan awal mendalilkan . Pada sisi lain, Frege segera berusaha untuk
mengekspresikan mendalilkan dalam notasi simbolik temuannya sendiri, dan
dengan 1913, Russell dan Whitehead telah menyelesaikanmonumental Principia
Mathematica (1913), dengan tiga volume besar untuk bergerak dari sebuah
aksioma logis saja melalui definisi nomor bukti bahwa "1 + 1 = 2." Kemerling
menyatakan bahwa meskipun karya Gödel dibuat menghapus keterbatasan dari
pendekatan ini, signifikansi bagi pemahaman kita tentang logika dan
matematika tetap undimmed.
Pietroski, P., 2002, bersikeras yang menarik bagi bentuk logis muncul dalam
konteks upaya untuk mengatakan lebih banyak tentang perbedaan antara kesimpulan
intuitif sempurna, yang mengundang metafora keamanan dan kedekatan, dan
kesimpulan yang melibatkan risiko tergelincir dari kebenaran kepalsuan . Dia
menyatakan bahwa pemikiran kuno adalah bahwa kesimpulan tanpa cela
menunjukkan pola yang dapat dicirikan oleh skema abstrak dari isi tertentu dari
tempat tertentu dan kesimpulan, dengan demikian mengungkapkan bentuk umum
bersama banyak kesimpulan sempurna lainnya; bentuk seperti, bersama dengan
kesimpulan bahwa contoh mereka, dikatakan valid. Pietroski diuraikan
kesimpulan Stoik mencerminkan bentuk abstrak: jika pertama kemudian yang kedua,
dan yang pertama, maka yang kedua. Oleh karena itu, Stoik dirumuskan yaitu
skemata lain yang valid. Jika pertama kemudian yang kedua, tetapi tidak yang kedua,
jadi bukan yang pertama; Entah pertama atau kedua, tetapi tidak yang kedua, jadi
yang pertama, dan tidak baik yang pertama dan kedua, tapi yang pertama, sehingga
tidak yang kedua .
Pietroski, P., 2002, menyatakan bahwa formulasi skema logis memerlukan
variabel dalam proposisi; proposisi adalah istilah seni untuk apapun variabel di atas
direpresentasikan dalam berbagai berani lebih dan dengan demikian merupakan
hal-hal yang bisa benar atau salah, sebab mereka adalah tempat potensial / yaitu
kesimpulan. hal yang bisa mencari dalam kesimpulan yang valid. Dia
mengatakan bahwa kesimpulan dapat menjadi proses mental dimana pemikir
menarik kesimpulan dari beberapa tempat, atau proposisi pemikir akan menerima
mungkin sementara atau hipotetis jika dia menerima lokasi dan kesimpulan,
dengan satu proposisi ditunjuk sebagai konsekuensi dugaan orang lain. Dia mencatat
bahwa tidak jelas bahwa semua kesimpulan sempurna adalah contoh dari
beberapa bentuk yang valid, dan dengan demikian kesimpulan
yang impeccabilityadalah karena bentuk proposisi-proposisi yang relevan,
tetapi pikiran ini menjabat sebagai ideal untuk studi inferensi, himpunanidaknya
sejak pengobatan Aristoteles tentang contoh seperti. Menurut dia, Aristoteles
membahas berbagai kesimpulan tertentu, yang disebut silogisme, yaitu melibatkan
quantificational proposisi. ditunjukkan dengan kata-kata seperti "setiap 'dan'
beberapa”.
Pietroski, P., 2002, menggunakan terminologi yang sedikit berbeda bahwa
teoretikus lain memperlakukan semua elemen umum sebagai predikat, dan
proposisi dengan struktur tertentu dan dikatakan memiliki bentuk kategoris
sebagai berikut: subyek-kata kerja penghubung-predikat, dimana sebuah kata
kerja penghubung, ditunjukkan dengan kata-kata seperti 'adalah' atau 'adalah', link
subjek yang terdiri dari pembilang dan predikat untuk predikat, tetapi dengan
merumuskan berbagai schemata inferensi Aristotelian, dengan analisis proposisi
kompleks, infererences sempurna banyak yang terungkap sebagai kasus bentuk
silogisme valid. Pietroski menyatakan bahwa para ahli logika abad pertengahan
membahas hubungan logika untuk tata bahasa, ia membedakan bahwa bahasa
yang diucapkan harus menutupi aspek-aspek tertentu dari struktur logis dan
memiliki struktur; mereka terdiri, dengan cara yang sistematis, dari kata-kata; dan
asumsi adalah bahwa kalimat mencerminkan aspek utama bentuk logis, termasuk
subjek-predikat struktur. Dia mengakui bahwa menjelang akhir abad kedelapan
belas, Kant bisa mengatakan tanpa berlebihan bahwa banyak logika mengikuti
jalur tunggal sejak awal, dan bahwa sejak Aristoteles itu tidak harus menelusuri
kembali satu langkah. Menurut dia, Kant mengatakan bahwa logika silogisme
adalah untuk semua tampilan lengkap dan sempurna.
Hanya ada tiga istilah dalam silogisme, karena kedua istilah dalam kesimpulan sudah
dalam premisnya, dan satu istilah umum bagi kedua premisnya. Ini mengarah pada
definisi berikut: predikat dalam kesimpulan disebut suku utama, subjek dalam
kesimpulan disebut suku kecil; istilah umum disebut term tengah, sedangkan premis
yang mengandung istilah utama disebut premis utama; dan premis yang mengandung
istilah minor disebut premis minor. Silogisme selalu ditulis premis mayor, premis
minor, kesimpulan, melainkan terbatas pada argumen silogisme, dan tidak bisa
menjelaskan kesimpulan umum yang melibatkan beberapa argumen. Hubungan dan
identitas harus diperlakukan sebagai hubungan subjek-predikat, yang membuat
pernyataan identitas matematika sulit untuk ditangani, dan tentu saja istilah tunggal
dan proposisi tunggal.
Pietroski, P., 2002, menjelaskan bahwa dengan demikian, orang mungkin
menduga bahwa ada relatif sedikit disimpulkan pola dasar, beberapa kesimpulan
bisa mencerminkan transisi inheren menarik dalam pikiran; jelas bahwa para ahli
logika berhak untuk mengambil aturan inferensi dari B 'jika A , dan A, maka B
'sebagai sesuatu yang aksiomatis, dan namun, berapa banyak aturan yang masuk
akal dianggap sebagai fundamental dalam pengertian ini? Dia berpendapat
bahwa keanggunan teoritis dan teori-teori yang mendukung penjelasan
mendalam dengan asumsi tereduksi sedikit, dan geometri Euclid telah lama
menyediakan model untuk bagaimana menyajikan obyek pengetahuan sebagai
jaringan proposisi yang mengikuti dari aksioma dasar beberapa, dan untuk
beberapa alasan, dasar pertanyaan memainkan peran penting dalam logika abad
kesembilan belas dan matematika. Pietroski mengambil karya Boole dan lain-lain
untuk menunjukkan bahwa kemajuan dalam hal ini adalah mungkin sehubungan
dengan kesimpulan logika yang melibatkan variabel proposisional; namun
silogisme tetap tidak dapat disatukan dan tidak lengkap, yang berhubungan
dengan alasan lain dari gagalnya logika tradisional / tata bahasa.
Dalam pengembangan matematika modern, notasi Frege dirancang pertama yang
cocok untuk membangun matematika formal. Notasi yang lebih presisi
memungkinkan Russell untuk menemukan kelemahan dalam penalaran yang
mereka dukung, yang dikenal sebagai paradoks Russell. Hal ini pada gilirannya
mendorong perkembangan lebih lanjut dalam pemahaman kita tentang teori formal,
khususnya, mereka menghasilkan axiomatization teori himpunan yang didukung
oleh intuisi semantik yang merupakan iteratif konsepsi yang ditetapkan. Hal
utama dari metode analisis logis formal adalah penggunaan model
matematika untuk menjabarkan arti dari konsep yang dipertimbangkan; ini
membawa unsur semantik ke latar depan dan mendorong pengakuan bahwa
ketika kita ingin menggunakan bahasa secara tepat kita harus memilih arti yang
tepat pula, dengan menganggap bahwa makna yang tepat yang bisa didapatkan dari
preseden, dapat dilakukan.
Pada sisi lain, Kemerling, G., 2002, menyatakan bahwa William Hamilton
menyarankan bahwa kuantifikasi predikat terkandung dalam proposisi kategoris
tradisional mungkin mengizinkan interpretasi aljabar yang isinya merupakan
pernyataan eksplisit dari identitas; pandangan ini didorong Augustus De Morgan
yang mengusulkan ekspresi simbolis dari kopula sebagai hubungan logis murni,
yang resmi mendapatkan fitur dalam konteks yang berbeda banyak. Dia
mencatat bahwa Teorema De Morgan sama baiknya untuk himpunan irisan,
himpunan gabungan, dan dalam logika dan disjungsi, De Morgan juga
menjelajahi gagasan Laplace probabilitas sebagai derajat keyakinan rasional
yang bisa jatuh antara kepastian sempurna dari kebenaran atau kepalsuan.
Selanjutnya, Kemerling menjelaskan bahwa George Boole menyelesaikan
transformasi ini dengan secara eksplisit dan menafsirkan logika kategoris dengan
referensi himpunan dari hal-hal dimana logis / himpunan-teoritis / matematika
relasi terus di antara kelas tersebut dapat dinyatakan setidaknya juga dalam
"aljabar Boolean". Kemerling mencatat bahwa Leonhard Euler, dan John Venn
menunjukkan, hubungan ini dapat direpresentasikan dalam diagram topografi,
model fitur validitas yang formal;dan semua perkembangan ini mendorong para
filsuf untuk memeriksa isomorfisma logika dan matematika lebih dekat. Ia
menjelaskan bahwa logika tradisional adalah istilah yang longgar untuk tradisi logis
yang berasal dari Aristoteles dan banyak berubah sampai munculnya logika
predikat modern di akhir abad kesembilan belas, dan asumsi mendasar dalam
logika tradisional adalah bahwa proposisi terdiri dari dua istilah dan bahwa proses
penalaran pada gilirannya dibangun dari proposisi; istilah adalah bagian dari
mewakili sesuatu, tetapi yang tidak benar atau salah dalam dirinya sendiri;
proposisi terdiri dari dua istilah, di mana satu istilah ditegaskan dan yang lainnya
kebenaran atau kepalsuan; silogisme adalah kesimpulan yang salah satu
proposisi berikut kebutuhan dari dua orang lain. Dalam logika , "proposisi" hanyalah
sebuah bentuk bahasa: jenis kalimat tertentu, dalam subjek dan predikat
digabungkan, sehingga untuk menyatakan sesuatu benar atau salah, itu bukan
pikiran, atau entitas yang abstrak atau apapun; kata "propositio" berasal dari
bahasa Latin, yang berarti premis pertama dari silogisme. Aristoteles
menggunakan premis kata (protasis) sebagai kalimat yang menegaskan atau
menyangkal satu hal lain sehingga premis juga merupakan bentuk kata-kata.
Namun, dalam logika filsafat modern, sekarang berarti apa yang ditegaskan
sebagai hasil dari mengucapkan kalimat, dan dianggap sebagai sesuatu yang
aneh mental atau disengaja.
Kualitas proposisi adalah apakah itu positif atau negatif. Dengan demikian
"setiap orang adalah fana" adalah ya, karena "fana" ditegaskan dari "manusia";
"Tidak ada pria abadi" adalah negatif, karena "abadi ditolak dari" manusia ",
sedangkan, kuantitas proposisi adalah apakah itu universal atau tertentu. Logika
Aristoteles, juga dikenal sebagai silogisme, adalah jenis tertentu dari logika
yang dibuat oleh Aristoteles, terutama dalam karya-karyanya Sebelum
Analytics dan De Interpretatione, tetapi kemudian dikembangkan menjadi apa
yang dikenal sebagai logika tradisional atau Logika Jangka. Aristoteles membuat
4 macam kalimat terukur, masing- masing yang mengandung subjek dan
predikat: afirmatif yang universal yaitu S setiap P; yaitu negatif yang universal
tidak S adalah P; yaitu afirmatif tertentu beberapa S adalah P, dan negatif tertentu
tidak setiap S adalah P. Ada berbagai cara untuk menggabungkan kalimat tersebut ke
dalam silogisme, keduanya valid dan tidak valid; di zaman abad pertengahan,
logika Aristotelian diklasifikasikan setiap kemungkinan dan memberi mereka
nama. Aristoteles juga mengakui bahwa setiap jenis memiliki kalimat,
misalnya, kebenaran universal yang memerlukan sebuah afirmatif kebenaran
afirmatif tertentu yang sesuai, serta kesalahan negatif yang sesuai negatif dan tertentu
universal.
Moschovakis, J., 2002, bersikeras bahwa logika intuitionistic meliputi
prinsip-prinsip penalaran logis yang digunakan oleh LEJ Brouwer dalam
mengembangkan matematika intuitionistic nya, secara filosofis, intuitionism berbeda
dari logicism dengan memperlakukan logika sebagai bagian dari matematika bukan
sebagai dasar dari matematika ; dari finitism dengan memungkinkan penalaran
tentang koleksi tak terbatas, dan dari Platonisme dengan melihat objek
matematika sebagai konstruksi mental yang tanpa keberadaan yang ideal
independen. Moschovakis menyatakan bahwa program formalis Hilbert, untuk
membenarkan matematika klasik dengan mengurangi ke sistem formal yang
konsistensi harus ditetapkan dengan cara finitistic, adalah saingan kontemporer
paling ampuh untuk intuitionism Brouwer's berkembang. Pada tahun 1912
Intuitionism dan Formalisme Brouwer dengan tepat memprediksikan bahwa
setiap upaya untuk membuktikan konsistensi induksi lengkap tentang bilangan alam
akan mengakibatkan lingkaran setan.
Banyak filsuf telah mengambil matematika menjadi paradigma pengetahuan, dan
penalaran yang digunakan dalam mengikuti bukti matematika sering
dianggap sebagai lambang pemikiran rasional, namun matematika juga merupakan
sumber yang kaya masalah filosofis yang menjadi pusat epistemologi dan
metafisika sejak awal filsafat Barat; di antara yang paling penting adalah sebagai
berikut: bilangan nol dan entitas matematika lainnya ada secara independen dari
kognisi manusia; Jika tidak maka bagaimana kita menjelaskan penerapan
matematika yang luar biasa bagi ilmu pengetahuan dan urusan praktis?? Jika
demikian maka apa hal yang mereka dan bagaimana kita bisa tahu tentang
mereka;? Dan Apa hubungan antara matematika dan logika? (. Filsafat
Matematika, http://Googlesearch) Pertanyaan pertama adalah pertanyaan metafisik
dengan kedekatan dekat dengan pertanyaan tentang keberadaan entitas lain
seperti universal, sifat dan nilai-nilai, sesuai dengan banyak filsuf, jika entitas
tersebut ada maka mereka sehingga di luar ruang dan waktu, dan mereka tidak
memiliki kekuatan kausal, mereka sering disebut abstrak dibandingkan dengan entitas
beton.
Jika kita menerima keberadaan objek matematika abstrak maka epistemologi yang
memadai matematika harus menjelaskan bagaimana kita bisa tahu tentang
mereka, tentu saja, bukti tampaknya menjadi sumber utama pembenaran bagi
proposisi matematika tetapi bukti bergantung pada aksioma dan pertanyaan
tentang bagaimana kita bisa tahu kebenaran dari aksioma tetap. Hal ini biasanya
berpikir bahwa kebenaran matematika adalah kebenaran yang diperlukan, bagaimana
kemudian apakah mungkin bagi terbatas, makhluk fisik yang mendiami
dunia yang kontingen memiliki pengetahuan tentang kebenaran tersebut? Dua
pandangan yang luas secara baik yaitu mungkin kebenaran matematika dikenal
dengan alasan, atau mereka dikenal oleh inferensi dari pengalaman sensorik.
Pandangan rasionalis mantan diadopsi oleh Descartes dan Leibniz yang juga
berpikir bahwa konsep-konsep matematika adalah bawaan, sedangkan Locke dan
Hume himpunanuju bahwa kebenaran matematika dikenal oleh akal tapi mereka
pikir semua konsep-konsep matematika yang diperoleh abstraksi dari
pengalaman; dan Mill adalah seorang empiris lengkap tentang matematika
dan memegang kedua bahwa konsep-konsep matematika berasal
dari pengalaman dan juga bahwa kebenaran matematika adalah benar-benar
generalisasi induktif dari pengalaman. Sementara itu, penemuan pada pertengahan
abad kesembilan belas non- Euclidean geometri berarti bahwa filsuf dipaksa
untuk menilai kembali status geometri Euclidean yang sebelumnya telah dianggap
sebagai contoh Shinning pengetahuan tertentu di dunia, banyak mengambil
keberadaa n non konsisten -Euclidean geometri menjadi penentangan secara
langsung dari kedua Mill dan filsafat Kant tentang matematika. Pada akhir abad
kesembilan belas penyanyi telah ditemukan berbagai paradoks dalam teori kelas dan
ada sesuatu krisis dalam dasar matematika.
Pada awal abad kedua puluh kita melihat kemajuan besar dalam matematika dan
juga dalam logika matematika dan dasar matematika dan sebagian besar isu-isu
fundamental dalam filsafat matematika dapat diakses oleh siapa saja yang akrab
dengan geometri dan aritmatika dan yang telah memiliki pengalaman mengikuti
matematika bukti. Namun, beberapa perkembangan filosofis paling penting dari
abad kedua puluh itu dipicu oleh perkembangan yang mendalam yang terjadi
dalam matematika dan logika, dan apresiasi yang tepat dari masalah ini hanya
tersedia bagi seseorang yang memiliki pemahaman tentang teori himpunan dasar dan
menengah logika. Untuk membahas falsafah matematika pada tingkat lanjutan yang
benar-benar harus memeriksa gagasan yang mencakup bukti dari teorema
ketidaklengkapan Gödel 's serta membaca tentang berbagai topik dalam filsafat
matematika. Nikulin, D., 2004, menjelaskan bahwa para ilmuwan kuno dan
filsuf yang mengikuti program Platonis- Pythagoras, dirasakan bahwa
matematika dan metode yang dapat digunakan untuk
menggambarkan alam. Menurut Plato, matematika dapat memberikan
pengetahuan tentang engsel yang tidak bisa sebaliknya dan karena itu tidak ada
hubungannya dengan hal-hal fisik pernah lancar, tentang yang hanya ada pendapat
yang mungkin benar. Nikulin menyatakan bahwa Platonis hati-hati membedakan
antara aritmetika dan geometri dalam matematika itu sendiri, sebuah rekonstruksi
teori Plotinus 'dari nomor, yang mencakup pembagian Plato an dari angka ke
substansial dan kuantitatif, menunjukkan bahwa angka yang terstruktur dan
dipahami bertentangan dengan entitas geometris. Secara khusus, angka ini dibentuk
sebagai kesatuan sintetis terpisahkan, unit diskrit, sedangkan objek geometris yang
terus menerus dan tidak terdiri dari bagian tak terpisahkan.
Nikulin, D., 2004, menemukan bahwa Platonis dianggap bahwa obyek matematika
dianggap entitas intermediate antara hal-hal fisik (obyek) dan niskala, hanya
masuk akal, entitas
(pengertian). Menurut dia, dalam tradisi Platonis, kecerdasan, dilihat dari kategori
kehidupan, mampu hamil prinsip pertama; ditafsirkan sebagai dan aktualitas murni,
intelek selanjutnya disajikan melalui perbedaan antara pikiran sebagai berpikir dan
berpikir sebagai masuk akal , sebagai objek pemikiran yang ada dalam
komunikasi terganggu; pada pemikiran, bertentangan diskursif, pada dasarnya terlibat
dalam argumentasi matematis dan logis, tidak lengkap dan hanya parsial. terus
menerus dan tidak terdiri dari bagian tak terpisahkan. Nikulin menunjukkan
bahwa untuk Platonis alasan diskursif melakukan kegiatannya di sejumlah
langkah berurutan dilakukan, karena, tidak seperti intelek, tidak mampu mewakili
obyek pemikiran secara keseluruhan dan kompleksitas yang unik dan dengan
demikian harus memahami bagian objek dengan sebagian, dalam urutan tertentu.
Sementara, Folkerts, M.,
2004, menunjukkan bahwa Platonis percaya bahwa realitas abstrak adalah kenyataan.
Dengan demikian, mereka tidak memiliki masalah dengan kebenaran karena
objek di bagian ideal matematika memiliki sifat. Sebaliknya Platonis memiliki
masalah epistemologis - seseorang dapat memiliki pengetahuan tentang objek di
bagian ideal matematika, mereka tidak dapat menimpa pada indera kita dengan
cara apapun.

Ini mungkin bahwa selama bagian tengah abad ini ada didirikan untuk
sementara waktu penasaran stand-off; saat ini baik logicism dan Formalisme
ditahan telah gagal, hasil ketidaklengkapan Gödel 's telah ikut berperan dalam
kedua kasus, tapi intuitionism tetap utuh
, maka secara filosofis intuitionism menjadi hal utama. Hebat matematika di
sisi lain, sepanjang mereka menganggap hal ini, mungkin tetap fomalist
atau logicist dalam kecenderungan, dalam paruh kedua tekanan pada abad ini
paradigma klasik telah berkembang dari beberapa sumber. Untuk perbedaan
pendapat para filsuf telah ditambahkan perbedaan pendapat dari ahli matematika
yang telah menemukan kesalahan dengan teori himpunan klasik sebagai sebuah
yayasan, atau yang meragukan perlunya memiliki dasar sama sekali; ilmu
komputer semakin teoritis telah memasuki arena ini, dan telah cenderung
pengaruh radikal. (-----, 1997, Kategori Teori dan
Dasar-dasar Matematika RBJ,
http://www.rbjones.com/rbjpub/rbj.htm)
Istilah "dasar atau landasan matematika" kadang-kadang digunakan untuk bidang
tertentu dari matematika itu sendiri, yaitu untuk logika matematika, teori himpunan
aksiomatik, teori bukti dan teori model; pencarian dasar matematika Adalah juga
pertanyaan sentral dari filosofi matematika: atas dasar apa dapat laporan utama
matematika disebut "benar"? Paradigma matematika saat ini dominan didasarkan
pada teori himpunan aksiomatik dan logika formal; semua teorema matematika
hari ini dapat dirumuskan sebagai teorema teori disusun; kebenaran pernyataan
matematika, dalam pandangan ini, kemudian apa-apa kecuali klaim bahwa
pernyataan itu dapat berasal dari aksioma teori himpunan menggunakan aturan
logika formal. Namun, pendekatan formalistik tidak menjelaskan beberapa isu
seperti
mengapa kita harus menggunakan aksioma yang kita lakukan dan bukan orang lain,
mengapa kita harus menggunakan aturan logika yang kita lakukan dan bukan
lainnya, mengapa "benar" pernyataan matematika tampaknya benar dalam dunia
fisik; dimana Wigner disebut ini sebagai efektivitas yang tidak masuk akal
matematika dalam ilmu fisika. -----, 1997, Dasar-dasar matematika
Wikipedia, ensiklopediabebas. http://en.wikipedia.org/wiki/GNU_FDL.
Kita mungkin mempertanyakan apakah mungkin bahwa semua pernyataan
matematika, bahkan kontradiksi, dapat diturunkan dari aksioma-aksioma teori
mengatur, apalagi, sebagai konsekuensi dari teorema ketidaklengkapan Gödel kedua,
kita tidak pernah bisa yakin bahwa ini tidak terjadi. Selanjutnya, ia menjelaskan
bahwa dalam realisme matematika, kadang- kadang disebut Platonisme, keberadaan
dunia objek matematika independen dari manusia ini mendalilkan; kebenaran tentang
obyek ditemukan oleh manusia, dalam pandangan ini, hukum alam dan hukum-
hukum matematika memiliki status yang sama, dan "efektivitas" berhenti menjadi
"masuk akal" dan tidak aksioma kita, tetapi dunia yang sangat nyata dari objek
matematika membentuk yayasan. Ia menjelaskan bahwa pertanyaan yang jelas,
kemudian, adalah: bagaimana kita mengakses dunia ini, beberapa teori
modern dalam filsafat matematika menyangkal keberadaan yayasan dalam arti
asli; beberapa teori cenderung berfokus pada praktek matematika, dan bertujuan
untuk? menggambarkan dan menganalisis kerja aktual yang hebat matematika
sebagai kelompok sosial, sedangkan, yang lain mencoba untuk menciptakan ilmu
pengetahuan kognitif matematika, dengan fokus pada kognisi manusia sebagai
asal dari keandalan matematika ketika diterapkan pada 'dunia nyata', dan karena
itu, ini teori akan mengusulkan untuk menemukan dasar hanya dalam pemikiran
manusia, tidak dalam 'tujuan' di luar konstruk. Singkatnya, masalah ini masih
kontroversial.
(-----, 1997, Dasar-dasar matematika Wikipedia, ensiklopedia bebas.
Http://en.wikipedia.org/wiki/GNU_FDL)
Podnieks, K, 1992, berpendapat apakah matematika hanya sebuah ilmu pengetahuan
abstrak dengan definisi yang ketat yang hanya masalah pembuktian dan kejam,
atau tentang dunia fisik tapi kita harus belajar bagaimana menggunakan teori yang
tepat tentang apa yang kita rasakan di yang kita perlu teori intuisi untuk
memungkinkan kita untuk menjaga bagian infinitary matematika. Ia menunjukkan
bahwa dalam matematika, ini, diakui bahwa masalah timbul karena kejelasan un-
yang hebat matematika memiliki sekitar hubungan antara metode geometris dan
metode numerik; metode geometris yang memungkinkan sangat kecil terlalu tidak
tepat dan ini menyebabkan pengenalan aritmatika teknik untuk mempelajari
analisis sangat kecil untuk memberikan kekakuan yang kembali ke ide-ide
Pythagoras. Sementara Kalderon, ME, 2004, menyatakan bahwa untuk
mengembalikan "standar Euclidean lama kekakuan" dengan memberikan bukti
jelas klaim aritmatika yang memenuhi dua kondisi bahwa asumsi himpunaniap
eksplisit dinyatakan, dan himpunaniap transisi inferensial adalah sesuai dengan aturan
mengakui . Dia mengatakan bahwa dorongan baru dari kekakuan dalam geometri dan
analisis yang telah menuai berbuah dengan mengungkapkan "batas berlaku"
theorems penting, dengan membuat eksplisit prinsip-prinsip dapat disimpulkan bahwa
secara implisit memandu penilaian kita kita dapat sampai pada metode umum
pembentukan konsep yang dapat membantu kita untuk memecahkan pertanyaan
matematika terbuka. Kalderon mengklaim bahwa dengan mengurangi jumlah
penilaian yang diterima tanpa bukti kita mencapai ekonomi teoritis yang
berharga, bahkan jika kebenaran adalah jelas masih merupakan muka
matematis untuk membuktikannya.
Kalderon, ME, 2004, berpendapat apakah titik proyek Frege untuk membuktikan
yang sudah jelas atau tidak, apa adalah status epistemologis kebenaran
matematika;? Mereka analitik apriori, sintetik apriori, atau sintetik
aposteriori;? Dan bagaimana adalah angka yang diberikan kepada kami;
bagaimana media Kant sensibilitas dan menengah Frege nalar? Menurut dia,
keputusan matematika adalah analitik hanya dalam kasus konsep subjek berisi
konsep predikat, dan penilaian matematika adalah analitik hanya dalam kasus
penolakan adalah kontradiksi-diri. Menurut Kalderon, Kant menganggap konsep
sebagai melibatkan check list fitur, konsep empiris adalah konsep macam hal
encounterable dalam pengalaman mana untuk menjadi jenis yang relevan dari hal
adalah memiliki fitur secara empiris dapat diamati, F1, F2, ..., Fn, yang secara
logis independen, karena itu, penghakiman adalah analitik hanya dalam kasus
daftar fitur yang berhubungan dengan konsep predikat adalah bagian dari daftar
fitur yang berhubungan dengan konsep subjek. Kalderon mencatat bahwa Kant
menulis seolah-olah konsep selalu konsep khusus encounterable; ia tidak
membuat tunjangan untuk konsep relasional atau untuk konsep hal yang tidak
teramati dan fitur pada daftar tersebut yang seharusnya secara logis independen,
tetapi tidak semua konsep empiris sesuai pola ini dan tidak semua konsep memiliki
daftar fitur.
Kant, 1787, berpendapat bahwa matematika adalah produk murni alasan, dan
terlebih lagi adalah benar-benar kimis, ia menemukan bahwa semua kognisi
matematika memiliki keganjilan ini dan pertama kali harus menunjukkan konsep
dalam intuisi visual dan memang apriori, oleh karena itu dalam intuisi yang tidak
empiris, tetapi murni; tanpa ini, matematika tidak dapat mengambil satu langkah,
oleh karena keputusan-keputusannya selalu visual, yaitu, intuitif;. sedangkan
filsafat harus puas dengan penilaian diskursif dari konsep-konsep belaka, dan
meskipun mungkin menggambarkan doktrin-doktrinnya melalui sosok visual,
tidak pernah dapat memperoleh mereka dari itu. Di sisi lain, Kant mengklaim bahwa
intuisi empiris memungkinkan kita tanpa kesulitan untuk memperbesar konsep
yang kita bingkai dari suatu obyek dari intuisi, dengan predikat baru, yang intuisi itu
sendiri menyajikan secara sintetis dalam pengalaman, sedangkan intuisi murni
melakukannya juga, hanya dengan perbedaan ini , bahwa dalam kasus terakhir
penghakiman kimis adalah apriori tertentu dan apodeictical, dalam, mantan hanya
posteriori dan empiris tertentu; karena yang terakhir ini hanya berisi apa yang
terjadi pada intuisi empiris kontingen, tetapi yang pertama, yang tentu harus
ditemukan dalam intuisi murni. Menurut Kant, karena intuisi adalah suatu
representasi sebagai segera tergantung pada keberadaan objek, tampaknya tidak
mungkin untuk intuisi dari awal apriori, karena intuisi akan dalam acara yang
berlangsung tanpa baik mantan atau benda hadir untuk merujuk untuk,dan
oleh konsekuensi tidak bisa intuisi.
Selanjutnya, Kant, 1787, berpendapat bahwa intuisi matematika murni yang
meletakkan pada dasar dari semua kognisi dan penilaian yang muncul sekaligus
apodiktis dan diperlukan adalah Ruang dan Waktu, karena matematika harus
terlebih dahulu memiliki semua konsep
dalam intuisi, dan matematika murni intuisi murni, maka, matematika harus
membangun mereka. Menurut Kant, Geometri didasarkan pada intuisi murni
ruang, dan, aritmatika menyelesaikan konsep angka dengan penambahan
berurutan dari unit dalam waktu; dan mekanik murni terutama tidak dapat
mencapai konsep gerak tanpa menggunakan representasi waktu. Kant menyimpulkan
bahwa matematika murni, sebagai kognisi kimis apriori, hanya mungkin dengan
mengacu ada benda selain yang indra, di mana, di dasar intuisi empiris mereka
terletak sebuah intuisi murni (ruang dan waktu) yang apriori. Kant menggambarkan
bahwa dalam prosedur biasa dan perlu geometers, semua bukti kesesuaian lengkap
dari dua angka yang diberikan akhirnya datang ini bahwa mereka mungkin
dibuat bertepatan; yang ternyata tidak lain proposisi kimis beristirahat pada
intuisi langsung, dan intuisi ini harus murni, atau diberikan secara apriori, jika
proposisi tidak dapat peringkat sebagai apodictically tertentu, tetapi akan memiliki
kepastian empiris saja. Kant selanjutnya menyimpulkan bahwa dasar matematika
sebenarnya intuisi murni, sedangkan deduksi transendental tentang konsep- konsep
ruang dan waktu menjelaskan, pada saat yang sama, kemungkinan matematika murni.
Kant, 1787, menyatakan bahwa penilaian Matematika semua kimis dan ia berpendapat
bahwa fakta ini tampaknya sampai sekarang telah sama sekali lolos dari pengamatan
mereka yang telah dianalisis akal manusia; bahkan tampaknya langsung menentang
semua dugaan mereka, meskipun tak diragukan tertentu, dan yang paling penting
dalam konsekuensinya. Lebih lanjut ia menyatakan bahwa untuk saat ditemukan
bahwa kesimpulan yang hebat matematika semua berjalan sesuai hukum
kontradiksi seperti yang dituntut oleh semua kepastian apodiktis, pria
meyakinkan dirinya sendiri bahwa prinsip-prinsip dasar yang dikenal dari hukum
yang sama. "Ini adalah kesalahan besar", katanya. Dia kemudian menyampaikan
alasan bahwa untuk proposisi sintetis memang bisa dipahami menurut hukum
kontradiksi, tetapi hanya dengan mengandaikan lain proposisi sintetis dari yang
berikut, tetapi tidak pernah dalam dirinya sendiri. Kant mengemukakan bahwa
semua prinsip-prinsip geometri tidak kurang analitis, ia mengklaim bahwa atribut
sesak karena itu sama sekali tambahan, dan tidak dapat diperoleh oleh himpunaniap
analisis konsep, dan visualisasi yang harus datang untuk membantu kita, dan
oleh karena itu saja membuat sintesis mungkin. Kant berusaha untuk
menunjukkan bahwa dalam kasus proposisi identik, sebagai metode Rangkaian,
dan bukan sebagai prinsip, e. g., a = a, keseluruhan adalah sama dengan dirinya,
atau a + b> a, keseluruhan lebih besar dari bagiannya dan menyatakan bahwa
meskipun mereka diakui sebagai sah dari konsep-konsep belaka, mereka hanya
diperkenankan dalam matematika, karena mereka dapat direpresentasikan dalam
bentuk visual.
Kalderon, ME, 2004, terpapar bahwa penilaian analitik adalah mereka yang
menyangkal adalah kontradiksi-diri, dan karakterisasi ini adalah hanya sebagai baik
sebagai logika dasar, tetapi Kant masih menerima logika lama yang diwarisi
dari Aristoteles. Selanjutnya, Kalderon mengklaim bahwa karakterisasi
penahanan konseptual hanya berlaku untuk penilaian afirmatif universal, yaitu,
penilaian dari bentuk "Semua Sebagaimana B.", Dan karakterisasi logis memiliki
jangkauan yang lebih luas penerapannya karena tidak terbatas pada afirmatif yang
universal penilaian. Kalderon berpendapat bahwa reconstrual Frege dari gagasan
Kant tentang analyticity sekaligus menyelesaikan kesulitan dan menyatukan
karakterisasi yang berbeda; kebenaran adalah analitik hanya dalam kasus itu
bisa diubah menjadi sebuah kebenaran logis oleh substitusi sinonim untuk sinonim,
sementara kebenaran logis adalah kebenaran yang dapat dibuktikan dari logika saja.
Kalderon mengklaim bahwa penolakan sebuah kebenaran logis adalah
kontradiksi-diri, sehingga karakterisasi Frege adalah himpunania dengan
semangat karakterisasi logis; bahwa kebenaran logis tiba di melalui substitusi
sinonim untuk sinonim explicates metafora Kant penahanan konseptual. Kalderon
lebih lanjut menegaskan bahwa sedangkan Kant mengklaim bahwa penilaian
analitik tidak bisa memperpanjang klaim Frege pengetahuan yang mereka bisa;
menurut Frege, perbedaan ini disebabkan konsepsi miskin Kant tentang
pembentukan konsep diberikan kehimpunaniaan kepada logika lama.

Kalderon, ME, 2004, bersikeras bahwa konsep-konsep baru yang didapat dengan
operasi persimpangan dan inklusi, dan diberikan logika tua, membentuk konsep baru
selalu masalah pemanfaatan batas-batas wilayah yang ditetapkan oleh konsep
antecedently diberikan; dan Frege mempertahankan bahwa, mengingat logika
barunya, ada kemungkinan menggambar batas-batas baru. Namun, mendefinisikan
konsep-konsep baru dengan cara ini lisensi kita untuk menarik kesimpulan bahwa
kami tidak berlisensi untuk menarik sebelumnya, sehingga memperluas pengetahuan
kita. Kalderon menyatakan bahwa S kebenaran apriori hanya jika terdapat bukti
dari S yang tidak bergantung pada fakta-fakta dasar tentang objek tertentu,
yaitu, kalau-kalau terdapat himpunanidaknya satu bukti S yang hanya melibatkan
kebenaran umum sebagai tempat. Menurut Kalderon, Frege tampaknya telah
memberikan karakterisasi logis dari apa yang sebelumnya telah ditafsirkan
sebagai gagasan epistemologis; Frege dirasakan bahwa pengetahuan aposteriori
tergantung pada pengalaman untuk pembenaran, dan itu hanya informatif jika
pengalaman dapat ditentukan secara independen dari peran normatif . Kalderon
mengklaim bahwa dasar matematika adalah terutama karya matematika meskipun
karakter informal. Dia mencatat bahwa Frege hanya menjawab pertanyaan filosofis
konfigurasi ulang oleh mereka untuk memiliki jawaban matematika,dan motivasi
matematika Frege yang tidak asli menurut standar akhir matematika abad ke-19 dan
mungkin kebenaran adalah suatu tempat di antara.
Kalderon, ME, 2004, menyatakan bahwa aritmetika adalah analitik apriori; menjadi
analitik, kebenaran aritmatika harus ditransformasikan ke dalam kebenaran logis
oleh substitusi sinonim untuk sinonim, dan untuk bersikap apriori, kebenaran
aritmatika harus memiliki himpunanidaknya satu bukti dari tempat murni umum.
Kalderon menyatakan bahwa Frege harus melaksanakan proyek matematika
untuk menentukan apa aritmatika sejauh dapat dibuktikan dari logika dan
definisi saja. Di sisi lain, dalam kaitannya dengan motivasi matematika,
Kalderon bersikeras bahwa menemukan bukti mana bukti tersedia selalu
kemajuan matematika bahkan jika batas-batas keabsahan teorema benar-benar
jelas dan teorema secara universal dianggap sebagai jelas. Menurut Kalderon,
dalam mengungkap dependensi logis antara pemikiran ilmu hitung, satu secara
eksplisit mengartikulasikan konten mereka sehingga memperjelas materi pelajaran
aritmatika; untuk dibenarkan dalam pendapat matematika seseorang adalah untuk
membawa mereka sejalan dengan urutan ketergantungan objektivitas antara
pemikiran ilmu hitung diungkapkan oleh bukti matematis, karena itu, menemukan
bukti mana bukti yang tersedia adalah kemajuan matematika sejauh pembenaran
pendapat matematika tergantung di atasnya, yang pertama tergantung pada klaim
filosofis tentang konten, yang kedua tergantung pada klaim filosofis tentang
pembenaran. Selanjutnya, Kalderon, ME, 2004, berpendapat bahwa kasus Frege
untuk klaim bahwa aritmatika adalah analitik apriori memiliki tiga komponen yang
merupakan argumen positif tunggal, sanggahan alternatif yang masih ada, yakni
argumen terhadap Kant, dan definisi dan sketsa bukti Frege kasus di mana hanya
akan selesai ketika definisi dan sketsa bukti secara formal dilaksanakan dalam
bahasa Begriffsschrift. Menurut Frege, kebenaran aritmatika mengatur semua
yang dpt dihitung, ini adalah domain terluas dari semua, karena untuk itu milik
tidak hanya yang sebenarnya, tidak hanya intuitable, tapi masuk akal semuanya.

Brouwer kemudian mengembangkan teori himpunan dan teori pengukuran serta teori
fungsi, tanpa menggunakan prinsip dikecualikan tengah, ia adalah yang pertama
untuk membangun sebuah teori matematika menggunakan logika
selain yang biasanya diterima.
(Http://home.mira.net/ ~ andy / karya / value.htm). Jadi, dia dikenal sebagai
intuinists yang mengusulkan falsafah matematika tanpa dasar, sedangkan Kant
sort untuk aritmatika dasar dalam pengalaman waktu dan geometri dalam
pengalaman ruang, Brouwer mencoba untuk memperhitungkan semua matematika
dalam hal intuisi yaitu sadar pengalaman waktu. Intuitionism bentrok dengan
matematika klasik sejauh Brouwer menyatakan bahwa tidak ada kebenaran di luar
pengalaman, dan karenanya bahwa hukum tengah dikecualikan tidak dapat diterapkan
pada semua pernyataan matematika yaitu di bagian infinitary tertentu matematika
adalah tak tentu berkaitan dengan beberapa sifat .
Bridges, D., 1997, menunjukkan bahwa dalam filsafat Brouwer 's, matematika adalah
ciptaan bebas dari pikiran manusia, dan objek ada jika dan hanya jika dapat
dibangun mental. Podnieks, K., 1992, menunjukkan bahwa Hilbert pada tahun
1891 berhasil memproduksi terus menerus, namun tidak satu-ke-satu, pemetaan
dari suatu segmen ke persegi panjang, dan disimpan gagasan dimensi dengan
membuktikan bahwa Dedekind yang tepat yang terus menerus satu ke-satu
korespondensi antara kontinum dari dimensionalities berbeda adalah mustahil.
Podnieks, K., 1992, terkena pekerjaan Brouwer dari rangkaian hipotesa yang
disebut, di mana dengan berbagai terbatas himpunan poin penyanyi menetapkan
bahwa semua terbatas himpunan dia bisa menghasilkan, terbagi dalam dua kategori:
himpunan dpt dihitung yaitu himpunan yang bisa dihitung dengan
menggunakan bilangan asli dan himpunan yang himpunanara dengan seluruh
kontinum yaitu himpunan semua bilangan real. Menurut Podnieks,
penyanyi sendiri tidak dapat menghasilkan himpunan
"kekuatan menengah", himpunan terhitung yaitu titik yang tidak himpunanara dengan
seluruh kontinum, inilah mengapa ia menduga bahwa himpunan tersebut tidak
ada dan dugaan ini dikenal sebagai kontinum hipotesis menurut Brouwer yang
himpunaniap rangkaian tak terbatas poin baik adalah terhitung, atau himpunan
dengan seluruh kontinum.
Podnieks, K., 1992, bersikeras bahwa intuitionism memeluk dua teori filosofis
penting yaitu Ajaran Brouwer yang benar adalah menjadi berpengalaman, apapun ada
berawal pada pikiran sadar kita. Menurut Brouwer, obyek matematika bersifat
abstrak, apriori, bentuk intuisi kita, Dia percaya bahwa pikiran hanya adalah
miliknya sendiri, dan kurang peduli dengan antar- subjektivitas dari Immanuel Kant.
Brouwer menolak klaim intuisi apriori ruang, melainkan ia berpikir matematika
didasarkan sepenuhnya pada intuisi apriori waktu. Menurut Posy,
Brouwer percaya bahwa struktur panduan waktu semua kegiatan sadar dan
keberadaan non- Euclidean geometri melarang intuisi yang satu apriori ruang.
Posy menjelaskan bahwa Brouwer harus merekonstruksi bagian-bagian tertentu
dari matematika diberikan kendala sendiri. Program positif intuitionism adalah
konstruksi matematika sebagai dibatasi oleh Teori Brouwer 's Kesadaran.
Program negatif intuitionism berpendapat bahwa matematika standar sebenarnya
salah atau paling tidak konsisten. Brouwer tidak berpendapat bahwa matematika
standar tidak konsisten; argumennya didasarkan pada idealisme epistemologis
nya. Brouwer membuat sedikit perbedaan antara Hilbert dan Platonis. Beberapa
konstruksi Brouwer 's tergantung pada asumsi bahwa jika proposisi adalah benar,
kita bisa mengetahui bahwa itu benar.

Godel, K., 1961, menyatakan bahwa matematika, berdasarkan sifatnya sebagai

sebuah ilmu apriori, selalu telah, dalam dan dari dirinya sendiri dan, untuk alasan ini,
telah lama bertahan semangat dari waktu yang telah memerintah sejak yaitu
Renaissance, teori empiris matematika; matematika telah berkembang menjadi
abstraksi yang lebih tinggi, jauh dari kejelasan materi dan untuk semakin besar
di fondasinya misalnya, dengan memberikan landasan yang tepat dari kalkulus
dan bilangan kompleks, dan dengan demikian, jauh dari sikap skeptis. Namun,
sekitar pergantian abad, jam nya disambar antinomi teori himpunan, kontradiksi
yang diduga muncul dalam matematika, yang penting itu dibesar-besarkan oleh
scepticist dan empirisis dan yang dipekerjakan sebagai alasan untuk pergolakan
ke kiri. Godel menyatakan bahwa, himpunanelah semua, apa kepentingan
matematika adalah apa yang dapat dilakukan, dalam kebenaran, matematika
menjadi ilmu empiris, jika kita membuktikan dari aksioma sewenang-wenang
mendalilkan bahwa himpunaniap bilangan asli adalah jumlah dari empat kotak, tidak
di semua mengikuti dengan pasti bahwa kita tidak akan pernah menemukan
counter-contoh untuk teorema ini, karena aksioma kami bisa
himpunanelah semua menjadi tidak konsisten, dan kita dapat mengatakan bahwa itu
berikut dengan probabilitas tertentu, karena meskipun pemotongan banyak
kontradiksi sejauh ini ditemukan. Menurut Godel, melalui konsepsi hipotetis
matematika, banyak pertanyaan yang kehilangan bentuk apakah proposisi A terus
atau tidak atau A atau ~ A.

Godel, K., 1961, berpendapat bahwa formalisme Hilbert mewakili baik dengan
semangat waktu dan hakekat matematika di mana, di satu sisi, sesuai dengan
ide-ide yang berlaku dalam filsafat dewasa ini, kebenaran dari aksioma dari mana
matematika mulai keluar tidak dapat dibenarkan atau diakui dengan cara apapun,
dan karena itu gambar konsekuensi dari mereka memiliki makna hanya dalam
pengertian hipotesis, dimana ini gambar dari konsekuensi itu sendiri ditafsirkan
sebagai permainan belaka dengan simbol menurut aturan tertentu, juga tidak
didukung oleh wawasan. Lebih lanjut, Godel mengklaim bahwa bukti atas kebenaran
suatu proposisi sebagai representability dari himpunaniap nomor sebagai jumlah
dari empat kotak harus memberikan landasan yang aman untuk proposisi bahwa
bahwa himpunaniap ya-atau-tidak tepat dirumuskan pertanyaan dalam matematika
harus memiliki jelas -memotong jawaban yaitu satu bertujuan untuk membuktikan
bahwa dari dua kalimat A dan ~ A, tepat satu selalu dapat diturunkan. Godel
mengklaim bahwa tidak keduanya dapat diturunkan merupakan konsistensi, dan
yang satu selalu bisa benar-benar diturunkan berarti bahwa pertanyaan
matematika diungkapkan oleh A dapat tegas
menjawab. Godel
menyarankan bahwa jika seseorang ingin membenarkan dua pernyataan dengan
kepastian matematika, bagian tertentu dari matematika harus diakui sebagai
benar dalam arti filosofi kanan tua Godel, K., 1961, bersikeras bahwa jika kita
membatasi diri dengan teori bilangan asli, adalah mustahil untuk menemukan sistem
aksioma dan aturan formal di mana untuk himpunaniap proposisi nomor-teori A, A
atau ~~~V A akan selalu diturunkan, dan untuk aksioma cukup komprehensif
matematika, tidak mungkin untuk melaksanakan bukti konsistensi hanya dengan
merefleksikan kombinasi beton simbol, tanpa memperkenalkan elemen yang
lebih abstrak. Godel mengklaim bahwa kombinasi Hilbertian materialisme dan aspek
matematika klasik terbukti mustahil. Godel mempertahankan bahwa hanya ada
dua kemungkinan baik menyerah aspek kanan lama matematika atau upaya
untuk menegakkan mereka dalam kontradiksi dengan semangat zaman, ia
kemudian menyatakan bahwa: Satu hanya menyerah aspek yang
akan pemenuhan dalam hal apapun sangat diinginkan dan yang memiliki banyak
untuk merekomendasikan diri mereka: yaitu, di satu sisi, untuk menjaga untuk
matematika kepastian pengetahuan, dan di sisi lain, untuk menegakkan
keyakinan bahwa untuk pertanyaan yang jelas yang ditimbulkan oleh alasan,
alasan juga dapat menemukan jawaban yang jelas. Dan seperti yang perlu dicatat,
salah satu menyerah aspek-aspek ini bukan karena hasil matematika
dicapai memaksa seseorang untuk melakukannya tetapi
karena itu adalah satu-satunya cara mungkin, meskipun hasil ini, untuk tetap sesuai
dengan filosofi yang berlaku.
Godel, K., 1961, menegaskan bahwa kepastian matematika adalah harus
diamankan tidak dengan membuktikan sifat tertentu dengan proyeksi ke sistem bahan
yaitu manipulasi simbol- simbol fisik melainkan dengan mengembangkan atau
memperdalam pengetahuan tentang konsep-konsep abstrak sendiri yang mengarah
pada pengaturan dari sistem mekanik, dan selanjutnya dengan mencari, sesuai
dengan prosedur yang sama, untuk memperoleh wawasan solvabilitas, dan metode
aktual untuk solusi, dari semua masalah matematika yang bermakna. Namun, Godel
bersikeras bahwa untuk memperluas pengetahuan kita tentang konsep-konsep abstrak,
yaitu untuk membuat konsep-konsep diri yang tepat dan untuk mendapatkan
wawasan yang komprehensif dan aman ke dalam hubungan mendasar yang hidup
di antara mereka, yaitu, ke dalam aksioma yang terus bagi mereka, tidak oleh
mencoba memberikan definisi eksplisit untuk konsep dan bukti untuk aksioma,
karena untuk satu yang jelas perlu lainnya un-didefinisikan konsep-konsep abstrak
dan aksioma induk mereka, jika tidak orang akan memiliki apa-apa dari mana
orang bisa mendefinisikan atau membuktikan. Godel mengklaim bahwa prosedur
itu harus terletak dalam klarifikasi makna yang tidak terdiri dalam memberikan
definisi, ia menyatakan bahwa dalam pembentukan sistematis dari aksioma
matematika, aksioma baru menjadi jelas dan sama sekali tidak dikecualikan oleh
hasil negatif yang tetap himpunaniap jelas diajukan matematika ya atau ada
pertanyaan dipecahkan dengan cara ini, karena hanya ini menjadi jelas aksioma lebih
dan lebih baru atas dasar arti dari pengertian primitif bahwa mesin tidak dapat meniru.

Irvine, AD, 2003, menjelaskan bahwa logicism pertama kali dianjurkan pada
abad ketujuh belas-an oleh Gottfried Leibniz. Kemudian, ide itu dipertahankan
secara lebih rinci oleh Frege Gottlob. Irnine menunjukkan bahwa selama gerakan
kritis dimulai pada 1820-an, ahli matematika seperti Bernard Bolzano, Niels Abel,
Louis Cauchy dan Karl Weierstrass berhasil menghilangkan banyak ketidakjelasan
dan banyak kontradiksi yang ada dalam teori matematika dari hari mereka,
dan oleh 1800-an, William Hamilton juga memperkenalkan pasangan teratur dari
real sebagai langkah pertama dalam memasok secara logis untuk nomor kompleks.
Irvine menunjukkan bahwa dalam banyak semangat yang sama, Karl Weierstrass,
Richard Dedekind dan Georg Cantor memiliki juga semua metode
dikembangkan untuk mendirikan irrationals dalam hal rationals, dan
menggunakan karya HG Grassmann dan Richard Dedekind, Guiseppe Peano
telah kemudian pergi untuk mengembangkan teori rationals berdasarkan axioms
sekarang terkenal dengan alam nomor, serta demi hari Frege, secara umum diakui
bahwa sebagian besar matematika bisa diturunkan dari satu himpunan yang relatif
kecil dari gagasan primitif.

Logicism adalah doktrin bahwa Matematika adalah direduksi ke Logic. Tradisi

analitik modern dimulai dengan karya Frege dan Russell untuk keduanya
matematika adalah perhatian sentral. Sebagai logicists menyatakan bahwa
pernyataan matematis, jika mereka benar sama sekali, adalah benar tentu, maka
prinsip-prinsip logika juga biasanya dianggap kebenaran yang diperlukan,
mungkin maka kebenaran matematika yang benar-benar kebenaran logis hanya
rumit. Logicism adalah nama yang diberikan untuk program penelitian yang
diprakarsai oleh Frege dan dikembangkan oleh Russell dan Whitehead tujuan
yang adalah untuk menunjukkan bagaimana matematika direduksi menjadi logika.
Frege mencoba untuk memberikan matematika dengan dasar yang logis suara,
sayangnya Russel menemukan bahwa sistem Frege tidak konsisten; karya terkenal
Russell pada teori jenis merupakan upaya untuk menghindari paradoks yang
menimpa versi Frege dari logicism. (Filosofi Matematika, http://Googlesearch.).
Moschovakis, JR, 1999, mengatakan bahwa logika intuitionistic meliputi
prinsip-prinsip penalaran logis yang digunakan oleh LEJ Brouwer; filosofis,
intuitionism berbeda dari logicism dengan memperlakukan logika sebagai
bagian dari matematika bukan sebagai dasar dari matematika, dari finitism
dengan memungkinkan ( konstruktif) penalaran tentang koleksi tak terbatas, dan dari
Platonisme dengan melihat objek matematika sebagai konstruksi mental yang
tanpa keberadaan yang ideal independen. Moschovakis menyatakan bahwa
program formalis Hilbert, untuk membenarkan matematika klasik dengan
mengurangi ke sistem formal yang konsistensi harus ditetapkan dengan cara
finitistic, adalah saingankontemporer
paling ampuh untuk intuitionism Brouwer 's
berkembang; ia menolak formalisme semata tetapi mengakui kegunaan potensi
merumuskan umum prinsip-prinsip logis mengekspresikan konstruksi
intuitionistically benar, seperti modus ponens. Moschovakis menunjukkan bahwa
sistem formal untuk logika proposisional dan predikat intuitionistic tersebut
dikembangkan oleh Heyting [1930], Gentzen [1935] dan Kleene [1952]; dan
terjemahan Gödel-Gentzen negatif ditafsirkan logika predikat klasik dalam
subsistem intuitionistic nya. Dalam [1965] Kripke memberikan semantik
terhadap yang logika predikat intuitionistic selesai.

Podnieks, K., 1992, mencatat bahwa menurut intuitionists, persamaan yang

melibatkan operator numerik dasar seperti, terkait dengan empat kegiatan:
menghasilkan angka, melihat dua dari mereka bersama-sama, dan mengenali mereka
sama dengan ketiga, dan intuitionism
standar Brouwer 's hanya membatasi kita untuk apa yang finitary dan
menurut teori intuisionis, reductio ad absurdum bukti tidak diijinkan untuk
membuktikan bahwa sesuatu itu ada meskipun mereka diterima untuk hasil
negatif. Brouwer melihat bahwa himpunan algoritma dihitung adalah enumerable
yaitu memiliki jumlah kardinal 0, sehingga kita tidak bisa membatasi angka nyata
untuk himpunan ini, karena kemudian akan tidak memiliki sifat bahwa real
terhitung miliki. Posy menunjukkan bahwa solusi Brouwer adalah generalisasi
dari konsep algoritma atau aturan untuk memberikan jumlah tak terhitung
algoritma untuk memberikan apa yang dibutuhkan untuk real itu adalah gagasan
tentang urutan pilihan. Brouwer umum algoritma dengan melonggarkan
persyaratan bahwa algoritma menjadi deterministik dan hasilnya adalah urutan
di mana elemen berurutan dapat dipilih dari sekumpulan kandidat. Menurut
Brouwer, urutan pilihan diberikan oleh aturan deterministik untuk memberikan
beberapa elemen pertama, dan aturan tidak-selalu-deterministik untuk memilih
elemen berikutnya. Posy bertanya-tanya apakah mereka adalah sama dan
bertemu dengan bilangan real yang sama, dia mengatakan bahwa dia tidak dan tidak
dapat mengetahui hal ini. Dengan demikian, menyebabkan kesimpulan bahwa
beberapa pertanyaan penting tentang urutan pilihan tidak dijawab dalam jumlah
waktu yang terbatas dan dengan demikian, tidak ada kebenaran tentang pertanyaan
tentang kehimpunanaraan akhir dan kita bahkan tidak tahu apakah kita
akan tahu menjawab dalam jumlah waktu yang terbatas.
Posy menyimpulkan bahwa Brouwer harus himpunan ulang teori bertepatan
dengan konstruksi yang lain di mana di bawah versinya menetapkan teori,
perbedaan antara unsur satu himpunan dan himpunan sendiri
kurang terdefinisi dengan baik.
Dalam hal geometri, Posy, C., 1992, menunjukkan bahwa Brouwer merasakan
bahwa sifat ruang dianggap murni geometris dapat dinyatakan temporal sekali kita
mengakui bahwa apa yang menjadi ciri struktur waktu adalah bahwa masa depan
masih ragu-ragu. Menurut Posy, Brouwer percaya bahwa bagian-bagian yang
ideal matematika terdiri dari objek yang sebenarnya diciptakan dalam pikiran.
Di sisi lain, Brouwer mengakui bahwa ada masalah dengan urutan pilihan
karena fakta bahwa sejumlah nyata diciptakan oleh tindakan pilihan tampaknya
tidak tepat yang diperlukan tindakan manusia yang Brouwer tidak merasa itu
harus dimasukkan dalam matematika . Namun, Brouwer telah memperkenalkan
metode subjek menciptakan untuk menghasilkan bilangan real yang
menyebabkan dia menjadi seorang matematikawan ideal, ia toke B, dan
membagi penelitian ke tahap di mana pada himpunaniap tahap ada masalah
matematika yang belum terpecahkan sebagai: (n) = ½ jika pada tahap n, B belum
terbukti atau membantah masalah yang belum terpecahkan, (n) = jika pada tahap n,
B telah memecahkan masalah. Brouwer mengatakan bahwa proses ini
membentuk urutan yang adalah bilangan real dan tidak ada tindakan pilihan,
namun ada prosedur otomatis, menangkap efek yang sama dengan urutan pilihan,
tanpa memanfaatkan tindakan non-matematika pilihan. Posy disimpulkan bahwa
metode ini tidak akan bekerja jika masalah belum terpecahkan diselesaikan,
sehingga, agar metode subyek menciptakan menjadi metode yang dapat
diterima, harus ada pasokan yang tak habis-habisnya masalah matematika yang
tak terpecahkan. Brouwer percaya hal ini benar, namun Hilbert mengatakan bahwa
tidak akan ada masalah yang tak terpecahkan pada prinsipnya, dimana Brouwer jelas
bertentangan dengan pandangannya.
Menurut teori formalis, kita memiliki konsepsi sangat masuk akal pengetahuan objek
dalam matematika nyata; sehubungan dengan matematika yang ideal, kita dapat
memperoleh konsepsi dari objek melalui penggunaan sistem formal. Namun,
kebenaran hanya bisa untuk bagian nyata dari matematika, tidak ada hal-hal sesuai
dengan keyakinan kita di bagian yang ideal. Hal ini menghasilkan teori dualistik
kebenaran - beberapa pemikiran yang benar melalui teori, hibrida buatan,
sementara yang lain adalah benar melalui cara-cara normal
(Folkerts, M., 2004). Formalisme terutama terkait dengan David Hilbert yang sering
dicirikan sebagai pandangan bahwa logika dan matematika adalah permainan yang
formal belaka dan memiliki legitimasi yang independen dari isi semantik dari
formalisme, asalkan kita dapat diyakinkan dari konsistensi sistem formal.
Program Hilbert untuk menyelesaikan paradoks adalah untuk mencari bukti
konsistensi finitary untuk seluruh matematika klasik, ini biasanya diadakan untuk
telah ditunjukkan mungkin oleh teorema ketidaklengkapan kedua Gödel,
bagaimanapun unsur ketidakpastian tentang apa yang dimaksud dengan finitary
membuat ini tidak mutlak konklusif. -----, 1997, Kategori Teori dan Dasar-dasar
Matematika, RBJ, http://www.rbjones.com/rbjpub/rbj.htm.

Sementara itu, Folkerts, M., 2004, menunjukkan bahwa pada tahun 1920 Hilbert
mengajukan proposal yang paling rinci untuk menetapkan validitas matematika;
menurut teori bukti, semuanya akan dimasukkan ke dalam bentuk aksioma,
memungkinkan aturan inferensi menjadi hanya logika dasar, dan hanya mereka
kesimpulan yang bisa dicapai dari himpunan berhingga dari aksioma dan aturan
inferensi itu harus diterima. Dia mengusulkan bahwa sebuah sistem yang
memuaskan akan menjadi salah satu yang konsisten, lengkap, dan decidable;
oleh Hilbert konsisten berarti bahwa itu harus mungkin untuk menurunkan kedua
pernyataan dan negasinya; dengan lengkap, bahwa himpunaniap pernyataan yang
ditulis dengan benar harus sedemikian rupa bahwa baik itu atau negasinya adalah
diturunkan dari aksioma; oleh decidable, bahwa seseorang harus memiliki algoritma
yang menentukan dari himpunaniap pernyataan yang diberikan apakah itu atau
negasinya dapat dibuktikan. Menurut Hilbert, sistem seperti itu ada, misalnya, orde
pertama predikat kalkulus, tapi tidak ada yang ditemukan mampu memungkinkan
matematikawan untuk melakukan matematika yang menarik.
Hilbert, D., 1972, menunjukkan bahwa itu Brouwer menyatakan bahwa pernyataan
eksistensi ada artinya dalam diri mereka kecuali mereka mengandung pembangunan
objek menegaskan ada, adalah scrip tidak berharga, dan penggunaannya
menyebabkan matematika untuk berubah menjadi sebuah permainan. Hilbert
Brouwer mencatat urusan sehubungan dengan celaan bahwa matematika akan
berubah menjadi sebuah permainan dengan mengklaim bahwa sumber teorema
eksistensi murni adalah c-aksioma logis, di mana pada gilirannya pembangunan
dari semua proposisi yang ideal tergantung, ia berpendapat sejauh dari
permainan rumus dimungkinkan berhasil. Menurut Hilbert, permainan rumus
memungkinkan kita untuk mengungkapkan isi pikiran-seluruh ilmu matematika
dengan cara yang seragam dan mengembangkannya sedemikian rupa sehingga, pada
saat yang sama, interkoneksi antara proposisi individu dan fakta menjadi jelas; untuk
membuatnya menjadi kebutuhan universal yang himpunaniap rumus individu maka
akan ditafsirkan dengan sendirinya tidak berarti
wajar, sebaliknya, sebuah teori pada dasarnya adalah seperti yang kita tidak perlu
untuk jatuh kembali pada intuisi atau makna di tengah-tengah beberapa argumen.
Hilbert, D., 1972, menyatakan bahwa nilai bukti keberadaan murni justru terdiri
bahwa konstruksi individu dihilangkan oleh mereka dan bahwa konstruksi yang
berbeda banyak yang digolongkan di bawah satu ide fundamental, sehingga
hanya apa yang penting untuk membuktikan menonjol jelas ; singkatnya dan
pemikiran ekonomi adalah raison d'etre dari bukti keberadaan, ia kemudian
diberitahu bahwa teorema eksistensi murni telah menjadi landmark yang paling
penting dalam sejarah perkembangan ilmu kita. Tapi pertimbangan tersebut tidak
merepotkan intuisionis yang taat. Menurut Hilbert, permainan formula yang
Brouwer begitu deprecates memiliki, selain nilai matematika, makna filosofis penting
umum, karena ini permainan formula dilakukan sesuai dengan aturan yang pasti
tertentu, di mana teknik pemikiran kita diungkapkan dan ini bentuk aturan
sistem tertutup yang dapat ditemukan dan dinyatakan secara definitif. Hilbert
menegaskan bahwa ide dasar dari teori bukti tidak lain adalah untuk
menggambarkan aktivitas pemahaman kita, untuk membuat sebuah protokol aturan
yang menurut pemikiran kita benar-benar hasil; menurut dia berpikir, begitu terjadi,
sejajar berbicara dan menulis : kita bentuk pernyataan dan menempatkan mereka
satu di belakang lain. Dia berargumen bahwa jika ada totalitas pengamatan dan
fenomena layak untuk dijadikan obyek penelitian yang serius dan menyeluruh,
inilah satu- karena, himpunanelah semua, itu adalah bagian dari tugas ilmu
pengetahuan untuk membebaskan kita dari kesewenang-wenangan, sentimen,
dan kebiasaan dan untuk melindungi kita dari subjektivisme yang sudah
dibuat sendiri merasa di Kronecker pandangan dan, tampaknya dia, menemukan titik
puncaknya dalam intuitionism.
Hilbert, D., 1972, bersikeras bahwa tantangan intuitionism yang paling tajam
dan paling bersemangat adalah satu itu teman kencan di validitas prinsip
dikecualikan tengah, misalnya, dalam kasus yang paling sederhana, pada validitas
modus inferensi sesuai, yang , untuk himpunaniap pernyataan yang berisi
nomor-teori variabel, baik pernyataan tersebut benar untuk semua nilai dari
variabel atau terdapat nomor yang salah. Hilbert dirasakan bahwa prinsip
dikecualikan tengah merupakan konsekuensi logis dari c-aksioma dan tidak
pernah belum menyebabkan kesalahan sedikit pun, melainkan, apalagi, begitu
jelas dan dipahami bahwa penyalahgunaan yang menghalangi. Menurut Hilbert,
khususnya, prinsip dikecualikan tengah tidak disalahkan sedikit pun untuk terjadinya
terkenal paradoks dari teori himpunan, melainkan paradoks ini adalah karena hanya
untuk pengenalan gagasan dapat diterima dan tak berarti, yang secara otomatis
dikeluarkan dari bukti teori saya. Hilbert menunjukkan bahwa Adanya bukti
dilakukan dengan bantuan prinsip dikecualikan tengah biasanya sangat menarik
karena singkatnya mengejutkan mereka dan keanggunan. Untuk Hilbert, mengambil
prinsip tengah dikeluarkan dari matematika akan sama, proscribing teleskop untuk
astronomi atau untuk petinju penggunaan tinjunya; untuk melarang pernyataan
keberadaan dan prinsip dikecualikan tengah sama saja dengan
melepaskan ilmu matematika sama sekali.
Hilbert, D., 1972, bersikeras bahwa jika kesimpulan logis adalah dapat
diandalkan, harus dimungkinkan untuk survei obyek sepenuhnya dalam semua
bagian mereka, dan fakta bahwa mereka terjadi, bahwa mereka berbeda satu
sama lain, dan bahwa mereka mengikuti himpunaniap lain, atau adalah
concatenated, adalah langsung, diberikan secara intuitif, bersama dengan objek,
adalah sesuatu yang tidak dapat dikurangi untuk hal lain juga memerlukan
reduksi. Hilbert menyarankan bahwa dalam matematika kita
mempertimbangkan tanda-tanda konkret sendiri, yang bentuknya, menurut konsepsi
kita telah mengadopsi, segera, jelas dan dikenali, ini adalah sangat sedikit yang
harus mensyaratkan, tidak ada pemikir ilmiah dapat membuang itu, dan
karenanya himpunaniap orang harus mempertahankan itu, secara sadar, atau tidak.
Hilbert, D., 1972, mengakui bahwa sementara itu ada banyak kesalahan ditemukan
dengan mereka, dan keberatan dari semua jenis sarang dibesarkan menentangnya,
dan dirasakan bahwa semua kritikus ia dianggap hanya sebagai tidak adil karena
dapat; ia mengklaim bahwa itu adalah bukti konsistensi yang menentukan lingkup
efektif teori bukti dan secara umum merupakan inti; metode W. Ackermann
memungkinkan perpanjangan diam. Dia menyatakan bahwa untuk dasar-
dasar pendekatan analisis biasa Ackermann telah dikembangkan
begitu jauh sehingga hanya tugas melaksanakan bukti murni matematis
finiteness tetap. Hilbert kemudian menyimpulkan bahwa
hasil akhir adalah bahwa matematika adalah ilmu pra-anggapan-
kurang. Ia menegaskan bahwa untuk matematika ditemukan dia tidak perlu Tuhan
atau asumsi fakultas khusus pemahaman kita selaras dengan prinsip induksi
matematika Poincaré, atau intuisi primal Brouwer, atau, Russell dan aksioma
Whitehead tak terhingga, reducibility, atau kelengkapan, yang sebenarnya
adalah yang sebenarnya, menurut Hilbert, mereka contentual asumsi yang tidak
dapat dikompensasikan dengan bukti konsistensi.
Folkerts, M., 2004, merasa terpengaruholeh program Hilbert, menyatakan bahwa
bagaimanapun, Formalisme tidak tidak akan berlangsung lama. Pada tahun
1931 ahli matematika kelahiran Austria Amerika dan ahli logika Kurt Gödel
menunjukkan bahwa tidak ada sistem jenis Hilbert di mana bilangan bulat bisa
didefinisikan dan yang konsisten dan lengkap. Kemudian Gödel dan, mandiri, ahli
matematika Inggris Alan Turing menunjukkan decidability yang juga tak
terjangkau. Disertasi Gödel terbukti kelengkapan orde pertama logika, bukti ini
dikenal sebagai Teorema Kelengkapan Gödel 's. Gödel juga membuktikan bahwa
Hilbert benar tentang asumsinya bahwa meta-matematika adalah bagian dari bagian
nyata dari matematika; ia menggunakan nomor teori sebagai contoh yang
sepenuhnya beton dan kemudian menunjukkan bagaimana menerjemahkan
berbicara tentang simbol ke berbicara tentang angka. Gödel ditugaskan kode
untuk himpunaniap simbol sedemikian rupa bahwa yang disebut Gödel-angka
dikalikan bersama-sama mewakili formula, menetapkan formula, dan hal lainnya
dan kemudian seseorang dapat berbicara tentang Gödel-nomor menggunakan
nomor teori. Folkerts menunjukkan bahwa untuk membuat Gödel-nomor untuk
pernyataan dalam sistem formal, terlebih dahulu kita harus menetapkan himpunaniap
simbol bilangan bulat yang berbeda mulai dari satu, kemudian menetapkan
himpunaniap posisi dalam laporan bilangan prima berturut-turut yaitu mulai dengan
3. Folkerts mencatat bahwa Gödel-nomor untuk pernyataan itu adalah produk dari
bilangan prima dibawa ke kekuatan nomor yang ditetapkan ke simbol dalam
posisi pernyataan; sejak nomor dua bukan merupakan faktor dari jumlah
Gödel-untuk sebuah pernyataan, semua pernyataan 'Gödel- angka akan aneh.
Folkerts menunjukkan bahwa Gödel-nomor untuk urutan laporan dibangun dengan
mengalikan bilangan prima keluar berturut-turut, dimulai dengan, nomor dua dibawa
ke kuasa nomor Gödel-pernyataan yang muncul pada posisi dalam daftar. Folkerts,
M., 2004, mencatat bahwa agar kita dapat memaknai teorema kita dapat menuliskan
daftar kalimat yang merupakan bukti tentang hal itu, sehingga Teorema Gödel
's-nomor kalimat terakhir dalam bilangan genap Gödel dan ini mengurangi bukti
theorems ke properti nomor-teori yang melibatkan Gödel-angka dan konsistensi
dapat ditampilkan melalui nomor teori. Folkerts menunjukkan bahwa Gödel
menunjukkan sesuatu yang bisa kita mewakili dalam sistem formal dari
sejumlah teori adalah finitary. Gödel menunjukkan bahwa menurutnya jika S
menjadi sistem formal untuk nomor teori dan jika S adalah konsisten, maka ada
kalimat, G, seperti bahwa baik G maupun negasi dari G adalah Teorema dari S, dan
dengan demikian, himpunaniap sistem formal memadai untuk menyatakan
theorems dari nomor teori harus lengkap. Gödel menunjukkan bahwa S dapat
membuktikan P (n) hanya dalam kasus n adalah Gödel-nomor yang Teorema
dari S; maka di sana ada k, sehingga k adalah Gödel-jumlah rumus P (k) = G dan
pernyataan ini kata dari dirinya sendiri, tidak dapat dibuktikan. Menurut Gödel,
bahkan jika kita mendefinisikan sebuah sistem formal baru S = S
+ G, kita dapat menemukan G yang tidak dapat dibuktikan di S, dengan demikian,
S dapat membuktikan bahwa jika S adalah konsisten, maka G tidak dapat
dibuktikan. Gödel menjelaskan bahwa jika S dapat membuktikan cst (S), maka S
dapat membuktikan G, tetapi jika S adalah konsisten, tidak dapat membuktikan
G, sehingga tidak dapat membuktikan konsistensi. Dengan demikian, Program
Hilbert tidak bekerja, satu tidak dapat membuktikan konsistensi teori matematika.
Namun, Folkerts menunjukkan bahwa Gentzen melihat Teorema ketidak
lengkapan Gödel dan bertanya-tanya mengapa
sistem formaluntuk aritmatika sangat lemah bahwa itu tidak
dapat membuktikan konsistensi sendiri. Menurut Gentzen, penyempitan alami pada
bukti adalah bahwa mereka adalah daftar terbatas laporan, karena itu, Gentzen
menawarkan teori aritmatika yang kemudian memungkinkan bukti konsistensi
dari sistem formal dari aritmatika; di mana ia memperkuat aksioma induksi
matematika , yang memungkinkan sebuah aksioma induksi kuat. Sementara
induksi tradisional mengasumsikan domain memiliki tipe
ketertiban; Namun Gentzen mengasumsikan bahwa domain memiliki
jenis, agar lebih rumit lebih tinggi.

Di sisi lain, Folkerts menemukan bahwa Alan Turing mendefinisikan fungsi sebagai
program untuk untuk menghitung dengan mesin sederhana di mana fungsi ini sama
dengan apa yang Gödel pikirkan. Menurut Alan Turing, semua definisi dari fungsi
yang berbeda dapat dihitung dengancara membuat himpunan yang sama dengan
fungsi yang ada. Fungsi dapat dihitung karena yang paling banyak cara untuk
program mesin Turing dan jumlah fungsi yang mungkin dapat ditetapkan,
sehingga fungsi dapat ditentukan secara teoritis sebagai sebuah pengecualian.
Alan Turing menunjukkan bahwa fungsi adalah relasi yang tak terhitung yang
menghasilkan output yang tergantung pada variabel acak.

Podnieks, K., 1992, menyatakan bahwa dalam hal paradoks Himpunan dari
Russell, maka penyelesaiannya dapat diturunkan dari himpunan yang bukan anggota
sendiri. Podnieks, K.,
1992, menunjukkan bahwa teori tersebut sekarang sedang ditantang sebagai
teori dasar matematika dan teori kategori diusulkan sebagai
pengganti,dalam teori kategori, dikembangkan pengertian dasar
fungsi dan operasi. Namun, Posy, dalam hal pertanyaan ontologis, bertanya-
tanya seberapa akurat gagasan bahwa himpunan adalah objek dasar matematika,
sedangkan teori yang dihimpun terlalu kaya dan ada cara yang berbeda terlalu
banyak untuk membangun matematika. Posy berpendapat bahwa elemen dasar
tidak boleh sembarang dipilih, namun tidak menentukan pilihannya, dan
menunjukkan bahwa, dalam pandangan modern tentang strukturalisme, unit dasar
adalah struktur, yang bukan benar-benar objek. Folkerts, M, 2004, bersikeras
bahwa program Hilbert masih memiliki pembagian antara bagian real dan ideal
matematika, ia khawatir tentang status ontologis dari objek di bagian ideal
matematika dan mereka hanya diciptakan untuk memberikan bagian yang ideal, dan
memberi kita jalan pintas, tetapi tidak pernah diyakini menjadi bagian dari realitas. ,
Dan dia bertanya-tanya tentang sumber pengetahuan matematika dan kebenaran
matematika yang meliputi adanya objek yang ada, dan benda-benda yang tidak ada:
dia juga peduli bahwa ini memberi kita sebuah dunia dari obyek virtual,
menyelesaikan dualisme objek Folkerts. Namun, seperti Folkerts katakan,
Paulus Benacerraf menjelaskan dilema ini dengan memberikan pertanyaan-
pertanyaan tentang teori standar kita tentang pengetahuan atau kebenaran;
menurut Benacerraf, ada semacam teori korespondensi antara pengetahuan kita
dengan benda-benda sehingga membangun kemampuan kognitif kita melalui indera
kita, dan kita membentuk kepercayaan melalui interaksi sebab-akibat antara objek
yang kita pikirkan dengan pikiran kita; di mana kaum formalis dan kaum
Platonis mengalami kesulitan melengkapi tentang hal ini.
Stefanik, R., 1994, bersikeras bahwa menurut Bernaceraf, ini menyebabkan
strukturalisme menganggap bahwa bilangan asli, adalah bentuk urutan, oleh
karenanya, jika matematika benar-benar abstrak, mengapa harus memiliki
penerapan tertentu? Apakah hanya sebuah
"keajaiban" bahwa matematika berlaku untuk dunia fisik, atau, sebaliknya, kita
cenderung menekankan struktur matematika yang berhubungan dengan dunia? Hal ini
dipersulit dengan berbagai aplikasi baru untuk metode matematika, misalnya
penerapan teori grup untuk linguistik. Selanjutnya, Posy mencatat
bahwa kaum strukturalis berpendapat bahwa matematika bukanlah
tentang beberapa himpunan tertentu dari objek abstrak melainkan matematika
adalah ilmu tentang pola struktur, dan benda-benda tertentu yang relevan dengan
matematika sejauh mereka memenuhi beberapa pola atau struktur. Posy
bersikeras bahwa berbagai versi strukturalisme telah diusulkan oleh
matematikawan smisalnya Benacerraf, Resnik, Shapiro, dan Hellman. Benacerraf,
seperti yang menyatakan oleh Stefanik, R., 1994, berpendapat untuk posisi
strukturalis dengan terlebih dahulu menyajikan contoh di mana kaum Logicist
bersifat sangat militan, seperti Ernie dan Johnny, pertama belajar teori logika dan
himpuna dan bukan belajar teori bilangan. Benacerraf mengatakan:
Ketika datang untuk belajar tentang angka, mereka hanya belajar nama-nama
baru untuk himpunan dan anggotanya. Mereka menghitung anggota dari
suatu himpunan dengan menentukan kardinalitas dari himpunan, dan mereka
menetapkan ini dengan menunjukkan bahwa terdapat hubungan khusus antara
himpunan dan angka.
Stefanik, R., 1994, menunjukkan bahwa Benacerraf berpendapat bahwa
keyakinan Frege berasal dari ketidakkonsistenannya, karena semua benda alam
semesta adalah himpunan. Pertanyaan apakah dua nama memiliki referen yang
sama selalu memiliki nilai kebenaran?, Namun, kondisi membuat identitas hanya
dalam konteks di mana terdapat kondisi yang unik. Benacerraf menyatakan bahwa
jika sebuah kalimat "x = y" adalah Benar, hal ini dapat terjadi hanya dalam konteks
di mana jelas bahwa kedua x dan y adalah Benar. Stefanik bersikeras bahwa
pencarian untuk objek dasar alam semesta yang matematis, adalah usaha yang keliru
yang mendasari teori kaum Absolutist dan pengikut filsafat platonis. Ia mencatat
bahwa hal ini tidak menggoyahkan pendirian Benacerraf; karena menurut
Stefanik, Benacerraf masih menegaskan logika yang kemudian dapat dilihat
sebagai logika yang paling umum dari disiplin ilmu, yang berlaku dengan cara
yang sama untuk dan dalam teori yang diberikan. Thompson, P., 1993, menyatakan
bahwa para filsuf matematika memiliki, selama ribuan tahun, berulang kali
keterlibatan dalam perdebatan tentang paradoks dan kesulitan mereka dalam
melihat fenomena yang muncul dari tengah-tengah keyakinan mereka yang kuat dan
intuitif. Dari munculnya Geometri non-Euclidean, analisis teori kontinum, dan
penemuan Cantor tentang bilangan transfinite, sistem Frege, matematikawan
kemudian menyuarakan keprihatinan mereka bagaimana kita secara serampangan
telah memikirkan sesuatu yang asing, dan dengan liar memperpanjang persoalan
matematika kita dengan intuisi, atau kalau tidak kita telah menjadi rentan terhadap
perangkap yang tak terduga dan sampai sekarang, dengan apa yang disebut
kontradiksi. Thompson menunjukkan bahwa di jantung perdebatan ini terletak tugas
mengisolasi intuisi macam apa, dan memutuskan kapan kita harus sangat berhati-
hati bagaimana menerapkannya, namun, mereka yang mencari kepuasan
dasar epistemologis tentang peran intuisi dalam matematika sering dihadapkan dengan
pilihan yang tidak menarik, antara metafisika yang berasal dari Brouwer, dan
pengakuan mistis Gödel dan Platonis bahwa kita secara intuitif dapat membedakan
ranah kebenaran matematika. Hal ini menunjukkan bahwa, dalam hal dasar,
matematika dianggap sebagai ilmu logis, bersih terstruktur, dan cukup beralasan
atau singkatnya dalam matematika adalah ilmu logis yang sangat terstruktur,
namun jika kita menggali cukup dalam dan dalam penyelidikan yang mendalam,
kita masih menemukan beberapa hal yang menjadi perdebatan filsafat. Ini adalah
kenyataan bahwa, dalam hal sejarah matematika, berbagai macam sejarah
matematika yang datang, dimulai di Yunani kuno, berjalan melalui pergolakan
menuju masa depan yang keluar, sedangkan dalam hal sistem pondasi logis
matematika, metode matematika adalah deduktif, dan oleh karena itu logika
memiliki peran mendasar dalam pengembangan matematika.

Beberapa masalah masih muncul: dalam hal makna, kita bertanya-tanya tentang
penggunaan bahasa khusus untuk berbicara tentang matematika, apakah bahasa
matematika merupakan hal-hal aneh dan muncul dari dunia ini dan apa artinya semua
ini, dan kemudian, apakah arti hakikinya? kita mungkin bertanya-tanya apakah
matematikawan berbicara tentang hal yang aneh, apakah mereka benar-benar ada,
dan bagaimana mereka dapat kita katakan atau apakah yang dikatakannya penting?.
Secara epistemologis, matematika telah sering disajikan sebagai paradigma ketepatan
dan kepastian, tetapi beberapa penulis telah menyarankan bahwa ini adalah ilusi
belaka. Bagaimana kita bisa mengetahui kebenaran dari proposisi matematika,
dan dalam hal aplikasi, bagaimana pengetahuan matematika yang abstrak dapat
diterapkan di dalam dunia nyata? Apa implikasi untuk matematika dari adanya
revolusi informasi;? Dan apa yang bisa matematika kontribusikan?. Thompson,
P., 1993, bersikeras bahwa analisis yang menggabungkan kepastian, kognitif
psikologis dari "intuisi" yang fundamental terhadap
dugaan dan penemuan dalam matematika, dengan kepastian epistemis dari peran
intuitif proposisi matematika harus bermain dalam pembenaran mereka . Dia
menambahkan bahwa sejauh mana dugaan intuitif kita terbatas baik oleh sifat
rasa pengalaman kita, dan dengan kemampuan kita untuk melakukan
konseptualisasi.
Litlangs 2004, menyitir ketidaksetujuan Aristoteles terhadap Plato; menurut
Aristoteles, bentuk fisik tidaklah jauh berbeda dengan penampilannya tetapi sesuatu
yang konkrit sajalah yang menjadi benda-benda dunia. Aristoteles menyatakan
bahwa ketika kita mendapatkan sesuatu yang abstrak, bukan berarti bahwa abstraksi
merupakan sesuatu yang jauh dan abadi. Bagi Aristoteles, matematika adalah hanya
penalaran tentang idealisasi, dan ia melihat dekat pada struktur matematika,
membedakan logika, prinsip yang digunakan untuk menunjukkan teorema, definisi
dan hipotesis. Plato juga tercermin pada tak terhingga, memahami
perbedaan antara potensi tak terbatas misalnya menambahkan satu ke bilangan
infinit misalnya tak terbatas. Bold, T., 2004, menyatakan bahwa kedua
intuisionis dan formalis meyakinkan bahwa matematika hanyalah penemuan dan
mereka melakukannya dengan tidak menginformasikan kepada kami dengan
apa-apa tentang dunia; keduanya mengambil pendekatan ini untuk menjelaskan
kepastian mutlak matematika dan menolak penggunaan bilangan infinit. Bold
mencatat bahwa intuitionists mengakui hal ini kesamaannya dengan formalis dan
menganggap perbedaan yang ada sebagai perbedaan pendapat di mana ketepatan
matematis memang ada; intuisionis mengatakannya sebagai kecerdasan manusia dan
formalis mengatakannya sebagai hanya coretan di atas kertas. Menurut Arend
Heyting, matematika adalah produksi dari pikiran manusia; ia mengklaim
intuitionism yang mengklaim proposisi matematika mewarisi kepastian mereka
dari pengetahuan manusia yang didasarkan pada pengalaman empiris. Bold
menyatakan bahwa sejak, infinity tidak bisa dipakai, intuisionis menolak untuk
mendorong penerapan matematika di luar infinisitas; Heyting menyatakan adanya
keyakinan terhadap transendental, yang tidak didukung oleh konsep, dan harus
ditolak sebagai alat bukti matematika. Demikian pula, Bold menemukan bahwa
Hilbert menulis bahwa untuk kesimpulan logis yang dapat diandalkan itu harus
memungkinkan untuk untuk dilakukannya survei terhadap kebenaran obyek dan
bagian-bagiannya, karena tidaklah ada survei untuk infinity yang dapat disimpulkan
dengan hanya mengandalkan pada sistem yang terbatas. Menurut formalis,
seluruh matematika hanya terdiri dari aturan sembarang seperti yang catur. Di sisi
lain, Posy, C., 1992, menemukan bahwa Hilbert benar-benar menempatkan struktur
pada bagian intuitif matematika, pada dasarnya bahwa pemikiran finitary dan sistem
formal; dengan pekerjaan Gödel 's. Thompson, P., 1993, berpendapat bahwa
Gödelian Platonisme, khususnya, yang memimpin pengalaman aktual melakukan
matematika, dan bilangan Gödel untuk kejelasan dari himpunan-aksioma dasar
teoritis dengan mengajukan suatu kemampuan intuisi matematika, analog dengan
persepsi indrawi dalam fisika, sehingga, mungkin, aksioma 'dipaksakan kepada
kita' sebanyak asumsi kekuatan 'diantara obyek fisik' sendiri kepada kita sebagai
penjelasan dari pengalaman fisik kita. Namun, Thompson sebaliknya menyatakan
bahwa telah mengakui peran keragu-raguan dalam penggunaan bahasa yang bila
diterapkan pada prinsip matematika menjadi aneh tapi nyata; berlawanan dengan
apa-apa yang terdapat pada kontinum dari intuitif palsu dan mencegah intuitif
yang benar benar,
tergantung pada kekuatan dugaan kita akan lebih cenderung untuk membuat
menentangnya, jika kita tidak melihatnya, dan telah dimenangkan oleh,
buktinya, dan memang, untuk mengejutkan kita, kita sering menemukan, pada
saat kita menjumpai paradoks, bagaimana intuisi kita lemah dan tak berdaya.
Thompson menyatakan bahwa gagasan tentang intuisi kita yang harus baik, tegas dan
benar, berasal teori yang menyatakan bahwa kemampuan indera merupakan
kemampuan primitif yang diwariskan dari gaya filsafat Rene Descartes yang
mencari kebenaran absolut tentang segala sesuai yang tidak tergoyahkan, yang telah
menolak semua pembenaran lainnya kecuali kebenaran diriyang menemukan bahwa
dirinya yang ada adalah dirinya yang sedang memikirkannya.
Di sisi lain, Posy, C., 1992, bersikeras bahwa sistem formal Hilbert sesuai dengan
teori fungsi rekursif. Posy bersikeras bahwa Brouwer itu sangat menentang ide-ide
ini, terutama sistem yang berpondasi, ia bahkan menentang formalisasi logika;
Brouwer memiliki pandangan yang sangat radikal tentang matematika dan
hubungannya dengan bahasa. Menurut Brouwer, dalam bahasa, kita dapat
berkomunikasi output dari konstruksi matematika, sehingga membantu orang
lain menciptakan pengalaman matematika, namun bukti itu sendiri adalah pra-
linguistik, aktivitas murni sadar yang jauh lebih fleksibel daripada bahasa.
Brouwer berpikir bahwa sistem formal tidak pernah bisa cukup untuk menutup
semua pilihan yang tersedia untuk matematika secara kreatif, dan berpikir bahwa
formalisme tidak ada gunanya. Posy mencatat bahwa, khususnya, Brouwer
berpikir bahwa hal demikian bukanlah suatu kegilaan untuk berpikir bahwa
logika digunakan untuk menangkap aturan untuk berpikir matematis secara benar.
Brouwer menunjukkan aturan tertentu bahwa logika tidak memadai untuk
mengembangkan metode berpikir dengan menunjuk hukum tengah yang dikecualikan.

Thompson, P., 1993, mencatat bahwa pandangan Brouwer tersebut dikarenakan

kepercayaannya bahwa penerapan logika tradisional ke matematika merupakan
fenomena sejarah, ia selanjutnya menyatakan bahwa oleh fakta bahwa, pertama,
logika klasik disarikan dari matematika yang merupakan himpunan dari himpunan
maka pastilah terbatas, kedua, bahwa eksistensi apriori independen dari
matematika dianggap berasal dari logika ini, dan akhirnya, atas dasar bahwa
keyakinan apriori, maka logika tidak dibenarkan diterapkan pada matematika.
Selanjutnya, Posy, C., 1992, menambahkan bahwa Brouwer bersikeras tentang
hipotesisnya mengapa filsuf dan ahli matematika perlu mengecualikan hukum
tengah; menurut Brouwer, logika telah dikodifikasikan ketika komunitas ilmiah
hanya peduli dengan benda-benda terbatas. Brouwer mengatakan bahwa, mengingat
hanya benda terbatas, hukum maka hukum tengah perlu dikecualikan, namun
kesalahan itu dibuat saat matematika pindah ke infinitary di mana aturan-aturan
kaku logika dipertahankan tanpa pertanyaan. Brouwer menyatakan bahwa tidak
ada kodifikasi kaku harus datang sebelum pengembangan matematika. Posy
menemukan bahwa perbedaan utama antara Brouwer dan Hilbert adalah bahwa
mereka tidak setuju pada posisi logika di mana Hilbert pikir logika adalah ilmu
pengetahuan, jadi yang otonom dapat secara bebas diterapkan pada
matematika lain, sedangkan Brouwer berpendapat tidak demikian.
Litlangs, 2004, menyatakan bahwa pertanyaan-pertanyaan mendalam tentang
bagaimana variasi kecerdasan menghadapi kesulitan dalam menjelaskan matematika
secara internal yaitu kesenjangan mereka, kontradiksi dan ambiguitas yang terletak
di bawah sebagian tertentu
dari prosedur, mengarah pada kesimpulan kasar bahwa matematika mungkin tidak
lebih logis dari puisi, melainkan hanya kreasi bebas dari pikiran manusia yang tidak
bertang-gungjawab untuk memaknai diri kita dan alam. Litlangs menyatakan
bahwa meskipun matematika mungkin tampak sebagai jenis pengetahuan yang
paling jelas dan tertentu dari pengetahuan yang kita miliki, ada masalah cukup
serius yang terdapat di setiap cabang lain dari filsafat tentang hakekat matematika
dan makna proposisi tersebut. Litlangs menemukan bahwa Plato percaya dalam
bentuk atau ide yang kekal, mampu mendefinisikan dengan tepat dan bebas dari
persepsi; antara entitas dan objek geometri seperti garis, titik, lingkaran, yang karena
itu tidak ditangkap dengan indra tetapi dengan logika, ia berhubungan dengan
obyek-obyek matematika dengan contoh-contoh spesifik dari bentuk ideal.
Menurut Plato, seperti yang dicatat oleh Litlangs, proposisi matematika yang
sejati dari hubungan antara obyek tak berubah, mereka pasti benar yang
menemukan matematika yang sudah ada sebagai kebenaran
"di luar sana" daripada menciptakan sesuatu dari mental kita sebagai
kecenderungan, dan sebagai objek yang dirasakan oleh indera kita, mereka hanya
merupakan contoh dan cepat berlalu dari ingatan kita.
Sementara itu, Litlangs 2004, menambahkanbahwa bahwa Leibniz menganggap
bahwa logika berjalan bersamaan dengan matematika, sedangkan
Aristoteles menggunakan proposisi dari bentuk predikat, yaitu subjek
dari logika, Leibniz berpendapat bahwa subjek berisi predikat yang adalah sifat
yang tak terbatas yang diberikan oleh Tuhan. Menurut Leibniz, proposisi
matematika tidaklah benar jika mereka berurusan dengan entitas kekal atau ideal,
tetapi karena penolakan mereka secara logika tidak mungkin, maka
proposisi matematika adalah benar tidak hanya untuk dunia ini, tetapi juga untuk
semua kemungkinan yang ada. Litlangs menyatakan bahwa tidak seperti Plato,
yang menanyakan untuk apalah sebuah bentuk fisik itu, sementara Leibniz
melihat pentingnya notasi, sebagai sebuah simbolisme perhitungan, dan
menjadi permulaan dari metode untuk membentuk dan mengatur karakter dan
tanda-tanda untuk mewakili hubungan antara pikiran matematika.
Litlangs 2004, mengungkapkan lebih lanjut bahwa Immanuel Kant menganggap
entitas matematika sebagai proposisi sintetik apriori-, yang tentu saja
memberikan kondisi yang diperlukan untuk pengalaman objektif; matriks ruang
dan waktu, dan wadah memegang bahan pengubah persepsi. Menurut Kant,
matematika adalah gambaran ruang dan waktu, jika terbatas pada pikiran, konsep-
konsep matematika diperlukan hanya konsistensi diri, tapi pembangunan konsep-
konsep tersebut melibatkan ruang yang memiliki struktur tertentu, yang oleh
Kant digambarkan pada geometri Euclidean. Litlangs mencatat bahwa bagi Kant,
perbedaan antara "dua" yang abstrak "dua piring" adalah tentang konstruksi logika
ditambah masalah empiris. Dalam analisisnya tentang infinitas, Kant menerima
pembedaan Aristoteles antara potensi tak terbatas dan potensi lengkap, tapi tidak
menganggap keduanya adalah mustahil. Kant merasa bahwa tak terhingga lengkap
adalah gambaran tentang alasan, secara internal konsisten, meskipun tentu saja tidak
pernah ditemui di dunia persepsi kita. Litlangs lebih lanjut menegaskan bahwa
Frege dan Russell dan pengikut mereka mengembangkan gagasan Leibniz bahwa
matematika adalah sesuatu yang secara logis tak terbantahkan; Hukum Frege
menggunakan logika ditambah definisi, dan merumuskan notasi simbolis untuk alasan
yang diperlukan. Namun, melalui rantai panjang penalaran, simbol-simbol ini
menjadi
kurang jelas, dan merupakan transisi yang dimediasi oleh definisi. Litlangs mencatat
bahwa Russell melihat mereka sebagai kemudahan notasi, langkah hanya dalam
argumen, sedangkan Frege melihat mereka sebagai menyiratkan sesuatu yang layak
dari pemikiran yang cermat, sering menyajikan konsep-konsep matematika
penting dari sudut yang baru. Litlangs menemukan bahwa sementara dalam
kasus Russell definisi tidak memiliki eksistensi objektif, dalam kasus Frege masalah
ini tidak begitu jelas bahwa adalah definisi adalah objek logis yang mengklaim
keberadaansama dengan entitas matematika lainnya. Litlangs
menyimpulkan bahwa, meskipun demikian, Russell menyelesaikan banyak
paradoks untuk membuat siatem Whitehead sebagai deskripsi yang monumental dari
Principia Mathematica.
Sementara itu, Thompson, P., 1993, yang merasa terpengaruh gerakan kritis dari
Cauchy dan Weierstrass telah menjadi hati-hati tentang penggunaan matematika yang
tak terbatas, kecuali sebagai Facon de Parler dalam menyimpulkan teori atau
mengambil batas, di mana matematika benar-benar dianggap berfungsi sebagai
metafora, atau kiasan, untuk menyatakan keadaan secara terbatas. Thompson ingin
membandingkan antara penyanyi dengan kerja seorang matematikawan Leopod
Kronecker. Matematikawan Jerman Leopold Kronecker, yang sudah memiliki
pengetahuan matematika kemudian berkehendak untuk menulis ulang teori
algebraic, dan bertujuan untuk menjatuhkan keyakinan Cantor itu, tentang logika
yang selama ini dia yakini tentang penyelesaian tak terbatas yang sempurna
signifikan. Menurut Thompson, penyanyi telah mendesak lebih lanjut bahwa kita
harus sepenuhnya siap untuk menggunakan kata-kata yang akrab dan lazim
dalam konteks yang sama sekali baru, atau dengan mengacu pada situasi yang
sebelumnya dengan tidak mempertimbangkannya terlebih dulu; bahwa penyanyi
telah dengan membabi buta membuat skema terbatas dalam domain tak terbatas,
baik dengan cara menghubungkan kardinal atau kuantitas dalam himpunan
terbatas atau tak terbatas. Thompson bersikeras bahwa meskipun dia
mengakui kerja matematika menggunakan intuisi, tetapi adalah penting
untuk membuat pendekatan pendekatan heuristik. Thompson, P.,
1993, menjelaskan bahwa Gödel berpendirian bahwa intuisi kita dapat
digunakan untuk bekerja dalam domain yang sangat aksiomatis, seperti
perpanjangan ZF, atau kalkulus, sehingga memungkinkan kita untuk membuat
pertimbanganyang baik untuk menerima atau menolak hipotesis secara independen
dari pra-teori atau praduga tentang teori. Thompson menunjukkan bahwa Gödel dan
Herbrand, secara bersama-sama membuat klaim tentang demarkasi batas-batas
kemampuan intuisi. Thompson menyimpulkan bahwa Gödel, dengan
kemampuannya dalam logika transendental, senang berpikir bahwa logika kita hanya
sedikit tidak fokus, dan berharap bahwa terdapat kesalahan kecil sehingga masih
mampu melihat secara tajam dan mampu berpikir matematika secara benar. Namun
untuk hal ini, dia berbeda pandangan dengan Zermelo dan Hilbert. Thompson
menyatakan bahwa Hilbert tidak akan dapat meyakinkan kita bahwa matematika
itu bersifat konsistensi untuk selamanya, karena itu kita harus puas jika sistem
aksiomatis matematika seperti yang dibuat Hilbert dianggap konsisten, jika kita
tidak mampu membuktikannya.
Sementara itu, Turan, H., 2004, menjelaskan bahwa Descartes
membawa proposisi matematika ke dalam keraguan saat ia meragukan semua
keyakinan tentang hakekat akal sehat dengan mengasumsikan bahwa semua
keyakinan berasal dari persepsi tampaknya hanya

sampai pada anggapan awal bahwa masalah yang dihadapinya sebetulnya

adalah suatu keraguan tentang matematika, yaitu sebuah contoh dari masalah
keraguan tentang keberadaan zat. Turan berpendapat bahwa masalahnya bukan
apakah kita menghitung objek atau gambar yang sebenarnya kosong tapi apakah
kita menghitung apa yang kita menghitung dengan benar, ia berpendapat bahwa
karya Descartes adalah mungkin untuk mengekspos bahwa proposisi '2 +3 = 5
'dan argumen' Saya berpikir, maka saya ada, "sama-sama jelas. Menurut Turan,
Descartes tidak menemukan epistemologinya pada bukti proposisi matematika,
dan percobaan keraguan tampaknya tidak memberikan hasil positif untuk operasi
matematika. Menurut Turan, kesadaran melaksanakan proposisi matematika yang
tidak boleh untuk meragukannya, dan kesadaran melakukan operasi matematika
atau logika adalah contoh dari
"saya berpikir" dan karenanya argumen "Saya menghitung, karena itu aku ada 'setara
dengan' Saya pikir , maka saya ada '. Turan menunjukkan bahwa jika kita
berpendirian bahwa proposisi matematika tidak bisa menimbulkan kesulitan bagi
epistemologi Descartes yang menurutnya untuk membangun pada kesadaran
berpikir sendiri, maka dia tidak dapat dilihat untuk menghindari pertanyaan. Turan
menyimpulkan bahwa proposisi matematika dengan sendirinya tidak bermanfaat
jika mereka tidak boleh diragukan. Jika semua proposisi matematika kemudian
dapat diragukan oleh Rene Descartes, maka seluruh logika umum tentunya juga
akan diragukannya. Maka Rene Descartes kemudian menemukan bahwa hanya
terdapat satu saja hal yang tidak dapat diragukan yaitu kenyataan bahwa dirinya
itulah yang sedang meragukan. Oleh karena itu dia menyimulkan bahwa dia
ada karena berhasil meragukannya. Atau cogito ergosum, saya berpikir maka
saya ada. Tetapi kemudian Rene Descartes menemukan kenyataan bahwa dia
tidak mampu menjawab semua keraguan tersebut, maka dia menemukan bahwa
manusia, termasuk dia, adalah terbatas. Kemudian dia menyimpulkan pastilah ada
yang tak terbatas, yaitu diri Tuhan YME.

Turan, H., 2004, bersikeras bahwa hubungan antara persepsi dan matematika dapat
disangkal, bagaimanapun membatasi pikiran kita dengan konteks dimana
pengandaian ontologis filosofis untuk refleksi pada persepsi dipertaruhkan;
menurut dia, kita harus mencatat pentingnya persepsi terhadap sifat eksistensi
yang Descartes menganggap terutama untuk tujuan epistemologis. Turan
mencatat bahwa Descartes tampaknya meninggalkan argumen bahwa Tuhan
menipu untuk asumsi himpunan dan ini hipotesis terakhir tampaknya untuk
memanggil ke dalam keraguan eksklusif keyakinan terkait dengan keberadaan
dunia luar, karena itu, adalah mungkin untuk menyatakan bahwa Descartes
menyerah dalam mengejar pertanyaan tentang kebenaran penilaian matematika,
dan Descartes tampaknya memberkati adanya si jenius jahat yang semata-mata
dengan kekuatannys menipu pikirannya dalam hal yang berkaitan dengan penilaian
pada keberadaan hal-hal eksternal. Turan menemukan bahwa Descartes selalu
menganggap demonstrasi matematika antara kebenaran yang paling jelas bahwa
pikiran manusia dapat mencapai, dan menyebut mereka sebagai contoh benda
yang dapat berintuisi jelas dan jelas; Descartes merasa bahwa aritmatika dan geometri
bebas dari segala noda kepalsuan atau ketidakpastian. Menurut Descartes,
matematika yang bersangkutan dengan obyek begitu murni dan sederhana
bahwa mereka tidak membuat asumsi bahwa pengalaman mungkin
membuat tidak pasti, melainkan terdiri dalam
menyimpulkan kesimpulan melalui argumen rasional.

Selanjutnya, Turan, H., 2004, bersikeras bahwa Descartes memakai eksistensi

eksternal suatu obyek, untuk melakukan kegiatan deduksi dan intuisi sebagai
metode yang sah untuk memperoleh pengetahuan. Bagi Descartes, intuisi adalah
konsepsi pasti yang sederhana dari pikiran yang jernih dan penuh perhatian yang
berlangsung semata-mata dari cahaya argumen dan pada kepercayaan lebih pasti dari
deduksi, tapi pemikiran yang tidak epistemologis akan kalah dengan intuisi manusia
yang penuh perhatian. Descartes mengklaim bahwa meskipun matematika secara
ekstensif menggunakan metode deduksi, namun dia mengatakan bahwa deduksi
adalah metode tunggal yang sah dan memegang intuisi yang sangat diperlukan
sebagai alat untuk memperoleh pengetahuan matematika, dan proposisi matematika
memiliki tingkat yang sama dengan kepastian sebagai argumen cogito ontologis
yang pasti. Bagi Descartes matematika adalah invariabel sehubungan dengan
pengandaian ontologis, tapi begitu dibawa ke dalam konteks percobaan
keraguan terlihat bahwa itu mengandung implikasi ontologis penting
yang tampak sebagai objek matematika dan operasi
mengandaikan eksistensi. Lalu Descartes menyatakan bahwa:
Saya merasa bahwa saya sekarang ada, dan ingat bahwa saya telah ada selama
beberapa waktu, apalagi, saya memiliki pikiran berbagai yang saya bisa menghitung,
melainkan dalam cara-cara yang saya mendapatkan ide-ide dari durasi dan jumlah
yang saya kemudian dapat ditransfer ke lain hal. Adapun semua elemen lain
yang membentuk ide-ide dari hal-hal jasmani, yaitu perluasan, bentuk, posisi dan
gerakan, ini tidak secara resmi terdapat dalam saya, karena saya hanyalah menjadi
pemikiran, tetapi karena mereka hanya mode suatu zat dan saya substansi,
tampaknya mungkin bahwa mereka yang terkandung dalam diriku nyata.
Selanjutnya, Turan, H., 2004, menegaskan bahwa ketergantungan fungsional dan
ontologis jumlah dan universal lain, membuat cogito di mana sebuah contoh
pemikiran di mana kedua bukti dan kepastian ontologis dapat dicapai dalam satu
langkah; epistemologis sebelum proposisi matematika yang mungkin , itu dianggap
terpisah dari konteks percobaan keraguan dan terlihat untuk mewujudkan bukti.
Menurut Turan, "saya menghitung, karena itu aku
'adalah epistemologis setara dengan' Saya berpikir, maka saya '; kedua argumen
kebal untuk diragukan, namun si jenius jahat memang bisa membuat saya salah
karena saya menghitung pikiran saya atau penampilan, tetapi tidak bisa menipu saya
dalam kesimpulan saya menarik adanya fakta bahwa saya menghitung sudah
cukup untuk membuktikan bahwa aku ada terlepas dari apakah saya
menghitung atau menambahka atau melakukan operasi matematika
secara keliru. Turan menyimpulkan bahwa situasi ontologis didirikan oleh
eksperimen keraguan Cartesian telah membawa kendala epistemologis
yang serius; eksperimen menemukan bahwa sarana
epistemologis memungkinkan kita untuk mempekerjakan untuk pindah secara
ontologis lebih lanjut, tentulah harus menjadi salah satu sumber daya yang tepat
dari situasi ontologis yang telah membatasi dirinya untuk tujuan epistemologis,
dalam kata lain, standar epistemologis eksperimen harus sesuai dengan yang
ditentukan oleh pengaturan ontologis percobaan keraguan. Turan mencatat bahwa
eksperimen menemukan nya sendiri dengan hal-hal yang bisa kita sebut persepsi
atau pikiran, di sebuah sudut pandang dari mana dia membuktikan kejadian persepsi
dan pikiran dan tidak bisa tahu dengan baik bagaimana mereka dibeli, sedangkan
Descartes karena itu bisa tergantung hanya pada berpikir bahwa ia memiliki
persepsi atau pikiran dalam penyelidikan epistemologis
untuk mendirikan sebuah kepastian yang tidak dapat dipengaruhi oleh
argumen dari percobaan keraguan.
Podnieks, K., 1992, menguraikan bahwa sebelum Kant, matematika dipandang
sebagai dunia empiris, tetapi khusus dalam satu cara penting yang sifat yang
diperlukan dunia ditemukan melalui bukti matematika, namun untuk membuktikan
sesuatu yang salah, seseorang harus menunjukkan hanya bahwa dunia mungkin
berbeda. Dalam hal masalah epistemologis, Posy diberitahu bahwa ilmu pada
dasarnya merupakan generalisasi dari pengalaman, tetapi hal ini dapat memberikan
hanya pilihan saja, sifat yang mungkin dari dunia yang itu bisa saja sebaliknya.
Di sisi lain, ilmu pengetahuan hanya memprediksi bahwa masa depan akan
mencerminkan masa lalu, sedangkan matematika adalah tentang dunia
empiris, tetapi biasanya metode untuk pengetahuan berasal dari pengetahuan
kontingen, bukan keharusan bahwa matematika murni memberi kita, dalam
jumlah, Posy menyimpulkan bahwa Kant ingin pengetahuan yang
diperlukan dengan pengetahuan empiris. Posy kemudian
menguraikan langkah yang dilakukan oleh Kant dalam memecahkan masalah dalam
beberapa langkah: pertama, bahwa obyek dalam dunia empiris merupakan
penampakan atau fenomena di mana, secara alami, mereka hanya memiliki sifat
bahwa kita mengenal mereka dari pengalaman, mereka bukanlah hal dalam
diri mereka. Posy menemukan bahwa Kant mengatakan kita harus menjadi
seorang idealis di mana sifat dari obyek adalah hanya apa yang dipahami, tidak
ada sifat obyek yang berada diluar pengalaman kita. Kedua, Kant menyarankan
untuk membangun ke dalam pikiran kita dua bentuk intuisi dan persepsi
sehingga setiap persepsi yang kita miliki adalah terbentuk oleh bentuk Ruang
dan Waktu, menurut Kant,ini, sebenarnya, bagian dari pikiran, dan bukan sesuatu
pikiran mengambil dari pengalaman; dan dengan demikian, objek empiris selalu
bersifat spasio-temporal.

Selanjutnya, Posy, C., 1992, menunjukkan bahwa, menurut Kant, kita mengenal sifat
spasio- temporal dengan cara a priori, dan dalam mempelajari sifat spasio-
temporal, kita hanya mempelajari diri kita sendiri, dan kemampuan persepsi kita.
Menurut Kant, matematika hanyalah ilmu yang mempelajari sifat spasio-temporal
dari objek dengan mempelajari sifat ruang dan waktu; dan dengan demikian,
matematika adalah belajar dari bentuk abstrak persepsi. Dalam hal ide ke
takhinggan maka hukum-hukumnya tidak tunduk pada persepsi, Kant, seperti yang
ditunjukkan oleh Posy, membuat perbedaan antara intuisi empiris yaitu intuisi
dari indera yang selalu terbatas dan intuisi murni. Posy menunjukkan bahwa
studi tentang kemungkinan intuisi empiris di mana batas yang terbatas tidak
diperkenalkan di kedua arah, dan matematika tidak menangani hal
ini. Menurut Kant matematika memungkinkan membagi interval
kecil dan perluasan interval besar, ini berarti kita bisa mendiskusikan jumlah
yang lebih kecil dan lebih kecil tanpa memperkenalkan jumlah terkecil
misalnya jika kita ingin membuktikan interval ini dibagi, kita dapat melakukan ini
dengan memilih interval; menunjukkan itu habis dibagi, dan abstrak dari ukuran
sebenarnya, dan biarkan mewakili gagasan interval dipahami.
Kant menyatakan bahwa matematika murni, sebagai kognisi a priori, hanya mungkin
dengan mengacu pada benda selain yang diindra, di mana, di dasar intuisi empiris
mereka terletak sebuah intuisi murni (ruang dan waktu) yang a priori. Kant
mengklaim bahwa ini mungkin,
karena intuisinya yang terakhir tidak lain adalah bentuk sensibilitas belaka, yang
mendahului penampilan yang sebenarnya dari objek, dalam hal ini, pada
kenyataannya, membuat mereka mungkin; namun ini merupakan kemampuan
berintuisi a priori yang mampu memahami fenomena non fisik. Kant
menggambarkan bahwa dalam prosedur biasa kita memerlukan pengetahuan
geometri, bahwa semua bukti tentang similaritas dari dua benda yang diberikan
akhirnya akhirnya diperoleh; yang ternyata tidak lain bahwa bukti itu sampai
pada intuisi langsung, dan intuisi ini harus murni, dan bersifat a priori. Jika
proposisi tidak mempunyai kebenaran matematika yang tinggi, maka hal tersebut
tidak dapat disimpulkan dari hanya memperoleh kepastian empiris saja. Kant lebih
jauh menyatakan bahwa di mana-mana ruang memiliki tiga dimensi, dan pada suatu
ruang berlaku dalil bahwa tidak lebih dari tiga garis lurus dapat memotong pada
sudut yang tepat di satu titik.
2.3 SEJARAH PERKEMBANGAN MATEMATIKA

Sering disebut bahwa matematika adalah bahasa dari alam semesta,matematika

adalah dasar bagi pemahaman kita tentang dunia. Matematika memegang peranan
penting bagi kemajuan peradaban manusia. Sejarah perkembangan ilmu matematika
berkembang sesuai jamannya. Sebagai contoh, pada tahun 2000 SM sampai denmgan
300 M,telah muncul ilmu hitung,geometri,dan logika. Selanjutnya, pada tahun 300 SM
sampai dentgan 1400 M berkembang teori bilangan,geometri analitik,aljabar,dan
trigonometri. Serta sejarah perkembangan ilmu pengetahuan sampai abad ke-20 yang
melahirkan imu dan logika maematika,geometri non euclid,dan lain-lain.

Kini, ilmu matematika digunakan di seluruh dunia sebagai alat penting di

berbagai bidang, termasuk ilmu pengetahuan alam,rekayasa medis dan ilmu
pengetahuan sosial seperti ilmu ekonomi dan psikologi.

Perkembangan ilmu matematika tidak lepas dari lahirnya para matematikawan

pada zamannya. Beberapa dari ilmuwan matematika tersebut memiliki peran penting
sebagai penemu konsep-konsep matematika dasar. Mereka mengemukakan teori-teori
serta rumus-rumus yang berguna bagi perkembangan ilmu matematika di kemudian
hari. Salah satu matematikawan besar yang lahir pada abad 300 Sm adalah Euclid,dia
dianggap sebagai bapak geo,etri dan opus magnum dengan “element-nya”, yang
merupakan salah satu karya metematika terbesar dalam sejarah.

Selanjutnya, dunia juga mengenal Al-Khawarizmi, seorang matematikawan yang

juga seorang pemikr muslim yang menghasilkan karya terbaik dalam bidang aljabar.

Di Yunani, ada matematikawan besar lain yang mengemukakan teorema

pythagoras sesuai dengan namanya Pythagoras. Pythagoras hidup di tahun 570-495
SM.D i samping itu, dunia ilmu pengetahuan juga mengenal bapak dari ilmu kalkulus
yakni Sir Isaac Newton dan Leibniz, yang merupakan penemu dari kalkulus modern.

Kemudian ada Leonardo Pisano Blogollo yang biasanya dikenal dengan

Fibonacci. Fibonacci adalah salah satu matematikawan besar terbesar abad pertengahan.
Sementara itu, ada pula ilmuwan yang masih hidup hingga saat ini, Andrew Wiles.
Andrew Wales terkenal untuk bukti tentang teorema terakhir fermat.

Beberapa ilmuwan matematikawan besar yang tercatat dalam perkembangan ilmu

matematika te;lah mengilhami para ilmuwan di generasi selanjutnya untuk membuta
temuan-temuan matematika baru yang kemudia akan melahirkan karya-karya besar di
abad modern, termasuk salah satunya adalah karya besar berupa komputer yang sampai
saat ini terus berkembang.

Di dunia ini terdapat banyak sekali sejarah, bahkan bisa terjadi di sekitar kita.
Salah satunya adalah sejarah ilmu matematika. Sejarah dalam bidang matematika juga
bermacam-macam, seperti sejarah perkembangan matematika di berbagai daerah,
penemuan-penemuan dalam bidang matematika dan lain-lain.

Sejarah perkembangan matematika berkembang sesuai zamannya. Sebagai

contoh, pada tahun 2000 SM sampai 300 M telah berkembang Ilmu Hitung, Geometri
dan Logika. Pada tahun 300 M sampai 1400 M telah berkembang Teori Bilangan,
Geometri Analitik, Aljabar dan Trigonometri. Serta sejarah perkembangan ilmu
matematika sampai abad ke-20 yang melahirkan Logika Matematika, Geometri non
Euclid dan lain-lain.

Dalam perkembangannya, terdapat perselisihan pendapat antara para ahli matematika,

yaitu tentang apakah objek-objek matematika muncul secara objektif di alam menurut
kemurnian logikanya, atau apakah buatan manusia dan terpisah dari kenyataan.
Benjamin Peirce menyebut ilmu matematika sebagai ilmu yang menggambarkan
simpulan-simpulan yang penting. Sedangkan Albert Einstein, menyatakan bahwa sejauh
hukum-hukum matematika merujuk pada kenyataan, tidak pasti, dan jika pasti tidak
merujuk pada kenyataan.

Sekarang, ilmu matematika digunakan di seluruh dunia di berbagai bidang,

seperti ilmu pengetahuan alam, rekayasa, medis, dan ilmu pengetahuan sosial seerti
ekonomi dan psikologi. Matematika terapan menginspirasi dan membuat penggunaan
temuan-temuan matematika baru, dan kadang-kadang juga mengarah pada
pengembangan disiplin-disiplin ilmu yang sepenuhnya baru.

Secara umum, semakin kompleks suatu gejala matematika, semakin kompleks

pula alat yang melalui berbagai perumusan (model matematikanya) diharapkan mampu
untuk mendapatkan atau sekedar mendekati penyelesaian eksak seakurat-akuratnya.
Jadi, tingkat kesulitan suatu jenis atau cabang ilmu matematika buka disebabkan oleh
jenis atau cabang matematika itu sendiri, melainkan disebabkan oleh sulit dan
kompleksnya gejala yang penyelesaiannya diusahakan dicari atau didekati oleh
perumusan (model matematikanya) dengan menggunakan jenis atau cabang matematika
tersebut.

(http://www.masbied.net/2010/06/04/sejarah-perkembangan-matematika/),

Menurut Abidin

kemajuan peradaban manusia sangat dipengaruhi oleh kemajuan penerapan

matematika oleh kelompok manusia itu sendiri. Walaupun peradaban manusia berubah
dengan pesat, namun bidang matematika terus relevan dan menunjang pada perubahan
ini. Matematika merupakan objek yang paling penting di dalam sistem pendidikan di
seluruh negara di dunia ini. Negara yang mengakibatkan pendidikan matematika
sebagai prioritas utama akan tertinggal dari segala bidang, disbanding dengan negara-
negara  lain yang memberikan tempat bagi matematika sebagai subjek yang sangat
penting. Seperti kita ketahui dari negara kita, sejak sekolah dasar sampai universitas
syarat pengajaran matematika sangat dibutuhkan terutama dalam bidang lain dan teknik.
Tidak tertutup juga untuk  ilmu-ilmu sosial seperti ekonomi yang membutuhkan analisis
kuantitatif untuk  membantu membuat keputusan yang lebih akurat berdasarkan data-
data pelajar yang mempunyai nilai yang baik dalam matematika biasanya tidak akan
mempunyai masalah apabila dia akan melanjutkan studi ke perguruan tinggi, baik itu
bidang lain, teknik maupun sosial.

Untuk  bidang lain, matematikalah dan statistic adalah ratunya. Secara

umumnya, sistem pendidikan tidak akan mantap jika pelajaran-pelajaran mahasiswa-
mahasiswa di perguruan tinggi lemah dalam menguasai matematika.

Status ahli matematika zaman dahulu adalah tinggi dan selalu menjadi panutan
masyarakat. Ahli matematika mempunyai keahlian di berbagai bidang dan mudah
untuk  menangani dan melaksanakan tugas yang diberikan. Karena itu matematika dapat
dikatakan sebagai tolak ukur kegemilangan intelektual suatu bangsa, yang artinya suatu
bangsa yang memasyarakatnya menguasai matematika dengan baik akan dapat bersaing
dengan bunga lain atau jatuh bangunnya suatu bangsa sangat ditentukan oleh
penguasaan bangsa tersebut akan matematika.

Perkembangan matematika dapat ditinjau dari dua segi ialah pertama, dari segi
perkembangan matematika dalam kelompok ilmu matematika. Kedua, peranannya
dalam ilmu pengetahuan baik eksakta maupun sosial.
 Bila dilihat secara ringkas perkembangan matematika dalam kehidupan sosial,
sejak dikenalnya sejarah kehidupan peradaban manusia menurut “Brifits dan Hawsen
(1974)” dibagi dalam 4 tahap:

Mesir Kuno (Babylonia dan Mesopotania); matematika telah dipergunakan dalam

perdagangan, peramalan dalam musim pertanian, teknik pembuatan bangunan air.

Peradaban Yunani Kuno; matematika digunakan sebagai cara berpikir nasional

dengan menerapkan langkah-langkah dan definisi tertentu tentang hal-hal yang
berhubungan dengan matematika. Pada saat itu kira-kira 300 SM Endid dalam bukunya
menyajikan secara sistematis berbagai postulat defenisis dan teorema.

Arab, Cina dan India pada tahun 1000 telah mengembangkan ilmu hitung dalam
aljabar bahkan kata aljabar dari bahasa Arab algebria. Pada saat itu telah didapatkan
cara perhitungan dengan angka 0 dan cara menggunakan decimal untuk  kepraktisan
cara aljabar

Zaman renaisme matematikalah modern telah diterapkan antara lain kalkulus dan
defensial. Pada abad 18 terjadi revolusi industri, berkembang ilmu ukur  non Emelid
oleh Ganes (1777-1855) dan oleh Einstein dikembangkan lebih lanjut dari teori
relativitani.

Dari segi ilmu itu sendiri maka dapat dipelajari dari beberapa tahap sebagai
berikut:

Yunani 300 SM telah ditetapkan bahwa fakta-fakta matematika James dibangun

tidak dengan langkah-langkah empiris tetapi dengan penalaran deduktif. Kesimpulan
matematika harus dicapai dengan demonstrasi   yang logis. Beberapa ahli matematika
yang merupakan pelopor pada saat itu:

Phytagoras lahir  572 SM: menyempurnakan geometri

Plato pengikut aliran phytagoras: matematika harus dilandasi oleh keyakinan

bahwa matematika merupakan bidang latihan yang paling baik untuk  berpikir, untuk 
senam otak.

Archimedis 287 – 212 SM: menggunakan metode matematika untuk  penulisan

tentang teori mekanika sehingga beliau dijuluki sebagai ahli matematika di sepanjang
masa.
 Abad ke-15 permulaan zaman renaissance di Eropa dengan ditandai
berkembangnya ilmu hitung, aljabar, dan higonoetri yang mewarnai perdagangan,
pelayaran astronomi dan penelitian.

Abad ke-16 penerimaan tentang penyelesaian aljabar dengan persamaan kuadrat dan
derajat tiga

Abad ke-17 Napier memperkenalkan ciptaannya logaritma, Harold, and Oughted

mendukung notani dan kodifikasi aljabar. Galileo menemukan ilmu dinamika, kapler
menemukan hukum tentang gerakan plante. Hormat, meletakkan dasar teori bilangan
moder. Huggens memberikan kontribusi biaya teori probability. Newton dan Leibris
memperkenalkan kalkulus atau banyak bidang baru yang luas sebagai awal lahirnya
matematika modern.

Pada tahun 1830 George Peacock mempelajari prinsip-prinsip aljabar secara

serius hasil pengembangan dasar-dasar aljabar yang dibuat oleh Agustus de Morgen.
Aljabar modern pertama kali diperkenalkan oleh Garret Birkoff dan Sauders Maedame
dari Amerika yang kaya dan penuh dengan sistem matematika. Aljabar matrik
digunakan pertama kali oleh Arthur Cayley 1857 di Inggris, dalam kaitannya dengan
tranformasi linear.

Penerapan teori set atau himpunan yang merupakan hubungan matematika

dengan geologi serta logika oleh George Cantor (1845-1918) merupakan awal
perkembangan pesat matematika.

Peranan Matematika dalam Keilmuwan

Dalam bidang keilmuwan matematika adalah simbol yang dipergunakan untuk 

berkomunikasi dengan cermat dan cepat dalam hal berkomunikasi ilmiah matematika
dapat sebagai raja yang didambakan namun juga sebagai pelayanan berbagai pihak.
Sebagai raja karena merupakan bentuk tertinggi dalam proses berpikir sedangkan
berbagai pelayanan karena merupakan sistem organism ilmu yang bersifat logika namun
juga sebagai model.

Matematika juga sebagai dasar dalam segala perhitungan maupun statistic, karena
matematika mengarahkan pada apa yang akan diobservasikan, mengklasifikasikan, dan
mengaktifkan perhitungan mendukung fakta dan menentukan data apakah yang dapat
diobservasi atau tidak.
 Kiranya dapat dikatakan bahwa dalam bidang keilmuan, matematika dapat
dikatakan sebagai tolak ukur kegemilangan intelektual. Artinya jatuh tangannya suatu
negara atau kemampuan dengan masyarakat lain sangat dipengaruhi oleh penguasaan
mereka akan matematika. Adapun alasan-alasan adalah sebagai berikut:

Matematika adalah merupakan bahan yang dapat melambangkan serangkaian

makna atau pernyataan, dengan sederhana, ekonomis dalam kata-kata yang jelas dan
singkat.

Matematika sebagai suatu proses yang berbentuk perhitungan-perhitungan dalam

desain teknik

Matematika sebagai ilmu karena berupa metode matematis untuk  inspirasi

pemikiran baik sosial maupun ekonomi.

Matematik yang teori yang akan memberi warna, terhadap kegiatan-kegiatan baik
teknis, seni, arsitek, maupun musik.

Dari pernyataan tersebut maka dapat dikatakan bahwa matematika memiliki

peranan benar yaitu untuk  latihan otak agar dapat berpikir logis, analisis dan sistematis
sehingga akan membawa seseorang, masyarakat atau bangsa ke arah keberhasilan.

Ciri-ciri Matematika

Berdasarkan adanya fakta-fakta yang secara langsung nampak dalam kehidupan

manusia sejak adanya matematika, maka para pionir matematika
memberikan/mengambil ciri-ciri khusus yang dimiliki oleh matematika sendiri.

@ Dalam penalaran (reasoning) dengan matematik harus digunakan metode deduktif

yang akan mampu menghasilkan kesimpulan yang dapat dipercaya, sehingga contoh
geometri sebagai berikut:

Kedua ruas suatu persamaan dengan bilangan yang sama maka hasilnya akan
tetap a = b + c bila ditambah X pada masing-masing ruas menjadi a + X = b + c + x.
Dengan dua titik akan dapat dibentuk suatu garis lurus. @ Matematik adalah merupakan
bahwa yang sangat simbolis artinya;

Simbol-simbol matematik singkat, persis tidak berubah-ubah dan mudah

dimengerti Lebih teliti namun banyak yang mempunyai arti yang tersamar.
 Matematik sebagai bahasa yang melambangkan serangkaian makna dari
pernyataan-pernyataan yang akan disampaikan dan akan menghilangkan sifat kufur
majemuk dn emosional dari bahasa verbal, kaulitatif, perjanjian yang berlaku khusus.
Sebagai bahasa numeric memungkinkan pengukuran kuantitatif untuk  membandingkan
sesuatu.

Dilihat dari perkembangan strukturnya, matematik akan makin kaya dengan

penemuan-penemuan baru pada setiap generasi. Pada awalnya matematik masih dalam
tahap sistematika artinya masih menggolongkan sifat empiris ke dalam kategori
mengenal dunia fisik, tahap komperatif disini mulai membandingkan antara obyek yang
satu dengan yang lain. Selanjutnya tahap kuantitatif mulai mencari hubungan sebab
akibat dari masing-masing obyek.

Peranan Matematika dalam IPA

Menurut perkiraan pada saat dimulainya manusia menulis sama dengan awal
dimulainya manusia berhitung kira-kira 1000 SM.  Tulisan merupakan simbol sedang
berhitung pada awalnya merupakan peraturan proyek yang dihitung. Matematik adalah
alat bantu untuk  mengotori sebagian permasalahan dalam permasalahan hidup manusia.

Tanpa matematika IPA tak akan berkembang karena IPA menggantungkan pada
metode induksi. Dengan induksi tak mungkin manusia  akan dapat mengukur jarak
antara bumi dan matahari.

Bahkan mengetahui keliling bumi pada zaman dulu tak mungkin. Ternyata
penggabungan antara metode induksi dan deduksi Erathotene 240 SM dapat
menghitung keliling bumi.

Contoh-contoh sumbangan matematika, terhadap IPA antara lain:

1. Hyparchus 100 dapat mengukur jarak dari bumi ke bulan yang diilhami oleh
ajaran Aristoteles menyatakan bahwa bumi, bulan dan matahari suatu serta garis
lurus
2. Aristoteles mengukur jarak bumi ke matahari hanya karena kesalahan teknis
perkiraannya meleset. Saat itu jarak bumi ke matahari 20 x jarak bumi ke bulan
sedang sebenarnya 400 kali.
3. Phytagoras menghitung benda-benda dengan segi banyak
4. Apolloeus menghitung benda yang bergaris lengkung
 5. Keppler (1609) menghitung jarak peredaran yang berbentuk elip dari planet-
planet
6. Gallileo (642) dapat menetapkan hukum lintasan gerak peluru, gerak dan
percepatan.
7. Hygens (1695) dapat memecahkan teka-teki atas artinya cincin saturnus,
perhitungan kecepatan cahaya 600.000 x kecepatan suara.

Dari gambaran tersebut tampak jelas bahwa perkembangan IPA sangat didukung
oleh matematika. Tanpa matematika orang tidak dapat menghitung kecepatan sinar,
tanpa mengetahui kecepatan sinar manusia tidak dapat mengukur jarak antara benda-
benda angkasa, lebih-lebih dengan diketemukannya teknologi komputer manusia
semakin jauh dapat mengetahui tentang IPA, bagaimana manusia akan dapat
mengendalikan pesawat angkasa dari jarak jutawan kamu dari bumi tanpa benturan
perhitungan matematika.

Asal Mula Bilangan Nol, Bilangan Prima dan Aljabar Matematika

http://akuyudhipblg.blogspot.com/2012_03_01_archive.html

Matematika merupakan disiplin ilmu yang mempunyai sifat yang khas jika
dibandingkan dengan disiplin ilmu yang lain. Matematika berkaitan dengan konsep-
konsep abstrak yang tersusun secara hierarkis dan penalarannya deduktif. Banyak sekali
keajaiban dan keunikan yang terdapat dalam matematika, yang dapat memicu
kreativitas dan kecerdasan, contohnya saja dalam teta-teki matematika/permainan
matematika.

Matematika juga memiliki sejarah. Sejarah matematika merupakan peyelidikan

terhadap asal mula penemuan yang terdapat dalam bidang matematika dan sedikit
perluasannya, penyelidikan terhadap metode dan notasi matematika pada masa lalu.
Sebelum zaman modern seperti sekarang, perkembangan matematika mengalami
puncaknya hanya di beberapa tempat saja.

Tulisan matematika tertua yang ditemukan adalah Plimpton 322 (matematika

Babilonia sekitar 1900 SM), Lembaran Matematika Rhind (Matematika Mesir sekitar
2000-1800 SM) dan Lembaran Matematika Moskwa (matematika Mesir sekitar 1890
SM). Semua tulisan tersebut berisi tentang teorema Pythagoras, yang menjadi
pengembangan matematika tertua yang paling tersebar luas setelah aritmatika dasar dan
geometri.

Selain sejarah matematika itu sendiri, terdapat juga sejarah bidang-bidang yang
ada dalam matematika termasuk sistem bilangannya. Misalnya, seperti sejarah aljabar
matematika, sejarah bilangan nol, sejarah bilangan prima, dan sebagainya. Berikut akan
dibahas mengenai sejarah dan perkembangan bidang-bidang matematika tersebut.

Pertama, kita akan membahas tentang Sejarah Bilangan Nol dan Penemunya

Dalam matematika modern seperti sekarang, nol sebagai bilangan sudah menjadi
hal yang biasa. Namun, nol tidak ditemukan dalam sistem bilangan yang paling kuno.
Pada masa Yunani dan Romawi Kuno nol bukan merupakan konsep dalam sistem
perhitungan. Bahkan sampai abad pertengahan, nol belum masuk pada sistem
perhitungan Eropa.

Angka nol ditemukan sekurang-kurangnya 3 kali secara terpisah. Saat itu,

kegunaannya adalah sebagai pengisi kedudukan dalam sistem perhitungan.

Pada awalnya, bangsa Babilonia tidak memiliki simbol untuk nol karena ruang
kosong antara bilangan-bilangan dianggap cukup sebagai pembatas. Tetapi, ruang
kosong tersebut dapat dengan mudah terabaikan atau disalahtafsirkan sehingga mereka
membuat simbol untuk nol untuk yang pertama kali. Bentuknya sedikit menyerupai
dengan nol sekarang. Namun, peradaban Babilonia mengalami kemunduran, begitu juga
dengan nol.

Bangsa Yunani Kuno memiliki sistem bilangan yang lebih rumit dibanding
bangsa Babilonia. Namun, mereka tidak mempunyai simbol untuk nol dalam sistem
bilangannya. Justru nol cenderung menimbulkan masalah bagi bangsa Yunani.

Konsep bilangan nol dan sifat-sifatnya terus berkembang. Hingga pada abad ke-7,
Brahmagupta, seorang matematikawan India memperkenalkan beberapa sifat bilangan
nol, seperti suatu bilangan jika dijumlahkan dengan nol akan menghasilkan bilangan itu
sendiri, demikian pula jika sebuah bilangan dikalikan dengan nol hasilnya adalah nol.

Namun, Brahmagupta mengalami kesulitan dan cenderung ke arah yang salah

ketika berhadapan dengan pembagian oleh nol. Dia menyatakan bahwa ‘sebuah
bilangan jika dibagi oleh nol adalah tetap’.
 Kesalahan ini kemudian diperbaiki oeh Bhaskara dalam bukunya ‘Leelavati’ yang
menyatakan bahwa ‘pembagian sebuah bilangan oleh nol adalah jumlah yang tak
terhingga’.

Dalam suku Indian Kuno, nol disimbolkan dengan sebuah lingkaran dengan titik
di dalamnya. Nol berasal dari bahasa Sansekerta ‘soonya’ yang berarti tidak ada atau
kosong.

Al-Khwarizmi, seorang matematikawan muslim dari Arab kemudian meneliti

sistem perhitungan Hindu (India). Dia menulis dalam bukunya Hisab Al-Jabr wa Al-
Muqabala Khowarizmi, ‘soonya’ sebagai ‘al-sifr’ atau ‘sifr’ dan membuat angka-angka
India populer.

Al-Khwarizmi adalah yang pertama kali memperkenalkan penggunaan bilangan

nol sebagai nilai tempat dalam basis sepuluh. Sistem ini disebut sistem bilangan
desimal. Selain itu, Al-Khwarizmi juga merupakan penulis kitab aljabar yang pertama.
Karyanya adalah Kitab Al-Jabr Wal Muqabalah, dimana istilah aljabar pertama kali
muncul dalam konteks disiplin ilmu.

Gudang Ilmu Pengetahuan yang kita ketahui berasal dari kawasan Eropa. Namun,
sejatinya Gudang Ilmu Pengetahuan berasal dari kawasan Timur Tengah, yaitu
Mesopotamia yang menjadi peradaban tertua di dunia.

Masyarakat dunia sangat mengenal Leonardo Fibonacci sebagai ahli matematika

aljabar.

Namun, dibalik kedigdayaan Leonardo Fibonacci sebagai ahli matematika

aljabar ternyata hasil pemikirannya sangat dipengaruhi oleh matematikawan Muslim,
Muhammad bin Musa Al-Khwarizmi. Dia adalah seorang tokoh yang dilahirkan di
Khiva (Iraq) pada tahun 780 M.

Dia kemudian menetap di Qutrubulli, Baghdad. Selain ahli dalam matematika,

Al-Khwarizmi juga seorang ahli geografi, sejarah dan juga seorang seniman. Karyanya
dalam bidang matematika dimaktub dalam Kitabul Jama wat Tafriq dan Hisab Al-Jabar
wal Muqabla. Al-Khwarizmi inilah yang menemukan angka nol yang digunakan sampai
saat ini.
 Al-Khwarimi juga seorang ahli ilmu murni. Karyanya, Kitab Surat Al-Ard
menggambarkan secara detail bagian-bagian bumi. CA Nallino, seorang penterjemah
karya Al-Khwarizmi dalam bahasa Latin menegaskan bahwa tak ada seorang Eropa pun
yang dapat menghasilkan karya seperti Al-Khwarizmi.

Al-Khwarizmi meninggal pada tahun 262 H/846 M di Baghdad. Setelah

meninggal, keberadaan karyanya beralih pada komunitas Islam, yaitu bagaimana cara
menjabarkan bilangan dalam sebuah metode perhitungan, termasuk dalam bilangan
pecahan. Di dunia Barat, Ilmu Matematika lebih banyak dipengaruhi oleh Karya Al-
Khwarizmi dibanding karya para penulis Eropa pada abad pertengahan.
Selanjutnya, kita akan membahas mengenai Sejarah dan Perkembangan Bilangan
Prima.

Dalam sejarah awal perkembangannya, pengertian bilangan prima adalah bagian

dari himpunan bilangan bulat positif lebih dari 1 dan hanya mempunyai dua faktor,
yaitu 1 dan bilangan itu sendiri.

Jika definisinya diperluas menjadi himpunan bilangan bulat, maka dikenal

bilangan prima negatif dan bilangan prima positif. Bilangan-bilangan selain bilangan
prima disebut bilangan komposit. Cara yang paling sederhana untuk menentukan
bilangan prima dalam suatu rentang tertentu adalah dengan menggunakan Sieve of
Erastosthenes (Saringan Erastothenes). Bilangan prima dapat disebut sebagai batu
pembangun bilangan bulat positif seperti yang sudah dibuktukan dalam Teorema
Fundamental Aritmetik.

Dalam beberapa usaha penemuan yang bertujuan mengkaji hubungan antar

bilangan prima, dikenal pula bilangan prima kembar (twin primes) yang merupakan
pasangan bilangan prima yang memenuhi kaidah p dan p+2 dengan p adalah bilangan
prima. Sebagai contoh, 3 dan 5, 11 dan 13, 29 dan 31.

Sejarah bilangan prima dimulai pada zaman Mesir Kuno dengan ditemukannya
sebuah catatan yang menyatakan penggunaan bilangan prima pada zaman tersebut.
Namun, bilangan prima dan komposit pada saat itu berbeda dengan bilangan prima dan
komposit yang kita kenal sekarang. Bukti lain permulaan sejarah bilangan prima adalah
sebuah catatan penelitian bilangan prima oleh bangsa Yunani Kuno.

Dalam sejarah Yunani Kuno, Pythagoras (570 SM-500 SM) terkenal melalui
‘Theorem of Pythagoras’ dan memunculkan Pythagorean Triples yang sebenarnya
sudah ada sejak 1000 tahun sebelum masa Pythagoras. Sebelumnya, bangsa Babilonia
telah mengenal Pythagorean Triples tersebut dengan nama Babylonian triples.
Babylonian Triples terdapat dalam Plimpton 322 yang diperkirakan berasal dari tahun
1900 SM.

Terdapat perbedaan antara Pythagorean Triples dengan Babylonian Triples. Pada

Babylonian Triples disyaratkan bahwa u dan v sebagai generator 2uv, u2-v2 dan u2+v2
yang merupakan ukuran sisi-sisi segitiga siku-siku, harus relatif prima dan tidak
mempunyai faktor prima selain 2, 3 atau 5. Sebagai contoh, 56, 90 dan 106 adalah
Babylonian Triples karena u=9 dan v=5. Contoh lain, 28, 45 dan 53 adalah Pythagorean
Triples, tetapi bukan Babylonian Triples karena u=7 dan u memiliki faktor prima 7.

Bilangan prima dalam Rumusan Bilangan Sempurna terdapat pada karya Euclid
dalam buku IX Elements (300 SM) yang berisi beberapa teorema penting mengenai
bilangan prima, termasuk ketakberhinggaan bilangan prima dan teorema fundamental
aritmatik. Euclid juga memperlihatkan cara menyusun sebuah bilangan sempurna
(perfect number) dari sebuah bilangan prima Mersenne yang ditemukan kemudian.
Bilangan prima Mersenne adalah sebuah bilangan prima dengan rumus Mn=2n-1.
Dalam karya Euclid tersebut, terdapat proporsi bahwa ‘jika 2n-1 adalah bilangan prima
maka (2n-1)+(2n-1) adalah bilangan sempurna. Pada masa itu, bangsa Yunani telah
menemukan 4 bilangan sempurna, yaitu 6, 28, 496 dan 8128. Berkaitan dengan bilangan
sempurna, sekitar 2000 tahun kemudian seorang matematikawan, Euler pada tahun 1947
telah mampu menunjukkan bahwa semua bilangan sempurna adalah genap.

Hal ini disebut Konjektur Goldbach. Dalam Konjektur Goldbach, berbunyi

‘setiap bilangan bulat genap lebih besar dari atau sama dengan 4 dapat ditulis sebagai
jumlah dari dua bilangan prima’.

Konjektur Goldbach adalah salah satu persoalan yang belum terpecahkan dalam
teori angka dan bahkan dalam matematika secara keseluruhan. Konjektur Goldbach
pertama kali disebut oleh Christian Goldbach dalam suratnya kepada Euler pada tahun
1942. Dalam suratnya, Goldbach mengemukakan bahwa bilangan genap lebih dari atau
sama dengan 4 dapat ditulis sebagai hasil penjumlahan dua bilangan prima, tetapi dia
tidak berhasil membuktikan kebenarannya.

Pada teorema ke-20 dari buku IX The Elements Euclide menyatakan bahwa
‘tidak ada bilangan prima yang terakhir’. Pernyataan ini menunjukkan ketakberhinggaan
bilangan prima yang dibuktikan Euclid dengan menggunakan cara pembuktian
kontradiksi, yang merupakan pertama kali dalam sejarah matematika.

Selain itu, Euclid juga memberikan bukti Teorema Fundamental Aritmetika, yaitu
‘setiap bilangan bulat dapat ditulis sebagai hasil kali bilanngan-bilangan prima dalam
sebuah bentuk dasar yang unik’.
Bukti selanjutnya adalah Sieve of Eratosthenes (Saringan Eratosthenes), yaitu cara
untuk menentukan bilangan prima dalam suatu rentang tertentu. Saringan ini ditemukan
oleh Eratosthenes, seorang ilmuan Yunani Kuno. Eratosthenes lahir di Cyrene (Libya),
tetapi bekerja dan meninggal di Alexandria. Dia tidak pernah menikah dan dikenal
sombong. Dia belajar di Alexandria dan untuk beberapa tahun di Athena.

Pada 236 SM, ia ditunjuk oleh Ptolemy III Euergetes I sebagai pustakawan
Perpustakaan Alexandria, menggantikan Zenodotos. Sekitar tahun 255 SM, ia
menciptakan bola armilar yang digunakan secara luas hingga diciptakannya oreri pada
abad 18. Pada 195 SM, ia mengalami kebutaan dan selama setahun membiarkan dirinya
kelaparan hingga meninggal. Ia dicatat oleh Cleomedes dalam On the Circular Motions
of the Celestial Bodies sebagai orang yang telah menghitung keliling Bumi pada tahun
240 SM, menggunakan metode trigonometri dan pengetahuan mengenai sudut
kemiringan Matahari saat tengah hari di Alexandria dan Syene (Aswan, Mesir).

Saringan Eratosthenes merupakan cara paling sederhana dan paling cepat untuk
menemukan bilangan prima sebelum ditemukan Saringan Atkin pada tahun 2004.
Saringan Atkin merupakan cara yang lebih cepat, namun lebih rumit dibandingkan
dengan Saringan Eratosthenes. Misalkan kita akan menentukan semua bilangan prima
antara 1 sampai n menggunakan Saringan Eratosthenes, langkah-langkahnya adalah

1.       Tulis semua bilangan antara 1 sampai n, sebut daftar A.

2.       Buat daftar yang masih kosong, misal daftar B.

3.       Coret bilangan 1 dari daftar A.

4.       Tulis 2 pada daftar B, lalu coret 2 dan semua kelipatannya dari daftar A.

5.       Bilangan pertama yang belum dicoret dari daftar A (misalnya 3) adalah
bilangan prima. Tulis di daftar B, lalu coret bilangan ini dan semua kelipatannya.

6.       Ulangi langkah 4 sampai semua bilangan di daftar A tercoret.

7.       Semua bilangan di daftar B adalah bilangan prima. kembali setelah

berabad-abad berhenti.

Pada tahun 1640, Pieere de Fermat berhasil membuat Teorema Kecil fermat
(Fermat’s Little Theorem) yang kemudian dibuktikan oleh Leibniz.
 Pada abad XVII, penelitian terhadap bilangan prima dilanjutkan Euler. Lama
setelah itu, Euler menemukan kekurangan pada teorema ini. Seorang matematikawan
Perancis, Marin Mersenne (1588-1648) kemudian membuat suatu bentuk baru dari
bilangan prima yang diberi nama bilangan prima Mersenne (Mersenne Prime). Cara
penentuannya pun belum sempurna karena diantaranya terdapat beberapa prima semu.

Sampai abad XIX, masih banyak matematikawan yang beranggapan bahwa 1

adalah bilangan prima, dari definisi bilangan prima adalah bilangan yang habis dibagi 1
dan bilangan itu sendiri tanpa membatasi jumlah pembagi. Pada abad XIX, Legendre
dan Gauss membuat sebuah konjektural untuk menghitung banyaknya bilangan prima
yang kurang dari atau sama dengan suatu bilangan dan dibuktikan pada tahun 1896 dan
berganti nama menjadi Teorema Bilangan Prima (Prime Number Theorem).
Sebelumnya pada tahun 1859, Riemann juga mencoba membuktikan konjektural
tersebut menggunakan fungsi zeta.

Pencarian bilangan prima terus berlanjut. Banyak matematikawan yang meneliti

tentang tes bilangan prima. Sebagai contoh, Pepin’s test untuk bilangan Fermat (1877),
Lucas-Lehmer test untuk bilangan Mersenne (1856), dan Lucas-Lehmer test yang
digeneralisasikan.

Pada abad XX, penggunaan bilangan prima di luar bidang matematika mulai
dikembangkan. Pada era 1970-an, ketika konsep kriptografi ditemukan, bilangan prima
menjadi salah satu dasar pembuatan kunci algoritma enkripsi seperti RSA.

Banyaknya bilangan prima tak terhingga, berapa pun banyaknya kita menghitung, pasti
akan menemukan bilangan prima. Hal ini menjadi teka-teki, jika mengingat bilangan
prima tidak dapat dibagi oleh bilangan lainnya. Salah satu hal yang menakjubkan adalah
dalam era komputer, kita memberikan kodetifikasi untuk semua hal yang penting dan
rahasia dalam angka jutaan bilangan-bilangan yang tidak habis dibagi oleh angka
lainnya. Ini diperlukan karena dengan penggunaan angka lain, kodetifikasi tadi dapat
dengan mudah ditembus.

Fenomena inilah yang ditemukan oleh ilmuan dari Duesseldorf (Dr. Plichta),
sehubungan dengan penciptaan alam, yaitu distribusi misterius bilangan prima. Para
ilmuan sudah lama percaya bahwa bilangan prima adalah bahasa universal yang dapat
dimengerti oleh semua makhluk sebagai komunikasi dasar. Bahasa ini penuh misteri
karena berhubungan dengan perencanaan universal kosmos.
 Dan yang terakhir, kita akan membahas tentang Sejarah dan Perkembangan
Aljabar Matematika.

Aljabar adalah cabang matematika yang mempelajari struktur, hubungan dan

kuantitas. Untuk mempelajari aljabar, digunakan simbol untuk merepresentasikan
bilangan secara umum sebagai sarana penyederhanaan dan alat bantu memecahkan
masalah.

Aljabar sudah digunakan matematikawan sejak ribuan tahun yang lalu. Asal mula
aljabar dapat ditelusuri dari Babilonia Kuno yang mengembangkan sistem matematika
yang cukup rumit. Mereka sudah dapat mengaplikasikan rumus dan menghitung solusi
untuk nilai yang tidak diketahui dengan menggunakan persamaan linier, persamaan
kuadrat dan persamaan linier tak tentu. Sebaliknya, bangsa Mesir dan kebanyakan
bangsa India, Yunani, serta Cina masih menggunakan metode geometri untuk
memecahkan persamaan, misalnya seperti yang terdapat dalam “The Rhind
Mathematical Papyrus”, “Sulba Sutras”, “Euclid’s Elements” dan “The Nine Chapters
on the Mathematical Art”. Orang-orang Mesir menggunakan kata ‘heap’ untuk
mewakili bilangan yang tidak diketahui.

tahun 300 SM, seorang sarjana Yunani Kuno, Euclid menulis buku yang berjudul
‘Elements’. Dalam buku ini, terdapat rumus aljabar yang dikembangkan dengan
mempelajari bentuk-bentuk geometris. Orang-orang Yunani Kuno biasanya menuliskan
permasalahan secara lengkap jika permasalahan tidak dapat dipecahkan dengan metode
geometri. Cara ini disebut ‘aljabar retoris’ yang membatasi kemampuan mereka untuk
memecahkan masalah yang mendetail.

Seiring perkembangan zaman, pada abad ke-3, Diophantus of Alexandria (250

M) menulis buku berjudul Aritmatika, yang menggunakan simbol-simbol untuk
bilangan yang tidak diketahui dan untuk operasi seperti penjumlahan dan pengurangan.
Sistemnya tidak sepenuhnya dalam bentuk simbol, tetapi berada diantara sistem Euclid
dan apa yang digunakan sekarang. Hal ini dikenal dengan ‘aljabar sinkopasi’.

Ketika agama Islam mulai muncul pada abad ke-6, terjadi perang antar agama
untuk menundukkan daerah Yahudi, Khatolik dan Nasrani mulai gencar dilakukan oleh
umat muslim. Sehingga pada tahun 641 M, bangsa Arab berhasil menguasai Alexandria
dan menutup sekolah Yunani Kuno terakhir. Namun, ide-ide bangsa Yunani tetap
dipertahankan bahkan dikembangkan, dan kemudian dibawa ke Eropa Barat setelah
menduduki Spanyol pada tahun 747 M.

Bangsa Arab pertama kali menemukan ide-ide ketika bertemu dengan dokter-
dokter Yunani yang bekerja di Arab. Dua orang sarjana yang terkenal adalah
Brahmagupta (598-660) dan Aryabhata (475-550). Brahmagupta adalah seorang
astronom yang banyak menemukan ciri-ciri untuk luas dan volume benda padat.
Sedangkan Aryabhata adalah seorang ilmuan yang menciptakan tabel sinus (rasio-rasio
istimewa) dan mengembangkan sebuah bentuk aljabar sinkopasi seperti sistem yang
dibuat Diophantus.

Lambat laun, bangsa Arab mulai mengenal teori yang dimiliki negara jajahan tersebut.
Mereka mulai mengembangkannya dengan cara mereka sendiri. Kemudian munculah
tokoh yang menemukan teori aljabar, Al-Khwarizmi (780-850), seorang muslim
keturunan Usbekistan yang lahir pada tahun 780 M/194 H. Al-Khwarizki merupakan
seorang tokoh islam yang berpengetahuan luas.

Pengetahuan dan kemahirannya tidak hanya di bidang syariat, tetapi juga dalam
bidang falsafah, logika, aritmetik, geometri, musik, sastra, sejarah islam dan ilmu kimia.
Sekitar tahun 830 M, ia menulis tiga buku tentang matematika. Bukunya yang paling
terkenal berjudul “Hisab al-Jabr wa’l Muqabalah” (perhitungan dengan restorasi dan
reduksi). Restorasi maksudnya menyederhanakan sebuah rumus dengan menggunakan
operasi yang sama di kedua sisinya. Sedangkan reduksi berarti mengkombinasikan
bagian-bagian yang berbeda dari sebuah rumus dan kemudian menyederhanakannya.
Al-Khwarizmi juga menciptakan pemakaian Secans dan Tangens dalam penyelidikan
trigonometri dan astronomi. Dalam usia muda, ia telah bekerja di bawah pamerintahan
Kehalifah al-Ma’mun, daerah Bayt al-Hikmah di Baghdad. Al-Khwarizmi bekerja
dalam sebuah observatory. Al-Khwarizmi juga dipercaya memimpin perpustakaan
khalifah.

Sebelum karya Al-Khwarizmi yang berjudul “Hisab al-Jabr wa’l Muqabalah”

muncul, kata aljabar tidak pernah digunakan. Istilah ‘Aljabar’ berasal dari bahasa arab
‘al-jabr’ yang berasal dari kitab ‘Al-Kitab al-Jabr wa-l-Muqabala’ (The Compendious
Book on Calculation by Completion and Balancing) yang ditulis oleh Al-Khwarizmi.
kata ‘Al-Jabr sendiri sebenarnya berarti penggabungan. Bahkan jika dilihat dari
sejarahnya, matematikawan Yunani pada zaman Hellenisme, Diophantus, secara
tradisional telah mengenal konsep aljabar, hanya saja mereka tidak menggunakan istilah
tersebut untuk teori yang mereka miliki.

Seperti halnya Al-Khwarizmi, Diophantus juga dikenal sebagai ‘Bapak Aljabar’

walaupun sampai sekarang masih diperdebatkan siapa yang berhak atas gelar tersebut.
Pendukung Al-Khwarizmi menunjukkan fakta bahwa hasil karyanya pada prinsip
reduksi masih digunakan sampai sekarang, dan ia juga memberikan penjelasan yang
rinci mengenai penyelesaian persamaan kuadratik. Sedangkan pendukung Diophantus
menunjukkan Aljabar yang ditemukan dalam Al-Jabr adalah masih sangat dasar
dibandingkan Aljabar yang ditemukan dalam ‘Arithmetica’, karya Diophantus.
Matematikawan Persia lain, Omar Khayyam membangun Aljabar Geometri dan
menemukan bentuk umum geometri dari persamaan kubik. Matematikawan India
Mahavira dan Bhaskara, serta matematikawan Cima, Zhu Shiie juga berhasil
memecahkan berbagai macam persamaan kubik, kuartik, kuintik dan polinom tingkat
tinggi lainnya.

Peristiwa penting lain adalah perkembangan lebih lanjut dari aljabar yang terjadi
pada abad ke-16. Ide tentang determinan yang dikembangkan oleh matematikawan
Jepang, Kowa Seki di abad ke-17, diikuti oleh Gottfried Leibniz sepuluh tahun
kemudian, untuk memecahkan Sistem Persamaan Linier secara simultan menggunakan
matriks. Gabriel Cramer juga menyumbangkan hasil karyanya tentang Matriks dan
Determinan pada abad ke-18. Aljabar Abstrak dikembangkan pada abad ke-19, mula-
mula berfokus pada teori Galois dan pada masalah keterkonstruksian.

Aljabar kemudian diklasifikasikan menjadi beberapa kategori, yaitu :

1. Aljabar Elemanter, aljabar yang mempelajari sifat-sifat operasi pada bilangan

riil dengan simbol sebagi konstanta dan variabel, dan aturan yang membangun
ekspresi dan persamaan matematika yang melibatkan simbol-simbol.
2. Aljabar Abstrak (Aljabar Modern), aljabar yang mempelajari struktur Aljabar
yang didefinisikan dan diajarkan secara aksiomatis.
3.    Aljabat Linie, aljabar yang mempelajari sifat-sifat khusus dari Ruang
Vektor.
4. Aljabar Universal, aljabar yang mempelajari sifat-sifat bersama dari semua
struktur aljabar.

Sumber :
Mempelajari Matematika Melalui Beberapa Konsep Dalam Sejarah Matematika

Sejarah matematika merupakan merupakan cakupan pengkajian yang berupa

penyelidikan terhadap asal mula temuan-temuan baru dalam matematika, dalam ruang
lingkup yang lebih sempit, berupa penyelidikan terhadap metode dan notasi matematika
baku di masa silam.

Sebelum zaman modern, matematika hanya digunakan di beberapa tempat.

Tulisan matematika tertua yang pernah ditemukan adalah Plimpton 322 (Matematika
Babilonia yang berangka tahun 1900 SM), Lembaran Matematika Moskow
(Matematika Mesir yang berangka1850 SM), Lembaran Matematika Rhind
(Matematika Mesir yang berangka tahun 1650 SM), dan Shulba Sutra (Matematika
India yang berangka tahun 800 SM). Semua tulisan tersebut memusatkan pada Teorema
Pythagoras yang merupakan hasil pembangunan matematika paling kuno dan tersebar
luas setelah aritmatika dasar dan geometri.

Seiring berjalannya waktu, matematika telah berkembang, misalnya di Cina pada

tahun 300 SM, di India pada tahun 100 M, dan di Arab pada tahun 800 M, hingga
zaman Renaisans, yaitu zaman ketikan temuan baru matematika berinteraksi dengan
penemuan ilmiah baru yang mengarah pada peningkatan yang cepat dalam laju
penemuan matematika yang berlanjut sampai sekarang. Sekarang, matematika
digunakan di seluruh dunia sebagai alat penting dlam berbagai bidang, seperti ilmu
alam, teknik, kedokteran, dan ilmu sosil seperti ekonomi dan psikologi. Adapun
matematika terapan yang merupakan cabang matematikayang mencakup pada
penerapan pengetahuan matematika dalam berbagai bidang, menginspirasi dan
membuat penggunaan temuan-temuan matematika baru, dan kadang-kadang mengarah
pada pengembangan disiplin ilmu yang sepenuhnya baru, seperti statistika dan teori
permainan.

Pada umumnya, orang awam hanya akrab dengan cabang matematika elementer,
yaitu aritmatika atau ilmu hitung. Matematika merupakan dasar yang mendasari
berbagai ilmu pengetahuan. Sejak masa sebelum masehi, misalnya zaman Mesir kuno,
cabang matematika aritmatika sudah digunakan untuk membuat piramida, menentukan
waktu turun hujan, dan sebaginya. Bahkan manusia prasejarah sudah mengenali cara
mencacah besaran abstrak, seperti waktu, hari, musim, tahun, dan sebagainya.
 Perkembangan matematika tidak tergantung pada ilmu-ilmu lain. Banyak cabang
matematika yang dulu biasa disebut matematika murni yang dikembangkan oleh
beberapa matematikawan tanpa memperdulikan fungsi dan manfaatnya untuk ilmu-ilmu
lain. Dengan perkembangan teknologi, banyak cabang matematika murni yang ternyata
dapat diterapkan dalam berbagai ilmu pengetahuan dan teknologi mutakhir.

Banyak para pakar matematika, misalnya pakar Teori Model yang mendalami
filosofi di balik konsep-konsep matematika bersepakat bahwa semua konsep-konsep
matematika secara universal terdapat dalam pikiran setiap manusia. Jadi yang dipelajari
dalam matematika adalah berbagai simbol dan ekspresi untuk mengkomunikasikannya.
Misalnya, dalam bahasa jawa secara lisan memberi simbol bilangan 3 dengan
mengatakan ‘telu’, sedangkan dalam bahasa Indonesia disimbolkan melalui ucapan
‘tiga’. Sehingga, banyak pakar mengelompokkan matematika dalam kelompok bahasa,
atau dalam kelompok alat komunikasi, bukan sains.

Secara formal, matematika adalah penelaahan struktur abstrak yang didefinisikan

secara aksioma dengan menggunakan logika simbolik dan notasi matematika, ada juga
yang membahasnya dalam filosofi matematika. Struktur spesifik yang diselidiki oleh
matematikawan tidak hanya berasal dari ilmu pengetahuan alam seperti fisika, tetapi
juga mendefinisikan dan menyelidiki struktur internal dalam matematika itu sendiri.

Matematika tingkat lanjut digunakan sebagai alat untuk mempelajari berbagai fenomena
fisik yang kompleks, khususnya fenomena alam yang teramati, perubahan, ruang dan
sifat-sifat fenomena dapat didekati atau dinyatakan dalam sebuah bentuk perumusan
yang sistematis dan penuh dengan berbagai konvensi, simbol dan notasi. Hasil
perumusan yang menggambarkan perilaku atau proses fenomena fisik tersebut biasa
disebut model matematika dari suatu fenomena.

Sumber :

Id.wikipedia.org/wiki/Matematika

Unindra.blogspot.com/2008/04/sejarah-matematika.html

Sumber :

http://www.anneahira.com/ilmu/ilmu-matematika.htm
2.4 GAMBARAN SEJARAH PURBAKALA DARI MATEMATIKA

A. Gambaran sejarah purbakala matematika.

Dahulu, ketika orang primitif hidup di gua-gua dengan mangandalkan

makanannya dari tanaman dan pepohonan disekitar gua atau berburu untuk sekali
makan, kehadiran bilangan hitung-menghitung atau matematika tidaklah terlalu
dibutuhkan. Tetapi tatkala mereka mulai hidup untuk persedian makanan, mereka harus
menghitung berapa banyak ternak miliknya dan milik tetangganya atau berapa persedian
makanan pada saat ini, mulailah mereka membutuhkan dan menggunakan hitung-
menghitung.

Mula-mula manusia menggunakan kerikil, simpul pada tali, jari-jemari, atau

memakai ranting untuk menyatakan bayak hewan dan kawanannya atau anggota
keluarga yang tinggal bersamanya. Inilah dasar pemahaman tentang konsep bilangan.
Karena menyatakan bilangan dengan menggunakan kerikil dan lain-lain, dirasakan tidak
cukup praktis maka orang berpikir untuk menggambarkan bilangan itu dalam suatu
lambang. Lambang atau symbol untuk menulis sebuah bilangan disebut angka.

Pada mulanya di zaman purbakala banyak bangsa-bangsa yang bermukim di

sepanjang sungai-sungai besar. Bangsa Mesir di sepanjang sungai Nil di Afrika, bangsa
Babilonia di sepanjang sungai Tigris dan Eufrat, bangsa Hindu di sepanjang sungai
Indus dan Gangga, bangsa Cina di sepanjang sungai Huang Ho dan Yang Tze. Bangsa-
bangsa itu memerlukan keterampilan untuk mengendalikan banjir, mengeringkan rawa-
rawa, membuat irigasi untuk mengolah tanah sepanjang sungai menjadi daerah
pertanian. Untuk itu diperlukan pengetahuan praktis yaitu pengetahuan teknik dan
matematika bersama-sama.

Sejarah menunjukkan bahwa permulaan matematika berasal dari bangsa yang

bermukim di sepanjang aliran sungai tersebut. Mereka memerlukan perhitungan,
penanggalan yang dapat dipakai sesuai dengan perubahan musim. Diperlukan alat-alat
pengukur untuk mengukur persil-persil tanah yang dimiliki. Diperlukan alat-alat
pengukur untuk melayani penyimpanan hasil panen dan pembagiannya.

Peningkatan peradaban memerlukan cara menilai kegiatan perdagangan,

keuangan dan pemungutan pajak. Untuk keperluan praktis itu diperlukan bilangan-
bilangan. Didorong keperluan praktis itulah maka awal pengetahuan matematika adalah
pada aritmetika. Pengembangan lambat laun dari aritmetika kemudian menjadi aljabar
dan permulaan dari geometri adalah pengukuran bangun-bangun.

Agar matematika itu dapat diteruskan kepada generasi penerusnya diperlukan

tulisan dan media tulis. Sukar untuk menentukan penanggalan awal penemuan-
penemuan yang dipakai di Cina dan India. Bangsa India dan CIna menggunakan media
tulis yang mudah hancur seperti kulit-kayu, dan bambu. Akan tetapi di Mesir dan
Babilonia, media tulis yang digunakan adalah batu-batu loh-loh yang dibuat dari tanah
liat kemudian dibakar sehingga tidak hancur walaupun pada iklim kering.

Dengan adanya matematika yang telah ditulis pada media tulis pada masa itu,
maka hasil penemuan itu dapat dipelajari generasi berikutnya. Tak dapat ditemukan
suatu bukti bahwa suatu penemuan adalah hasil suatu percobaan. Pedoman bagi orang
yang akan mempelajari kemudian adalah “Tiru atau Lakukanlah seperti itu maka
hasilnya akan anda peroleh”. Pedoman seperti itu juga masih ditempuh dalam prosedur
penyampaian pelajaran matematika itu hingga sekarang ini di sekolah baik Sekolah
Dasar maupun Sekolah Lanjutan.

Sejak Peradaban manusia bermula, Matematika memainkan peranan yang sangat

vital dalam kehidupan sehari hari. Berbagai bentuk simbol digunakan untuk membantu
perhitungan, pengukuran, penilaian dan peramalan. Dari penemuan penemuan situs
purbakala, para ahli arkeologi telah menemukan penggunaan sistem penjumlahan di
Afrika, dan diperkirakan telah terwujud sejak 8.500 SM dengan menggunakan tulang
sebagai alat perhitungan.
1. Sejarah Matematika secara geografis

 Mesopotamia

-Menentukan sistem bilangan pertama kali

-Menemukan sistem berat dan ukur.

- Tahun 2500 SM sistem desimal tidak lagi digunakan dan lidi diganti oleh notasi
berbentuk baji

 Babilonia
- Menggunakan sistem desimal dan π = 3,125

- Penemu kalkulator pertama kali

- Mengenal geometri sebagai basis perhitungan astronomi

- Menggunakan pendekatan untuk akar kuadrat

- Geometrinya bersifat aljabaris

- Aritmatika tumbuh dan berkembang baik menjadi aljabar retoris yang berkembang

- Sudah mengenal teorema Pythagoras

 Mesir Kuno

- Sudah mengenal rumus untuk menghitung luas dan isi

- Mengenal sistem bilangan dan simbol pada tahun 3100 SM

- Mengenal tripel Pythagoras

- Sistem angka bercorak aditif dan aritmatika

- Tahun 300 SM menggunakan sistem bilangan berbasis 10

 Yunani Kuno

- Pythagoras membuktikan teorema Pythagoras secara matematis (terbaik)

- Pencetus awal konsep nol adalah Al Khwarizmi

- Archimedes mencetuskan nama parabola, yang artinya bagian sudut kanan kerucut

- Hipassus penemu bilangan irrasional

- Diophantus penemu aritmatika (pembahasan teori-teori bilangan yang isinya

merupakan pengembangan aljabar yang dilakukan dengan membuat sebuah
persamaan)

- Archimedes membuat geometri bidang datar

- Mengenal bilangan prima

 India
- Brahmagyupta lahir pada 598-660 Ad

- Aryabtha (4018 SM) menemukan hubungan keliling sebuah lingkaran

- Memperkenalkan pemakaian nol dan desimal

- Brahmagyupta menemukan bilangan negatif

 - Rumus a2+b2+c2 telah ada pada “Sulbasutra”

- Geometrinya sudah mengenal tripel Pythagoras,teorema Pythagoras, transformasi

dan segitiga pascal

 China
- Mengenal sifat-sifat segitiga siku-siku tahun 3000 SM

- Mengembangkan angka negatif, bilangan desimal, system desimal, system biner,

aljabar, geometri, trigonometri dan kalkulus

- Telah menemukan metode untuk memecahkan beberapa jenis persamaan yaitu

persamaan kuadrat, kubikdan qualitik

- Aljabarnya menggunakan system horner untuk menyelesaikan persamaan kuadrat

2. Bangsa Penemu matematika purbakala.

 Matematika Babilonia purbakala.
Babilonia purbakala penggalian-pengalian oleh ahli purbakala menemukan lebih
dari 50.000 Loh-Loh dari daerah Nippur Mesopotamia. Diantara Loh-Loh itu yang
sudah dikenal terdapat kira-kira 300 loh-loh matematika berisi tabel-tabel matematika,
dan Soal-soal Matematika. Kunci pemahaman akan prasasti ditemukan oleh beberapa
ahli seperti Gratefend, Rawlinson tahun 1847 oleh Neugebaner dan Thureau. Dangin
tahun 1935. Terdapat naskah-naskah matematika yang penanggalannya 2100 BC
(Sebelum Masehi) dari masa kejayaan sumarian yang tinggal di lembah sungai tigris
dan eufrat. Perkembangan pesat kebudayaan sumarian pada masa raja Hammurabi dari
dinasti Babilonia.
 Matematika Mesir Purbakala
Hasil Arkeologi yang terkait dengan matematika beberapa diantaranya:
1. Di Museum Oxford terdapat suatu tongkat kerajaan Mesir daripenanggalan
 3100 BC. Dalam tulisan hieroglif pada tongka itu terdapat bilangan jutaan dan
ratusan ribu mengenai penyerbuan militer.

2. Piramida Gizeh didirikan 2900 BC pasti menggunakan keterampilan teknik

dan matematika. Bangunan itu didirikan diatas tanah seluas kira-kira 13 are (+
1300 m2). Bangunan terdiri dari 2.000.000 bongkahan bata dengan rata-rata berat
2,5 ton setiap bongkahan. Atas Berbentuk bujur sangkaryang hampir sempurna.
Hanya dengan kesalahan dan sudut sikunya hanya dengan kesalahan . Tercatat
bahwa bangunan itu dibangun dan dikerjakan 100.000 orang pekerja selama 30
tahun namun hanya dengan kesalahan sekecil itu. Suatu keterampilan matematika
yang amat menakjubkan.

3. Papirus Moskow pada tahun 1930, Menggunakan sebanyaj 25 soal matematika

dari penanggalan 1850 BC.

4. Di Museum Berlin terdapat alat astronomi yang diawetkan dari penanggalan

1850 BC.

5. Papirus Rhind (Hery Rhind) seorang ahli purbakala tentang mesir dan inggris
menulis 85 soal matematika dari penanggalan 1650 BC. Papirus ini dapat dibaca
di Museum Britis. Papirus Rhind dan Papirus Moskow adalah sumber utama
mengenai Matematika Mesir Purbakala

6. Di Museum Berlin terdapat penanggalan matahari tertua dari penanggalan

1500 BC.

7. Papirus Rollin yang berasal pada tahun 1350 BC sekarang diawetkan

dimuseum Louvre berisi perhitungan-perhitunan rekening roti sebagai pemakaian
bilangan-bilangan pada waktu itu.

8. Papirus Harris dari 1107 BC suatu dokumen mengenai harta kekayaan disuatu
kuil. Daftar yang dipersiapkan Ramses IV ketika menggantikan bapaknya
Ramses III.

3. Tokoh-tokoh matematika purbakala

1. Thales (624-550 SM)
Dapat disebut matematikawan pertama yang merumuskan teorema atau
proposisi, dimana tradisi ini menjadi lebih jelas setelah dijabarkan oleh Euclid.
Landasan matematika sebagai ilmu terapan rupanya sudah diletakan oleh Thales
sebelum muncul Pythagoras yang membuat bilangan.

2. Pythagoras (582-496 SM)

Pythagoras adalah orang yang pertama kali mencetuskan aksioma-aksioma,
postulat-postulat yang perlu dijabarkan ter lebih dahulu dalam mengembangkan
geometri. Pythagoras bukan orang yang menemukan suatu teorema Pythagoras
namun dia berhasil membuat pembuktian matematis.
3. Socrates (427-347 SM)
Ia merupakan seorang filosofi besar dari Yunani. Dia juga menjadi
pencipta ajaran serba cita, karena itu filosofinya dinamakan idealisme. Ajarannya
lahir karena pergaulannya dengan kaum sofis. Plato merupakan ahli piker
pertama yang menerima paham adanya alam bukan benda.
4. Ecluides (325-265 SM)
Euklides disebut sebagai “Bapak Geometri” karena menemuka teori
bilangan dan geometri. Subyek-subyek yang dibahas adalah bentuk-bentuk,
teorema Pythagoras, persamaan dalam aljabar, lingkaran, tangen,geometri ruang,
teori proporsi dan lain-lain. Alat-alat temuan Eukluides antara lain mistar dan
jangka.
5. Archimedes (287-212 SM)
Dia mengaplikasikan prinsip fisika dan matematika. Dan juga menemukan
perhitungan π (pi) dalam menghitung luas lingkaran. Ia adalah ahli matematika
terbesar sepanjang zaman dan di zaman kuno. Tiga karya Archimedes membahas
geometri bidang datar, yaitu pengukuran lingkaran, kuadratur dari parabola dan
spiral.
6. Appolonius (262-190 SM)
Konsepnya mengenai parabola, hiperbola, dan elips banyak memberi
sumbangan bagi astronomi modern. Ia merupakan seorang matematikawan ahli
dalam geometri. Teorema Appolonius menghubungkan beberapa unsur dalam
 segitiga.
7. Diophantus (250-200 SM)
Ia merupakan “Bapak Aljabar” bagi Babilonia yang mengembangkan
konsep-konsep aljabar Babilonia. Seorang matematikawan Yunani yang
bermukim di Iskandaria. Karya besar Diophantus berupa buku aritmatika, buku
karangan pertama tentang system aljabar. Bagian yang terpelihara dari aritmatika
Diophantus berisi pemecahan kira-kira 130 soal yang menghasilkan persamaan-
persamaan tingkat pertama.

B. Basis bilangan purbakala

Konsep bilangan pada awalnya hanyalah untuk kepentingan untuk menghitung dan
mengingat jumlah. Lamban laun, setelah para ahli matematika menambah
perbendaharaan symbol dan kata-kata yang tepat untuk mendefinisikan bilangan, bahasa
matematika ini menjadi sesuatu yang penting dalam setiap perubahan kehidupan. Tak
pelak lagi, bilangan senatiasa hadir dan dibutuhkan dalam sains, teknologi, dan ekonomi
bahkan dalam dunia music, filosofi, dan hiburan.

Zaman dahulu, ketika angka 1 ditunjukkan dengan jari atau sebatang tongkat, angka
10 mungkin ditunjukkan dengan 10 jari kedua tangan atau dengan batu-batu kecil.
Dalam hal ini 10 jari menandai tempat berhentinya hitungan.itulah asal mula system
didasarkan pada bilangan sepulug (basis sepuluh).

Pada dasarnya konsep basis bilangan pada berbagai bangsa atau suku bangsa adalah
sebagi berikut: sebut basis 7 dipilih untuk menghitung. Maka nama-nama diberikanlah
kepada : 1,2,3,4,5,,,,,b. Jika sampai kepada hitungan lebih besar dari b,dibuatlah
penggabungan dari nama-nama yang telah diberikan kepada bilangan-bilangan pada
basis tersebut.

Angka pokok pada bilangan dengan dasar 10 adalah 0,1,2,3,4,5,6,7,8,dan 9. Di

dalam basis 10, untuk menulis bilangan yang lebih dari 9 kita mengkombinasikan angka
pokok tadi. Misalnya untuk menulis angka Sembilan belas kita mengkombinasikan
angka 1 dan 9
LAMBANG BILANGAN PURBAKALA

Lambang sistem bilangan maya

Lambang sistem bilangan romawi.

I 1 (satu) (unus)

V 5 (lima) (quinque)

X 10 (sepuluh) (decem)

L 50 (lima puluh) (quinquaginta)

C 100 (seratus) (centum) Lambang sistem bilangan arab.

D 500 (lima ratus) (quingenti)

M 1.000 (seribu) (mille)

Lambang bilangan sistem babilonia

.
http://id.wikipedia.org/wiki/Sejarah_matematika

Lambang bilangan sistem hindu arab kuno.

http://id.wikipedia.org/wiki/Sejarah_purbakala matematika

2.5 ABAD 1-4 MASEHi

Abad 1-4
masehi
 1. Diophantus (200-250 SM)
Riwayat
Sekitar tahun 250 seorang matematikawan
Yunani yang bermukim di Alexandria
melontarkan problem matematika yang tertera di
atas batu nisannya. Tidak ada catatan terperinci
tentang kehidupan Diophantus, namun
meninggalkan problem tersohor itu pada Palatine
Anthology, yang ditulis setelah meninggalnya.
Pada batu nisan Diophantus tersamar (dalam persamaan) umur Diophantus.
Dugaan tentang kehidupan Diophantus cukup misterius. Kita hanya dapat menduga
lewat dua fakta yang menarik sebelum menarik kesimpulan. Pertama, dia mengutip
tulisan Hypsicles yang diketahui hidup sekitar tahun 150 SM. Kedua, tulisan
Diophantus dikutip oleh Theon dari Alexandria. Prakiraan hidup Theon, diacu dari
gerhana matahari yang terjadi pada 16 Juni 364. Dengan dua fakta ini diperkirakan
Diophantus hidup antara tahun 150 SM sampai tahun 364. Para peneliti,
menyimpulkan bahwa diperkirakan Diophantus hidup sekitar tahun 250.

Karya Diophantus

Diophanus menulis Arithmetica, yang mana isinya merupakan pengembangan

aljabar yang dilakukan dengan membuat beberapa persamaan. Persamaan-persamaan
tersebut disebut persamaan Diophantin, digunakan pada matematika sampai sekarang.

Diophantus menulis lima belas namun hanya enam buku yang dapat dibaca,
sisanya ikut terbakar pada penghancuran perpustakaan besar di Alexandria. Sisa karya
Diophantus yang selamat sekaligus merupakan teks bangsa Yunani yang terakhir yang
diterjemahkan. Buku terjemahan pertama kali dalam bahasa Latin diterbitkan pada
tahun 1575. Prestasi Diophantus merupakan akhir kejayaan Yunani kuno.

[Pierre] Fermat mengetahui buku Diophantus lewat terjemahan Clause Bachet yang
diterbitkan tahun 1621. Problem kedelapan pada buku kedua tentang cara membagi akar
bilangan tertentu menjadi jumlah dua sisi panjang. Rumus Pythagoras sudah dikenal
orang Babylonia 2000 tahun silam – memberi inspirasi bagi Fermat untuk menuliskan
TTF /Theorema Terakhir Fermat (Fermat Last Theorem).

Susunan dalam Arithmetica tidak secara sistimatik operasi-operasi aljabar, fungsi-fungsi

aljabar atau solusi terhadap persamaan-persamaan aljabar. Di dalamnya terdapat 150
problem, semua diberikan lewat contoh-contoh numerik yang spesifik, meskipun
barangkali metode secara umum juga diberikan. Sebagai contoh, persamaan kuadrat
mempunyai hasil dua akar bilangan positif dan tidak mengenal akar bilangan negatif.
Diophantus menyelesaikan problem-problem menyangkut beberapa bilangan tidak
diketahui dan dengan penuh keahlian menyajikan banyak bilangan-bilangan yang tidak
diketahui.
Contoh: Diketahui bilangan dengan jumlah 20 dan jumlah kuadratnya 208; angka bukan
diubah menjadi x dan y, tapi ditulis sebagai 10 + x dan 10 – x (dalam notasi modern).
Selanjutnya, (10 + x)² + (10 - x)² = 208, diperoleh x = 2 dan bilangan yang tidak
diketahui adalah 8 dan 12.

Diophantus dan Aljabar

Dalam Arithmetica, meski bukan merupakan buku teks aljabar akan tetapi didalamnya
terdapat problem persamaan x² = 1 + 30y² dan x² = 1 + 26y², yang kemudian diubah
menjadi “persamaan Pell” x² = 1 + py²; sekali lagi didapat jawaban tunggal, karena
Diophantus adalah pemecah problem bukan menciptakan persamaan dan buku itu
berisikan kumpulan problem dan aplikasi pada aljabar. Problem Diophantus untuk
menemukan bilangan x, y, a dalam persamaan x² + y² = a² atau x³ + y³ = a³, kelak
mendasari Fermat mencetuskan TTF (Theorema Terakhir Fermat). Prestasi ini membuat
Diophantus seringkali disebut dengan ahli aljabar dari Babylonia dan karyanya disebut
dengan aljabar Babylonia.

*) Misal umur x, sehingga x = 1/6x + 1/12x + 1/7x + 5 + ½x + 4 akan diperoleh x = 84,

umur Diophantus.

Sumbangsih
Seringkali disebut dengan ”Bapak” aljabar Babylonia. Karya-karyanya tidak hanya
mencakup tipe material tertentu yang membentuk dasar aljabar modern; bukan pula
mirip dengan aljabar geometri yang dirintis oleh Euclid.
Diophantus mengembangkan konsep-konsep aljabar Babylonia dan merintis suatu
bentuk persamaan sehingga bentuk persamaan seringkali disebut dengan persamaan
Diophantine (Diophantine Equation) menunjuk bahwa Diophantus cukup memberi
sumbangsih bagi perkembangan matematika.

http://www.mate-mati-kaku.com/matematikawan/diophantus.html
http://yudamubarok.blogspot.com/2012/03/seratus-tokoh-yang-berpengaruh-dalam.html

2. Hypatia
(370 – 415)

Riwayat
Hypatia dari Alexandria adalah wanita pertama yang
memberi sumbangsih bagi perkembangan matematika.
Hypatia adalah anak dari matematikawan, filsuf dan kepala
museum Alexandria bernama Theon. Belajar matematika
lewat bimbingan dan ajaran sang ayah. Prestasi tertinggi
Hypatia adalah menjadi kepala sekolah Platonist di
Alexandria sekitar tahun 400. Hypatia mengajar matematika dan filsafat, terutama
filsafat neoplatonisme. Penemu neoplatonisme adalah Plotinus dilengkapi oleh
Lamblichus yang mendominasi pemikiran pada kisaran tahun 300. Pandangan filsafat
yang mengajarkan bahwa realitas terakhir tidak dapat digambarkan oleh pikiran maupun
bahasa. Hypatia mengajar ide-ide filosofi dengan penekanan lebih banyak pada sisi
ilmiah dibandingkan para pendahulunya. Hypatia digambarkan sebagai guru yang
mempunyai kharisma
Hypatia yang belajar dan menekui sains yang pada awal bangkitnya agama Kristen ini
diidentifikasikan dengan penyembah berhala. Para muridnya kagum dengan dedikasi
Hypatia terhadap ilmu pengetahuan dan sains. Salah seorang murid Hypatia yang
terkenal adalah Synesius dari Cyrene - kelak menjadi uskup Ptolomais, menyimpan
semua surat-menyuratnya dengan Hypatia adalah bukti pengabdian Hypatia pada ilmu
pengetahuan dan kagum akan kecerdasannya.

Karya-karya Hypatia

Tidak ada bukti konkrit yang menyatakan bahwa Hypatia melakukan penelitian
matematika. Hypatia membantu Theon dalam menulis komentar tentang karya Ptolemy
Almagest. Diketahui bahwa Hypatia juga terlibat dalam merevisi karya Euclid Elements
yang dilakukan oleh Theon, dimana kemudian menjadi basis atau acuan karya-karya
Euclid yang ada setelah itu. Kerjasama dengan ayah, seperti tertulis dalam The Suda,
adalah memberi komentar karya Diophantus, Arithmetica, Conics dari Apollonius dan
karya astronomikal dari Ptolemy.
Semua karya Hypatia dinyatakan hilang kecuali diketahui judul dan beberapa buku
acauan yang digunakan. Dari semua catatan yang ada menyebutkan bahwa Hypatia
adalah penyusun (compiler), editor dan melestarikan karya-karya para matematikawan
masa-masa sebelumnya.

Masa akhir

“Kesalahan” utama Hypatia adalah dia terlahir sebagai wanita dan tidak
menganut agama apapun (pagan) ditengah-tengah lingkungan Kristen yang sedang
berkembang. Pada tahun 412, St. Cyril yang menjadi uskup di Alexandria berseteru
dengan penguasa Alexandria yang bernama Orestes dari kekaisaran Romawi. Konflik
antara gereja dan negara. Orestes yang tidak disukai oleh para pengikut Kristen, adalah
teman Hypatia. Juga muncul selentingan bahwa Hypatia adalah pemicu konflik itu.

Konflik memuncak pada awal tahun 415, dimana sekelompok rahib Kristen menangkap
Hypatia di tengah jalan, memukuli, dan menyeret tubuhnya ke gereja terdekat, untuk
kemudian, (tidak perlu diceritakan lagi). Ada versi yang menyatakan bahwa Hypatia
dibunuh oleh penjahat Alexandria.
Sumbangsih
Barangkali ini adalah akhir dari “kehebatan” Yunani, karena mengingkari keyakinan
yang dianut selama ini, menghargai perbedaan pendapat. Namun dapat dicatat,
meskipun tidak akurat, bahwa Hypatia adalah matematikawati pertama. Namanya ada
pada posisi paling atas sebagai jawaban atas pertanyaan: “Siapa matematikawati paling
terkenal?”
 3. Pappus
(290 – 350)

Riwayat
Data riwayat Pappus dari Alexandria dapat dikatakan tidak ada sama sekali. Sesuai
dengan namanya, Pappus lahir dan meninggal di Alexandria. Diketahui bahwa dia
meneruskan karyanya kepada Hermodorus, Pandrosion dan Megethion. Ada praduga
bahwa Hermodorus adalah anaknya. Pappus mempunyai teman seorang filsuf, bernama
Hierius, yang diketahui menyarankan agar Pappus mempelajari problem-problem
matematika, tapi selebihnya tidak ada yang diketahui.
Diophantus, barangkali dapat disebut sebagai seorang penerus tradisi matematika
Yunani. Para pemikir dan matematikawan Yunani tidak dapat membangkitkan kembali
dari masa kejayaan mereka. Tidak ada lagi karya spektuler sepeninggal Euclid,
Archimedes dan Apollonius. Pappus yang hidup berkisar pada tahun 320 mencoba
membangkitkan kembali lewat kompilasi karya-karya sebelumnya dengan judul
Mathematical Collection (Synagoge) yang menjadi tonggak bagi perkembangan
matematika selanjutnya.

Karya Pappus

Karya Pappus tentang geometri dirangkum dalam Buku berjudul Kumpulan

matematikal (Collection) yang terdiri – seperti Euclid – dalam 8(delapan) buku/bagian.
Buku ini diperkirakan ditulis pada sekitar tahun 340 (sebagian menaksir tahun 325).
Beberapa pokok-pokok penting dicoba dijabarkan di bawah ini.
Buku I berisi ulasan tentang aritmatika yang tidak ditemukan.
Buku II sebagian hilang tapi diketahui berisi bahasan tentang metode menangani
bilangan-bilangan besar. Metode untuk mengekspresikan bilangan berpangkat,
diketahui sampai pangkat 10000.
Buku III dibagi menjadi empat bagian. Bagian pertama, membahas problem
menemukan perbandingan proposional antara dua garis lurus tertentu; bagian kedua,
membahas konstruksi aritmatika, geometrik dan perbandingan harmonik; bagian ketiga,
berisikan kumpulan paradoks-paradoks geometrikal yang dikatakan oleh Pappus
diambil dari karya Erycinus. Tidak ada yang mengetahui secara tepat karya Erycinus;
bagian keempat, berisikan lima bentuk polyhendra yang digambarkan dalam bentuk
ruang.
Dalam buku ini pula terdapat bahasan tentang kehebatan geometri Yunani klasik. Di
sini dilakukan pemilahan antara problem-problem: “ruang”, “benda” (solid) dan “garis”
(linear) – pertama, berkutat dengan menggambar lingkaran dan garis lurus; kedua,
penyelesaian dengan menggunakan potongan-potongan kerucut dan yang terakhir
merupakan membutuhkan kurva-kurva bukan hanya garis, lingkaran dan kerucut lagi.

Buku IV berisi bentuk-bentuk kurva termasuk di sini adalah bentuk spiral dari
Archimedes dan kuadratrik dari Hippias. Sekaligus berisi metode-metode pembagian
menjadi tiga seksi dan pengenalan tipe-tipe kurva. Terdapat tiga *) kategori problem
dalam geometri yang disebut dengan “plane”, “solid” dan “linear.”

Setiap problem mempunyai penyelesaian yang tepat. Jangan menggunakan pola

garis lurus untuk menyelesaikan problem pada bidang. Begitu pula problem ruang tidak
dapat diselesaikan dengan menggunakan pola garis lurus atau bidang.
Buku V diawali dengan bagaimana lebah membangun sarangnya (bentuk segi enam).
Bahasan Pappus tentang hasil penelitian disimpulkan dalam buku ini, seperti yang
dinyatakan:

Lebah ternyata mengetahui bahwa bentuk segi enam (heksagon) lebih besar daripada
persegi panjang atau segitiga. Sarang lebah ternyata mampu menyimpan lebih banyak
madu yang dibuat oleh lebah dengan bahan yang sama. Dapat disimpulkan bahwa
makin dengan panjang sisi sama, maka bentuk dengan jumlah sudut makin banyak
mempunyai isi makin besar dan yang paling besar adalah lingkaran.

Lebah membangun sarang bukan dalam bentuk persegi, segi tiga atau prima.
Buku ini juga berisikan problem tentang isoperimeter, termasuk peragaan bahwa
lingkaran mempunyai luas lebih besar dibandingkan dengan poligon bentuk apapun.
Pokok pikiran ini seperti karya Zenodorus (± 180 SM). Dalam buku ini juga terdapat
penemuan Archimedes tentang bentuk polyhendra (bidang dengan tiga belas sisi) yang
sering disebut dengan bidang-bidang (solids) Archimedes.

Buku VI dan buku VII merangkum buku-buku matematikawan lain seperti:

Throdosius, Autolycus, Aristarchus, Euclid, Apollonius, Aristaeus dan Eratoshenes.
Buku VI menyinggung astronomi dan diberi sub-judul Little Astronomy banyak
mengandung perbedaan dengan Greater Astronomy (Almagest) dari Ptolemy.
Buku VI berisi aplikasi matematika dalam astronomi, optik dan mekanika.

Buku VII tentang sejarah matematika. Melalui generalisasi, Pappus hampir menemukan
prinsip dasar geometri analitik. Mempelopori generalisasi problem yang terkait dengan
berbagai jenis kurva tipe baru. Disebut dengan problem Pappus yang menyebut tiga atau
empat garis seperti halnya Euclid atau Apollonius.

Buku VII, didalamnya terdapat problem Pappus. Di sini terdapat gambaran

lengkap tentang apa yang disebut dengan metode analisis dan kumpulan karya-karyanya
yang disebut dengan Treasury of Analysis. Pappus memberi penjelasan bahwa analisis
sebagai “suatu metode” yang dibedakan dengan sintesis. Dari gambaran yang diberikan
Pappus, kita mengetahui bahwa pada Conics dari Apollonius terdapat 487 theorema.
Dalam tujuh buku pertama berisikan 382 proposisi dan pada buku ke delapan yang
hilang terdapat 105 proposisi.

Buku VIII adalah aplikasi matematika pada bidang astronomi, optik dan mekanika.

Penutup

Collections dari Pappus adalah makalah matematika kuno yang berisikan upaya
dari pengarangnya untuk menghidupkan kembali geometri, namun tidak berhasil.

Memang rangkuman Element dari Euclid dan Almagest dari Ptolemy dapat
dihidupkan. Kelak Theon (± 365) memberi tambahan informasi sejauh bukan karya
matematika. Agaknya Hypatia – anak Theon - mampu mengangkat kembali geometri ke
pentasnya kembali sebelum disebarluaskan olehnya lewat komentar dan resensi
terhadap karya-karya Diophantus, Ptolemy dan Apollonius.

*) Geometer Yunani membagi kurva menjadi 3 kategori. Pertama, “plane loci”

terdiri dari garis lurus dan lingkaran; kedua, “solid loci” terdiri dari bagian/potongan
kerucut; ketiga, “liniear loci” gabungan antara garis dan bentuk bidang.

Sumbangsih
 Membuat rangkuman semua karya-karya para pendahulunya – terutama karya
Apollonius - dengan mutu lebih karena bahasannya sudah lebih rinci. Banyak gagasan
Pappus yang dipakai oleh matematikawan era berikutnya. Tidak banyak gagasan baru
yang dapat diambil, namun merupakan jembatan bagi pelestarian karya-karya para
matematikawan sebelumnya.
 4. Archimedes (287-212 SM)

Archimedes of Syracuse

Beliau
Archimedes Thoughtful (1620)
Lahir c. 287 BC
Syracuse, Sicily
Magna Graecia
Meninggal c. 212 BC
Syracuse
Tempat tinggal Syracuse, Sisilia
Bidang Matematika, fisika, Teknik, Astronomi, Penemu
Dikenal atas Prinsip Archimedes, Archimedes' screw, Hydrostatics,
Levers, Infinitesimals
mengaplikasikan prinsip fisika dan matematika. Dan juga menemukan perhitungan π
(pi) dalam menghitung luas lingkaran. Ia adalah ahli matematika terbesar sepanjang
zaman dan di zaman kuno. Tiga kaaarya Archimedes membahas geometri bidang datar,
yaitu pengukuran lingkaran, kuadratur dari parabola dan spiral. Archimedes (c.287-212
SM) dari Syracuse , secara luas dianggap terbesar matematika kuno, menggunakan
metode kelelahan untuk menghitung luas di bawah busur dari parabola dengan
penjumlahan dari seri terbatas , dengan cara yang tidak terlalu berbeda dari kalkulus
modern. Ia juga menunjukkan orang bisa menggunakan metode kelelahan untuk
menghitung nilai π dengan presisi sebanyak yang diinginkan, dan memperoleh nilai
yang paling akurat π kemudian dikenal, 3 10/71 <<π 3 10/70. Ia juga mempelajari spiral
bantalan namanya, rumus yang diperoleh untuk volume dari permukaan revolusi
(paraboloid, ellipsoid, hyperboloid), dan sistem cerdas untuk mengekspresikan jumlah
yang sangat besar. Sementara ia juga dikenal karena kontribusinya untuk fisika dan
beberapa perangkat mekanik canggih, Archimedes sendiri menempatkan nilai yang jauh
lebih besar pada produk pemikiran dan prinsip-prinsip matematika secara umum. Ia
dianggap sebagai prestasi terbesar temuannya dari luas permukaan dan volume dari
bola, yang ia peroleh dengan membuktikan ini adalah 2/3 luas permukaan dan volume
silinder circumscribing bola.
 Archimedes adalah seorang arsitokrat. Archimedes
adalah anak astronom Pheidias yang lahir di
Syracuse, koloni Yunani yang sekarang dikenal
dengan nama Sisilia.

Archimedes adalah orang pertama yang memberi

metode menghitung besar π (pi) dengan derajat
akurasi yang tinggi. Menghitung besar ? dilakukan
dengan cara membuat lingkaran diantara dua segi
enam. Luas segi enam kecil < luas lingkaran < luas
segi enam besar. Dengan memperbesar jumlah segi
- Archimedes membuat 96 sisi, diperoleh besaran:
310/71<π<310/70
(3,14084 < π < 3,14285) 
Kontribusi penghitungan π (pi) dari Archimedes barangkali dapat disebut sebagai awal
bagi para pengikut untuk meniru metode yang dipakai untuk menghitung luas lingkaran.
Terus memperbanyak jumlah segi enam untuk menghitung besaran π (pi) mengilhami
para matematikawan berikutnya bahwa adanya suatu ketidakhinggaan - seperti paradoks
Zeno, dimana hal ini mendorong penemuan kalkulus.
Archimedes dari Syracusa (sekitar 287 SM - 212 SM) Ia belajar di kota Alexandria,
Mesir. Pada waktu itu yang menjadi raja di Sirakusa adalah Hieron II, sahabat
Archimedes. Archimedes sendiri adalah seorang matematikawan, astronom, filsuf,
fisikawan, dan insinyur berbangsa Yunani. Ia dibunuh oleh seorang prajurit Romawi
pada penjarahan kota Syracusa, meskipun ada perintah dari jendral Romawi, Marcellus
bahwa ia tak boleh dilukai. Sebagian sejarahwan matematika memandang Archimedes
sebagai salah satu matematikawan terbesar sejarah, mungkin bersama-sama Newton dan
Gauss.
Penemuannya
Pada suatu hari Archimedes dimintai Raja Hieron II untuk menyelidiki apakah mahkota
emasnya dicampuri perak atau tidak. Archimedes memikirkan masalah ini dengan
sungguh-sungguh. Hingga ia merasa sangat letih dan menceburkan dirinya dalam bak
mandi umum penuh dengan air. Lalu, ia memperhatikan ada air yang tumpah ke lantai
dan seketika itu pula ia menemukan jawabannya. Ia bangkit berdiri, dan berlari
sepanjang jalan ke rumah dengan telanjang bulat. Setiba di rumah ia berteriak pada
istrinya, "Eureka! Eureka!" yang artinya "sudah kutemukan! sudah kutemukan!" Lalu ia
membuat hukum Archimedes.
Dengan itu ia membuktikan bahwa mahkota raja dicampuri dengan perak. Tukang yang
membuatnya dihukum mati.
Penemuan yang lain adalah tentang prinsip matematis tuas, sistem katrol yang
didemonstrasikannya dengan menarik sebuah kapal sendirian saja. Ulir penak, yaitu
rancangan model planetarium yang dapat menunjukkan gerak matahari, bulan, planet-
planet, dan kemungkinan rasi bintang di langit.
Di bidang matematika, penemuannya terhadap nilai pi lebih mendekati dari ilmuan
sebelumnya, yaitu 223/71 dan 220/70. Archimedes adalah orang yang mendasarkan
penemuannya dengan eksperimen sehingga ia dijuluki Bapak IPA Eksperimental.
http://id.wikipedia.org/wiki/Archimedes
Biografi Archimedes
Archimedes yang hidup di Yunani pada tahun 287 sampai 212 sebelum masehi, adalah
seorang matematikawan, fisikawan, astronom sekaligus filusuf. Archimedes dilahirkan
di kota pelabuhan bernama Syracuse, kota ini sekarang dikenal sebagai Sisilia.
Archimedes merupakan keponakan raja Hiero II yang memerintah di Syracuse pada
masa itu. Ia dibunuh oleh seorang prajurit Romawi pada penjarahan kota Syracusa,
meskipun ada perintah dari jendral Romawi, Marcellus bahwa ia tak boleh dilukai.
Sebagian sejarahwan matematika memandang Archimedes sebagai salah satu
matematikawan terbesar sejarah, mungkin bersama-sama Newton dan Gauss.
Nama Archimedes menjadi terkenal setelah ia melompat dari bak mandinya dan berlari-
lari telanjang setelah membuktikan bahwa mahkota raja tidak terbuat dari emas murni.
Ucapannya "Eureka (aku menemukannya)" menjadi terkenal sampai saat ini.
Archimedes juga merupakan orang pertama yang mendefinisikan sistem angka yang
mengandung "myriad (10000)", myramid menunjukkan seuatu bilangan yang nilainya
tak berhingga. Ia juga mendefinisikan perbandingan antara keliling lingkaran dan jari-
jari lingkaran yang dikenal sebagai pi sebesar 3.1429.
Raja Hiero II kala itu terikat perjanjian dengan bangsa Romawi. Syracuse harus
mengirimkan gandum dalam jumlah yang besar pada bangsa Romawi, agar mereka
tidak diserang. Hingga pada suatu ketika Hiero II tidak mampu lagi mengirim gandum
dalam jumlah yang ditentukan. Karena itu Archimedes ditugaskan merancang dan
membuat kapal jenis baru untuk memperkuat angkatan laut raja Hiero II.
Pada masa itu, kapal yang dibuat oleh Archimedes adalah kapal yang terbesar. Untuk
dapat mengambang, kapal ini harus dikeringkan dahulu dari air yang menggenangi dek
kapal. Karena besarnya kapal ini, jumlah air yang harus dipindahkanpun amat banyak.
Karena ituArchimedes menciptakan sebuah alat yang disebut "Sekrup Archimedes".
Dengan ini air dapat dengan mudah disedot dari dek kapal. Ukuran kapal yang besar ini
juga menimbulkan masalah lain. Massa kapal yang berat, menyebabkan ia sulit untuk
dipindahkan. Untuk mengatasi hal ini, Archimedes kembali menciptkan sistem katrol
yang disebut "Compound Pulley". Dengan sistem ini, kapal tersebut beserta awak kapal
dan muatannya dapat dipindahkan hanya dengan menarik seutas tali. Kapal ini
kemudian diberi nama Syracusia, dan menjadi kapal paling fenomenal pada zaman itu.
Selama perang dengan bangsa Romawi, yang dikenal dengan perang punik kedua,
Archimedes kembali berjasa besar. Archimedes mendesain sejumlah alat pertahanan
untuk mencegah pasukan Romawi di bawah pimpinan Marcus Claudius Marcellus,
merebut Syracuse.
Saat armada Romawi yang terdiri dari 120 kapal mulai tampak di cakrawala Syracuse.
Archimedes berfikir keras untuk mencegah musuh merapat dipantai. Archimedes
kemudian mencoba membakar kapal-kapal Romawi ini dengan menggunakan sejumlah
cermin yang disusun dari perisai-perisai prajurit Syracuse. Archimedes berencana untuk
membakar kapal-kapal musuh dengan memusatkan sinar matahari. Namun rencana ini
tampaknya kurang berhasil. Hal ini disebabkan untuk memperoleh jumlah panas yang
cukup untuk membakar sebuah kapal, kapal tersebut haruslah diam.
Walaupun hasilnya kurang memuaskan, dengan alat ini Archimedes berhasil
menyilaukan pasukan Romawi hingga mereka kesulitan untuk memanah. Panas yang
ditimbulkn dengan alat ini juga berhasil membuat musuh kegerahan, hingga mereka
lelah sebelum berhadapan dengan pasukan Syrcuse.
Saat musuh mulai mengepung pantai Syracuse, Archimedes kembali memutar otak.
Tujuannya kali ini adalah mencari cara untuk menenggelamkan kapal-kapal Romawi
ini. Archimedes kemudian menciptakan alat yang disebut cakar Archimedes. Alat ini
bentuknya mirip derek pada masa kini. Setelah alat ini secara diam-diam dikaitkan ke
badan kapal musuh, derek ini kemudian ditarik. Akibanya kapal musuh akan oleng, atau
bahkan robek dan tenggelam.
Selain kedua alat ini Archimedes juga mengembangkan ketapel dan balista untuk
melawan pasukan Romawi. Namun sayangnya walaupun didukung berbagai penemuan
Archimedes, Syracuse masih kalah kuat dibandingkan pasukan Romawi.
Archimedespun akhirnya terbunuh oleh pasukan Romawi. Saat tewas Archimedes
sedang mengerjakan persoalan geometri dengan menggambarkan lingkaran-lingkaran di
atas tanah. Sebelum dibunuh ia meneriaki pasukan Romawi yang lewat "Jangan ganggu
lingkaranku!!!
http://kolom-biografi.blogspot.com/2009/01/biografi-archimedes.html
5. Eratosthenes (276 SM - 194 SM)Eratosthenes

( bahasa Yunani Ἐρατοσθένης) (276 SM - 194

SM) adalah seorang matematikawan, ahli geografi
dan astronom zaman Helenistik. Ia tercatat
sebagai orang yang pertama kali memikirkan
sistem koordinat geografi, dan yang pertama
diketahui menghitung keliling Bumi.
Eratosthenes dilahirkan di Cyrene (Libya saat ini),
tetapi bekerja dan meninggal di Alexandria. Dia
tidak pernah menikah dan dikenal sebagai seorang
yang sombong.
Eratosthenes belajar di Alexandria dan untuk beberapa tahun di Athena. Pada 236
SM ia ditunjuk oleh Ptolemy III Euergetes I sebagai pustakawanPerpustakaan
Alexandria, menggantikan pustakawan pertama, Zenodotos. Dia membuat beberapa
sumbangan penting pada matematika dan sains, dan merupakan teman baik
Archimedes. Sekitar 255 SM ia menciptakan bola armilar, yang digunakan secara
luas hingga diciptakannya oreri pada abad 18. Pada 195 SM ia menjadi buta dan
setahun kemudian diduga membiarkan dirinya kelaparan hingga meninggal dunia.

Ia dicatat oleh Cleomedes dalam On the Circular Motions of the Celestial Bodies
sebagai orang yang telah menghitung keliling Bumi pada sekitar tahun 240 SM,
menggunakan metode trigonometri dan pengetahuan mengenai sudut kemiringan
Matahari saat tengah hari di Alexandria dan Syene (sekarang Aswan, Mesir).

Eratosthenes dan keliling Bumi

Eratosthenes mengetahui bahwa pada saat titik musim panas pada siang lokal di kota
Syene yang terletak di Tropic of Cancer, Matahari akan tampak di zenit, tepat di atas
kepala. Ia juga mengetahui dari pengukuran bahwa di kampung halamannya,
Alexandria, sudut kemiringan Matahari pada saat yang sama adalah 7,2° di selatan
zenit. Dengan asumsi bahwa Alexandria berada di utara Syene ia menyimpulkan bahwa
jarak dari Alexandria ke Syene adalah 7,2/360 dari total keliling Bumi. Jarak antara
kedua kota tersebut diketahui dari para pedagang/pengelana sekitar 5000 stadia: sekitar
800 km. Dia mendapatkan angka akhir 700 stadia per derajat, yang berarti keliling Bumi
adalah 252.000 stadia. Ukuran pasti dari stadion yang dia gunakan saat ini tidak lagi
diketahui dengan pasti (ukuran stadion Attic sekitar 185 m), tetapi umumnya dipercaya
bahwa keliling Bumi yang dihitung Eratosthenes adalah sekitar 39.690 km.

Meskipun metode Eratosthenes cukup baik, akurasi perhitungannya masih terbatas.

Akurasi pengukuran Eratosthenes terkurangi oleh fakta bahwa Syene tidaklah tepat
berada di Tropic of Cancer, tidak juga tepat berada di selatan Alexandria, dan Matahari
sebetulnya adalah sebuah piringan yang berada pada suatu jarak tertentu dari Bumi dan
bukan sebuah "sumber titik" pada jarak yang tak hingga. Sumber lain dari galat
pengukurannya adalah: ketelitian tertinggi pengukuran sudut pada zaman itu hanyalah
seperempat derajat, dan pengukuran jarak melalui perjalanan darat masih diragukan.
Maka akurasi dari perhitungan Eratosthenes adalah mengejutkan, sebab keliling Bumi
yang diukur melewati kutub-kutubnya saat ini diketahui berharga 40.008 km.

Percobaan Eratosthenes pada saat itu sangat dipandang, dan perkiraannya tentang
ukuran Bumi diterima hingga ratusan tahun sesudahnya. Metodenya digunakan oleh
Posidonius sekitar 150 tahun kemudian.

Karya lain Eratosthenes lain meliputi:

1. Saringan Eratosthenes sebagai cara menemukan bilangan prima.

2. Kemungkinan, pengukuran jarak Matahari-Bumi, sekarang disebut sebagai

satuan astronomi dan jarak Bulan.
3. Pengukuran inklinasi bidang ekliptika hingga mencapai ketelitian 7 menit
busur.
4. Katalog bintang memuat 675 bintang (namun tidak terlestarikan).
 5. Peta rute pelayaran di Sungai Nil hingga sejauh Khartoum.
6. Peta dunia yang diketahui saat itu, dari Kepulauan Britania hingga Srilangka,
dan dari Laut Kaspia hingga Ethiopia. Hanya Hipparchus, Strabo, dan Ptolemy
yang dapat membuat peta yang lebih akurat pada masa klasik dan post-klasik.
7. Sejumlah karya dalam teater dan etika.
8. Sebuah kalender dengan tahun kabisat, dimana dia berusaha menentukan
sejumlah tanggal pasti dan hubungan dari berbagai macam event politik dan
literatur pada masanya hingga ke masa Perang Troya.

Koleksi terpisah dari mitos-mitos langit zaman Helenistik disebut Catasterismi

(Katasterismoi) dipertautkan kepada Eratosthenes; dipercaya bahwa hal ini dipertautkan
sebagai pengakuan atas kredibilitasnya.
 6. Diophantus (250-200 SM)
Riwayat
Sekitar tahun 250 seorang matematikawan
Yunani yang bermukim di Alexandria
melontarkan problem matematika yang tertera di
atas batu nisannya. Tidak ada catatan terperinci
tentang kehidupan Diophantus, namun
meninggalkan problem tersohor itu pada Palatine
Anthology, yang ditulis setelah meninggalnya. Pada batu nisan Diophantus tersamar
(dalam persamaan) umur Diophantus.
Dugaan tentang kehidupan Diophantus cukup misterius. Kita hanya dapat menduga
lewat dua fakta yang menarik sebelum menarik kesimpulan. Pertama, dia mengutip
tulisan Hypsicles yang diketahui hidup sekitar tahun 150 SM. Kedua, tulisan
Diophantus dikutip oleh Theon dari Alexandria. Prakiraan hidup Theon, diacu dari
gerhana matahari yang terjadi pada 16 Juni 364. Dengan dua fakta ini diperkirakan
Diophantus hidup antara tahun 150 SM sampai tahun 364. Para peneliti,
menyimpulkan bahwa diperkirakan Diophantus hidup sekitar tahun 250.

Karya Diophantus

Diophanus menulis Arithmetica, yang mana isinya merupakan pengembangan aljabar

yang dilakukan dengan membuat beberapa persamaan. Persamaan-persamaan tersebut
disebut persamaan Diophantin, digunakan pada matematika sampai sekarang.

Diophantus menulis lima belas namun hanya enam buku yang dapat dibaca, sisanya ikut
terbakar pada penghancuran perpustakaan besar di Alexandria. Sisa karya Diophantus
yang selamat sekaligus merupakan teks bangsa Yunani yang terakhir yang
diterjemahkan. Buku terjemahan pertama kali dalam bahasa Latin diterbitkan pada
tahun 1575. Prestasi Diophantus merupakan akhir kejayaan Yunani kuno.

[Pierre] Fermat mengetahui buku Diophantus lewat terjemahan Clause Bachet yang
diterbitkan tahun 1621. Problem kedelapan pada buku kedua tentang cara membagi akar
bilangan tertentu menjadi jumlah dua sisi panjang. Rumus Pythagoras sudah dikenal
orang Babylonia 2000 tahun silam – memberi inspirasi bagi Fermat untuk menuliskan
TTF /Theorema Terakhir Fermat (Fermat Last Theorem).

Susunan dalam Arithmetica tidak secara sistimatik operasi-operasi aljabar, fungsi-fungsi

aljabar atau solusi terhadap persamaan-persamaan aljabar. Di dalamnya terdapat 150
problem, semua diberikan lewat contoh-contoh numerik yang spesifik, meskipun
barangkali metode secara umum juga diberikan. Sebagai contoh, persamaan kuadrat
mempunyai hasil dua akar bilangan positif dan tidak mengenal akar bilangan negatif.
Diophantus menyelesaikan problem-problem menyangkut beberapa bilangan tidak
diketahui dan dengan penuh keahlian menyajikan banyak bilangan-bilangan yang tidak
diketahui.

Contoh: Diketahui bilangan dengan jumlah 20 dan jumlah kuadratnya 208; angka
bukan diubah menjadi x dan y, tapi ditulis sebagai 10 + x dan 10 – x (dalam notasi
modern). Selanjutnya, (10 + x)² + (10 - x)² = 208, diperoleh x = 2 dan bilangan yang
tidak diketahui adalah 8 dan 12.

Diophantus dan Aljabar

Dalam Arithmetica, meski bukan merupakan buku teks aljabar akan tetapi didalamnya
terdapat problem persamaan x² = 1 + 30y² dan x² = 1 + 26y², yang kemudian diubah
menjadi “persamaan Pell” x² = 1 + py²; sekali lagi didapat jawaban tunggal, karena
Diophantus adalah pemecah problem bukan menciptakan persamaan dan buku itu
berisikan kumpulan problem dan aplikasi pada aljabar. Problem Diophantus untuk
menemukan bilangan x, y, a dalam persamaan x² + y² = a² atau x³ + y³ = a³, kelak
mendasari Fermat mencetuskan TTF (Theorema Terakhir Fermat). Prestasi ini membuat
Diophantus seringkali disebut dengan ahli aljabar dari Babylonia dan karyanya disebut
dengan aljabar Babylonia.

*) Misal umur x, sehingga x = 1/6x + 1/12x + 1/7x + 5 + ½x + 4 akan diperoleh x = 84,

umur Diophantus.

Sumbangsih
Seringkali disebut dengan ”Bapak” aljabar Babylonia. Karya-karyanya tidak hanya
mencakup tipe material tertentu yang membentuk dasar aljabar modern; bukan pula
mirip dengan aljabar geometri yang dirintis oleh Euclid.
Diophantus mengembangkan konsep-konsep aljabar Babylonia dan merintis suatu
bentuk persamaan sehingga bentuk persamaan seringkali disebut dengan persamaan
Diophantine (Diophantine Equation) menunjuk bahwa Diophantus cukup memberi
sumbangsih bagi perkembangan matematika.

http://www.mate-mati-kaku.com/matematikawan/diophantus.html
http://yudamubarok.blogspot.com/2012/03/seratus-tokoh-yang-berpengaruh-dalam.html
7. Apollonius dari Perga (262 - 190 SM)
Konsepnya mengenai parabola, hiperbola, dan elips banyak memberi sumbangan
bagi astronomi modern. Ia merupakan seorang matematikawan tang ahli dalam
geometri. Teorema Appolonius menghubungkan beberapa unsur dalam segitiga.
Apollonius dari Perga (c. 262-190 SM) membuat kemajuan signifikan untuk
mempelajari bagian berbentuk kerucut , menunjukkan bahwa seseorang bisa
mendapatkan semua tiga jenis irisan kerucut dengan memvariasikan sudut pesawat yang
memotong ganda-napped kerucut. Dia juga menciptakan istilah yang digunakan saat ini
untuk bagian berbentuk kerucut, yaitu parabola ("tempat di samping" atau
"perbandingan"), "elips" ("kekurangan"), dan "hiperbola" ("lemparan luar"). Nya Karya
Conics adalah salah satu karya matematika paling dikenal dan diawetkan dari jaman
dahulu, dan di dalamnya ia berasal teorema banyak mengenai bagian berbentuk kerucut
yang akan terbukti sangat berharga untuk matematikawan dan astronom kemudian
mempelajari gerakan planet, seperti Isaac Newton. Sementara tidak Apollonius atau
setiap matematikawan Yunani lainnya membuat lompatan untuk mengkoordinasikan
geometri, pengobatan Apollonius 'kurva dalam beberapa hal mirip dengan pengobatan
modern, dan beberapa karyanya tampaknya mengantisipasi perkembangan geometri
analitis oleh Descartes beberapa 1800 tahun kemudian.
Apollonius dari Perga (bahasa Yunani: Ἀπολλώνιος) (sekitar 262 SM–sekitar 190
SM) adalah seorang ahli geometri dan astronom Yunani yang dikenal karena karyanya
mengenai irisan kerucut. Metodologi dan terminologinya yang inovatif, khususnya
dalam bidang kerucut, memengaruhi banyak sarjana sesudahnya termasuk Ptolemaeus,
Francesco Maurolico, Isaac Newton, dan René Descartes. Adalah Apollonius yang
memberi nama elips, parabola, dan hiperbola, seperti yang kita kenal sekarang.
Hipotesis mengenai eksentrisitas orbit, atau deferent dan epicycle, untuk menjelaskan
pergerakan teramati dari planet-planet dan perubahan kecepatan Bulan, dipertautkan
pada namanya. Teorema Apollonius mendemonstrasikan bahwa dua model tersebut
adalah ekuivalen di bawah parameter-parameter yang sesuai. Ptolemaeus
menggambarkan teori ini dalam Almagest XII.1. Kawah Apollonius di Bulan dinamai
untuk menghormati jasanya.

http://hari-smpn2taman.blogspot.com/2010/11/apollonius-262-190-sm.html
 Riwayat
Tidak banyak informasi tentang Apollonius dari Perga yang lazim disebut dengan pakar
pengukur tanah (geometer) terbesar. Namun karya-karyanya membawa dampak besar
bagi perkembangan matematika. Buku karyanya yang terkenal, Conics (kerucut),
mengenalkan istilah-istilah yang sekarang populer seperti: parabola, elips dan hiperbola.

Disebut dengan kerucut karena irisan dari sebuah kerucut akan menghasilkan tiga
bentuk yang sudah disebut di atas. Masa mudanya tidak terlalu jelas, tapi diketahui
bahwa dia mengalami masa pemerintahan Ptolemy Euergetes, Ptolemy Philopatus; ada
laporan yang menyebut bahwa Apollonius adalah pengikut Ptolemy Philadelphus.
Umurnya lebih kurang 25 – 40 tahun lebih muda dibandingkan dengan Archimedes.

Apollonius yang menjadi matematikawan lahir di Perga, Pamphylia yang sekarang

dikenal dengan sebutan Murtina atau Murtana, terletak di Antalya, Turki. Pada jaman
itu, Perga adalah pusat kebudayaan dan lokasi kuil Artemis, dewi alam. Saat muda usia
Apollonius pergi ke Alexandria dimana dia belajar di bawah bimbingan para pengikut
Euclid sebelum mengajar di sana. Kemudian, Apollonius pergi ke Pergamun di mana di
sana terdapat universitas dan perpustakaan besar untuk menyaingi perpustakaan besar di
Alexandria sedang dalam tahap pembangunan. Pergamum saat ini tidak lain merupakan
nama lain dari kota Bergama terletak pada propinsi Izmir di Turki, adalah kota Yunani
kuno. Dengan lokasi pada 25 km dari laut Aegean pada perbukitan sebelah utara lembah
sungai Caicus (sekarang disebut dengan sungai Bakir).

Di Pergemum, Apollonius bertemu dengan Eudemus yang menulis buku Sejarah

Geometri (Hystory of Geometry) dan Attalus, yang diperkirakan adalah Raja Attalus I
dari Pergamum. Prakiraan ini diawali dari kata pengantar buku Apollonius yang
menunjukkan rasa hormat dan sembah takzim kepada Attalus

Karya Apollonius lainnya

Seperti halnya nama Archimedes yang banyak dipakai orang. Untuk menghindari
kerancuan, maka masing-masing nama disebutkan asalnya. Begitu pula terdapat banyak
nama Apollonius yang dikenal dalam hubungannya dengan ilmu. Beberapa nama
Apollonius yang dikenal umum. Apollonius dari Rhodes yang lahir pada kisaran tahun
295 SM adalah ahli sastra Yunani, murid Callimachus yang juga guru dari Eratosthenes;
Apollonius dari Tralles, dua abad SM, adalah seorang pemahat Yunani; Apollonius dari
Tyana, abad pertama, adalah salah satu pengikut Pythagoras (Pythagorean); Apollonius
dari Dyscolus, dua abad setelah masehi, ahli bahasa Yunani dan perintis pembelajaran
tata-bahasa secara sistematis; dan Apollonius dari Tyre adalah nama pustakawan
terkenal.

Karya-karya yang hilang

Karya-karya Apollonius banyak yang hilang. Skema bilangan dari Apollonius

barangkali adalah salah satu yang terselamatkan dari bagian terakhir buku II berjudul
Kumpulan Matematikal (Mathematical Collections) dari Pappus (Semua buku I dan
awal buku II hilang). Apollonius juga menulis Cara Cepat (Quick Delivery) yang
berisikan pengajaran tentang tip-tip atau teknik-teknik penghitungan cepat. Diketahui
bahwa karya-karya Apollonius yang hilang seperti: penjabaran nisbah/ratio (Cutting-off
Ratio); penjabaran luas (cutting-off of an area); seksi penentu (On Determinate
Section); Tangen; titik potong (vergings) dan Plane Loci.

Dari gambaran yang ditulis dari karya-karya Pappus dan para pendahulunya, muncul
gagasan, pada abad ke-17, untuk merekonstruksi buku-buku geometri karya
matematikawan Yunani kuno yang hilang, dimana makalah karya Apollonius adalah
salah satu diantaranya. Kelak karya Apollonius ditemukan oleh para bangsawan
Perancis (termasuk Fermat) pada abad 17 yang memberi pengaruh besar bagi para
matematikawan Perancis pada umumnya dan Fermat pada khususnya.

Karya puncak, Conics (kerucut)

Buku pertama Conics (kerucut) membahas segala sesuatu

tentang hal-hal mendasar tentang kurva-kurva yang disebut
“paling lengkap dan lebih umum dibanding pengarang-
pengarang lain.” Dalam buku ini pula disebutkan theorema
dan transformasi koordinat dari sistem yang didasarkan pada
tangen dan diameter pada titik P yang berada pada kerucut ke
dalam sistem baru yang ditentukan oleh tangen dan diameter dari titik Q yang berada
pada kurva yang sama. Apollonius sangat mengenal karakteristik hiperbola dengan
asimtut sebagai absisnya. Persamaan xy = c2 adalah hiperbola sama sisi yang mirip
dengan rumus hukum Boyle tantang gas.
 Buku kedua melanjutkan bahasan tentang tangen dan diameter. Dengan
menggunakan proposisi-proposisi dan gambar-gambar kurva.

Buku ketiga disebut oleh Apollonius yang paling membanggakan dirinya karena
disebutkan berisi theorema-theorema yang bermanfaat untuk melakukan (operasi)
sintesis dan solid loci penentuan limit. Disebutkan olehnya bahwa Euclid belum
menyinggung topik ini. Locus tiga dan empat garis memegang peran penting dalam
matematika sejak Euclid sampai Newton.

Buku keempat menggambarkan keinginan pengarangnya untuk menunjukkan

“Berapa banyak cara bagian kerucut dapat saling berpotongan.” Ide tentang hiperbola
dua cabang yang berlawanan arah adalah gagasan Apollonius.

Buku kelima berhubungan dengan maksimum dan minimum garis lurus yang
bersinggungan dengan kerucut.

Pada saat buku ini dibuat, tidak pernah terpikirkan bahwa akan konsep-konsep
didalamnya mendasari dinamika bumi (terrestial) dan mekanika alam semesta
(celestial). Tanpa pengetahuan tentang tangen terhadap parabola mustahil analisis
terhadap lintasan peluru tidaklah dimungkinkan.

Buku keenam, berisikan proposisi-proposisi tentang bagian dari kerucut apakah

sama atau beda, mirip atau berlainan. Terdapat satu proposisi yang membuktikan bahwa
apabila sebuah kerucut dipotong oleh dua garis sejajar terjadilah bagian-bagian
hiperbolik dan eliptik, bagian yang mirip namun tidak sama.

Buku ketujuh kembali membicarakan tentang mentasrifkan (conjungate) diameter-

diameter dan berbagai “proposisi-proposisi baru” yang membahas diameter dari bagian-
bagian kerucut.

Asal-usul nama

Archimedes sudah mencetuskan nama parabola yang artinya bagian sudut kanan
kerucut. Apollonius (barangkali melanjutkan penamaan Archimedes) mengenalkan kata
elips dan hiperbola dalam kaitannya dengan kurva-kurva tersebut. Istilah “elips”,
“parabola”, dan “hiperbola” bukanlah penemuan Achimedes maupun Apollonius;
mereka mengadaptasi kata dan artinya dari para pengikut Pythagoras (pythagorean),
dalam menyelesaikan persamaan-persamaan kuadratik untuk aplikasi mencari luas.
Elips berarti kurang atau tidak sempurna digunakan untuk memberi nama apabila luas
persegi panjang pada bidang yang diketahui disetarakan dengan bagian garis tertentu
yang diketahui hasilnya kurang. Hiperbola yang artinya kelebihan dipakai apabila luas
persegi panjang pada bidang yang diketahui disetarakan dengan bagian garis tertentu
yang diketahui hasilnya lebih. Parabola yang artinya di samping atau pembanding) tidak
mengindikasikan lebih atau kurang. Apollonius menggunakan ketiga istilah di atas
dalam konteks baru yaitu sebagai persamaan parabola dengan verteks pada titik asal,
(0,0), sistem Kartesian, adalah y² = lx (l = “latus rectum” atau parameter) sekarang
diganti dengan 2p atau bahkan 4p.

* Geometer Yunani membagi kurva menjadi 3 kategori. Pertama, “plane loci” terdiri
dari garis lurus dan lingkaran; kedua, “solid loci” terdiri dari bagian/potongan kerucut;
ketiga, “liniear loci” gabungan antara garis dan bentuk bidang.

Sumbangsih
Konsep parabola, hiperbola dan elips banyak memberi sumbangan bagi astronomi
modern. Buku Newton Principia memberi harapan orang melakukan perjalanan ke luar
angkasa. Baru tahun 1960-an, keinginan itu terlaksana karena pemahaman konsep
minima, maksima dan tangen dari Apollonius. Karya Apollonius kelak
digeneralisasikan oleh Descartes - setelah ada “sentuhan” Pappus, untuk menguji
geometri analitik. Tema seperti buku teks dan bahasan yang mendalam dan rinci
mamberi inspirasi bagi perkembangan matematika abad-abad berikutnya.

http://hari-smpn2taman.blogspot.com/2010/11/apollonius-262-190-sm.html
 DAFTAR PUSTAKA

http://hari-smpn2taman.blogspot.com/2010/11/apollonius-262-190-sm.html

http://hari-smpn2taman.blogspot.com/2010/11/apollonius-262-190-sm.html
http://www.mate-mati-kaku.com/matematikawan/diophantus.html
http://yudamubarok.blogspot.com/2012/03/seratus-tokoh-yang-berpengaruh-dalam.html
http://kolom-biografi.blogspot.com/2009/01/biografi-archimedes.html
http://id.wikipedia.org/wiki/Archimedes
http://www.mate-mati-kaku.com/matematikawan/diophantus.html
http://yudamubarok.blogspot.com/2012/03/seratus-tokoh-yang-berpengaruh-dalam.html
http://id.wikipedia.org/wiki/Sejarah_purbakala matematika

http://id.wikipedia.org/wiki/Sejarah_matematika

Id.wikipedia.org/wiki/Matematika

Unindra.blogspot.com/2008/04/sejarah-matematika.html

Sumber :

http://www.anneahira.com/ilmu/ilmu-matematika.htm

(http://www.masbied.net/2010/06/04/sejarah-perkembangan-matematika/),