Re: [Logica-l] Incompletude na Terra dos Conjuntos

> Parece ser um livro bem interessante, daí fiquei interessado em adquiri-lo. > O sítio da College Publications não diz como comprar, nem tal título consta > na relação da Livraria Cultura, que é das maiores livrarias para compra de > livros publicados em português. Os livros publicados pela Colle

[Logica-l] [OFF] Ficção científica focada em lógica e matemática

Para quem tiver interesse pessoal ou de divulgação complementar dentro e fora da sala de aula, este é o repositório mais completo que encontrei. Contém resenhas pequenas por parte de especialistas da área avaliando a qualidade do uso de conceitos de lógica em matemática por parte dos autores de fic

Re: [Logica-l] [OFF] Ficção científica focada em lógica e matemática

Tem um romance paraconsistente, The Incomplete Enchanter, de L. Sprague de Camp. 2013/6/11 Manuel Doria > Para quem tiver interesse pessoal ou de divulgação complementar dentro e > fora da sala de aula, este é o repositório mais completo que encontrei. > Contém resenhas pequenas por parte de es

Re: [Logica-l] [OFF] Ficção científica focada em lógica e matemática

Está lá, como parte de uma coletânea: http://kasmana.people.cofc.edu/MATHFICT/mfview.php?callnumber=mf642 [ ]'s 2013/6/11 Francisco Antonio Doria > Tem um romance paraconsistente, The Incomplete Enchanter, de L. Sprague de > Camp. > > > 2013/6/11 Manuel Doria > >> Para quem tiver interesse p

[Logica-l] Neo-escolásticos provam mais uma vez a existência de Deus através das "leis da lógica"

“The Lord of Noncontradiction: An Argument for God from Logic,”*Philosophia Christi* 13:2 (2011), 321-338. http://www.proginosko.com/docs/The_Lord_of_Non-Contradiction.pdf Curiosamente, segundo os resultados do PhilPapers ( http://philpapers.org/surveys/linear_most_with.pl?A=main:Logic:classical)

Re: [Logica-l] Neo-escolásticos provam mais uma vez a existência de Deus através das "leis da lógica"

Achei extremamente ilustrativa essa nota de rodapé favorável a uma intrigante paráfrase do filósofo medieval muçulmano Avicena: Modern philosophers tend to be more tolerant of those who question such apparently self-evident and undeniable truths. In contrast, the medieval philosopher Avicenna reco

Re: [Logica-l] A. Turing vs E. Post- opiniao

Rodrigo. Turing tem um lado político q está em evidência: a do homossexual injustiçado, forçado a se submeter a ridículo tratamento, q se suicida por não concordar com sua situação. Além de ser uma figura q, reabilitada, insere orgulho e pioneirismo à debilitada europa. Post, atualmente, não tem

Re: [Logica-l] Neo-escolásticos provam mais uma vez a existência de Deus através das "leis da lógica"

Quem é o ignorante q infere q da aceitação da paraconsistência segue a equivalência entre verdadeiro e falso? Sent from my tablet Em 11/06/2013 13:07, "Manuel Doria" escreveu: > Achei extremamente ilustrativa essa nota de rodapé favorável a uma > intrigante paráfrase do filósofo medieval muçulma

Re: [Logica-l] A. Turing vs E. Post- opiniao

Eu concordo com o Marcelo que muitos motivos sao politicos e acrescento: tambem tem o fato dele ser um heroi da Segunda Guera Mundial (que faz uma diferenca imensa) e dele ser um pioneiro de AI que numas coisas de plantinhas que nao entendo... :) mas uma outra razao 'e que o Turing tem descendente

[Logica-l] Turing vs Post? Onde está a adversariedade?

Colegas, vou dar minha opinião (ja´que se trata disso apenas) nessa ótima provocacao que o Rodrigo iniciou. Acho francamente que uma coisa não diminui a outra: a grande (e que pode parecer exagerada) festa para o Turing, da qual participo como membro do Turing Centenary Advisory Committe

