Citação:
Postado originalmente por
diegoholiveira
Citação:
Postado originalmente por
Sam Farha - Spinoza
Nao é atoa que hoje os matematicos trabalham com diversos modelos de Lógica.
ce pode me explicar isso ou citar materiais pra eu dar uma olhada?
Vou clicar buttons demais agora.
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.