tag:blogger.com,1999:blog-8325680819934511550.post2381881348853148369..comments2024-02-29T06:26:16.483-08:00Comments on Lionel Fischer: Lionel Fischerhttp://www.blogger.com/profile/04671239451154414424noreply@blogger.comBlogger3125tag:blogger.com,1999:blog-8325680819934511550.post-18423379824460711162015-10-01T11:04:54.384-07:002015-10-01T11:04:54.384-07:00Daniel amigo,
ainda que com grande retardo, te ag...Daniel amigo,<br /><br />ainda que com grande retardo, te agradeço os providenciais esclarecimentos.<br />Abraços,<br />EuLionel Fischerhttps://www.blogger.com/profile/04671239451154414424noreply@blogger.comtag:blogger.com,1999:blog-8325680819934511550.post-62582478561966541102015-10-01T11:04:37.327-07:002015-10-01T11:04:37.327-07:00Daniel amigo,
ainda que com grande retardo, te ag...Daniel amigo,<br /><br />ainda que com grande retardo, te agradeço os providenciais esclarecimentos.<br />Abraços,<br />EuLionel Fischerhttps://www.blogger.com/profile/04671239451154414424noreply@blogger.comtag:blogger.com,1999:blog-8325680819934511550.post-28977012812900970302011-06-03T10:31:00.773-07:002011-06-03T10:31:00.773-07:00"...a incompletude (acho que essa palavra não..."...a incompletude (acho que essa palavra não existe, mas serve ao que pretendo dizer) de cada texto seria, numa certa medida, prenchida pela incompletude do texto seguinte,..."<br /><br />a palavra imcompletude ja existe, e tem um sigificado bem interessante:<br /><br />"O teorema da incompletude de Gödel, às vezes também designado por teoremas da indecidibilidade, é o nome atribuído a dois resultados demonstrados por Kurt Gödel:<br /><br /> Teorema 1: "Qualquer teoria axiomática recursivamente enumerável e capaz de expressar algumas verdades básicas de aritmética não pode ser, ao mesmo tempo, completa e consistente. Ou seja, sempre há em uma teoria consistente proposições verdadeiras que não podem ser demonstradas nem negadas."<br /> Teorema 2: "Uma teoria, recursivamente enumerável e capaz de expressar verdades básicas da aritmética e alguns enunciados da teoria da prova, pode provar sua própria consistência se, e somente se, for inconsistente."DRDhttps://www.blogger.com/profile/14324621146042027772noreply@blogger.com