[Logica-l] Descendance do Emil Post

Emil Post tive uma filha Phyllis Post Goodman, tem um parque em Nova Iorque que tem o nome dela http://www.nycgovparks.org/parks/phylisspostgoodmanpark/history O Martin Davis pode ser considerado com o filho intellectual do Emil Post: * ... at City College, * *there were two people who had a big

[Logica-l] Turing e Post

Caros Ótimas respostas. Alguns comentários e questões: 1- Walter: Pelo que me lembro, o livro de computabilidade adota o enfoque de Post para as máquinas de Turing, segundo o qual uma máquina de Turing é um conjunto finito de quadruplas, e não de quintuplas como fez o Turing? 2- O livro do Mart

Re: [Logica-l] Descendance do Emil Post

Obrigado pelo link para essa entrevista do Martin Davis. É preciso excluir o asterisco no final do link para funcionar. Destaco o trecho: "Briefly, Post was a bit older than Church and certainly older than Turing, and so he came into these ideas well before them, in the early 1920s. From one point

Re: [Logica-l] Descendance do Emil Post

Oi Jean-Yves, eu sabia que ele teve uma filha de verdade, por causa do artigo do Urqhart, mas nao sabia do Martin Davis. A genealogia matematica do Davis so' fala do Church. e na generalogia matematica nao tem nenhum aluno do Post listado... Mas 'e bom saber que os paperis dele foram compilados e

Re: [Logica-l] Turing e Post

Caro Rodrigo, Vale a pena prestar atenção ao que diz o artigo Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory Robert I. Soare sobretudo no que concerne a algumas referências à opinião de Göde

[Logica-l] Turing vitima da Reductio ad Paternum

Certamente o Turing foi um grande pensador mas nao inventou tudo sozinho a partir do nada, nao e o "pai" da computacao concordo com o Rodrigo que botar uma foto dele na capa do journal Computability e absurdo Este tipo de exagero e muito comun e pode ser chamado de Reductio ad Paternum Podemos fa

Re: [Logica-l] Turing vitima da Reductio ad Paternum

> Primeiro e importante notar que o trabalho do Post > foi principalemente desenvolvido a partir de Principia Mathematica, > sem esta obra, ele talvez nao teria feito nada. Hummm, o mesmo vale sobre o trabalho sobre incompletude/incompletabilidade do Gödel ("Über formal unentscheidbare Sätze der P

Re: [Logica-l] Turing vitima da Reductio ad Paternum

> Na logica outra vitima frequente desta Reductio ad Paternum > e o Frege que seria o "pai* da logica moderna Nisto concordamos em gênero, número e grau. JM -- http://sequiturquodlibet.googlepages.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br

Re: [Logica-l] Turing e Post

Muito obrigado Ruy, excelente referência. Esse artigo do Soare contém o que eu gostaria de ver. Abraço Rodrigo 2013/6/11 Ruy de Queiroz : > Caro Rodrigo, > > Vale a pena prestar atenção ao que diz o artigo > > Turing Oracle Machines, Online Computing, and Three Displacements in > Computabilit

[Logica-l] Gödel vitima da Reductio ad Paternum?

O teorema de incompletude de Gödel depende de muitas coisas que o Gödel nao inventou: - programa de Hilbert - logica de primeira ordem (na formulacao de Hilbert-Ackerman) - nocao de recursividade (que ele pegou do Herbrand - o Heijenoort passou muito tempo procurando a carta do Herbrand para Gödel

Re: [Logica-l] Gödel vitima da Reductio ad Paternum?

> O teorema de incompletude de Gödel depende de muitas coisas que o Gödel > nao inventou: [...] > - paradoxo do mentiroso (Gödel falou explictamente que ele se inspirou > deste paradoxo) A despeito do que o próprio Gödel terá dito informalmente acerca de sua fonte de inspiração, o que importa nes