[Logica-l] dois livros sobre os teoremas de Gödel

2021-01-14 Por tôpico Joao Marcos
Um presente a todos no belamente comemorado Dia Internacional da Lógica:

Gödel, com e sem lágrimas
https://www.logicmatters.net/igt/


JM

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiCmszCyMX5pSdxkCqvy6y48A8EY5ZVKHz5zUO8apA0-g%40mail.gmail.com.


[Logica-l] Dois livros

2020-03-12 Por tôpico Famadoria
Saiu o livro „Unravelling Complexity” que homenageia Greg Chaitin; foi editado 
por Shyam Wuppuluri e por mim.  E o Mais recente livro de Miguel Nicolelis cita 
a Newton e a mim.  

Sent from my iPhone

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA24E43E-6C7B-472E-B456-B1EE5FEA44FE%40gmail.com.


[Logica-l] Dois livros

2011-05-14 Por tôpico Francisco Antonio Doria
F. A. Doria, Chaos, Computers, Games and Time, - A Quarter Century of Joint
Work with Newton da Costa, Coppe/E-Papers, Rio 2011.

http://www.e-papers.com.br

E:

http://www.crcpress.com/product/isbn/9780415690850

-- 
fad

ahhata alati, awienta Wilushati
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l


Re: [Logica-l] Dois livros

2011-03-21 Por tôpico Francisco Antonio Doria
Que as eqs do eletromagnetismo podem ser colocadas na forma da eq de Dirac
para o neutrino sem massa, sabe-se desde os anos 30. Uma das formulações,
dei-a em 74 ou 75 - quando escrevi na forma Dirac as eqs de gauge e da
relatividade geral. Isso tem relevância para a topologia de 4 dimensões,
exoticismos, etc

2011/3/21 Francisco Antonio Doria 

> Sim. Tem uma equação tipo Dirac pro E.M.
>
> 2011/3/21 Alvaro Augusto (L) 
>
> Caro Doria,
>>
>> Tenho tido bastante interesse nesse assunto. No momento estou tentando
>> destrinchar "Janus-faced physics" (2007), artigo seu e do Newton, que já
>> sugeria que a indecidibilidade se espalha por todas as teorias que possam
>> ser escritas na forma da equação de Dirac. Minha dúvida é: que reflexos
>> isso
>> pode ter, do ponto de vista físico, em uma teoria como o eletromagnetismo
>> clássico? Em outras palavras, a indecidibilidade se espalha a enunciados
>> que
>> descrevam fenômenos físicos?
>>
>> Abraços,
>>
>> Alvaro Augusto
>> alv...@lunabay.com.br
>>
>>
>>
>> -Mensagem original-
>> De: logica-l-boun...@dimap.ufrn.br [mailto:logica-l-boun...@dimap.ufrn.br
>> ]
>> Em nome de Francisco Antonio Doria
>> Enviada em: sexta-feira, 18 de março de 2011 10:31
>> Para: logica-l@dimap.ufrn.br
>> Assunto: [Logica-l] Dois livros
>>
>> Newton, Greg Chaitin e eu vamos publicar nalgum selo da Taylor & Francis -
>> já assinamos o contrato - o livro After Gödel, Exploits into an
>> Undecidable
>> World. Basicamente mostramos que indecidibilidade e incompletude existem
>> em
>> tudo quanto é canto. Deve sair por 2012.
>>
>> E preparei um review em homenagem ao Newton, pelos 25 anos de nosso
>> trabalho
>> juntos, a sair pela Coppe, como livro. Vai ser lançado no EBL e no HCTE.
>>
>> --
>> fad
>>
>> ahhata alati, awienta Wilushati
>> ___
>> Logica-l mailing list
>> Logica-l@dimap.ufrn.br
>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>>
>>
>
>
> --
> fad
>
> ahhata alati, awienta Wilushati
>
>


-- 
fad

ahhata alati, awienta Wilushati
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l


Re: [Logica-l] Dois livros

2011-03-21 Por tôpico Francisco Antonio Doria
Sim. Tem uma equação tipo Dirac pro E.M.

2011/3/21 Alvaro Augusto (L) 

> Caro Doria,
>
> Tenho tido bastante interesse nesse assunto. No momento estou tentando
> destrinchar "Janus-faced physics" (2007), artigo seu e do Newton, que já
> sugeria que a indecidibilidade se espalha por todas as teorias que possam
> ser escritas na forma da equação de Dirac. Minha dúvida é: que reflexos
> isso
> pode ter, do ponto de vista físico, em uma teoria como o eletromagnetismo
> clássico? Em outras palavras, a indecidibilidade se espalha a enunciados
> que
> descrevam fenômenos físicos?
>
> Abraços,
>
> Alvaro Augusto
> alv...@lunabay.com.br
>
>
>
> -Mensagem original-
> De: logica-l-boun...@dimap.ufrn.br [mailto:logica-l-boun...@dimap.ufrn.br]
> Em nome de Francisco Antonio Doria
> Enviada em: sexta-feira, 18 de março de 2011 10:31
> Para: logica-l@dimap.ufrn.br
> Assunto: [Logica-l] Dois livros
>
> Newton, Greg Chaitin e eu vamos publicar nalgum selo da Taylor & Francis -
> já assinamos o contrato - o livro After Gödel, Exploits into an Undecidable
> World. Basicamente mostramos que indecidibilidade e incompletude existem em
> tudo quanto é canto. Deve sair por 2012.
>
> E preparei um review em homenagem ao Newton, pelos 25 anos de nosso
> trabalho
> juntos, a sair pela Coppe, como livro. Vai ser lançado no EBL e no HCTE.
>
> --
> fad
>
> ahhata alati, awienta Wilushati
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>
>


