---
title: "Dois Exemplos de Indecidibilidade e Incompletude em Física • CBPF Index"
description: "O CBPF INDEX é o sistema de acompanhamento da produção científica e tecnológica do CBPF. Nele é possível obter a lista de publicações de artigos, livros, relatórios técnicos, etc de toda a comunidade do CBPF."
canonical_url: "https://index.cbpf.br/publicacoes/6ad2a767639f62b11adbbd9e"
locale: pt
meta:
  "og:description": "O CBPF INDEX é o sistema de acompanhamento da produção científica e tecnológica do CBPF. Nele é possível obter a lista de publicações de artigos, livros, relatórios técnicos, etc de toda a comunidade do CBPF."
  "og:image": "https://index.cbpf.br/_og/d/c_Item%2Ctitulo_~RG9pcyBFeGVtcGxvcyBkZSBJbmRlY2lkaWJpbGlkYWRlIGUgSW5jb21wbGV0dWRlIGVtIEbDrXNpY2E%2Ctipo_Tese%2Bde%2Bdoutorado%2Ccor_~IzdhM2E5OQ%2Cautores_~QS4gRi4gRi4gVGVpeGVpcmE7IE5ld3RvbiBDYXJuZWlybyBBZmZvbnNvIGRhIENvc3RhOyBEw6ljaW8gS3JhdXNlOyBXYWx6aSBDb25jZWnDp8OjbyBTYW1wYWlvIGRhIFNpbHZhOyBKdWFuIEpvc8OpIEdpYW1iaWFnaTsgSm9zw6kgQWJkYWxsYSBIZWxheWVsIE5ldG87IEYuIENhcnVzbw%2Cdetalhe_~MTUvMTAvMTk5MQ%2Csecao_~UHVibGljYcOnw7Vlcw%2Cp_Ii9wdWJsaWNhY29lcy82YWQyYTc2NzYzOWY2MmIxMWFkYmJkOWUi%2Cs_RLR9SOVqkYrShL9h.png"
  "og:image:height": "600"
  "og:image:type": image/png
  "og:image:width": "1200"
  "og:title": "Dois Exemplos de Indecidibilidade e Incompletude em Física • CBPF Index"
  "twitter:image": "https://index.cbpf.br/_og/d/c_Item%2Ctitulo_~RG9pcyBFeGVtcGxvcyBkZSBJbmRlY2lkaWJpbGlkYWRlIGUgSW5jb21wbGV0dWRlIGVtIEbDrXNpY2E%2Ctipo_Tese%2Bde%2Bdoutorado%2Ccor_~IzdhM2E5OQ%2Cautores_~QS4gRi4gRi4gVGVpeGVpcmE7IE5ld3RvbiBDYXJuZWlybyBBZmZvbnNvIGRhIENvc3RhOyBEw6ljaW8gS3JhdXNlOyBXYWx6aSBDb25jZWnDp8OjbyBTYW1wYWlvIGRhIFNpbHZhOyBKdWFuIEpvc8OpIEdpYW1iaWFnaTsgSm9zw6kgQWJkYWxsYSBIZWxheWVsIE5ldG87IEYuIENhcnVzbw%2Cdetalhe_~MTUvMTAvMTk5MQ%2Csecao_~UHVibGljYcOnw7Vlcw%2Cp_Ii9wdWJsaWNhY29lcy82YWQyYTc2NzYzOWY2MmIxMWFkYmJkOWUi%2Cs_RLR9SOVqkYrShL9h.png"
---

