Pertanyaan yang diberi tag ?philosophy?

29
Mengapa menuliskan bukti matematis lebih banyak bukti kesalahan daripada menulis kode komputer?
Saya telah memperhatikan bahwa saya merasa jauh lebih mudah untuk menuliskan bukti matematika tanpa membuat kesalahan, daripada menuliskan program komputer tanpa bug. Sepertinya ini adalah sesuatu yang lebih luas dari sekedar pengalaman saya. Kebanyakan orang membuat bug perangkat lunak setiap saat dalam pemrograman mereka, dan mereka memiliki kompiler untuk memberi …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.
Judi bola