forçamento oor Engels

forçamento

Vertalings in die woordeboek Portugees - Engels

forcing

noun verb

technique invented by Paul Cohen for proving consistency and independence results

voorbeelde

A diferença de temperatura DT é a influência do forçamento.
The temperature difference DT is the driving influence.

Neste caso x → x + 1 é o movimento natural do oscilador e sen t representa o efeito do forçamento.
Here x → x + 1 is the natural motion of the oscillator, and sin t represents the effect of the forcing.

A independência é comumente provada por forçamento, pelo que é mostrado que cada modelo contável transitivo da ZFC (algumas vezes aumentado com os axiomas de grande cardinal) pode ser expandido para satisfazer a afirmação em questão.
The independence is usually proved by forcing, whereby it is shown that every countable transitive model of ZFC (sometimes augmented with large cardinal axioms) can be expanded to satisfy the statement in question.

O momento de ocorrência da maré cheia não é necessariamente quando a Lua está mais próxima de zénite ou do nadir, mas, ainda assim, o período de forçamento determina o tempo entre sucessivos ciclos de maré.
The moment of highest tide is not necessarily when the Moon is nearest to zenith or nadir, but the period of the forcing still determines the time between high tides.

Durante esse período a Lua passa uma vez por cima do meridiano do lugar (culminação) e uma vez pelo meridiano oposto (a um ângulo horário de 00:00 e 12:00 respectivamente), razão pela qual, na maior parte dos lugares, o período de forçamento da maré mais forte é o acima mencionado, ou seja de cerca de 12 horas e 25 minutos.
During this time, it has passed overhead (culmination) once and underfoot once (at an hour angle of 00:00 and 12:00 respectively), so in many places the period of strongest tidal forcing is the above-mentioned, about 12 hours and 25 minutes.

Fixar o cano (através do cone de forçamento) à carcaça com um pino e soldá-lo.
Pin the barrel (through forcing cone) to the frame and weld pin.

Neste artigo apresenta-se a análise das estratégias de forçamento dos elogios e faz-se uma descrição linguística.
This article analyzes the fishing for compliment strategies and gives a linguistic description.

Por exemplo, muitos resultados de consistência na teoria dos conjuntos que são obtidos por Forçamento podem ser reinterpretados como provas sintáticas que podem ser formalizadas na PRA.
For example, many consistency results in set theory that are obtained by forcing can be recast as syntactic proofs that can be formalized in PRA.

Na década de 60, Paul Cohen, Dana Scott, e outros acharam novos resultados profundos na matemática lógica e teoria dos conjuntos usando ramificações da álgebra booleana, ou seja, usando o forçamento e modelo booleano-valorizado.
In the 1960s, Paul Cohen, Dana Scott, and others found deep new results in mathematical logic and axiomatic set theory using offshoots of Boolean algebra, namely forcing and Boolean-valued models.

Ver artigo principal: Forçamento Paul Cohen inventou o método de forçamento enquanto procura por um modelo de ZFC em que o axioma da escolha ou a hipótese do continuum falhe.
Paul Cohen invented the method of forcing while searching for a model of ZFC in which the continuum hypothesis fails, or a model of ZF in which the axiom of choice fails.

Uma variação no método de forçamento também pode ser usada para demonstrar a consistência e improvabilidade do axioma da escolha, i.e., que o axioma da escolha é independente da ZF.
A variation on the method of forcing can also be used to demonstrate the consistency and unprovability of the axiom of choice, i.e., that the axiom of choice is independent of ZF.

O forçamento foi consideravelmente reelaborado e simplificado na década de 1960, e tem se mostrado ser uma técnica extremamente poderosa tanto em teoria dos conjuntos quando em outras áreas de lógica matemática, tais como teoria da recursão.
Forcing was considerably reworked and simplified in the 1960s, and has proven to be an extremely powerful technique both within set theory and in areas of mathematical logic such as recursion theory.

