Bukti matematika terdiri dari blok-blok penyusun yang disebut lemma, yakni teorema kecil yang dipakai untuk membuktikan teorema yang lebih besar.
Apakah menara Jenga berisi lemma ini bisa tetap berdiri di bawah pengujian ketat, itulah yang membuat proses dalam matematika murni begitu panjang dan melelahkan, Bryna R.
BACA JUGA:F-16 Dan Hawk, Ikuti Latihan Tempur Jalak Sakti Di Lanud SMH
BACA JUGA:Pembalap Indonesia Veda Ega Bersinar di Mugello Red Bull Rookies Cup Italia 2025
Kra, matematikawan dari Northwestern University.
“Semua dalam matematika dibangun dari dasar sebelumnya, jadi Anda tidak bisa membuktikan hal baru tanpa benar-benar memahami dan membuktikan yang lama,” katanya.
Untuk menjadi peneliti di bidang matematika, dibutuhkan ketekunan dalam membuktikan setiap elemen secara menyeluruh.
Lean, sebuah perangkat lunak asisten pembuktian, bisa mempercepat proses ini tapi menurut Granville alat tersebut menjengkelkan karena punya bahasa dan protokol sendiri.
Sehingga memerlukan keahlian pemrograman. “Kita butuh cara komunikasi yang jauh lebih baik,'' tambahnya.