Pertanyaan yang diberi tag «soundness»

1
Apakah bug pemeriksa bukti pernah membatalkan bukti utama?
Sebagian besar (semua?) Asisten bukti memiliki bug kesehatan diperbaiki pada kesempatan tertentu. Namun, dari yang saya lihat bug ini biasanya sulit ditemukan secara tidak sengaja, dan hasil terbukti sebelum bug diperbaiki umumnya bertahan setelah perbaikan. Tiga pertanyaan, sesuai urutan kekuatan: Apakah perbaikan bug kesehatan seperti itu pernah menyebabkan bukti besar …

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.