-- 
fad

ahhata alati, awienta Wilushati
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l


Re: [Logica-l] Dois livros

2011-03-19 Por tôpico Decio Krause
Parabéns, Doria.
D.


Decio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-940 Florianópolis, SC -- Brasil
deciokrause[at]gmail.com
www.cfh.ufsc.br/~dkrause

"Você não está pensando. Está meramente sendo lógico!"
(Bohr para Einstein)






Em 19/03/2011, às 09:19, Francisco Antonio Doria escreveu:

> Os dois vão sair tb como ebooks.
> 
> E - obrigado!
> 
> 2011/3/19 Adolfo Neto 
> 
>> Doria,
>> 
>> Em primeiro lugar, parabéns! Dois livros saindo do forno devem estar dando
>> muito trabalho.
>> 
>> Minha sugestão, para você e demais autores de livros da lista: pensem na
>> publicação do livro também como ebook, em algum formato amigável para
>> ereaders, como EPUB ou MOBI. PDF não é um formato amigável para ereaders.
>> 
>> Eu tenho um ereader e só leio livros hoje em dia nele.
>> 
>> Toda vez que você compra um ebook da editora Pragmatic Programmers, por
>> exemplo, você ganha o livro em três versões: PDF, EPUB, MOBI e ainda pode
>> pedir para eles enviarem para seu Kindle.
>> 
>> []s
>> Adolfo
>> 
>> 2011/3/18 Francisco Antonio Doria 
>> 
>>> Newton, Greg Chaitin e eu vamos publicar nalgum selo da Taylor & Francis -
>>> já assinamos o contrato - o livro After Gödel, Exploits into an
>>> Undecidable
>>> World. Basicamente mostramos que indecidibilidade e incompletude existem
>>> em
>>> tudo quanto é canto. Deve sair por 2012.
>>> 
>>> E preparei um review em homenagem ao Newton, pelos 25 anos de nosso
>>> trabalho
>>> juntos, a sair pela Coppe, como livro. Vai ser lançado no EBL e no HCTE.
>>> 
>>> --
>>> fad
>>> 
>>> ahhata alati, awienta Wilushati
>>> ___
>>> Logica-l mailing list
>>> Logica-l@dimap.ufrn.br
>>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>>> 
>> 
>> 
>> 
>> --
>> ==
>> Adolfo Neto
>> Assistant Professor - Federal University of Technology, Paraná
>> Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
>> Twitter: http://twitter.com/adolfont
>> Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
>> ==
>> 
>> 
> 
> 
> -- 
> fad
> 
> ahhata alati, awienta Wilushati
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l


Re: [Logica-l] Dois livros

2011-03-19 Por tôpico Francisco Antonio Doria
Os dois vão sair tb como ebooks.

E - obrigado!

2011/3/19 Adolfo Neto 

> Doria,
>
> Em primeiro lugar, parabéns! Dois livros saindo do forno devem estar dando
> muito trabalho.
>
> Minha sugestão, para você e demais autores de livros da lista: pensem na
> publicação do livro também como ebook, em algum formato amigável para
> ereaders, como EPUB ou MOBI. PDF não é um formato amigável para ereaders.
>
> Eu tenho um ereader e só leio livros hoje em dia nele.
>
> Toda vez que você compra um ebook da editora Pragmatic Programmers, por
> exemplo, você ganha o livro em três versões: PDF, EPUB, MOBI e ainda pode
> pedir para eles enviarem para seu Kindle.
>
> []s
> Adolfo
>
> 2011/3/18 Francisco Antonio Doria 
>
>> Newton, Greg Chaitin e eu vamos publicar nalgum selo da Taylor & Francis -
>> já assinamos o contrato - o livro After Gödel, Exploits into an
>> Undecidable
>> World. Basicamente mostramos que indecidibilidade e incompletude existem
>> em
>> tudo quanto é canto. Deve sair por 2012.
>>
>> E preparei um review em homenagem ao Newton, pelos 25 anos de nosso
>> trabalho
>> juntos, a sair pela Coppe, como livro. Vai ser lançado no EBL e no HCTE.
>>
>> --
>> fad
>>
>> ahhata alati, awienta Wilushati
>> ___
>> Logica-l mailing list
>> Logica-l@dimap.ufrn.br
>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>>
>
>
>
> --
> ==
> Adolfo Neto
> Assistant Professor - Federal University of Technology, Paraná
> Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
> Twitter: http://twitter.com/adolfont
> Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
> ==
>
>


