Ainda não li, mas como foi publicado bem recente e é sobre o tema que estamos conversando, segue: https://aeon.co/essays/the-rise-and-...-rise-of-logicCitação:
Nao, eu acho que vc entendeu errado.Citação:
Eu vi esse artigo aqui e achei bem interessante: The Implications of Gödel's TheoremCitação:
Vou clicar buttons demais agora.Citação:
Godel formulou um Teorema que dizia que era impossivel provar a irrefutabilidade de qualquer sistema aritmetico.
Com isso a Logica sofreu um grande abalo, pois a sua essencia é justamente essa capacidade determinista absoluta.
Parece que esse Teorema continua inabalavel ate hoje.
Com isso, uma das solucoes viaveis pra contornar esse engodo seria construir uma logica que conseguisse suplantar esse problema.
Varios matematicos construiram varias logicas. Todas artificiais. Ou seja: todas elas tem alguma definicao meio esquisita pra alguma coisa ou usa algum pressuposto duvidoso.
E agora todos discutem esses aspectos de cada logica. Mas nenhuma virou consenso e conseguiu "reedificar" a Logica numa só.
Resumindo: a nossa racionalidade (na sua expressao mais sublime que é a Matematica) nao é perfeita como a gente imagina.
Isso quer dizer que é impossivel determinar a verdade de varias coisas.
Edit: Isso tambem prova que a Inteligencia Artificial é irrealizavel na sua plenitude.
Ai pesquisei mais e achei isso: Godel and the End of Physics - Stephen Hawking
De onde tirei isso:
Se eu entendi bem a ideia toda (e sua implicação na filosofia) é que não não adianta buscarmos sentido do universo no universo, nunca vamos achar. SE existir um sentido pro universo, ele vai estar fora do universo.Citação:
Some people will be very disappointed if there is not an ultimate theory that can be formulated as a finite number of principles. I used to belong to that camp, but I have changed my mind. I'm now glad that our search for understanding will never come to an end, and that we will always have the challenge of new discovery. Without it, we would stagnate. Godel’s theorem ensured there would always be a job for mathematicians. I think M theory will do the same for physicists. I'm sure Dirac would have approved.
(usei sentido na ideia de entendermos como a porra toda funciona).
É isso mesmo ou entendi tudo errado?
Pra mim é inconcebivel (de forma logica e ontologica) falar em algo fora do Universo.
O que eu quis dar a entender é que é impossivel chegar a uma verdade absoluta com alguma garantia forte.
A logica matematica IMO seria considerada a garantia mais forte que existiria pra algumas verdades.
Hoje até ela está abalada.