A notação polonesa na lógica

[@uiressousa2960]

Lembro que estudei isso na faculdade, notação polonesa reversa com pilha em estrutura de dados em C, tenho o código no github até hoje

[@adamskatheocelot3949]

Parabéns pelo vídeo e pelo trabalho que tem feito

[@allan4625]

Ótimo vídeo, Nicholas! Próximo vídeo tem que ser sobre notação fregeana, hehehe.

[@ELogicoPo]

Vou fazer um desse mais pra frente, hehe.

[@nucleodelogicaefilosofiada9204]

@@ELogicoPo melhor notação é a fregeana

[@komito1853]

Ótimo vídeo como sempre Nicholas, parabéns

[@FILOSOFIASerPensar]

Parabéns pelo canal. Excelente conteúdo e e didática clara.

[@jeffandonuts3945]

show demais a explicação e os seus métodos, graças a ti aprendi rapidinho!

[@kingoftime470]

Acho que uma forma de transformar a notação polonesa dm notação comum é fazendo uma arvore binária com a expressão

[@victorbarcellos8028]

Ótimo vídeo!

[@giancarlo146]

Nicholas, você pretende seguir carreira acadêmica na lógica ? Você ensina muito bem, mas já pensou em produzir conhecimento através de iniciação cientifica/pesquisas acadêmicas ?

[@ELogicoPo]

Yes!

[@giancarlo146]

@@ELogicoPo Está cursando filosofia?

[@ELogicoPo]

@@giancarlo146 Yes

[@felipemorais2859]

Fórmula bonita! Fórmula formosa!

[@gustavogomesdesouza6009]

Eu ainda não acho essa notação tão prática. Para fórmulas muito longas fica difícil de ler. Enfim, achei o vídeo bem legal! PS: talvez esse "C" seja algo relacionado à "consequentia" no latim.

[@kayancreepypastas]

Pelos menos, em termos computacionais, ela não exige tanta memória de processameno em comparação com a convencional.

[@Vinuken07]

Nicholas, eu me interessei pelo livro do Tarski, A concepção semântica da verdade, mas meu domínio em lógica formal vai até, por enquanto, o cap. 9 do livro do Mortari. Em vista disso, queria saber se dá pra tirar um bom proveito do livro mesmo com tão pouco conhecimento de Lógica formal, ainda.

[@ELogicoPo]

Fala aí. A primeira parte do livro usa bastante notação polonesa e requer que você tenha bastante atenção na diferença entre linguagem e metalinguagem que ele faz. As outras partes do livro são mais tranquilas e muito bem escritas, recomendo bastante, principalmente a concepção semântica da verdade e os fundamentos da semântica.

[@Vinuken07]

Aah, maravilha! Então pretendo investir nele. Essas partes que demandam conhecimento de notação polonesa eu reservo pra quando aprendê-la, o que vou fazer após uma boa sedimentação de lógica clássica. Obrigadão pelo retorno, meu querido!

[@__julio__]

Notação base64

[@hldelta]

Notação da famigerada HP 12C.

[@barboll2604]

Não seria 06:52 - Notação padrão para polonesa e 14:11 - Notação polonesa para a padrão?

[@ELogicoPo]

Opa, é isso mesmo, muito obrigado!

[@mateusmenezes2555]

Preciso de uma ajuda....na expressão I I pq V I pq I N rr...Ficaria como ?...Lembrando que I = implica , tenho umas questões parecidas para fazer que nem essa :/

[@ELogicoPo]

Se o "V" for disjunção, IIpqVIpqINrr fica (P->Q)->((P->Q)V(¬R->R)). Mas seria bom assistir ao vídeo e tentar fazer.

[@trying-xd7vv]

Fala, irmão! Sucessada? Não sô muito experiente em lógica... Dúvida: Existe uma diferença substancial entre lógica matemática e filosófio? Vlw desdejá

[@nucleodelogicaefilosofiada9204]

O "M" deve ser de "Möglichkeit"

[@weltgeist.]

segundo uma pesquisa rápida na Wikipedia, o "M" é de "możliwość". O que faz sentido, afinal Möglichkeit é alemão

[@gerismundioaugusto9843]

Faz um vídeo sobre a tese Church Turing

[@GohanSuperGamer]

up

[@vida37]

qual programa vc usa pra escrever na tela?

[@ELogicoPo]

Photoshop CS6 e uma mesa digitalizadora da Wacom. Valeu!

[@raissamiorim]

Up

[@chico23451]

top

[@victoriapiva3467]

Zap eu só iniciante em Lógica, poderia me responder uma pergunta idiota: Logicamente falando: racismo estrutural existe? Eu sei que é idiota, mas essa pergunta vem me martelando faz um tempo... não precisa responder se vc não quiser... eu até entendo

[@ELogicoPo]

Eu nem sei o que é isso. Mas duvido muito que isso tenha algo a ver com lógica.

[@Vinuken07]

Victoria, acho essa pergunta meio complicada, porque racismo estrutural é um tema cujo âmbito parece extrapolar em muito o campo da lógica formal. Pelo pouco que aprendi até agora, esta última concerne sobretudo a verdades a priori, enquanto que sua pergunta toca num ponto que supõe alto grau de empiria, ou seja, de conhecimentos a posteriori. Portanto, a resposta supõe conhecimentos que fogem à área estrita de lógica dedutiva, embora você precise dela para avaliar os argumentos de quaisquer campos da ciência.

[@leonardofregulha9303]

lindo '0'

[@vandermellots]

Up

[@VitorMSAT]

up