-- 
fad

ahhata alati, awienta Wilushati
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l


Re: [Logica-l] Dois livros

2011-03-19 Por tôpico Adolfo Neto
Doria,

Em primeiro lugar, parabéns! Dois livros saindo do forno devem estar dando
muito trabalho.

Minha sugestão, para você e demais autores de livros da lista: pensem na
publicação do livro também como ebook, em algum formato amigável para
ereaders, como EPUB ou MOBI. PDF não é um formato amigável para ereaders.

Eu tenho um ereader e só leio livros hoje em dia nele.

Toda vez que você compra um ebook da editora Pragmatic Programmers, por
exemplo, você ganha o livro em três versões: PDF, EPUB, MOBI e ainda pode
pedir para eles enviarem para seu Kindle.

[]s
Adolfo

2011/3/18 Francisco Antonio Doria 

> Newton, Greg Chaitin e eu vamos publicar nalgum selo da Taylor & Francis -
> já assinamos o contrato - o livro After Gödel, Exploits into an Undecidable
> World. Basicamente mostramos que indecidibilidade e incompletude existem em
> tudo quanto é canto. Deve sair por 2012.
>
> E preparei um review em homenagem ao Newton, pelos 25 anos de nosso
> trabalho
> juntos, a sair pela Coppe, como livro. Vai ser lançado no EBL e no HCTE.
>
> --
> fad
>
> ahhata alati, awienta Wilushati
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>



-- 
==
Adolfo Neto
Assistant Professor - Federal University of Technology, Paraná
Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Twitter: http://twitter.com/adolfont
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
==
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l


[Logica-l] Dois livros

2011-03-18 Por tôpico Francisco Antonio Doria
Newton, Greg Chaitin e eu vamos publicar nalgum selo da Taylor & Francis -
já assinamos o contrato - o livro After Gödel, Exploits into an Undecidable
World. Basicamente mostramos que indecidibilidade e incompletude existem em
tudo quanto é canto. Deve sair por 2012.

E preparei um review em homenagem ao Newton, pelos 25 anos de nosso trabalho
juntos, a sair pela Coppe, como livro. Vai ser lançado no EBL e no HCTE.

-- 
fad

ahhata alati, awienta Wilushati
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l


Re: [Logica-l] dois livros do Raymond Smullyan dispon íveis gratuitamente

2009-05-13 Por tôpico Joao Marcos
Desculpem perguntar, sei que isto é oferecido aqui na lista como uma
espécie de serviço de "utilidade pública", na melhor das boas
intenções, mas será que os autores envolvidos sabem que seus livros
estão "disponíveis gratuitamente", e concordam com isso?  Sim, e há
também a questão dos copyrights, cuja infração pode estar sujeita a
sanções penais...

Finalmente, no caso do Smullyan em particular --- que também é o caso
de muitos outros autores --- sei que a renda que ele obtém vendendo
seus livros --- e um livro como "First-Order Logic", da Dover, é
*muito* barato --- é uma das poucas coisas que lhe faz sair de casa
todas as manhãs para ir até o correio no final da sua rua procurar por
um cheque dos seus editores...

JM


> Encontrei, recentemente, os seguintes livros, disponíveis gratuitamente,
> ambos bem escaneados:
>
> ·    “First-Order Logic”, de Raymond M. Smullyan, em
> http://rapidshare.com/files/221063017/Smullyan.First_Order_Logic.1968.1995_corrected_ed.djvu;
>
> ·    “Set Theory and the Continuum Problem”, de Raymond M. Smullyan e
> Melvin Fitting, em http://ifile.it/7rzvhgl.
>
> Até recentemente, estes dois clássicos não estavam disponíveis. Em breve,
> será disponibilizado “Axiomatic Set Theory”, de Patrick Suppes, bem
> escaneado, pois o que está atualmente disponível não está bem escaneado.
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l


[Logica-l] dois livros do Raymond Smullyan dispon íveis gratuitamente

2009-05-13 Por tôpico Arthur Buchsbaum
Caros colegas:

 

Encontrei, recentemente, os seguintes livros, disponíveis gratuitamente,
ambos bem escaneados:

·“First-Order Logic”, de Raymond M. Smullyan, em
http://rapidshare.com/files/221063017/Smullyan.First_Order_Logic.1968.1995_c
orrected_ed.djvu;

·“Set Theory and the Continuum Problem”, de Raymond M. Smullyan e
Melvin Fitting, em http://ifile.it/7rzvhgl.

 

Até recentemente, estes dois clássicos não estavam disponíveis. Em breve,
será disponibilizado “Axiomatic Set Theory”, de Patrick Suppes, bem
escaneado, pois o que está atualmente disponível não está bem escaneado.

 

a) Arthur Buchsbaum

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l