Axiomatic system oor Nederlands
Axiomatic system
Vertalings in die woordeboek Engels - Nederlands
Axiomatische methode
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
axiomatic system
en
(logic) A set of axioms from which theorems can be derived.
Vertalings in die woordeboek Engels - Nederlands
axiomatische methode
en
set of axioms from which some or all axioms can be used in conjunction to logically derive theorems
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
" Every axiomatic system will contain truths... "
Het is een schijnbewegingOpenSubtitles2018.v3 OpenSubtitles2018.v3
„Even in closed axiomatic systems, not all propositions are decidable.
Op # januari # heeft de Raad Besluit #/#/EG aangenomen houdende benoeming van de leden en plaatsvervangers van het Comité van de Regio's voor de periode van # januari # tot en met # januariLiterature Literature
To Turing's amazement, Petros also wasn't too clear about the Peano-Dedekind axiomatic system.
Let niet op hemLiterature Literature
Its first application is to the very basis of arithmetic, the Peano-Dedekind axiomatic system.’
Ja, maar ik ben de bruid, dus ik winLiterature Literature
I was talking about the internal limits of axiomatic systems.”
Een helaas nog steeds gebrekkige internemarkt zorgt voor een gebrekkige Europese concurrentiekracht.Literature Literature
“But we don’t know what kind of axiomatic system the complex logic is based on in this case,” Fisher replied.
Niemand kan opstaan uit de doodLiterature Literature
In 1922 and 1925, he published two papers that sought to improve Zermelo's axiomatic system; the result is the Zermelo–Fraenkel axioms.
Klop je nooit?WikiMatrix WikiMatrix
Absolute geometry is an incomplete axiomatic system, in the sense that one can add extra independent axioms without making the axiom system inconsistent.
Omdat ik erin geloof, snap je?WikiMatrix WikiMatrix
For example, Euclidean geometry is an axiomatic system, in which all theorems ("true statements given the axioms") are derived from a finite number of axioms.
Hij vond geen enkele versnellerWikiMatrix WikiMatrix
Starting with Moritz Pasch in 1882, many improved axiomatic systems for geometry have been proposed, the best known being those of Hilbert, George Birkhoff, and Tarski.
Je wint toch nietWikiMatrix WikiMatrix
Concerns that mathematics had not been built on a proper foundation led to the development of axiomatic systems for fundamental areas of mathematics such as arithmetic, analysis, and geometry.
Ze is verdorieWikiMatrix WikiMatrix
Thus, in order to show that any axiomatic system of mathematics is in fact consistent, one needs to first assume the consistency of a system of mathematics that is in a sense stronger than the system to be proven consistent.
Overheden rond de wereld, hebben de ' Afdelingen ' opgerichtWikiMatrix WikiMatrix
In this sense, Euclidean geometry is more concrete than many modern axiomatic systems such as set theory, which often assert the existence of objects without saying how to construct them, or even assert the existence of objects that cannot be constructed within the theory.
er een wedde heeft, gelijk aan deze van de ondertekenende werknemerWikiMatrix WikiMatrix
In that article, he proved for any computable axiomatic system that is powerful enough to describe the arithmetic of the natural numbers (e.g., the Peano axioms or Zermelo–Fraenkel set theory with the axiom of choice), that: If a (logical or axiomatic formal) system is consistent, it cannot be complete.
Zelfs het compromis van de kant van het Parlement om de gevraagde reductie van twee decibel simpelweg te halveren tot slechts één decibel vond geen genade in de ogen van de ministers.WikiMatrix WikiMatrix
No generalization can hold generally without an airtight system of axiomatics to begin with.
Het klinkt heel mooiLiterature Literature
The modular representation theory entered a new era as the techniques of the classification were axiomatized, including fusion systems, Luis Puig's theory of pairs and nilpotent blocks.
Het kan me geen reet schelenWikiMatrix WikiMatrix
Euclidean geometry is an axiomatic system, in which all theorems ("true statements") are derived from a small number of simple axioms.
Bij ministeriële besluit van # september # is de duur van de stage als gerechtelijk stagiair verlengdParaCrawl Corpus ParaCrawl Corpus
Zermelo began to axiomatize set theory in 1905; in 1908, he published his results despite his failure to prove the consistency of his axiomatic system.
De Europese Commissie komt echter aan met studies en niet nader omschreven maatregelen.ParaCrawl Corpus ParaCrawl Corpus
Starting with Moritz Pasch in 1882, many improved axiomatic systems for geometry have been proposed, the best known being those of Hilbert,[35] George Birkhoff,[36] and Tarski.[37]
Afdeling #.-AandelenParaCrawl Corpus ParaCrawl Corpus
If a (logical or axiomatic formal) system is consistent, it cannot be complete.
° zijn identiteitParaCrawl Corpus ParaCrawl Corpus
In that article, he proved for any computable axiomatic system that is powerful enough to describe the arithmetic of the natural numbers (e.g., the Peano axioms or Zermelo–Fraenkel set theory with the axiom of choice), that:
Omdat hij van haar houdtParaCrawl Corpus ParaCrawl Corpus
The first incompleteness theorem states that for any self-consistent recursive axiomatic system powerful enough to describe the arithmetic of the natural numbers (for example Peano arithmetic), there are true propositions about the naturals that cannot be proved from the axioms.
De minimumlonen en de werkelijk betaalde lonen worden verhoogd met # EUR per uur op # oktober # en met # EUR per uur op # oktoberParaCrawl Corpus ParaCrawl Corpus
In mathematics, Zermelo–Fraenkel set theory with the axiom of choice, is one of several axiomatic systems that were proposed in the early twentieth century to formulate a theory of sets without the paradoxes of naive set theory like Russell’s paradox.
Subcutaan ofParaCrawl Corpus ParaCrawl Corpus
But in the context of a common market, in which it is axiomatic that trade should not be distorted by peculiarities of the respective fiscal systems, such a method of calculating excise duty raises severe difficulties.
Ik kan niet slapen tot ik je weer zieEurLex-2 EurLex-2
"ZFC" redirects here. For other uses, see ZFC (disambiguation). In mathematics, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is one of several axiomatic systems that were proposed in the early twentieth century to formulate a theory of sets free of paradoxes such as Russell's paradox.
Bij de Verordeningen (EG) nr. #/# en (EG) nr. #/# van de Commissie zijn de bepalingen voor de uitvoering van de tweede fase van het werkprogramma zoals bedoeld in artikel #, lid #, van Richtlijn #/#/EEG, vastgesteld en is een lijst opgesteld van werkzame stoffen die moeten worden beoordeeld met het oog op hun eventuele opneming in bijlage I bij Richtlijn #/#/EEGParaCrawl Corpus ParaCrawl Corpus
29 sinne gevind in 14 ms. Hulle kom uit baie bronne en word nie nagegaan nie.