número real definível oor Engels
número real definível
Vertalings in die woordeboek Portugees - Engels
definable real number
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Essas são as bem conhecidas antinomias do conjunto de todos os conjuntos que não contêm a si próprios (Russell), do conjunto de todos os números ordinais transfinitos (Burali-Forti), e o conjunto de todos os números reais finitamente definíveis (Richard)."
These are the well-known antinomies of the set of all sets that do not contain themselves (Russell), of the set of all transfinte ordinal numbers (Burali-Forti), and the set of all finitely definable real numbers (Richard)."WikiMatrix WikiMatrix
Existem muitos números reais definíveis, não-computáveis, incluindo:
There are many definable, noncomputable real numbers, including:ParaCrawl Corpus ParaCrawl Corpus
2 sinne gevind in 9 ms. Hulle kom uit baie bronne en word nie nagegaan nie.