aftelbaar oor Engels

aftelbaar

adjektief

Vertalings in die woordeboek Nederlands - Engels

countable

adjektief

math: having a bijection with a subset of the natural numbers

denumerable

adjektief

Soortgelyke frases

aftelbare verzameling
countable set

voorbeelde

In de wiskundige logica stelt de stelling van Löwenheim-Skolem dat, als een aftelbare eerste-ordetheorie een oneindig model heeft, het dan voor elk oneindig kardinaalgetal κ een model van grootte κ heeft.
The Löwenheim–Skolem theorem shows that if a first-order theory has any infinite model, then it has infinite models of every cardinality.

De Baire-ruimte wordt gedefinieerd als het Cartesisch product van een aftelbaar aantal kopieën van de verzameling van natuurlijke getallen, en wordt in de producttopologie (waarbij elk exemplaar van de verzameling van natuurlijke getallen wordt uitgerust met de discrete topologie).
The Baire space is defined to be the Cartesian product of countably infinitely many copies of the set of natural numbers, and is given the product topology (where each copy of the set of natural numbers is given the discrete topology).

Cantor gebruikte een kardinaliteitsargument om aan te tonen dat er slechts een aftelbaar aantal algebraïsche getallen bestaat, en dus zijn bijna alle getallen transcendent.
Cantor used a cardinality argument to show that there are only countably many algebraic numbers, and hence almost all numbers are transcendental.

Is het gek dat ik de dagen al aftel tot het volgende barbaarse jaar van haar tienertijd?
Is it crazy that I’m already counting down the days until the next barbaric year of her teens?

Gebaseerd op Per Lindströms karakterisering is de eerste orde logica, op en tot met gelijkwaardigheid, de enige abstracte logica, die aftelbaar compact is en het Löwenheim-getal ω heeft.
Based on Lindström's characterization, first-order logic is, up to equivalence, the only abstract logic which is countably compact and has Löwenheim number ω.

Aftelen begint.
Commencing countdown.

We hebben een zuurstof aftel klok toegevoegd zodat jullie kijkers het verloop kunnen zien.
We've added an oxygen countdown clock so you viewers can enjoy the suspense.

Aftelbare verenigingen en doorsneden van lebesgue-meetbare verzamelingen zijn lebesgue-meetbaar.
Countable unions and intersections of Lebesgue-measurable sets are Lebesgue-measurable.

De prins zei: ‘Zeg haar dat ik de minuten aftel tot we weer samen zijn.
The prince said, “Tell her that I count the minutes until we are together again.

Het classificatiestelling stelt dat de lijst van eindige enkelvoudige groepen uit 18 aftelbare oneindige families bestaat, plus de 26 uitzonderingen die niet in het gevonden systematische patroon passen.
The classification theorem states that the list of finite simple groups consists of 18 countably infinite families, plus 26 exceptions that do not follow such a systematic pattern.

Ik weet niet waarom, maar dat ik zo precies aftel, helpt me om niet in volledige apathie te vervallen.
I don’t know why but having a precise countdown helps to keep me from slipping into complete apathy.

Het pak heeft een aftel-mechanisme.
[ GUNFIRE ] The suit has a staggered countdown.

Het blijft onder mijn kussen liggen terwijl ik de seconden aftel.
It stays under my pillow as I count the seconds.

De aftel- klok is weer gaan lopen
The countdown clock has started again

Als ik aftel, dan ga je in een diepe toestand van ontspanning komen.
As I'm counting down, you are going to go into a deeper state of relaxation.

In een combinatorisch optimaliseringsprobleem zijn wij op zoek naar een object, zoals een geheel getal, permutatie of grafiek uit een eindige (of eventueel aftelbaar oneindige) verzameling.
In a discrete optimization problem, we are looking for an object such as an integer, permutation or graph from a finite (or possibly countably infinite) set.

Aftel-aanpassers zijn beschikbaar in de indelingen COUNTDOWN en GLOBAL_COUNTDOWN.
Countdown customisers come in both COUNTDOWN and GLOBAL_COUNTDOWN formats.

In 1891 publiceerde hij een artikel met daarin zijn elegante "diagonaalargument" voor het bestaan van niet aftelbare verzamelingen.
In 1891, he published a paper containing his elegant "diagonal argument" for the existence of an uncountable set.

Hoe ik de uren aftel tot jullie drieën terugkomen.’
How I count the hours until the three of you return.”

Zo is de driedimensionale Euclidische ruimte niet een aftelbare vereniging van zijn affiene vlakken.
For example, the three-dimensional Euclidean space is not a countable union of its affine planes.

Cantor definieerde telbare verzamelingen (of aftelbare verzamelingen) als verzamelingen die in een 1-op-1 correspondentie met de natuurlijke getallen kunnen worden gebracht en bewees dat rationale getallen aftelbaar zijn.
Cantor defined countable sets (or denumerable sets) as sets which can be put into a 1-to-1 correspondence with the natural numbers, and proved that the rational numbers are denumerable.

Verzamelingen die kunnen worden geconstrueerd als aftelbaar vele open verzamelingen worden aangeduid als G-δ verzamelingen.
Sets that can be constructed as the intersection of countably many open sets are denoted Gδ sets.

Ten eerste: een atoom kan alleen bestaan in een aftelbare reeks van discrete toestanden.
First: The atom can only exist in a denumerable series of discrete states.

Dat wil zeggen voor elke berekenbaar aftelbare axiomaverzameling voor de rekenkunde (dat wil zeggen een verzameling die in principe geprint kan worden door een geïdealiseerde computer met onbeperkte hulpbronnen), bestaat er een formule die geldig is in de rekenkunde, maar in dat systeem niet bewijsbaar is.
That is, for any computably enumerable set of axioms for arithmetic (that is, a set that can in principle be printed out by an idealized computer with unlimited resources), there is a formula that is true of arithmetic, but which is not provable in that system.

Het inwendige van iedere aftelbare vereniging van gesloten nergens dichte verzamelingen is leeg.
The interior of every union of countably many closed nowhere dense sets is empty.