TEKNOLOGI

DAN
MATEMATIKA
Kelompok 3
About Us Revina Pebriani
22512023

Bunga Gobul Mela Ameliasari

22512016 22514002

Reka Ericha Hani Hanifah

22513009 22516004
 A Philosopher's
1 Introduction 5 Dream Come (Party)
True
The Technological
9 usefulness of
Mathematics
Summing Up The
2 How if all began
6 Philosophical
Problem

The Technology
The use of
Dependence of
3 mathematics in 7 Mathematical
Technology
knowledge
10 Conclusion

The use of
The Notion of a
4 Technology in
Mathematics
8 Computation
Introdaction
Teknologi modern tidak akan terpikirkan tanpa matematika.
Hubungannya timbal balik, karena matematika juga
membutuhkan teknologi. Saat ini, ahli matematika tidak hanya
menggunakan computer untuk perhitungan, tetapi juga untuk
berbagai tugas lainnya, termsuk mencari bukti, validasi, dan
contoh tandingan.
How if all
began?? Sebuah tulang kecil berumur sekitar 11.000 tahun yang ditemukan di
Kongo memiliki tiga kolom dengan total 167 tanda penghitungan . 1 Simpul pada
senar telah digunakan di banyak budaya untuk tujuan yang sama . Suku Inca
menggunakan set tali simpul yang terhubung untuk tujuan pembukuan dan
perpajakan.
Takik dan simpul memberikan catatan angka yang lebih andal dan tahan
lama daripada batu dan tongkat, tetapi yang terakhir memiliki keuntungan karena
lebih cocok untuk mendukung operasi aritmatika seperti penjumlahan dan
pengurangan. Di beberapa budaya, praktik ini dikembangkan menjadi perangkat
yang lebih canggih, seperti papan hitung dengan sistem posisi. Pelajaran filosofis
dari sejarah perangkat ini adalah bahwa sejak permulaan matematika, keandalan
operasi matematika kita sangat bergantung pada stabilitas dan daya tahan perangkat
teknologi yang kita gunakan untuk mendukungnya.
. .
 • Teknologi masa kini sebagian besar didasarkan
pada teori-teori ilmiah seperti mekanika padat dan
fluida, elektrodinamika, termodinamika, dan
The Use Of Mathematics In mekanika kuantum, yang semuanya membutuhkan
Technology pelatihan matematika yang cukup besar.
• Insinyur juga membutuhkan alat matematika
tambahan, misalnya untuk simulasi, optimasi, teori
• Dimulai sekitar pertengahan abad ke-19. Abadketujuh kontrol, dan analisis statistik. Singkatnya, metode
belas, para sarjana dengan pendidikan matematika matematika tampaknya jauh lebih bermanfaat
menerbitkan risalah di mana mereka menerapkan daripada di banyak bidang pengetahuan lainnya.
matematika canggih pada masanya, khususnya, analisis
matematika, untuk masalah teknologi.
• Beberapa dari risalah ini membahas apa yang sekarang
kita sebut mekanika struktural pada tahun 1794,
pentingnya perkembangan ini dikonfirmasi ´melalui
pendirian sekolah teknik sipil pertama, politeknik Ecole di
Paris
• Risalah dan buku teks diterbitkan tentang penerapan
matematika untuk topik teknologi seperti optik, mekanika
struktural, konstruksi bangunan, konstruksi mesin,
pembuatan kapal, dan termodinamika Teknik. Perkembangan
ini telah dipercepat pada abad kedua puluh dan kedua
puluh satu.
 The use of Technology in
Mathematics
Upaya serius pertama pada perhitungan otomatis dilakukan oleh matematikawan Inggris Charles Babbage
(1791-1871) menemukan dua mesin komputasi tujuan umum, mesin perbedaan pada awal 1820-an dan mesin
analitik yang dapat diprogram pada tahun 1834, dikendalikan oleh instruksi (program) pada kartu berlubang, meski
kedua mesin itu tidak selesai semasa hidupnya tetapi mereka menunjukkan jalan untuk pengembangan di masa
depan.
Mereka juga memamerkan apa yang disebut Doron Swade sebagai "hubungan dua arah antara matematika
dan mesin". Di satu sisi mesin ini didasarkan pada prinsip-prinsip matematika yang telah dikembangkan
sebelumnya untuk mengatur pekerjaan komputer manusia. Di sisi lain prinsip-prinsip teknologi yang melekat pada
mesin mengilhami ide-ide matematika.
Komputer yang dapat diprogram dibangun pada tahun 1940-an. Pemecahan kode waktu perang memberikan
banyak dorongan untuk perkembangan tersebut. Colossus yang digunakan oleh Ceriptanalis Inggris (1943-1945)
merupakan komputer pertama yang dapat diprogram.
Selain menyediakan kapasitas komputasi yang sebelumnya tidak terpikirkan, komputer elektronik memiliki
pengaruh yang dalam matematika seperti pengertian pembuktian, komputasi, dan pengetahuan matematika juga
telah menghasilkan gaya baru penelitian matematika dengan pertukaran cepat dan dengan kelompok peserta yang
jauh lebih besar.
 Komputer dapat diprogram untuk
