Resultados da pesquisa

Em teorias de verdades formais, um '''predicado de verdade''' é um predicado sobre as [[Categoria:Funções matemáticas]] ...

Para formular teorias sobre a linguagem - evitando paradoxos semânticos, como o do mentiroso - é ...ld Davidson]], ainda que de maneira fragmentada, à [[teoria do significado|teorias do significado]] para linguagens naturais, o que significa tratar a "verdad ...

...|Uma dualidade, de um modo geral, traduz conceitos, teoremas ou estruturas matemáticas para outros conceitos, teoremas ou estruturas, de um modo de um-para-um, fr [[Categoria:Teorias matemáticas]] ...

...erenko no workshop "Diophantic Approximations" no [[Instituto de Pesquisas Matemáticas de Oberwolfach]], em 2007 Especialista nas teorias da [[independência algébrica]] e [[Teoria dos números transcendental|número ...

...da [[análise funcional]] ao longo do [[século XX]] levou ao surgimento de teorias de funções analíticas que assumem valores em um [[espaço de Banach]] comple [[Categoria:Funções matemáticas|Analitica]] ...

...diversos outros investigadores devem ser creditados pela formulação destas teorias, com base em considerações de prioridade. A história geral do desenvolvimento destas teorias, incluindo as contribuições de diversos outros investigadores, pode ser con ...

Ramanujan fez a enigmática observação de que havia "teorias correspondentes", mas foi apenas recentemente que H. H. Chan e S. Cooper en {{Séries (matemáticas)}} ...

...mas da incompletude de Gödel|teoremas da incompletude]], que mostraram que teorias de provas suficientemente fortes não podem provar suas próprias consistênci Em teorias da aritmética, como a [[Axiomas de Peano|aritmética de Peano]], existe uma ...

...s importantes para uma teoria geral. A diferença primária entre estas duas teorias é que as funções de Weierstrass tem um [[pólo (análise complexa)|pólo]] de [[Categoria:Funções matemáticas|Elíptica]] ...

Dependências com o inverso do quadrado ocorrem nas teorias da [[física]] como a [[gravidade]], a [[eletricidade]] e o [[magnetismo]]; [[Categoria:Funções matemáticas]] ...

...fatos conhecidos que têm permitido reformular em maior medida diferentes teorias científicas.<ref> ''Thought Experiments'' primeira public. 28/12/96 pela st ...

...m duas das cinco teorias das cordas consistentes em 10 dimensões. Ambas as teorias envolvem cordas fechadas<ref>{{citar web|url = http://physics.stackexchange ...ordas Princeton ” não existem sinais de tal descrição. Numa das expressões matemáticas têm um conjunto de 16 objetos bosônicos, que correspondem á diferença de 10 ...

...tos de Morse-Kelley]]. A hierarquia cumulativa não é compatível com outras teorias de conjuntos como [[Novas Fundações]]. ...é qualquer classe que possa ser membro de outra classe. A NBG e a ZFC são teorias de conjuntos equivalentes, num sentido que qualquer [[teorema]] que não men ...

== Propriedades matemáticas == LOCC são as "operações livres" nas [[Entrelaçamento quântico|teorias de emaranhamento de recursos]]: o emaranhamento não pode ser produzido a pa ...

{{Teoria das cordas|expanded=Equações e teorias}} ...ente, o termo foi usado com uma conotação irônica para referir-se a várias teorias sobre generalizadas. Depois o termo se popularizou na [[Física quântica]] a ...

O fato que teorias quânticas de campos gauge fortemente acopladas têm excitações elementares n ...te notação simplificada em física que esconde um certo número de operações matemáticas. Um matemático refere-se ao trajeto ordenado exponencial da conexão como "a ...

...aplicada para provar a [[Propriedades da existência e da disjunção]] para teorias intuicionistas e para extrair programas de provas, como na [[mineração de p ...dos na [[mineração de prova]] para extrair "programas" concretos de provas matemáticas aparentemente não construtivas. Extração de programas usando Realizabilidad ...

...proposições. Fatos novos, ao serem descobertos, podem levar à evolução das teorias mediante necessidade explicita de modificações em seus axiomas, que, confor ...ica nos últimos 150 anos é que é útil decifrar o significado das asserções matemáticas (axiomas, postulados, [[proposição|proposições]], teoremas) e definições. E ...

...Taylor]] desempenha importante papel em áreas científicas exatas tanto em teorias como na prática. Indica-se a leitura de artigos específicos para mais infor ...

...ser aplicada para provar a [[Propriedades de existência e disjuntas]] para teorias intuicionistas e para extrair programas de provas, como na [[prova de minin ...usados na [[prova de mining]] para extrair "programas" concretos de provas matemáticas aparentemente não construtivas. Extração de programas usando razoabilidade ...