> Index of every page on this site: [llms.txt](https://index.cbpf.br/llms.txt)

**Tese de doutorado****Defendida**

# **Dois Exemplos de Indecidibilidade e Incompletude em Física**

**A. F. F. Teixeira; Newton Carneiro Affonso da Costa; Décio Krause; Walzi Conceição Sampaio da Silva; Juan José Giambiagi; José Abdalla Helayel Neto; F. Caruso**

15/10/1991

[**Baixar PDF **0,7 MB](https://index.cbpf.br/files/publicacao/6ad2a767639f62b11adbbd9e/pdf) [**Contatar responsável**](mailto:biblioteca@cbpf.br?subject=Dois%20Exemplos%20de%20Indecidibilidade%20e%20Incompletude%20em%20F%C3%ADsica)

## **Resumo**

Neste trabalho apresentamos algumas questões formalmente indecidíveis face aos Axiomas de Zermelo-Fraenkel (supondo estes consistentes). Primeiro demonstramos uma Proposição que nos impõe restrições à forma conexão para que tenhamos soluções não triviais da identidade diferencial de Bianchi. Feito isto, exibimos uma forma conexão sobre a qual é impossível demonstrarmos, em ZFC, que ela satisfaz às restrições mencionadas. Posteriormente, arguimos sobre a relação entre “genericidade” e “aleatoriedade” em espaços-tempo da Relatividade Geral; mostramos que a identificação de tais conjuntos é também indecidível em ZFC.

## **Dados da publicação**

<dl>

<dt>Autores</dt>
<dd>A. F. F. Teixeira; Newton Carneiro Affonso da Costa; Décio Krause; Walzi Conceição Sampaio da Silva; Juan José Giambiagi; José Abdalla Helayel Neto; F. Caruso</dd>

<dt>Tipo</dt>
<dd>Tese de doutorado</dd>

<dt>Status</dt>
<dd>Defendida</dd>

<dt>Data de publicação</dt>
<dd>15/10/1991</dd>

<dt>Instituição</dt>
<dd>CBPF</dd>

<dt>Data de defesa</dt>
<dd>15/10/1991</dd>

</dl>

```json
{"@context":"https://schema.org","@graph":[{"@id":"https://index.cbpf.br/#website","@type":"WebSite","description":"O CBPF INDEX é o sistema de acompanhamento da produção científica e tecnológica do CBPF. Nele é possível obter a lista de publicações de artigos, livros, relatórios técnicos, etc de toda a comunidade do CBPF.","inLanguage":"pt-BR","name":"CBPF Index","url":"https://index.cbpf.br/","publisher":{"@id":"https://index.cbpf.br/#identity"},"workTranslation":[{"@id":"https://index.cbpf.br/en#website"},{"@id":"https://index.cbpf.br/es#website"}]},{"@id":"https://index.cbpf.br/publicacoes/6ad2a767639f62b11adbbd9e#webpage","@type":"WebPage","description":"O CBPF INDEX é o sistema de acompanhamento da produção científica e tecnológica do CBPF. Nele é possível obter a lista de publicações de artigos, livros, relatórios técnicos, etc de toda a comunidade do CBPF.","name":"Dois Exemplos de Indecidibilidade e Incompletude em Física","url":"https://index.cbpf.br/publicacoes/6ad2a767639f62b11adbbd9e","isPartOf":{"@id":"https://index.cbpf.br/#website"},"potentialAction":[{"@type":"ReadAction","target":["https://index.cbpf.br/publicacoes/6ad2a767639f62b11adbbd9e"]}],"primaryImageOfPage":{"@id":"https://index.cbpf.br/#logo"}},{"@id":"https://index.cbpf.br/#identity","@type":"Organization","alternateName":"CBPF","description":"Unidade de pesquisa do Ministério da Ciência, Tecnologia e Inovação dedicada à pesquisa básica em Física, suas aplicações e à formação científica.","email":"web@cbpf.br","legalName":"Centro Brasileiro de Pesquisas Físicas/CBPF","name":"Centro Brasileiro de Pesquisas Físicas","taxID":"04.044.443/0001-35","telephone":"+55-21-2141-7100","url":"https://cbpf.br","address":{"@type":"PostalAddress","streetAddress":"Rua Dr. Xavier Sigaud, 150","addressLocality":"Rio de Janeiro","addressRegion":"RJ","postalCode":"22290-180","addressCountry":"BR"},"logo":{"@id":"https://index.cbpf.br/#logo"},"sameAs":["https://twitter.com/cbpf_mcti"]},{"@id":"https://index.cbpf.br/#logo","@type":"ImageObject","caption":"Centro Brasileiro de Pesquisas Físicas","contentUrl":"https://index.cbpf.br/icon-512x512-light.png","inLanguage":"pt-BR","url":"https://index.cbpf.br/icon-512x512-light.png"}]}
```

## Sitemap

See the full [sitemap](https://index.cbpf.br/sitemap.md) for all pages.