Íntegra - A Terceira Margem: os teoremas de incompletude de Gödel
Вставка
- Опубліковано 20 бер 2018
- Os teoremas de Gödel foram o tema da última palestra do ciclo "A Terceira Margem", do IMECC da UNICAMP. Confira a íntegra da apresentação do professor Walter Carnielli, do CLE da UNICAMP:
FANTASTICA PALESTRA. ESTOU ME SENTINDO NA MINHA PRIMEIRA AULA DE VARIAVEIS COMPLEXAS😍😍😍😍
hahahahah excelente, esclarecedor e hilário!!!!! =))))
Uma das melhores palestras que eu já assisti , parabéns ao professor e ao canal
Excelente
Fantástico!
Excepcional
Brilhante palestra. Já tinha visto alguma coisa disso, alguns livros. Mas abordagem nova com o que já tinha visto é instigante!
Muito obrigado por compartilhar esse conteúdo. Gostei muito
Incrível! Q aula brilhante! Parabéns professor! Incrivel!
Walter Carnielli, muito bom - maravilha essa aula
Que qualidade em
Excelente explanação (ou plural)! É raro tais concepções serem apresentadas com esta clareza necessária que um público mais amplo demanda. O único reparo a ser feito diz respeito à psicanálise. Parece que não é o âmbito próprio do palestrante, de modo que é de admirar-se imprecisões da sua doxa quando a ela se refere; isto justamente por ser um lógico sabedor da necessidade de ter apreendido suficientemente os conceitos de um âmbito teórico, imprescindíveis à emissão de qualquer opinião em perspectiva, por assim dizer. Por exemplo: o que está em Lacan se desenha para além do formalismo, de modo semelhante ao aceito pelas correntes mais modernas da teoria da ciência, a partir do conjuntismo de Suppes e tudo mais. Mas, enfim, a atenção a estes pormenores (e aqui não passa disto) se estabelece na ordem do discurso, da retórica, e... da própria psicanálise. Agradecido ao professor!
"P1) Tudo que é bom existe. P2) Deus é bom. Logo, Deus existe" Que palestra, Carnielli é muito Freud!
"Acho" que entendi um pouco, me corrijam se eu estiver errado: pelo 1* teorema de Gödel, a matemática não responde a tudo, é limitada e indecidível dentro daquele sistema axiomático formal da aritmética ; pelo 2* teorema de Gödel (a expulsão matemática do paraíso) a matemática pode conter contradições internas em muitas áreas do seu conhecimento, haja vista que não se pode provar a sua consistência interna dentro desse sistema axiomático. É isso?🤷
Na verdade ninguém consegue entender muito bem o teorema da incompletude. O próprio professor comete erro absurdo ao dizer que o teorema significa a possibilidade de se provar que 1 = 0.
Palestra FANTÁSTICA
É importante frisar que Jacques Lacan utiliza a lógica, matemática e topologia não com o desejo de fazer desses saberes algo a ser usado no campo em que foi retirado. Mas uma tentativa de garimpar desses campos um modelo para tentar formalizar o pensamento psicanalítico. Ou seja, com os seus "matemas", Lacan queria tentar garantir que a transmissão do saber (da teoria psicanalítica) pudesse sofrer o menos possível intervenção imaginária no processo de transmissão da teoria. Ele acreditava que o pensamento matemático ajudaria nessa tarefa. Lembrando: Lacan falava aos psicanalistas e não aos matemáticos. Isto é: estava fazendo psicanálise e não matemática. Ele acreditava que esse diálogo entre saberes poderia contribuir muito a um campo específico do conhecimento. Assim, tentou explicar o que ocorreria numa análise (seu processo transformativo) utilizando o modelo da topologia.
Também tem os números coringa (2) que passa por todos os par e o(5) que dobra nele mesmo 5.10.15.20.25....
Ele realmente era neurótico, pois sofria de neuroses.
Quando se prova que não podemos provar a Consistência da matemática eu pergunto: quem garante que a metamatemática usada por Godel é consistente?
Já me fiz esta pergunta, mas parei para não ficar louco como o Godel.
Mesmo porque ele tinha o brilhantismo e eu só ia ficar com a loucura 🤪 😂
38:45 premissas de verdade
Muita inocência de Hilbert, pois Platão já sabia que a matemática era um conhecimento hipotético dedutivo. Logo, suas verdades dependiam da verdades dos axiomas e na matemática não se questiona se uma axioma é verdadeiro ou falso. Ele é por definição verdadeiro. Com isso, Platão sabia muito bem que a matemática não conduzia à verdade. Veja o livro República livro X.
Inocência é somente supor algo.
Apesar de Platão estar mesmo certo era apenas conversa de filósofo. E eu sou platônico, mas era só conversa.
Hilbert foi um matemático gigante e foi pego na jugular com a espantosa descoberta de Godel.
@@ProfessorMarcioV Foi pego porque era ingênuo. Wittgenstein é um grande filósofo e matemático orientado por outro platonista Bertrand Russell. Porém não estranhou nem um pouco a descoberta de Godel, visto que esta já era evidente. Ora, se a matemática é um conhecimento hipotético dedutivo, então é claro que qualquer verdade matemática é subjuntiva, isto é, depende dos axiomas. Logo, Godel não descobriu nada de inusitado.
Uma questão prática. Hoje em dia os aviôes funcionam basicamente por softwares, e estes são algorítimos, podemos entender que inevitavelmente estes são inseguros com base no problema da incompletude de gödel?
Acredito que poderia ter mais a ver com o "Problema da parada de Turing" , pois segundo o professor "não existe um antivírus universal" devido a este problema, logo estes sistemas não seriam totalmente seguros , pelo menos em hipótese
Manter um pouco o lado místico? Que ideia mais absurda!
"e a Apple usou a maçã mordida não perai né po brincadeira" KKKKKKKKKKKKKKKKKKKKKKKKKKKK o cara viajando
Sobre o professor, ele já conheço então a qualidade é de praste! Mas chamou atenção aqui a qualidade do vídeo. Todas as palestra do professor as quais tive acesso são de péssima qualidade de imagem e som. Essa aqui, ao invés, é audível e apreciável nesse aspecto
Ķķklķkkkkkķķķ
a conjctura de Goldbach é fácil todos os impar São um par com 1 número a mais e os primos são impar dividido por 1 então somados os dois primos soma os (1)(1) não importa o tamanho
O conjunto vazio pode ter qualquer propriedade que vc queira!
Conjunto Vazio representa todos os elementos não pertencentes ao conjunto descrito. Das propriedades descritas num dado conjunto, o conjunto vazio não possue. Chama-se subconjunto
Se era da veja da desconto pra ignorância
Se não se consegue demonstrar então não faz sentido falar que é verdadeiro.
Bem, escrever bobagens é a essência do bom jornalista.
Eu chamo os teoremas de Godel de abobrinhas. Existem três tipos de afirmações: verdadeiras, falsas e nem verdadeiras e nem falsas. Como se prova isso? Não se sabe. A matemática é consistente? Não se sabe, visto que a metamayematica pode também ser inconsisiste.
Fantástico!