ゲーデルの不完全性定理(ゲーデルのふかんぜんせいていり、英: Gödel's incompleteness theorems、独: Gödelscher Unvollständigkeitssatz)または不完全性定理とは、数学基礎論[1]とコンピュータ科学(計算機科学)の重要な基本定理[2]。(数学基礎論は数理論理学や超数学とほぼ同義な分野で、コンピュータ科学と密接に関連している[3]。) 不完全性定理は厳密には「数学」そのものについての定理ではなく、「形式化された数学」についての定理である[4][注 1]。クルト・ゲーデルが1931年の論文で証明した定理であり[5]、有限の立場(英語版)(形式主義)では自然数論の無矛盾性の証明が成立しないことを示す[3][5]。なお、少し拡張された有限の立場では、自然数論の無矛盾性の証明が成立する(ゲンツェンの無矛盾性証明(英語版))[3][注 2]。
『Shall we ダンス?』(シャル ウィ ダンス?)は、1996年の日本のロマンティックコメディドラマ映画。周防正行が監督・脚本を務め、役所広司、草刈民代、原日出子、竹中直人、田口浩正らが出演する。 概要[編集] 社交ダンス教室を舞台としたハートフルコメディ。日本アカデミー賞独占をはじめ数々の映画賞に輝いた。配給収入は16億円で1996年の日本映画第2位を記録[2]。本作の人気を受け、日本では「時代遅れ」と思われがちであった社交ダンスが見直され新たなブームとなった。 世界19か国で公開され高い評価を得ており、アメリカ合衆国においては200万人を動員、興行収入は約950万米ドルを記録し[3]、当時のアニメ映画を除く米国での日本映画の興行収入記録を作った。アカデミー外国語映画賞のノミネートを有力視する声もあったが、日本映画代表の一本に選ばれなかった[注釈 1]ため叶わなかった。また日本国内
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く