Eis por qual motivo não acredito em despedidas, já que apenas - TopicsExpress



          

Eis por qual motivo não acredito em despedidas, já que apenas nós nos movemos dentro de um universo finito, pelo princípio de conservação de matéria e energia : a prova da aritmética ser consistente exclui a possibilidade da sua representação no sistema em que é formalizável. Por outro lado, na interpretação de Dummett deste resultado, se um sistema axiomático S2 estendido a partir de S1 de modo a incluir os conceitos relevantes para a demonstração de uma certa proposição P1 admitida como verdadeira, mas não demonstrável em S1, contém igualmente a aritmética elementar, então S2 é insusceptível de fornecer uma caracterização exaustiva do conceito de "número natural" uma vez que existe ainda uma proposição P2 que é nele exprimível mas não demonstrável.
Posted on: Fri, 09 Aug 2013 16:26:59 +0000

Trending Topics



Recently Viewed Topics




© 2015