O método do forçamento ("forcing") é aplicada na teoria dos conjuntos, na teoria dos modelos, na teoria da recursão, assim como no estudos da matemática intuiticionística.
The method of forcing is employed in set theory, model theory, and recursion theory, as well as in the study of intuitionistic mathematics.

Dada um poset de forçamento P, existe uma álgebra booleana completa B correspondente, muitas vezes obtida como a coleção de subconjunto regulares abertos de P, onde a topologia em P é definida pela declaração de todos os menores conjuntos como abertos (e todos os conjuntos superiores fechados).
Given a forcing poset P, there is a corresponding complete Boolean algebra B, often obtained as the collection of regular open subsets of P, where the topology on P is defined by declaring all lower sets open (and all upper sets closed).

Uma prova de independência por forçamento automaticamente prova a independência de afirmações aritméticas, outras afirmações concretas, e axiomas de grande cardinal.
An independence proof by forcing automatically proves independence from arithmetical statements, other concrete statements, and large cardinal axioms.

Creswell, que também acredita que a canção parodia o tema da sedução na música rock contemporânea, indica letras que se referem a impotência ("If you don't come, if you don't come, if you don't come, you'll die alone!") e possessão violenta ou forçamento ("I'll make you love me till the day you die!").
Creswell, who also believes the song parodies the theme of seduction in contemporary rock music, points to lyrics that refer to impotence ("If you don't come, if you don't come, if you don't come, you'll die alone!") and violent possession or forcing ("I'll make you love me till the day you die!").

Já que forçamento preserva escolha, nós não podemos, diretamente, produzir um modelo contradizendo a escolha de um modelo satisfazendo a escolha.
Since forcing preserves choice, we cannot directly produce a model contradicting choice from a model satisfying choice.

Intuitivamente, o forçamento consiste em expandir o conjunto universo V a um universo maior V*.
Intuitively, forcing consists of expanding the set theoretical universe V to a larger universe V*.

Forçamento da criptografia - método gratuito que funciona para alguns usuários.
Force Encryption – Free method that works for some users.

Observações: A consistência de V=L é provável por modelos internos, mas não por forçamento: cada modelo da ZF pode ser aparado para se transformar um modelo ZFC+V=L. O Princípio Diamante implica a Hipótese do Continuum e a negação da Hipótese de Suslin.
Remarks: The consistency of V=L is provable by inner models but not forcing: every model of ZF can be trimmed to become a model of ZFC + V=L. The Diamond Principle implies the Continuum Hypothesis and the negation of the Suslin Hypothesis.

Pela intuição que esse exemplo fornece, a linguagem probabilística às vezes é usada com outros C.P.O.s de forçamento.
Due to the ready intuition this example can provide, probabilistic language is sometimes used with other forcing posets.

As dimensões dos secadores impõem que o ar circule no seu interior. Para tanto, utilizam-se aparelhos que garantem as funções de forçamento, extração, circulação ou retenção do ar, utilizadas em qualquer momento do processo de cura e envelhecimento, sempre que a homogeneização das condições ambientais é necessária, mantendo o produto permanentemente as suas características.
The dimensions of the drying facility require internal recirculation of air which is done using the aforementioned equipment with functions for the drive, extraction, recirculation or containment of the air, used at any time of the curing and ageing process, as long as this homogenisation of the environmental conditions is required, while preserving the characteristics of the product at all times.

Após o caminhão com o seu carro feito especialmente de forçamento, o Leprechaun aterroriza a quadrilha até Ozzie revela que ele e Alex encontraram o pote de ouro.
After ramming the truck with a go-kart, the leprechaun terrorizes the group until Ozzie reveals that he and Alex found the pot of gold.

Forçamento é também um dos dois métodos para provar consistência relativa por métodos finitístico, sendo o outro os modelos de valores Booleanos.
Forcing is also one of two methods for proving relative consistency by finitistic methods, the other method being Boolean-valued models.

Fixar uma vara no cone de forçamento do cano (comprimento> 2/3 do comprimento do cano).
Fix a rod in the barrel forcing cone (L>2⁄3 barrel length).