Chat GPT & Chat Sonic - um exemplo de experimento: 'o teorema da indefinibilidade da verdade de Tarski, o teorema da incompletude da Aritmética de Gödel e uma prova da Conjectura de Tarski' - Parte I
Gostaria de compartilhar um experimento recente, utilizando ambos os sistemas de I.A. (Chat GPT e Chat Sonic), por meio do qual pude avaliar o grau de "compreensão" e capacidade de respostas a certas questões das áreas de lógica-matemática e fundamentos da matemática. Nesta postagem, em particular, venho publicar algumas das respostas obtidas, inicialmente, pelo Chat GPT bem como de alguns comentários sobre essas respostas. 1ª. Pergunta : Expl ain T ars ki 's theorem of und ef in ability of truth? Resposta Chat GPT : T ars ki 's theorem of und ef in ability of truth states that it is impossible to provide a definition of truth in a formal language that is both consistent and complete . This is because any attempt to define truth in a formal language will necessarily lead to paradox es . T ars ki 's theorem holds that a definition of truth must be provided outside of the language in order to be ...