axiom oor Indonesies

axiom

/ˈæks.i.əm/ naamwoord

(philosophy) A seemingly self-evident or necessary truth which is based on assumption; a principle or proposition which cannot actually be proven or dis‐proven.

Vertalings in die woordeboek Engels - Indonesies

aksioma

naamwoord

An old axiom states that a man “all wrapped up in himself makes a small bundle.”
Sebuah aksioma lama menyatakan bahwa orang “yang terbungkus dalam dirinya sendiri menjadikan bungkusan kecil.”

pepatah

naamwoord

The axiom “You get what you pay for” is true for spiritual rewards as well.
Pepatah yang mengatakan “Anda mendapatkan apa yang sesuai dengan apa yang Anda bayarkan” juga berlaku untuk pahala rohani.

Postulat

statement that is taken to be true

dalil · peribahasa · perumpamaan

Axiom

voorbeelde

The spaces satisfying these three axioms either have at most one line, or are projective spaces of some dimension over a division ring, or are non-Desarguesian planes.
Ruang-ruang yang memenuhi 3 aksioma ini memiliki paling banyak satu garis, atau merupakan ruang-ruang projektif dari beberapa dimensi meliputi gelanggang perbagian, atau merupakan bidang-bidang non-Desarguesian.

This discovery led to the well-known axiom: like-charged objects repel and opposite-charged objects attract.
Penemuan ini kemudian memunculkan aksiom yang terkenal: muatan sejenis akan tolak-menolak dan muatan berlawanan jenis akan tarik-menarik.

It is a general theorem (a consequence of axiom (3)) that all coplanar lines intersect—the very principle Projective Geometry was originally intended to embody.
Ini adalah sebuah teorema umum (konsekuensi dari aksioma (3)) bahwa semua garis koplanar berpotongan—peruntukan asli yang sangat prinsipal dari geometri projektif.

And welcome to the day #, # on board in the Axiom
Dan sambutlah hari ke- #, # dalam menaiki Axiom

Using Heft 15 of Gödel's still-unpublished Arbeitshefte , John W. Dawson Jr. conjectures that Gödel discovered a proof for the independence of the axiom of choice from finite type theory, a weakened form of set theory, while in Blue Hill in 1942.
Menggunakan Heft 15 dari karya Gödel Arbeitshefte yang belum diterbitkan, John W. Dawson, Jr. menyimpulkan bahwa Gödel menemukan suatu bukti ketidak-tergantungan aksioma pilihan dari teori jenis finit, suatu bentuk teori himpunan yang diperlemah, ketika tinggal di Blue Hill pada tahun 1942.

This set is called 'true reachable propositions' because in non-constructive approaches to the foundations of mathematics, the set of true propositions may be larger than the set recursively constructed from the axioms and rules of inference.
Himpunan ini disebut 'proposisi benar terjangkau' karena dalam pendekatan non-konstruktif terhadap fondasi matematika, himpunan dari proposisi benar bisa lebih besar daripada himpunan yang dibangun secara rekursif dari aksioma-aksioma dan aturan-aturan inferensi.

The axiom “You get what you pay for” is true for spiritual rewards as well.
Pepatah yang mengatakan “Anda mendapatkan apa yang sesuai dengan apa yang Anda bayarkan” juga berlaku untuk pahala rohani.

This brings us to a fundamental axiom of the science of society, as I see it.
Pemikiran ini membawa kita pada aksioma fundamental dari pengetahuan masyarakat, sebagaimana yang saya lihat.

Among the ancient Greek philosophers an axiom was a claim which could be seen to be true without any need for proof.
Di antara banyak filsuf Yunani, suatu aksioma adalah suatu pernyataan yang bisa dilihat kebenarannya tanpa perlu adanya bukti.

He thus tried to describe "everything" starting from a few axioms.
Dengan demikian dia mencoba untuk menggambarkan "segalanya" mulai dari beberapa aksioma.

Projective geometries are characterised by the "elliptic parallel" axiom, that any two planes always meet in just one line, or in the plane, any two lines always meet in just one point.
Geometri projektif dikarakterisasi oleh aksioma "sejajar eliptik", yakni bahwa dua bidang sembarang selalu bertemu pada hanya satu garis, atau pada suatu bidang, dua garis sembarang selalu bertemu pada hanya satu titik.

The core axioms and hypotheses are illustrated schematically in Figure 1.1.
Aksioma dan hipotesis inti tersebut digambarkan secara skematis dalam Gambar 1.1.

