![[Análises] A prova de Godel (Ernest Nagel) Resumidos.](https://episodes.castos.com/660078c6833215-59505987/images/2576216/c1a-085k3-1pxok4g2c5dx-0btxmf.jpg)
Show Notes
A prova de Godel (Ernest Nagel)
- Amazon Brazil Store: https://www.amazon.com.br/dp/8527301555?tag=9natreebrazil-20
- Amazon Worldwide Store: https://global.buys.trade/A-prova-de-Godel-Ernest-Nagel.html
- eBay: https://www.ebay.com/sch/i.html?_nkw=A+prova+de+Godel+Ernest+Nagel+&mkcid=1&mkrid=711-53200-19255-0&siteid=0&campid=5339060787&customid=9natree&toolid=10001&mkevt=1
- Leia mais: https://brazil.9natree.com/read/8527301555/
#Sistemasformais #NumeraçãodeGödel #Teoremadaincompletude #Consistênciainterna #Provabilidadeeverdade #AprovadeGodel
A Prova de Gödel, de Ernest Nagel e James R. Newman, é uma introdução de lógica e filosofia da matemática dedicada a tornar inteligíveis os teoremas de incompletude publicados por Kurt Gödel em 1931. Em vez de reproduzir integralmente a formulação técnica original, extremamente compacta, o livro reconstrói o problema histórico e o esqueleto argumentativo necessário para compreender seu alcance. Os autores partem da ambição de axiomatizar a matemática, explicam o que caracteriza um sistema formal e mostram como a aritmética pode representar enunciados sobre suas próprias demonstrações. O núcleo da obra é a distinção entre o que é verdadeiro e o que pode ser demonstrado por regras fixadas dentro de um sistema. A edição brasileira da Perspectiva, traduzida por Gita K. Guinsburg, preserva o perfil conciso e semi técnico do original. Trata-se menos de um manual de exercícios do que de uma exposição conceitual rigorosa sobre os limites internos dos métodos formais.
- Amazon Brazil Store: https://www.amazon.com.br/dp/8527301555?tag=9natreebrazil-20
- Amazon Worldwide Store: https://global.buys.trade/A-prova-de-Godel-Ernest-Nagel.html
- eBay: https://www.ebay.com/sch/i.html?_nkw=A+prova+de+Godel+Ernest+Nagel+&mkcid=1&mkrid=711-53200-19255-0&siteid=0&campid=5339060787&customid=9natree&toolid=10001&mkevt=1
- Leia mais: https://brazil.9natree.com/read/8527301555/
#Sistemasformais #NumeraçãodeGödel #Teoremadaincompletude #Consistênciainterna #Provabilidadeeverdade #AprovadeGodel
A Prova de Gödel, de Ernest Nagel e James R. Newman, é uma introdução de lógica e filosofia da matemática dedicada a tornar inteligíveis os teoremas de incompletude publicados por Kurt Gödel em 1931. Em vez de reproduzir integralmente a formulação técnica original, extremamente compacta, o livro reconstrói o problema histórico e o esqueleto argumentativo necessário para compreender seu alcance. Os autores partem da ambição de axiomatizar a matemática, explicam o que caracteriza um sistema formal e mostram como a aritmética pode representar enunciados sobre suas próprias demonstrações. O núcleo da obra é a distinção entre o que é verdadeiro e o que pode ser demonstrado por regras fixadas dentro de um sistema. A edição brasileira da Perspectiva, traduzida por Gita K. Guinsburg, preserva o perfil conciso e semi técnico do original. Trata-se menos de um manual de exercícios do que de uma exposição conceitual rigorosa sobre os limites internos dos métodos formais.