mencari rangkaian langkah pembuktian yang
lebih panjang dan lebih panjang secara
A Philosopher's Dream sistematis, berdasarkan serangkaian aksioma
Come (Party) True tertentu. Dengan cara ini, dimungkinkan
untuk menemukan semua kesimpulan yang
dapat diperoleh dari sekumpulan aksioma
Seorang filsuf Majorcan Ramon Llull (c.1232-c.1315). Dia mencoba tertentu dengan bukti hingga panjang tertentu.
menempatkan penalaran manusia pada alasan yang benar-benar aman dengan Komputer juga dapat digunakan untuk
menunjukkan bahwa semua kebenaran dalam bidang subjek tertentu dapat menghasilkan dan menguji sejumlah besar
diperoleh dengan menarik kesimpulan dari sekumpulan aksioma yang terbatas kasus.
mendapatkan semua kebenaran, seseorang harus melalui semua kombinasi
aksioma., berarti bahwa setiap langkah dalam pembuktian semacam itu
mengikuti dari pendahulunya melalui manipulasi simbol yang rutin
(“mekanis”).
Logika predikat tampaknya menjadi "karakteristik universalis" yang
diimpikan oleh Leibniz dan banyak lainnya, memungkinkan untuk menarik
semua kesimpulan yang diperlukan "hanya dengan memanipulasi karakter
sesuai dengan bentuk tertentu, tanpa tenaga imajinasi atau usaha apa pun. Tapi,
tentu saja, ada peringatan penting: Itu adalah ciri universalis hanya untuk
matematika, bukan untuk penalaran manusia pada umumnya.
 Summing Up The Philosophical
Problem

• Pertama, kita memiliki ketergantungan teknologi dari pengetahuan matematika. Sejak awal, manusia
memiliki pengetahuan matematika tergantung pada aide-memoires seperti takik pada tongkat, kerikil
pada papan hitung, atau simbol,pada kertas. Tetapi kita membutuhkan notasi tidak hanya untuk
mengingat angka tetapi juga untuk melacak langkah-langkah perhitungan, derivasi, atau bukti yang
berurutan.
• Kedua, meskipun konsep komputasi didefinisikan secara matematis, ia berimplikasi pada pemahaman
kita tentang operasi yang dilakukan pada perangkat fisik.
contoh : Jika kita mendefinisikan perhitungan sebagai suatu proses yang terdiri dari jenis operasi
dasar tertentu, maka mesin yang melakukan perhitungan harus melakukannya dengan mengeksekusi
suboperasi yang secara wajar dapat dipahami sebagai mewakili operasi dasar tersebut.
• Perangkat teknologi yang mencapai hasil yang diinginkan dengan cara lain tidak dapat dikatakan telah
memperolehnya dengan perhitungan. Untuk alasan ini dan lainnya, kita perlu mengklarifikasi hubungan
antara komputasi matematis dan teknologi.
 Ada banyak bukti sejarah bahwa karya yang
diterbitkan, bahkan oleh ahli matematika yang sangat
dihormati, terkadang mengandung kesalahan serius. Salah satu
contohnya adalah bukti teorema empat warna yang diterbitkan
pada tahun 1880 dan terbukti salah hanya 10 tahun kemudian.
Dengan cara yang sama, pertimbangan tentang bagaimana
pengetahuan matematika bergantung pada sarana teknologi,
untuk melestarikannya dapat menghasilkan wawasan tentang
sifat pengetahuan matematika. Misalnya, kita perlu
membedakan antara, di satu sisi, pengetahuan matematis dari
penalar matematika ideal (hipotetis) dengan ingatan tak
terbatas dan, di sisi lain, pengetahuan matematika yang dapat
diperoleh manusia.
Pemikir matematis yang ideal mungkin tidak
membutuhkan memoar pembantu teknologi, dan
pengetahuannya akan mencapai tingkat kepastian yang tidak
pernah dapat kita capai dalam masalah empiris. Dengan
komputer muncul penggunaan teknologi untuk melakukan
operasi matematika, bukan hanya untuk merekam operasi yang
kita lakukan sendiri.
The Technology Dependence of
Mathematical knowledge
Dua ahli matematika dan seorang pemrogram
komputer telah membuat program komputer yang
membuktikan konjektur terkenal tersebut, telah menulis
makalah setebal 60 halaman, meringkas bagaimana
mereka membagi bukti menjadi lebih dari 3.000 kasus,
dan metode apa yang digunakan dalam pencarian
terkomputerisasi untuk bukti dari semua kasus ini.
Mereka juga telah mempresentasikan dokumen
yang diproduksi komputer setebal 18.000 halaman, yang
berisi seluruh bukti dalam format yang cocok untuk
diperiksa oleh matematikawanManakah dari bukti-bukti
ini yang paling mudah diperiksa dengan cukup hati-hati
agar komunitas matematika dapat mempertimbangkan
dugaan terkenal untuk dibuktikan.
 The Notion of a Computation

