Pular para o conteúdo
Ciências Exatas

Memoirs Of a Proof Theorist - Godel And Other Logicians

1ª Edição - 2003156 páginasWorld Scientificpt
Seja o primeiro a avaliar
Sua leitura no Lireo

Guarde este livro na sua estante

Crie uma conta gratuita e continue exatamente desta página.

Registre seu progresso de leitura
Descubra outros leitores do mesmo livro
Participe de clubes de leitura
Organize toda sua biblioteca

Sinopse

This volume is a translation of the book Gödel, written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the book comprises a memoir of K Gödel, Takeuti's personal recollections, and his interpretation of Gödel's attitudes towards mathematical logic. It also contains Takeuti's recollection of association with some other famous logicians. Everything in the book is original, as the author adheres to his own experiences and interpretations. There is also an article on Hilbert's second problem as well as on the author's fundamental conjecture about second order logic.

Detalhes do livro

Título
Memoirs Of a Proof Theorist - Godel And Other Logicians
Autor
Gaisi | Passell Nicholas | Yasugi Mariko Takeuti
Editora
World Scientific
Ano
2026
Páginas
156 páginas
Idioma
PT
ISBN-13
9789812382795
Edição
1ª Edição - 2003
Formato
Hardcover

Ciências Exatas

Livros na mesma categoria

Blog Lireo

Dicas e recomendações para leitores

Soluções institucionais

Para escolas, universidades, autores e editoras