provability

基本解釋

Kants provability of morality is the highest achievement of philosophy of morality of modernity.
康德的道德證明是現(xiàn)代性道德哲學(xué)的最高理論成果。
So, for the price of at most a few instructions, your program can have the provability of a functional program and the speed and memory characteristics of an imperative one.
從而，在只是付出了一些指令的代價(jià)后，您的程序會(huì)擁有函數(shù)式程序的可證明性和命令式程序的速度和內(nèi)存特性。
The responsible degree of damages should be limited by the provability of medical inspection. In the considerations of illegality and harmful facts, the environmental standards were not concerned.
污染損害可歸責(zé)的程度應(yīng)以醫(yī)學(xué)觀察的可證明性為界限，在違法性和損害事實(shí)考量中，環(huán)境標(biāo)準(zhǔn)均非所問(wèn)。