Using Desargues' Theorem, combined with the other axioms, it is possible to define the basic operations of arithmetic, geometrically.
Dengan bantuan Teorema Desargues, dipadukan dengan aksioma-aksioma lain, adalah dimungkinkan untuk mendefinisikan operasi-operasi dasar aritmetika secara geometris.

The resulting operations satisfy the axioms of a field — except that the commutativity of multiplication requires Pappus's hexagon theorem.
Operasi-operasi yang dihasilkan memenuhi aksioma-aksioma lapangan, kecuali bahwa kekomutatifan perkalian memerlukan Teorema Segienam Pappus.

A Euclidean model of a non-Euclidean geometry is a choice of some objects existing in Euclidean space and some relations between these objects that satisfy all axioms (and therefore, all theorems) of the non-Euclidean geometry.
Sebuah model euklidean dari geometri non-euklidean adalah pilihan yang cerdas dari beberapa objek yang hadir dalam ruang euklidean dan beberapa hubungan di antara objek-objek ini yang memenuhi semua aksioma (oleh karenanya pula, semua teorema) geometri non-euklidean.

Despite upending decades of work by brilliant mathematicians like Bertrand Russell and David Hilbert, the proof was accepted because it relied on axioms that everyone in the field already agreed on.
Meskipun telah puluhan tahun dikerjakan oleh matematikawan brilian, seperti Bertrand Russell dan David Hilbert, bukti itu diterima, karena berdasarkan pada kebenaran yang telah disetujui oleh semua orang.

Many constructs within Euclidean geometry consist of an infinite collection of points that conform to certain axioms.
Banyak objek yang dibangun di dalam geometri Euclid terdiri dari tak hingga banyaknya kumpulan titik-titik yang sesuai dengan aksioma-aksioma tertentu.

“As we age,” explains Julia Kennedy, president of Axiom Training and Development, “our neural processes slow down, but the brain remains healthy.”
”Seraya kita menua,” Julia Kennedy, presiden Pelatihan dan Pengembangan Aksioma, menjelaskan, ”proses saraf kita melambat, namun otak tetap sehat.”

An axiom we all understand is that you get what you pay for.
Sebuah kiasan yang kita semua mengerti adalah bahwa Anda mendapatkan apa yang Anda bayarkan.

In this context, the term semi-empirical is used for qualifying theoretical methods that use, in part, basic axioms or postulated scientific laws and experimental results.
Dalam konteks ini, istilah semi-empiris digunakan untuk mengkualifikasi metode-metode teoretis yang digunakan sebagai bagian dari dasar aksioma atau hukum postulasi ilmiah dan hasil percobaan.

The axioms C0 and C1 then provide a formalization of G2; C2 for G1 and C3 for G3.
Aksioma C0 dan C1 kemudian menyediakan sebuah formalisasi G2; C2 untuk G1, dan C3 untuk G3.

Coxeter's Introduction to Geometry gives a list of five axioms for a more restrictive concept of a projective plane attributed to Bachmann, adding Pappus's theorem to the list of axioms above (which eliminates non-Desarguesian planes) and excluding projective planes over fields of characteristic 2 (those that don't satisfy Fano's axiom).
Buku karya Coxeter, Introduction to Geometry memberikan sebuah daftar berisi lima aksioma untuk suatu konsep yang lebih terbatas tentang bidang projektif yang berkaitan dengan Bachmann, menambahkan teorema Pappus ke dalam daftar aksioma di atas (yang mencoret bidang-bidang non-Desarguesian), dan tidak melibatkan bidang-bidang projektif pada lapangan berkarakteristik 2 (yaitu mereka tidak memenuhi aksioma Fano).

Euclidean axioms leave no freedom; they determine uniquely all geometric properties of the space.
Aksioma-aksioma euklidean tidak meninggalkan kebebasan, mereka menentukan secara unik semua sifat geometri dari ruang.

If a proposition is an axiom, it is a true reachable proposition.
Jika suatu proposisi adalah sebuah aksioma, maka ia adalah suatu proposisi benar terjangkau.

For every finite set S of elements of L, the algebraically independent subsets of S satisfy the axioms that define the independent sets of a matroid.
Untuk setiap himpunan S dari unsur-unsur L, semua himpunan-bagian bebas aljabar dari S memenuhi aksioma-aksioma yang mendefinisi himpunan-himpunan matroid yang bebas.