Similar context phrases
Translation examples
noun
His 1902 paper On the projective axioms of geometry showed that Hilbert 's axiom system contained redundant axioms.
Hänen 1902 vihreä kirja, projective aksioomat geometrian osoitti, että Hilbertin 's Axiom järjestelmä sisälsi tarpeeton aksioomat.
He presented twelve axioms for Euclidean geometry which he proved to be an complete system of axioms and he also proved the independence of the axioms.
Hän esitteli kaksitoista aksioomat: Euklidinen geometria, jonka hän on osoittautunut täydellinen järjestelmä aksioomat ja hän on myös osoittautunut riippumattomuus on aksioomat.
In 1906 he published The axioms of projective geometry and, in the following year, The axioms of descriptive geometry.
Vuonna 1906 hän julkaisi aksioomat, projective geometry, ja seuraavana vuonna, aksioomat kuvailevista geometria.
In 1889 Peano published his famous axioms, called Peano axioms, which defined the natural numbers in terms of sets.
Vuonna 1889 Peano julkaisi hänen kuuluisa aksioomat, nimeltään Peanon aksioomat, joka määritteli luonnolliset luvut kannalta sarjoiksi.
he then weakened one of Moore 's Foundations Axioms, showing that the weakened axiom together with the other axioms implied Moore 's stronger version.
hän sitten heikensi yksi Moore 's Säätiöt aksioomat, jotka osoittavat, että heikentynyt Axiom yhdessä muiden aksioomat implisiittinen Moore' s vahvempi versio.
A systematic study of the axioms of Euclidean geometry led Hilbert to propose 21 such axioms and he analysed their significance.
Järjestelmällistä tutkimusta, aksioomat, Euklidinen geometria johtanut Hilbert ehdottaa 21 Tällainen aksioomat ja hän analysoi niiden merkitystä.
By what rules will theorems be deduced from axioms?
Sitä, mitä sääntöjä teoreemojen voidaan päätellä aksioomat?
From this axiom, all knowledge of consciousness could be deduced.
Tästä aksioomasta voitiin dedusoida kaikki tietoisuuden tieto.
Any given geometry may be deduced from an appropriate set of axioms.
Jokainen geometria voidaan johtaa asianmukaisesta joukosta aksioomeja.
After the discovery of paradoxes in naive set theory, such as Russell's paradox, numerous axiom systems were proposed in the early twentieth century, of which the Zermelo–Fraenkel axioms, with or without the axiom of choice, are the best-known.
Naiivin joukko-opin paradoksien löytymisen jälkeen laadittiin joukko-opille 1900-luvun alkupuolella useita aksioomajärjestelmiä, joista tunnetuimman muodostavat Zermelon–Fraenkelin aksioomat täydennettynä valinta-aksioomalla.
One can add further axioms restricting the dimension or the coordinate ring.
Näihin voidaan lisätä muita aksioomia, jotka rajoittavat koordinaattirenkaan ulottuvuutta.
The theory is based on Gödel numberings and the Blum axioms.
Teoria perustuu Gödel-numerointiin ja hänen itsensä kehittämiin Blum-aksioomiin.
The theorems of mathematics can be derived from logical axioms through purely logical deduction.
Matemaattiset lauseet voidaan johtaa logiikan aksioomista puhtaalla loogisella deduktiolla.
In order to establish his proof, Reinhold stated an axiom that could not possibly be doubted.
Tämän todistamiseksi Reinhold määritti aksiooman, jota ei voitaisi epäillä.
A poset (L, ≤) is a lattice if it satisfies the following two axioms.
Osittain järjestetty joukko (L, ≤) on hila, jos se toteuttaa kaksi seuraavaa aksioomaa.
noun
But there is an axiom - people always scold others with words that can be attributed to themselves.
Mutta on selviö - ihmiset ovat aina arvostell
But this and someone else needs to prove it?? It's the same axiom friends!
ja tämä jopa joku todistaa?? se on selviö ystävät!
It should be seen as a philosophical axiom that the cosmos is eventually unity.
On filosofinen selviö, että kosmos ilmentää viime kädessä nimenomaan ykseyttä.
The Axiom AIR Mini 32 offers extensive control, yet remains simple to use.
Selviö AIR Mini 32 tarjoaa laajan control, mutta on helppo käyttää.
The assertion that the "top" must necessarily bewhite or very light, is not an axiom.
Väite, että "top" on välttämättä oltavavalkoinen tai erittäin kevyt, ei ole selviö.
There is a well-known saying that if geometrical axioms affected human interests attempts w
Tunnettu sananparsi kuuluu, että jos geometrian selviöt kajoaisivat ihmisten etuihin, niin ne varmasti kumottaisiin.
Insulation of garage door garage Good to be moderately warm and dry necessarily - it is an axiom...
Eristys autotallin ovi autotallin hyvää ollakseen melko lämmin ja kuiva välttämättä - se on selviö...
Insulation of garage door garage Good to be moderately warm and dry necessarily - it is an axiom... other
Eristys autotallin ovi autotallin hyvää ollakseen melko lämmin ja kuiva välttämättä - se on selviö... muut
To live a long time and still maintain a normal appearance is necessary to move a lot, as we would any laziness - it is an axiom.
Elää pitkään ja silti säilyttää normaali ulkonäkö on tarpeen siirtää paljon, kuin olisimme mitään laiskuus - se on selviö.
Play Tetris for free it is an axiom, because the game itself is almost never sold, and take money for this legend is simply unimaginable.
Pelaa Tetris ilmaiseksi se on selviö, koska peli itsessään on melkein koskaan myyty, ja ottaa rahaa tämä legenda on yksinkertaisesti käsittämätön.
noun
This axiom became known quite accidentally, after the publication on the portal "Lurkmor".
Tämä aksioma tunnettiin melko vahingossa, julkaisun jälkeen portaalissa "Lurkmor".
Born a new axiom for the economic restructuring of the company must be universal, not only material but also spiritual, moral renewal.
Syntyi uusi aksioma: yhteiskunnan taloudelliselle uudelleenorganisoinnille on välttämätöntä universaalinen, ei vain materiaalinen, vaan myös hengellinen, siveellinen uudistus.
The axiom of a drug lord is not the first in historyquite clearly shows the situation, when we face two uncomfortable options as a choice.
Synonyymit Escobarin lausunnolle Huumelääkärien aksioma ei ole ensimmäinen historiaosoittaa selkeästi tilanteen, kun meillä on kaksi epämiellyttävää vaihtoehtoa valintana.
The axioms which qualify as robbery the landowner’s method of deriving an income – namely, that each has a right to the product of his labour, or that no one shall reap where he has not so
Aksiomit, jotka luonnehtivat tilanomistajan ansaitsemistavan rosvoukseksi, nimittäin, että jokaisella on oikeus työnsä tuotteeseen, tai että kenenkään ei pidä korjata satoa sieltä, mihin ei ole kylvänyt, eivät ole meidän perustelumme.
But it occurred to me that, instead of trying to imagine some way to scientifically prove that free will exists, one could argue that—just as plane geometry begins with unproven postulates (axioms)—free will is self-evident and needs no proof.
Mutta mieleeni juolahti, että yrittämättä kuvitella jotakin tapaa todistaa tieteellisesti vapaan tahdon olemassaoloa, voisi sen sijaan väittää, että aivan kuten tasogeometria alkaa todistamattomista olettamuksista (aksiomeista), vapaa tahtokin on itsestäänselvyys eikä vaadi mitään todistelua.
How many English words do you know?
Test your English vocabulary size, and measure how many words you know.
Online Test