Tag Archives: ‘Piramida

Komputer Pecahkan Soal Matematika ‘Piramida Jeruk’ Kepler

PADANGTODAY.com – Hal-hal yang kelihatannya sepele pun bisa menjadi topik yang menarik dan membingungkan. Tapi, kini pernyataan Kepler yang telah berumur 400 tahun itu terbukti benar berkat bantuan sebuah komputer dan dua buah piranti lunak untuk verifikasi data, Isabelle dan HOL Light. Kedua software tersebut bertugas memastikan apakah cara paling efisien untuk menyusun benda berbentuk lingkaran seperti jeruk adalah dengan ...

Read More »
Lewat ke baris perkakas