type theory oor Nederlands

type theory

Vertalings in die woordeboek Engels - Nederlands

Typentheorie

voorbeelde

Testing by psychological type theory for the selection, professional
Het testen door middel van theorieën met betrekking tot psychologische typen voor de selectie, professioneel

Psychological type theory
Theorieën met betrekking tot psychologische typen

Type theories suggest that you can classify people according to a number of finite personality types.
Er zijn theorieën die zeggen dat je mensen kunt indelen in persoonlijkheidscategorieën.

Testing by psychological type theory for the selection, professional development and advising on staff or personnel
Testen met behulp van psychologische typering ten behoeve van selectie, beroepsontwikkeling en advisering over staf of personeel

In appearance and manner he was the complete denial of any criminal type theory.”
In uiterlijk en gedrag weersprak hij elke misdadigerstypologie’.

Quantum theory is not really a theory, but a set of principles that define a type of theory.
De kwantumtheorie is niet echt een theorie maar een aantal uitgangspunten die samen een soort theorie vormen.

In mathematics, and particularly in set theory, category theory, type theory, and the foundations of mathematics, a universe is a collection that contains all the entities one wishes to consider in a given situation.
In de verzamelingenleer, een deelgebied van de wiskunde, en de grondslagen van de wiskunde, is een universum een klasse, die als elementen alle entiteiten bevat, die men in een bepaalde situatie maar wenst te overwegen.

The original targets of these arguments were the type-identity theory and eliminative materialism.
De oorspronkelijke bedoeling van het argument van meervoudige realiseerbaarheid betrof de identiteitstheorie en het eliminatief materialisme.

Categorical logic is now a well-defined field based on type theory for intuitionistic logics, with applications in functional programming and domain theory, where a cartesian closed category is taken as a non-syntactic description of a lambda calculus.
De categorische logica is nu een goed-gedefinieerd gebied dat gebaseerd is op typentheorie voor intuïtionistische logica's, met toepassingen in het functioneel programmeren en de domeintheorie, waar een cartesisch gesloten categorie wordt beschouwd als een niet-syntactische beschrijving van een lambdacalculus.

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.
Uit Heft 15 van Gödels nog niet gepubliceerde Arbeitshefte , maakt John W. Dawson, Jr. op dat Gödel tijdens dat verblijf in Blue Hill in 1942 een bewijs ontdekte voor de onafhankelijkheid van het keuze-axioma vanuit de eindige-type-leer, een afgezwakte vorm van de verzamelingenleer.

One should ask: What is the essence of the type of theory I have constructed, and how can that be tested?
Men zou zich moeten afvragen: wat is de essentie van de theorie die ik geconstrueerd heb en hoe kan hij worden getoetst?

Perhaps more surprisingly, the same type of theory applies to biology and medicine, parturition, the act of giving birth, epileptic seizures.
Misschien wekt het nog meer verbazing dat hetzelfde type theorie van toepassing is op biologie en geneeskunde, bevallingen en epileptische aanvallen.

Despite these problems, there is a renewed interest in the type identity theory today, primarily due to the influence of Jaegwon Kim.
Ondanks de problemen waarmee de type-identiteitstheorie geconfronteerd wordt, is er in het heden hernieuwde interesse voor de theorie, hoofdzakelijk onder invloed van het werk van Jaegwon Kim.

Type physicalism (or type-identity theory) was developed by John Smart and Ullin Place as a direct reaction to the failure of behaviorism.
De type-identiteitstheorie of het type-fysicalisme werd ontwikkeld door John Smart en Ullin Place als een directe reactie op het falen van het behaviorisme.

In these papers, he argues that, contrary to type-identity theory, it is not the case that "pain is identical to C-fibre firing."
In deze publicaties stelt hij, in tegenstelling tot de claim van identiteitstheorie, dat het niet noodzakelijkerwijs waar is dat pijn identiek is aan het vuren van C-vezels.

Larry was the type who had theories about these things.
Larry was zo iemand die theorieën over dit soort dingen had.

The development of any type of representation theory is usually split into two stages.
De ontwikkeling van iedere representatietheorie vindt... meestal in twee fasen plaats.

The most common monisms in the 20th and 21st centuries have all been variations of physicalism; these positions include behaviorism, the type identity theory, anomalous monism and functionalism.
De meest voorkomende vormen van monisme in de 20e en de 21e eeuw zijn alle variaties van het materialisme, of fysicalisme, inclusief het behaviorisme, de identiteitstheorie en het functionalisme.

Although he would later abandon logical behaviorism as a theory of the mind in favor of the type-identity theory, Place nevertheless continued to harbor sympathies toward the behavioristic approach to psychology in general.
Hoewel hij later het logisch behaviorisme zou verlaten als theorie van de geest voor de identiteitstheorie, bleef hij sympathie hebben voor de behavioristische benadering in de psychologie in het algemeen.

Jerry Fodor, Putnam and others also note that, along with being a very effective argument against type-identity theories, multiple realizability implies that any low-level explanation of higher-level mental phenomena would be insufficiently abstract and general.
Jerry Fodor, Putnam en anderen merkten op dat meervoudige realiseerbaarheid niet alleen een effectief argument was tegen de theorieën die gebruikmaken van type-identiteit, maar ook dat het impliceert iedere verklaring op een lager niveau van mentale fenomenen op een hoger niveau onvoldoende abstract en algemeen is.

In high energy physics, K-theory and in particular twisted K-theory have appeared in Type II string theory where it has been conjectured that they classify D-branes, Ramond–Ramond field strengths and also certain spinors on generalized complex manifolds.
In de natuurkunde verschijnen K-theorie en met name de verdraaide K-theorie in Type II snaartheorie, waar het vermoeden is geuit dat zij D-branen, Ramond-Ramond-veldsterktes en ook bepaalde spinors op veralgemeende complexe variëteiten kunnen classificeren.

Both of these words are pretty ugly, so for our discussion, we simply call this type of ethics contract theory.
Beide termen klinken nogal lelijk, dus we zullen dit type ethiek in onze bespreking simpelweg contracttheorie noemen.

Viktor Vassiliev and Mikhail Goussarov started the theory of finite type invariants of knots.
Viktor Vassiliev en Mikhail Goussarov begonnen de theorie van eindige type invarianten van knopen.

‘I’ve never had a case, really, just studied that type of saw mark in theory, here in the lab.’
‘Ik heb nog nooit zo’n zaak gehad, heb alleen maar hier in het lab dat soort afdrukken in theorie bestudeerd.’

“I’ve never had a case, really, just studied that type of saw mark in theory, here in the lab.”
‘Ik heb nog nooit zo’n zaak gehad, heb alleen maar hier in het lab dat soort afdrukken in theorie bestudeerd.’