skip to main content
Idioma:
previous page 1 2 Resultados 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
21
Recursive functions and metamathematics problems of completeness and decidability, Gödel's theorems
Recursive functions and metamathematics problems of completeness and decidability, Gödel's theorems
Material Type:
Livro 		Adicionar ao Meu Espaço

Recursive functions and metamathematics problems of completeness and decidability, Gödel's theorems

Roman Murawski 1949-

Boston Kluwer Academic Publishers 1999

Localização: EPBC - Esc. Politécnica-Bib Central    (510.57 M934fI ) e outros locais(Acessar)

22
Impossibility the limits of science and the science of limits
Impossibility the limits of science and the science of limits
Material Type:
Livro 		Adicionar ao Meu Espaço

Impossibility the limits of science and the science of limits

John D. Barrow 1952-

Oxford Oxford University Press New York 1998

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (001 B279i ) e outros locais(Acessar)

23
Godel's theorem an incomplete guide to its use and abuse
Godel's theorem an incomplete guide to its use and abuse
Material Type:
Livro 		Adicionar ao Meu Espaço

Godel's theorem an incomplete guide to its use and abuse

Torkel Franzen

Wellesley, MA A K Peters c2005

Localização: EPBC - Esc. Politécnica-Bib Central    (510.6 F858g )(Acessar)

24
Enumerability, decidability, computability An introduction to the theory of recursive functions
Material Type:
Livro 		Adicionar ao Meu Espaço

Enumerability, decidability, computability An introduction to the theory of recursive functions

Hans Hermes 1912-

Berlin New York Springer 1969

Localização: ICMC - Inst. Ciên. Mat. Computação    (03-01 H553ed.2 e.2 ) e outros locais(Acessar)

25
Shadows of the mind a search for the missing science of consciousness
Shadows of the mind a search for the missing science of consciousness
Material Type:
Livro 		Adicionar ao Meu Espaço

Shadows of the mind a search for the missing science of consciousness

Roger Penrose

Oxford New York Oxford University Press 1994

Localização: EPBC - Esc. Politécnica-Bib Central    (004.8 P386s ) e outros locais(Acessar)

26
Shadows of the mind a search for the missing science of consciousness
Shadows of the mind a search for the missing science of consciousness
Material Type:
Livro 		Adicionar ao Meu Espaço

Shadows of the mind a search for the missing science of consciousness

Roger Penrose

New York Oxford University Press 1996?], c1994

Localização: FEA - Fac. Econ. Adm. Contab. e Atuária  ACERVO DELFIM NETTO  (A34.13.21 ) e outros locais(Acessar)

27
Metamathematics, machines, and Gödel's proof
Metamathematics, machines, and Gödel's proof
Material Type:
Livro 		Adicionar ao Meu Espaço

Metamathematics, machines, and Gödel's proof

N. Shankar

Cambridge Cambridge University Press New York 1994

Localização: EPBC - Esc. Politécnica-Bib Central    (510.6 Sh18m )(Acessar)

28
The large, the small, and the human mind
The large, the small, and the human mind
Material Type:
Livro 		Adicionar ao Meu Espaço

The large, the small, and the human mind

Roger Penrose; M. S Longair 1941-

Cambridge Cambridge University Press New York 1997

Localização: FEA - Fac. Econ. Adm. Contab. e Atuária  ACERVO DELFIM NETTO  (A34.12.12 ) e outros locais(Acessar)

29
Kurt Gödel: The Princeton Lectures on Intuitionism
Kurt Gödel: The Princeton Lectures on Intuitionism
Material Type:
Livro 		Adicionar ao Meu Espaço

Kurt Gödel: The Princeton Lectures on Intuitionism

Hämeen-Anttila, Maria ; von Plato, Jan

Cham: Springer International Publishing 2021

Sem texto completo

Citações Citado por
30
An Introduction to Gödel's Theorems
An Introduction to Gödel's Theorems
Material Type:
Livro 		Adicionar ao Meu Espaço

An Introduction to Gödel's Theorems

Smith, Peter

Cambridge: Cambridge University Press 2001

Sem texto completo

Citações Citado por
previous page 1 2 Resultados 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (193)
  2. Livros  (64)
  3. Book Chapters  (33)
  4. Verbetes  (16)
  5. Resenhas  (8)
  6. Dissertações  (7)
  7. Anais de Congresso  (5)
  8. magazinearticle  (3)
  9. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1976  (18)
  2. 1976Até1991  (23)
  3. 1992Até2002  (61)
  4. 2003Até2014  (155)
  5. Após 2014  (109)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (313)
  2. Japonês  (9)
  3. Alemão  (6)
  4. Espanhol  (4)
  5. Francês  (3)
  6. Tcheco  (3)
  7. Catalão  (3)
  8. Russo  (2)
  9. Italiano  (1)
  10. Persa  (1)
  11. Eslovaco  (1)
  12. Chinês  (1)
  13. Holandês  (1)
  14. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Newman, J
  2. Nagel, E
  3. Penrose, R
  4. Smullyan, R
  5. Hermes, H

Neste Assunto:

  1. Mathematics
  2. Science & Technology
  3. Logic
  4. Gödel's Theorem
  5. Philosophy

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.