verifiability 中文意思是什麼
verifiability
解釋
可核實性-
Cryptanalysis and improvement of a signcryption scheme with public verifiability
一個可公開驗證簽密方案的密碼分析和改進 -
The verifiability of value - judgment : john dewey ' s criticism on the anti - value theory of logical positivism
杜威對邏輯實證主義反價值理論的批判 -
Carnap ' s inductive logical system of the theory of probability confirmation is introduced in the second part of paper. firstly, some basical and important concepts are explained such as confirmation and degree of confirmation, probability1 and probability2. in carnap ' s opinion, the difference between verifiability and confirmation is that verifiability means the hypothesis is finally proved to be true, but confirmation means it be true nowerdays. then carnap analyzed the distinction and relationship between probabilityi and probability2
他認為，證實是決定性地最後為真，而確證只是現階段得到確定，並不保證以後也確定為真；繼而分析了概率1與概率2兩者之間的區別與聯系；然後構建了一階語言系統，並在其中定義了狀態描述、結構描述、量程等重要概念與定理，以便使在考察歸納邏輯前提與結論時，能在該系統中根據確切的規則進行準確的分析。 -
The following issues generate verifiability errors
以下問題將生成可驗證性錯誤： -
Lists the issues that will generate verifiability errors when compiling with clr : safe
列出用/ clr : safe進行編譯時將生成可驗證性錯誤的問題。 -
Clrimagetype lets you specify a lower level of verifiability, if that is what you need
/ clrimagetype允許您根據需要指定較低級別的可驗證性。 -
Management accounting places less emphasis on verifiability and more emphasis on nonmonetary data
管理會計不太強調可驗證性，而強調非貨幣數據。 -
When passing mixed objects in the same build, the verifiability of the resulting output file will, by default, be equal to the lowest level of verifiability of the input modules
在同一個生成中傳遞混合對象時，默認情況下結果輸出文件的可驗證性級別等於輸入模塊的最低可驗證性級別。 -
When passing mixed. objs in the same build, the verifiability of the resulting output file will, by default, be equal to the lowest level of verifiability of the input modules
編譯的msil . obj文件。在相同版本中傳遞混合. obj時，默認情況下，得到的輸出文件的可驗證性等於輸入模塊的最低級別可驗證性。 -
This problem negated the rationality of science. logical empirist agreed the reason of science and producted systematical theory of verifiability, but the principal of verifiability suffered from criticism because it negated the verifiability of science propsition
這就是著名的「休謨問題」 、 「歸納問題」 。邏輯實證主義者承認科學的合理性，並提出了系統的證實理論。 -
The problem of induction and principal of verifiability leads to carnap ' s theory directly. at the 18th century, the philosophy hume doubted general statement can induct from purticular statement, which called " hume problem " and " induction problem "
早在18世紀，哲學家休謨就提出了對由特稱陳述過渡到全稱陳述的合理性的懷疑，否認歸納推理的合理性，從而否定了科學的合理性。 -
Logical empirist had to lower the criterion of the principal of verifiability. at this time, carnap suggested " confirmation " principal. he studied the numeral confirmation to answer the " hume problem " and seached the logical basis of science
但他們的證實理論遭到了很多人的批評，因為證實原則不僅使形而上學命題無法證實，而且科學命題也得不到證實，於是邏輯實證主義者降低了證實標準。 -
China welcomes the new treaty signed by the us and russia on the reduction of their offensive strategic weapons, and hopes that these two countries will adopt effective measures to ensure the " verifiability " and " irreversibility " of nuclear disarmament, and continue to further the process of nuclear disarmament, so as to genuinely promote world peace and stability
中國歡迎美俄簽署新的削減進攻性戰略武器條約，希望美俄採取切實措施，確保核裁軍的「可核查」和「不可逆」 ，並繼續推進核裁軍進程，真正促進世界的和平與穩定。
分享友人