Sistem formal: Perbezaan antara semakan
Kandungan dihapus Kandungan ditambah
Laman baru: '''Sistem formal''' ialah set barang-barang data niskala, yang mendefinisikan hukum-hukum sintaks dengan mana satu set simbol-simbol niskala boleh dimanipulasi. Ia mengandungi: 1. suat... |
|||
Baris 25:
== Kebolehputusan ==
Diberi suatu perkataan, bolehkah ia dibuktikan sebagai teorem atau dibuktikan sebagai bukan teorem (dalam bilangan langkah terhad)? Jika ini boleh dibuat oleh sesuatu sistem formal itu, maka ia dikatakan ''bolehputus'', dan ''takbolehputus'' jika sebaliknya.
== Tafsiran (semantik) ==
| |||