---
title: "Dois Exemplos de Indecidibilidade e Incompletude em Física • CBPF Index"
description: "CBPF INDEX is the system that tracks the scientific and technological output of CBPF. It lists the articles, books, technical reports and other publications of the whole CBPF community."
canonical_url: "https://index.cbpf.br/en/publicacoes/6ad2a767639f62b11adbbd9e"
locale: en
meta:
  "og:description": "CBPF INDEX is the system that tracks the scientific and technological output of CBPF. It lists the articles, books, technical reports and other publications of the whole CBPF community."
  "og:image": "https://index.cbpf.br/_og/d/c_Item%2Ctitulo_~RG9pcyBFeGVtcGxvcyBkZSBJbmRlY2lkaWJpbGlkYWRlIGUgSW5jb21wbGV0dWRlIGVtIEbDrXNpY2E%2Ctipo_Doctoral%2Bthesis%2Ccor_~IzdhM2E5OQ%2Cautores_~QS4gRi4gRi4gVGVpeGVpcmE7IE5ld3RvbiBDYXJuZWlybyBBZmZvbnNvIGRhIENvc3RhOyBEw6ljaW8gS3JhdXNlOyBXYWx6aSBDb25jZWnDp8OjbyBTYW1wYWlvIGRhIFNpbHZhOyBKdWFuIEpvc8OpIEdpYW1iaWFnaTsgSm9zw6kgQWJkYWxsYSBIZWxheWVsIE5ldG87IEYuIENhcnVzbw%2Cdetalhe_~MTUvMTAvMTk5MQ%2Csecao_Publications%2Cp_Ii9lbi9wdWJsaWNhY29lcy82YWQyYTc2NzYzOWY2MmIxMWFkYmJkOWUi%2Cs_V2bG1hx8JxtrwzQ_.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_Doctoral%2Bthesis%2Ccor_~IzdhM2E5OQ%2Cautores_~QS4gRi4gRi4gVGVpeGVpcmE7IE5ld3RvbiBDYXJuZWlybyBBZmZvbnNvIGRhIENvc3RhOyBEw6ljaW8gS3JhdXNlOyBXYWx6aSBDb25jZWnDp8OjbyBTYW1wYWlvIGRhIFNpbHZhOyBKdWFuIEpvc8OpIEdpYW1iaWFnaTsgSm9zw6kgQWJkYWxsYSBIZWxheWVsIE5ldG87IEYuIENhcnVzbw%2Cdetalhe_~MTUvMTAvMTk5MQ%2Csecao_Publications%2Cp_Ii9lbi9wdWJsaWNhY29lcy82YWQyYTc2NzYzOWY2MmIxMWFkYmJkOWUi%2Cs_V2bG1hx8JxtrwzQ_.png"
---

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

**Doctoral thesis****Defended**

# **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**

10/15/1991

[**Download PDF **0.7 MB](https://index.cbpf.br/files/publicacao/6ad2a767639f62b11adbbd9e/pdf) [**Contact owner**](mailto:biblioteca@cbpf.br?subject=Dois%20Exemplos%20de%20Indecidibilidade%20e%20Incompletude%20em%20F%C3%ADsica)

## **Abstract**

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.

## **Publication details**

<dl>

<dt>Authors</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>Type</dt>
<dd>Doctoral thesis</dd>

<dt>Status</dt>
<dd>Defended</dd>

<dt>Publication date</dt>
<dd>15/10/1991</dd>

<dt>Institution</dt>
<dd>CBPF</dd>

<dt>Defense date</dt>
<dd>15/10/1991</dd>

</dl>

```json
{"@context":"https://schema.org","@graph":[{"@id":"https://index.cbpf.br/en#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":"en-US","name":"CBPF Index","url":"https://index.cbpf.br/en","publisher":{"@id":"https://index.cbpf.br/#identity"},"translationOfWork":{"@id":"https://index.cbpf.br/#website"}},{"@id":"https://index.cbpf.br/en/publicacoes/6ad2a767639f62b11adbbd9e#webpage","@type":"WebPage","description":"CBPF INDEX is the system that tracks the scientific and technological output of CBPF. It lists the articles, books, technical reports and other publications of the whole CBPF community.","name":"Dois Exemplos de Indecidibilidade e Incompletude em Física","url":"https://index.cbpf.br/en/publicacoes/6ad2a767639f62b11adbbd9e","isPartOf":{"@id":"https://index.cbpf.br/en#website"},"potentialAction":[{"@type":"ReadAction","target":["https://index.cbpf.br/en/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":"en-US","url":"https://index.cbpf.br/icon-512x512-light.png"}]}
```

## Sitemap

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