Pular para o conteúdo
Filosofia

Proof Theory - History And Philosophical Significance

1ª Edição - 2000256 páginasKluwer Academic Publisheren
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

The conference on Proof Theory: History and Philosophical Significance held in 1997 at the University of Roskilde, Denmark, tracked the history of proof theory and its role in the analysis of the philosophical foundations of mathematics since Hilbert's original program to its modern, highly articulated form. This volume is a collection of papers presented at the conference. It can be read with profit and pleasure by philosophers, mathematicians, computer scientists and scholars with no professional training in proof theory, provided they have a general knowledge of foundational issues.

Detalhes do livro

Título
Proof Theory - History And Philosophical Significance
Autor
Stig Andur | Hendricks Vincent F. | Jorgensen Klaus Frovin Pedersen
Editora
Kluwer Academic Publisher
Ano
2026
Páginas
256 páginas
Idioma
EN
ISBN-13
9780792365440
Edição
1ª Edição - 2000
Formato
Hardcover

Filosofia

Livros na mesma categoria

Blog Lireo

Dicas e recomendações para leitores

Soluções institucionais

Para escolas, universidades, autores e editoras