About: Axiom     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.org associated with source document(s)

An axiom or postulate is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. The word comes from the Greek axíōma (ἀξίωμα) 'that which is thought worthy or fit' or 'that which commends itself as evident.'

AttributesValues
rdfs:label
  • Axiom
  • بديهية
  • Axiom
  • Axioma
  • Axiome
  • Assioma (matematica)
  • 公理
  • Axioma
  • Aksjomat
  • Axioma
  • Аксиома
  • 公理
rdfs:comment
  • Ein Axiom ist ein Grundsatz einer Theorie, einer Wissenschaft oder eines axiomatischen Systems, der innerhalb dieses Systems nicht begründet oder deduktiv abgeleitet wird.
  • Un axiome (du grec ancien αξιωμα/axioma, « considéré comme digne, convenable, évident en soi » — lui-même dérivé de αξιος (axios), « digne ») désigne une proposition indémontrable utilisée comme fondement d'un raisonnement.
  • 公理(こうり、Axiom)とは、その他の命題を導きだすための前提として導入される最も基本的な仮定のことである。一つの形式体系における議論の前提として置かれる一連の公理の集まりを公理系(Axiomatic system)という。公理を前提として演繹手続きによって導きだされる命題は定理とよばれる。多くの文脈で「公理」と同じ概念をさすものとして仮定や前提という言葉も並列して用いられている。 公理とは他の結果を導きだすための議論の前提となるべき論理的に定式化された(形式的な)言明であるにすぎず、真実であることが明らかな自明の理が採用されるとは限らない。知の体系の公理化は、いくつかの基本的でよく知られた事柄からその体系の主張が導きだせることを示すためになされることが多い。 なお、ユークリッド原論などの古典的な数学観では、最も自明(絶対的)な前提を公理(Axiom)、それに準じて要請される前提を公準(Postulate)として区別していた。
  • Aksjomat (postulat, pewnik) (gr. αξιωμα [aksíoma] – godność, pewność, oczywistość) – jedno z podstawowych pojęć logiki matematycznej. Od czasów Euklidesa uznawano, że aksjomaty to zdania przyjmowane za prawdziwe, których nie dowodzi się w obrębie danej teorii matematycznej.We współczesnej matematyce definicja aksjomatu jest nieco inna: Aksjomaty są zdaniami wyodrębnionymi spośród wszystkich twierdzeń danej teorii, wybranymi tak, aby wynikały z nich wszystkie pozostałe twierdzenia tej teorii. Taki układ aksjomatów nazywany jest aksjomatyką.
  • An axiom or postulate is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. The word comes from the Greek axíōma (ἀξίωμα) 'that which is thought worthy or fit' or 'that which commends itself as evident.'
  • البديهية (باليونانية: أكسيوما αξιωμα) هي أي قضية تكون مقدمة لاستنتاج تصريحات أخرى منطقيا. ويمكن أن تكون البديهية هي العبارة، الافتراض، المقولة أو القاعدة التي تشكل أساسا للنظام الشكلي. بخلاف المبرهنات، البديهيات لا يمكن أن تشتق بمبادئ الاستنتاج، كما لا يمكن اثباتها عن طريق برهان شكلي - ببساطة لأنها مقدمات مفترضة - ليس هناك شيء آخر تستنتج منه منطقيا (والا سيفترض تسميتها نظريات). في بعض نظريات المعرفة (الابستمولوجيات) : تعتبر البديهيات حقائق ذاتية الصحة تستند إليها بقية المعارف. لكن لا تعترف باقي نظريات فلسفة المعرفة ببديهية ما يدعى بالبديهيات.
  • Un axioma es una proposición que se considera «evidente» y se acepta sin requerir demostración previa. En un sistema hipotético-deductivo es toda proposición no deducida (de otras), sino que constituye una regla general de pensamiento lógico (por oposición a los postulados). En lógica y matemáticas, un axioma es una premisa que, por considerarse evidente, se acepta sin demostración, como punto de partida para demostrar otras fórmulas. Tradicionalmente los axiomas se eligen de las consideradas «afirmaciones evidentes», porque permiten deducir las demás fórmulas.
  • In matematica si chiamano postulati o assiomi tutti e soli gli enunciati che, pur non essendo stati dimostrati, sono considerati veri. Generalmente forniscono il punto di partenza per delineare un quadro teorico come può essere quello della teoria degli insiemi, della geometria, dell'aritmetica, della teoria dei gruppi o nel calcolo delle probabilità.
  • Een axioma (of postulaat) is in de wiskunde en logica sinds Euclides en Aristoteles een niet bewezen, maar als grondslag aanvaarde bewering. Een axioma dient zelf als grondslag voor het bewijs van andere stellingen. Een axioma maakt deel uit van een deductief systeem. In de wiskundige logica heet een deductief systeem een theorie. Bij het opstellen van een theorie moet men met een aantal beperkingen rekening houden: * axioma's mogen niet met elkaar in tegenspraak zijn * axioma's mogen niet uit andere axioma's afgeleid kunnen worden
  • Na lógica tradicional, um axioma ou postulado é uma sentença ou proposição que não é provada ou demonstrada e é considerada como óbvia ou como um consenso inicial necessário para a construção ou aceitação de uma teoria. Por essa razão, é aceite como verdade e serve como ponto inicial para dedução e inferências de outras verdades (dependentes de teoria). Uma possível diferença entre postulado e axioma é a possibilidade de se provar um axioma, logo um axioma passaria a ser um teorema. Enquanto que os postulados são verdades evidentes que não requerem demonstrações.
  • Аксио́ма (др.-греч. ἀξίωμα — утверждение, положение), постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами. В современной науке вопрос об истинности аксиом, лежащих в основе какой-либо теории, решается либо в рамках других научных теорий, либо посредством интерпретации данной теории.
  • 在傳統邏輯中,公理是沒有經過證明,但被當作不證自明的一個命題。因此,其真實性被視為是理所當然的,且被當做演繹及推論其他(理論相關)事實的起點。當不斷要求證明時,因果關係毕竟不能無限地追溯,而需停止於無需證明的公理。通常公理都很簡單,且符合直覺,如「a+b=b+a」。 不同的系統,會預計不同的公理。例如非歐幾何的公理,和歐氏幾何的公理就有一點不同;另外,集合論的選擇公理在許多系統的建構中,也富有爭議。有些系統堅持不預設選擇公理。也有一些數學家在建構系統時,刻意排除掉皮亞諾公理中的數學歸納法,以確保所有的證明,都可以直接演算。 在數學中,公理這一詞被用於兩種相關但相異的意思之下——和。在這兩種意義之下,公理都是用来推導其他命题的起点。和定理不同,一個公理(除非有冗餘的)不能被其他公理推導出來,否則它就不是起點本身,而是能夠從起點得出的某種結果—可以乾脆被歸為定理了。 然而,邏輯公理系統也並非唯一。直覺主義邏輯、模糊邏輯等新的邏輯結構,都建立在略有差異的公理上。因此,與其把公理看作不證自明的事實,不如看作是在一個特定的數學或邏輯系統中,先於一切證明的前設。
sameAs
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git39 as of Aug 09 2019


Alternative Linked Data Documents: PivotViewer | iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3232 as of Aug 9 2019, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2020 OpenLink Software