Teoremas da incompletude de Gödel

-
Os teoremas da incompletude de Gödel, às vezes também designados como teoremas da indecidibilidade, são dois resultados demonstrados por Kurt Gödel:
  • Teorema 1: "Qualquer teoria axiomática recursivamente enumerável e capaz de expressar algumas verdades básicas de aritmética não pode ser, ao mesmo tempo, completa e consistente. Ou seja, sempre há em uma teoria consistente proposições verdadeiras que não podem ser demonstradas nem negadas."
  • Teorema 2: "Uma teoria, recursivamente enumerável e capaz de expressar verdades básicas da aritmética e alguns enunciados da teoria da prova, pode provar sua própria consistência se, e somente se, for inconsistente."

O Universo de Gödel não se expande, mas gira com uma velocidade angular constante 
w = 2, razão pela qual é também conhecido como Universo Rotatório.
http://www.scielo.br/pdf/rbef/v28n4/a16v28n4.pdf

Dica:

Use as teclas "ctrl" e "f" (acionadas simultâneamente) para buscar palavras-chave dentro deste site.

Postagens mais visitadas deste blog

Desenhando croqui de acidente de trânsito

-
Imagem
No site ( http://croquisaccidente.es/ ) tem um programa online de desenho de croqui de acidentes (bem simples). Notei que a impressão não fica muito boa, por isso depois de fazer o croqui, obtenha um printscreen da tela e daí copie para um editor de texto ou editor gráfico e imprima. Veja um exemplo que eu fiz:
Leia mais

Transformar colunas em linhas e vice-versa (transpor)

-
Imagem
Olá leitor. Neste texto vou mostrar como transpor colunas, ou seja, vou transformar colunas em linhas. Certo dia foi útil para mim esta transformação e, talvez algum dia poderá ser útil ao leitor. Vamos usar o calc do libreoffice . Passo 1 : Selecionar as colunas a serem transpostas (no meu caso as "coluna 1" e "coluna 2" que estão nas colunas B e C do calc (libreoffice); Passo 2 : o famoso Ctrl c . Passo 3 : Clicar numa célula que irá receber a nova tabela (no meu caso, cliquei na célula "I4"); Passo 4 : clicar em "editar" --> "colar especial" --> habilitar "Transpor", conforme mostra na figura acima; Passo 5 : Clicar em "ok". Eu deixei a "coluna 1" em vermelho e a "coluna 2" em azul para o leitor observar com mais clareza a transformação. Já pensou se tiver que fazer esta transposição com o "bash" ou "awk" ou "sed", que trabalho que daria...
Leia mais

Acentuação no Gnuplot

-
Olá leitor. Muita gente já se bateu para tentar colocar acentuação nos gráficos feitos no gnuplot. A questão é que você tem que colocar no script ou na linha de comando: set encoding iso_8859_1 Mas também tem que acertar a codificação do arquivo no editor de textos para ISO 8859-1 e depois salvar. É isso.
Leia mais