Translation for "aksiomaattis" to english
Aksiomaattis
Translation examples
Se on nojannut Skandinavian valtioihin ja on pitänyt Saksan-Venäjän vastakohtaisuutta aksiomaattisena.
It has relied on the Scandinavian states and has treated German-Russian opposition as axiomatic.
Matemaattisen formalismin mukaan matematiikka on aksiomaattisesti määriteltyjen abstraktien rakenteiden tutkimista symbolisen logiikan ja matemaattisen merkintäjärjestelmän keinoin.
It is the study of axiomatically defined abstract structures with the means of symbolic logic and mathematical notation.
Hilat voidaan myös määritellä algebrallisina struktuureina, jotka toteuttavat tietyt aksiomaattiset ehdot.
Lattices can also be characterized as algebraic structures satisfying certain axiomatic identities.
Kategoriateorian kehittäjät ovat esittäneet topos-teoriaa vaihtoehdoksi perinteiselle aksiomaattiselle joukko-opille.
Category theorists have proposed topos theory as an alternative to traditional axiomatic set theory.
1960-luvulla Blum kehitti aksiomaattisen laskettavuusteorian, joka on riippumaton tietokoneen käytännön toteutuksesta.
In the 60s he developed an axiomatic complexity theory which was independent of concrete machine models.
He olettivat käyttämiensä menetelmien olevan "synteettisiä"; itse asiassa projektiivinen avaruus sellaisena kuin se nykyisin käsitettiin kohdettiin aksiomaattisesti.
Techniques were supposed to be synthetic: in effect projective space as now understood was to be introduced axiomatically.
Muiden muassa sellaiset rationalistit kuin René Descartes ja Baruch Spinoza kehittelivät aksiomaattisia järjestelmiä, jotka riippuivat itsestäänselvinä pidetyistä oletuksista, kuten "ajattelen, siis olen".
For instance, rationalists such as Descartes and Spinoza developed axiomatic systems that relied on statements that were taken to be self-evident: "I think therefore I am" is the most famous example.
Jos tämä näkemys hyväksytään, äärettömien joukkojen käsittely sekä naiivissa että aksiomaattisessa joukko-opissa tuo matematiikkaan menetelmiä ja kohteita, jotka eivät edes periaatteessa ole laskettavissa.
If this view is granted, then the treatment of infinite sets, both in naive and in axiomatic set theory, introduces into mathematics methods and objects that are not computable even in principle.
Esimerkiksi niinkin erilaiset matemaattiset struktuurit kuin graafit, monistot, renkaat ja vektori­avaruudet voidaan kaikki määritellä joukoiksi, jotka toteuttavat tietyt (aksiomaattiset) ehdot. ekvivalenssi- ja järjestysrelaatiot ovat yleisiä kaikilla matematiikan aloilla, ja matemaattisten relaatioiden teoria voidaan esittää joukko-opin avulla.
For example, mathematical structures as diverse as graphs, manifolds, rings, and vector spaces can all be defined as sets satisfying various (axiomatic) properties.
Määritelmää kuitenkin voidaan kuitenkin yhä käyttää tyyppiteoriassa sekä Quinen aksiomaattisessa joukko-opissa (New Foundation) ja sitä muistuttavissa muotoiluissa (joissa se myös tarjoaa sangen yllättävän vaihtoehtoisen ratkaisun suurinta ordinaalia koskevalle Buralin–Fortin paradoksille).
However, this definition still can be used in type theory and in Quine's axiomatic set theory New Foundations and related systems (where it affords a rather surprising alternative solution to the Burali-Forti paradox of the largest ordinal).
How many English words do you know?
Test your English vocabulary size, and measure how many words you know.
Online Test