翻訳と辞書 Words near each other ・ 証明妨害 ・ 証明妨害の法理 ・ 証明書 ・ 証明書、診断書、検案書、医療説明書 ・ 証明書を撮影するカメラ ・ 証明書失効リスト ・ 証明書署名要求 ・ 証明済み ・ 証明理論 ・ 証明系 ・ 証明論 ・ 証明責任 ・ 証書 ・ 証書人 ・ 証書貸付 ・ 証票 ・ 証空 ・ 証紙 ・ 証聖 ・ 証聖者 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 証明論 ： ウィキペディア日本語版 証明論[しょうめいろん] 証明論（）は、数理論理学の一分野であり、証明を数学的対象として形式的に表し、それに数学的解析を施す。 == 概要 == 証明は帰納的に定義されたデータ構造で表されることが多く、単純なリスト、入れ子リスト、木構造などがある。これらは論理体系の公理や推論規則によって構築される。そのため、証明論には構文論的（言語学の用語を使うと統語論的）性質があるが、対照的にモデル理論には意味論的（形式意味論も参照）性質がある。モデル理論、公理的集合論、再帰理論などと共に数学基礎論の四本柱とされている。証明論は哲学的論理学の一分野と見ることもでき、その場合の主要な興味は証明論的意味論であり、その技法的基礎として構造証明論 (structural proof theory) の考え方がある。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「証明論」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.