O texto conta a história significativa do desenvolvimento das questões voltadas para os fundamentos da matemática na perspectiva de David Hilbert e durante a primeira metade do séc. XX, investigando suas motivações, o método que emprega e o alcance de suas teorias. Além do percurso histórico, a defesa do plano hilbertiano como propulsor de novas teorias é destaque para a visão positiva de muitas realizações, na intenção de desmistificar parcialmente o desalento pós-Gödel. A narrativa apresenta uma descrição da vida acadêmica, pesquisas desenvolvidas, cursos ministrados e conferências proferidas por Hilbert até a apresentação oficial em 1927 do programa formalista. São abordadas as principais mudanças e questionamentos acerca dos fundamentos da matemática, e que culminaram no que é denominado pela literatura associada, a "crise dos fundamentos". Constam ainda condensados sobre as contribuições e reformulações do programa, como os resultados de Gödel e Gentzen, a abordagem instrumentalista e os programas relativizados. O último texto oficial de Hilbert sobre os fundamentos da matemática, elaborado em parceria com Paul Bernays, Grundlagen der Mathematik, é comentado em seus aspectos fundacionais e sob o ponto de vista da versão francesa da obra. Ao término do texto, é destacada a herança do projeto de Hilbert, que embora não tenha sido plenamente realizado, propiciou uma extensa lista de subprodutos como a teoria da prova, a teoria da computabilidade e os sistemas de axiomas.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.