完全性定理の英語

中間命題論理のための完全性定理の有効性例文帳に追加

Effectiveness of the Completeness Theorem for an Intermediate Logic発音を聞く  - コンピューター用語辞典

我々はこれらのゲームと解の構造との間の密接な関係について議論し, 完全性定理を証明する.例文帳に追加

We discuss the intimate connection between these games and the structure of proofs, and prove a full completeness theorem.発音を聞く  - コンピューター用語辞典

この「不完全性定理」は,ヒルベルトの数学形式化プログラムに終止符を打ち,当然ながら,今世紀の数学の基礎における最も重要な成果であると見なされている．例文帳に追加

This "incompleteness theorem" ended Hilbert's program of formalizing mathematics and is rightfully regarded as the most important result in the foundations of mathematics in this century.発音を聞く  - コンピューター用語辞典

金融規制改革に関しましては、以前にも大きな話題になりました10月22日から23日は慶州でありました財務大臣・中央銀行総裁会議において、先般の中央銀行総裁・銀行監督当局長官との会合で作成された銀行の自己資本、それから流動性の新たな枠組みを歓迎し、期限内に完全に実施することにコミットすること、また今お話がございましたシステム上重要な金融機関（SIFIs）については、FSB（金融安定理事会）、この下部機関の一つにバーゼル銀行監督委員会がありますが、これが提案する政策の枠組み及び作業手順及び日程を承認することを聞いておりまして、G20サミットの議題として、そのことを優先することを合意したところでございまして、そういった意味で国際的な金融規制の改革については、中長期的に金融システムの強化及び金融機関の健全性の向上に資するものとなる一方、各国の金融システムの実情の違いを十分に踏まえたバランスのとれたものにすること、実体経済への影響に十分配慮し、十分な計画期間を設けるなど、時間をかけて実施していくことなどが極めて重要であり、今回のサミットにおいてもこうした姿勢で臨んでいます。例文帳に追加

The subject of the financial regulatory reforms has already been a significant discussion topic in the past as well. I heard that during the Financial Ministers and Central Bank Governors meeting held from October 22 to 23 in Gyeongju, the proposed capital adequacy requirement for banks and a new liquidity framework, which were drawn up in a recent meeting of the Group of Governors and Heads of Supervision, were welcomed along with the commitment to having them come into full force by the prescribed due date, and an endorsement was given to the policy framework, work processes and timelines proposed by the Basel Committee on Banking, one of the subordinate organs of the Financial Stability Board, with respect to the issue of addressing systematically important financial institutions (SIFIs) that you have just raised. The meeting accordingly agreed to give priority to this initiative as an agenda item of the G20 Summit. In that sense, implementing international financial regulatory reforms will contribute to an enhanced financial system and improved soundness of financial institutions in the medium to long term. In the meantime, it is also extremely important to, among other things, make the set of requirements a well-balanced one that fully takes into account differences between countries in terms of the actual operation of their financial systems and to implement it over time by, for instance, allowing an ample planning time in adequate consideration of any impact on the real economy - this is also an approach that Japan applies in attending the ongoing Summit meeting.発音を聞く  - 金融庁