skip to main content
Sua busca inicial resultou em poucos registros ou nenhum resultado. Os resultados abaixo foram encontrados ao expandir sua busca.
Refinado por: assunto: Incompleteness Theorems remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

HERBRAND CONSISTENCY OF SOME ARITHMETICAL THEORIES

Salehi, Saeed

The Journal of Symbolic Logic, 1 September 2012, Vol.77(3), pp.807-827 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
2
Inexhaustibility a non-exhaustive treatment
Material Type:
Livro
Adicionar ao Meu Espaço

Inexhaustibility a non-exhaustive treatment

Torkel Franz en

Urbana, Ill. Association for Symbolic Logic Wellesley, Mass A K Peters c2004

Localização: IME - Inst. Matemática e Estatística    (QA9.1 F837i )(Acessar)

3
Material Type:
Artigo
Adicionar ao Meu Espaço

Rosser-Type Undecidable Sentences Based on Yablo's Paradox

Kurahashi, Taishi

Journal of Philosophical Logic, 1 October 2014, Vol.43(5), pp.999-1017 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
4
Material Type:
Artigo
Adicionar ao Meu Espaço

Finite Mimicry of Gödel's Incompleteness Theorem

Fjelstad, Paul

Mathematics Magazine, 1 April 2007, Vol.80(2), pp.126-129 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
5
Material Type:
Artigo
Adicionar ao Meu Espaço

Deductive versus Expressive Power: A Pre-Gödelian Predicament

Tennant, Neil

The Journal of Philosophy, 1 May 2000, Vol.97(5), pp.257-277 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
6
Material Type:
Artigo
Adicionar ao Meu Espaço

Incompleteness and Inconsistency

Shapiro, Stewart

Mind, 1 October 2002, Vol.111(444), pp.817-832 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (5)
  2. Livros  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2002  (1)
  2. 2002Até2003  (1)
  3. 2004Até2006  (1)
  4. 2007Até2012  (2)
  5. Após 2012  (1)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.