Outra coisa, Walter tem razão: o que a gente fez foi só codificar o halting
problem no meio de termos de ZFC. Ou, dito de outro modo: qquer termo de
ZFC pode ser estendido a um com o halting problem codificado. Daí vem um
teorema tipo Rice pra matemática ``usual'' (cálculo etc) extremamente
A ideia foi do Tsuji. A prova original do Lewis, pra jogos recursivamente
apresentáveis, é complicada. No nosso caso essa restrição é desnecessária.
On Fri, Feb 24, 2012 at 8:58 PM, Walter Carnielli
walter.carnie...@gmail.com wrote:
Parabens ao Dória, Newton, Tsuhi, Delfim Neto e Turing
Chico,
Contam que perguntaram a Santo Tomás de Aquino:
-- se Deus lhe desse o direito de pedir-Lhe resposta para uma
única pergunta, o que você perguntaria?
E Santo Tomás respondeu:
-- Senhor, o que eu escrevi é verdade?
Pois é, lembrei-me disso quando vi o video de vocês com o Nassif.
Andrea, não sei se o que fizemos é a verdade nalguma teoria econômica. Mas
o teorema de Tsuji é tão bonito e elegante...
Bjs :))
On Sat, Feb 25, 2012 at 9:48 AM, Andrea Loparic alopa...@gmail.com wrote:
Chico,
Contam que perguntaram a Santo Tomás de Aquino:
-- se Deus lhe desse o direito de
Para a elaboração da lista na área de lógica para a filosofia, talvez essa
seleção do filósofo da matemática Mark Colyvan seja útil:
http://homepage.mac.com/mcolyvan/journals.html
Me parece que há consenso razoável em torno dessa seleção do Colyvan. Pelo
menos acho que todas as revistas
Olá Lista,
Décio, muito obrigado pelas respostas, achei de imensa clareza num tópico tão
confuso como esse!
Vendo você falar sobre os elétrons do Hélio, me veio Wittgenstein (acho que no
Investigações) quando diz sobre nossas unidades de medidas (como o metro) e
como isso são apenas maneiras
Olá a todos.
Em mensagem anterior, o João Marcos classificou como patético o Journal of
Symbolic Logic receber classificação A2 pela Filosofia e sem classificação
pela Matemática ou pela Computação. Instintivamente, concordo plenamente
com ele.
Meu questionamento é: *objetivamente*, o que torna
Só mais uma coisinha.. vendo os elétrons como meras unidade de medida não
explicaria a característica de serem invariantes por permutação?
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
oi Eduardo, Rodrigo e todo mundo,
obrigada pela resposta super-rapida e pela disposicao, Eduardo!
deve ter algum open software pra fazer sites onde as pessoas assinam
petitions nao?
vamos pensando...pra comecar a gente pode fazer so' um google site com as
nossas propostas numa spreadsheet, usando
Oi,
Assino também, claro !
[]s Samuel
PS: Acho que um subgrupo da lista poderia se comunicar diretamente
para fazer isso, para nao ficar enchendo a logica-l de mensagens, eu
me candidato a participar do subgrupo, hehe...
Quoting Valeria de Paiva valeria.depa...@gmail.com:
Legal.
Julio
Acho que a questão é mesmo bem enrolada, mas dizer que elétrons não são reais
parece que vai chocar os físicos que (pelo menos pensam) se deparam com eles a
toda hora. Talvez isso possa ser dito, por enquanto, das cordas, das Teorais
das Cordas, sustentando que elas são meramente objetos
Unidade de medida de carga? Qual seria o sentido em uma unidade de medida ter
propriedades,como spin UP?
D
--
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Florianópolis - SC - Brasil
oi Samuel,
Excelente ideia a de formar um subgrupo pra discutir o documento.
Topas ser o que mantem o documento?
Eu estou mais enrolada que bobina, pq disse que ia fazer cousas e lousas
num encontro na semana que vem, nao sei de quem, he, he..
Valeria
2012/2/25 sam...@ufba.br
Oi,
Assino
... Pois é,
Eu também estou enrolado este final de semana e na outra semana
inteirinha (com o tal encontro não sei de quem, hehe), mas, o que vc
quer dizer com quem mantém o documento, seria quem faz a página ?
Não seria o Eduardo Ochs ?
Até,
[]s Samuel
Quoting Valeria de Paiva
Aos interessados: uma parte do material do curso de Lumsdaine foi por ele
disponibilizado em:
http://www.mathstat.dal.ca/~p.l.lumsdaine/misc_files/2012-02-recife/
Ruy
Em 5 de janeiro de 2012 08:21, Ruy de Queiroz r...@cin.ufpe.br escreveu:
A quem interessar possa
As datas do curso de Peter
Excelente Ruy! obrigada,
Valeria
2012/2/25 Ruy de Queiroz r...@cin.ufpe.br
Aos interessados: uma parte do material do curso de Lumsdaine foi por ele
disponibilizado em:
http://www.mathstat.dal.ca/~p.l.lumsdaine/misc_files/2012-02-recife/
Ruy
Em 5 de janeiro de 2012 08:21, Ruy de Queiroz
Rodrigo
A classificação do Mark Colyan é boa e na verdade nunca chegaremos a um
consenso. Acho que devemos pegar uma lista como essa para começar e completá-la
do nosso jeito. Mas, para fazer jus, eu estranhei ele colocar Synthese na
terceira categoria. Deveria estar entre as grandes. Em todo
Olá
A idéia não era pegar toda a lista do Colyvan, mas apenas a parte
específica que diz respeito a lógica/filosofia. As revistas
específicas de lógica que estão na lista do Colyvan são:
1- journal of philosophical logic
2- journal of symbolic logic
3- notre dame journal of formal logic
4-
Olá Décio
Pensei em agrupar as revistas filosofia da ciência separado das de
lógica e depois juntar tudo. Tem a Synthese, Erkenntnis, Philosophia
mathematica, Theoria, enfim. Você sabe bem mais do que eu para
organizar essa parte.
Abraço
Rodrigo
On 2/25/12, Rodrigo Freire freires...@gmail.com
Uma vez conversei com um dos organizadores da lista Qualis para a
engenharia. A conversa foi desanimadora.
On Sat, Feb 25, 2012 at 9:44 PM, Rodrigo Freire freires...@gmail.comwrote:
Segundo a planilha do João Marcos, o journal of math. logic, o math. logic
quaterly e o notre dame journal não
Caramba! Essa coisa de só colocarem os jornais onde foram publicados artigos no
último ano é ridícula. O Notre Dame tem que constar de qualquer lista decente.
D
--
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
Tô dizendo, Décio, conversei com um cara Qualis-ficador. Os critérios são
absurdos.
On Sat, Feb 25, 2012 at 11:55 PM, Décio Krause deciokra...@gmail.comwrote:
Caramba! Essa coisa de só colocarem os jornais onde foram publicados
artigos no último ano é ridícula. O Notre Dame tem que constar de
Oi, Dória
Sim, claro que eu lembro de seus relatos e de minha próprias experiências, mas
não podemos desistir. Como diriam você sabe quem, devemos continuar
mobilizados. Viva la revolución.
Gostei do vídeo de você e do Chaitin fazendo propaganda do livro.
Não foi desta vez que fomos comer
23 matches
Mail list logo