• Komputasi, seperti menambah atau mengalikan dua angka, adalah (eksekusi) rutin deterministik untuk
manipulasi simbol yang mewakili angka. Bahwa itu deterministik berarti kinerjanya ditentukan secara jelas,
selangkah demi selangkah.
• Simulasi komputer adalah eksperimen pada model objek studi utama. Matematikawan telah lama
mengetahui bahwa ada berbagai macam rutinitas untuk manipulasi simbol. Istilah umum adalah "algoritma"
Sedangkan perhitungan memiliki angka sebagai input dan output, sebuah algoritma dapat beroperasi pada
semua jenis symbol
• Turing mengklaim bahwa “mesin” sederhana seperti itu dapat melakukan manipulasi simbol apapun yang
dapat dilakukan secara rutin oleh manusia .meskipun konstruksinya sangat sederhana dan terbatas, mesin
Turing lebih kuat daripada komputer . Misalnya, ia dapat menentukan digit ke-n dari ÿ untuk sembarang
bilangan n, meskipun bilangan itu lebih besar dari jumlah partikel di alam semesta. langkah, sehingga
hasilnya telah ditentukan sebelumnya.
• Sifat komputasi "teknologi" sangat berguna untuk evaluasi berbagai proposal konstruksi fisik yang diklaim
melakukan komputasi yang melampaui kapasitas mesin Turing, Namun kita kekurangan sarana untuk
mensimulasikan proses alami, tidak berarti kita dapat menggunakan proses itu untuk membuat perhitungan.
Komputasi pada dasarnya adalah proses teknologi, bukan proses alami.
 The Technological usefulness
of Mathematics

Dalam pidatonya yang terkenal pada tahun 1959, Eugene Wigner menyuarakan kebingungannya
atas “keefektifan matematika yang tidak masuk akal dalam ilmu alam.”

Membuktikan bahwa matematika murni ternyata sangat berguna tidak hanya dalam sains tetapi
juga dalam teknologi. Jika teknologi dianggap sebagai ilmu alam terapan, maka penerapan
matematika dalam teknologi dapat dilihat sebagai akibat wajar dari penerapannya dalam sains.
Mitcham dan Schatzberg berpendapat bahwa Wawasan ini memiliki implikasi yang jelas untuk
"efektivitas yang tidak masuk akal." Untuk memahami kegunaan matematika dalam teknologi,
tidak cukup hanya mencari penjelasan tentang kegunaannya dalam ilmu alam. Kita juga harus
mempertimbangkan kegunaannya dalam praktik teknologi yang tidak dapat ditafsirkan sebagai
ilmu alam terapan, seperti desain teknik, optimisasi, teori kontrol, dan penalaran tentang fungsi
teknologi, interaksi manusia-mesin, dan penerimaan etis.
The Technological usefulness
of Mathematics

Studi filosofis dari praktik teknologi ini dapat memberikan masukan yang berguna untuk
pemahaman kita tentang kegunaan matematika dalam teknologi.
 Bahwa yang benar-benar menakjubkan dan mungkin tidak dapat dijelaskan dalam konteks ini
adalah fakta bahwa alam semesta menunjukkan keteraturan yang memungkinkan kita
memprediksi masa depan berdasarkan masa lalu. Namun, fakta bahwa kita dapat menggunakan
matematika untuk menggambarkan keteraturan ini tidak dalam pandangannya menambah
keheranan. Tor Sandqvist (2018)
 Sudut pandang lain diwakili oleh Phillip Wilson (2018), yang mengusulkan bahwa keberadaan
penerapan matematika yang sukses dalam teknologi dan di tempat lain mengajarkan kita
sesuatu tentang sifat matematika. Dengan mempertimbangkannya dari perspektif berbagai
aplikasi matematika, kita dapat memperoleh wawasan baru tentang implikasi ontologis dan
epistemologisnya. Dalam pandangan Wilson, fokus yang diperluas seperti itu akan membantu
kita untuk lebih memahami sifat matematika.
 Conclusion

 Saya harap telah menunjukkan keterkaitan antara matematika dan teknologi

 Ada kebutuhan studi langsung dari hubungan keteriatan tersebut
 Studi sejarah tentang hubungan itu bersifat sporadis, serta kami kekurangan banyak yang
formasi yang diperlukan untuk menulis kekoherenana bagaimana keduanya saling
mempengaruhi
 Aspek filosofis dari hubungan tersebut sedikit dipelajari, artikel ini telah mengidentifikasi
beberapa isu dan topik yang dapat berfungsi sebagai jalan masuk ke dalam medan hubungan
teknologi matematika yang belum di jelajahi secara filosofis.
Thanks!
Do you have
any
questions?

CREDITS: This presentation template was created by

Slidesgo, including icons by Flaticon, and infographics
& images by Freepik