completeness

Found in thesaurus: wholeness, unity, integrity, logicality, logicalness

English Wikipedia - The Free EncyclopediaDownload this dictionary
Completeness

© This article uses material from Wikipedia® and is licensed under the GNU Free Documentation License and under the Creative Commons Attribution-ShareAlike License
Deutschsprachige Wikipedia - Die freie EnzyklopädieDownload this dictionary
Vollständigkeit (Logik)
Der Begriff Vollständigkeit hat in der Logik verschiedene Bedeutungen. Er bezeichnet zwei unterschiedliche Eigenschaften formaler Systeme bzw. Kalküle:
  • Vollständigkeit von Theorien
  • Vollständigkeit von Kalkülen
Daneben wird dieser Begriff auch im Sinne der
  • funktionalen Vollständigkeit von Junktorenmengen
benutzt.

Mehr unter Wikipedia.org...


© Dieser Eintrag beinhaltet Material aus Wikipedia® und ist lizensiert auf GNU-Lizenz für freie Dokumentation und Creative Commons Attribution-ShareAlike License
Wikipédia en français - L'encyclopédie libreDownload this dictionary
Complétude
On parle de complétude en mathématiques dans des sens très différents. On dit d'un objet mathématique qu'il est complet pour exprimer que rien ne peut lui être ajouté, en un sens qu'il faut préciser dans chaque contexte. Dans le cas contraire, on parle d'incomplétude, surtout dans le contexte de la logique mathématique.

Pour la suite, voir Wikipédia.org…


© Cet article se sert du contenu de Wikipédia® et est autorisé sous les termes de la Licence de Documentation libre GNU et est distribué sous les termes de la licence Creative Commons Paternité-Partage des Conditions Initiales à l'Identique 3.0 non transposé.
ويکي پدياي فارسي – دانشنامه رايگانDownload this dictionary
کامل

© در نگارش اين مقاله از مطالب ويکي پديا® استفاده شده و تحت مجوز مستندات آزاد گنو شده و تحت سند مجوز عوام خلاق Creative Commons Attribution-ShareAlike
ウィキペディア日本語版 Wikipedia - フリー百科事典Download this dictionary
完全性
数理論理学における完全性(かんぜんせい、)には二つの意味がある。
  1. 形式論理体系で恒真である命題が必ず証明できる性質
  2. 形式論理体系で表現可能な任意の文の肯定または否定が証明できる性質

Wikipedia.orgをもっと見ると…


c この記事はウィキペディアの内容を用いておりグニュー・フリー・ドキュメンテーション・ライセンス のライセンスのもとに提供されています そして テキストはクリエイティブ・コモンズ 表示-継承ライセンスの下で利用可能です