翻訳と辞書 Words near each other ・ Interrupted Streams ・ Interrupter ・ Interruptible foldback ・ Interruptible operating system ・ Interruptible spectrum ・ Interrupting Chicken ・ Interposing tactics ・ Interposition ・ Interposition (disambiguation) ・ Interposition trunk ・ Interpositive ・ Interpred World Trade Center Sofia ・ Interpresosaurus ・ Interpress ・ Interpret Scotland ・ Interpretability ・ Interpretability logic ・ Interpretaciones del Oso ・ Interpretant ・ Interpretatio Christiana ・ Interpretatio graeca ・ Interpretation ・ Interpretation (canon law) ・ Interpretation (journal) ・ Interpretation (logic) ・ Interpretation (model theory) ・ Interpretation (philosophy) ・ Interpretation Act ・ Interpretation Act (Northern Ireland) 1954 ・ Interpretation Act 1850 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Interpretability ： ウィキペディア英語版 Interpretability In mathematical logic, interpretability is a relation between formal theories that expresses the possibility of interpreting or translating one into the other. ==Informal definition== Assume T and S are formal theories. Slightly simplified, T is said to be ''interpretable'' in S if and only if the language of T can be translated into the language of S in such a way that S proves the translation of every theorem of T. Of course, there are some natural conditions on admissible translations here, such as the necessity for a translation to preserve the logical structure of formulas. This concept, together with weak interpretability, was introduced by Alfred Tarski in 1953. Three other related concepts are cointerpretability, logical tolerance, and cotolerance, introduced by Giorgi Japaridze in 1992-1993. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Interpretability」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.