Resumo
Este livro de teoria da demonstração tem como tema o legado de Kurt Schütte e o seu impacto nesta área do saber. Schütte foi o último aluno de doutoramento de David Hilbert, o primeiro matemático a compreender que as demonstrações podem ser consideradas como objectos matemáticos detentores de estrutura passíveis de ser estudados usando métodos matemáticos (metamatemática). Schütte foi o responsável pela importante mudança de paradigma de demonstrações finitas para demonstrações infinitas, tendo desenvolvido as ferramentas matemáticas para a análise destas últimas. A teoria da demonstração infinita prosperou sob a sua pena nos anos 60 do séc. XX, tendo culminado no famoso limite Γ0 para a matemática predicativa (fama partilhada com Feferman). Mais tarde, os seus interesses passaram para o desenvolvimento de cálculos de demonstração para teorias impredicativas. Schütte tinha um forte interesse no desenvolvimento da análise ordinal para teorias cada vez mais fortes e trabalhou em alguns dos sistemas mais fortes já com 80 anos. Neste volume, os artigos de especialistas próximos da sua investigação realçam a influência duradoura do seu trabalho na teoria da demonstração moderna. Vão desde testemunhos directos da sua vida científica a desenvolvimentos na fronteira do que é conhecido, incluindo artigos de Schütte que nunca antes tinham sido publicados.
