kanıtlama ne demek?
- Kanıtlamak işi.
- Bir biçimsel dizgede belli bir önermeyi ilksavlar kümesinden türetme işlemi. || Anl. tanıtlama.
Proof.
Proving.
Démonstration
kanıtlamak
- Bir şeyin gerçekliğini kanıtla ortaya koymak, ispat etmek.
Prove.
Verify.
Show.
Be contented with.
Substantiate.
Attest.
Attest to.
Aver.
Certify.
kanıtlama kuramı
- Biçimsel dizgelerde kanıtlamayı konu edinen dizimbilim dalı.
Proof theory, metamathematics.
Métamathématique
kanıtlama zorunluğu
Burden of proof