[Logica-l] A logica com fisica do objeto qualquer

[jean-yves beziau]

Ferdinand Gonseth é famoso para o artigo:
"La logique en tant que physique de l'objet quelconque"
Facil de traduzir em portuges:
"A logica com fisica do objeto qualquer"
Um colega esta me preguntando com traduzir isso em ingles,
alguem tem uma boa suggestao?

Este artigo do Gonseth é disponivel on-line no site da Bibliothèque
Nationale de France:
http://gallica.bnf.fr/ark:/12148/bpt6k383699.r=Actes+du+congr%C3%A8s+international+de+philosophie+scientifique.langFR
é uma palestra que ele apresentou
no grande congresso de filosofia cientifica em Paris em 1935
organizado pelo Louis Rougier com a participacao do Tarski, Carnap, Neurath
Lindenbaum, Jaskowski, etc.

Para quem nao conhece:
Ferdinand Gonseth (1890-1975)
é um grande filosofo suiço do cantaon  de Neuchâtel
(da onde vem tambem Louis Chevrolet, Le Corbusier, Jean Piaget e a Fada
Verde)
Em 1947 junto com Paul Bernays e Gaston Bachelard fondou a revista
Dialectica
em 1948 foi publicado um numero especial de Dialectica sobre a
complementaridade
com artigos de 5 premios Nobel: N. Bohr, A. Einstein, L. de Broglie, W.
Heisenberg, W.Pauli.
Na decada 1950 foi publicado na revista Dielactica o famoso ultimo teorema
de Gödel,
conhecido com o "teorema dialectica".
http://en.wikipedia.org/wiki/Dialectica_interpretation

Em 1938, Gonseth organisou com a collaboracao
de Jean-Louis Destouches um grande evento em Zurich:
"Les Entretiens de Zurich sur les fondements et la méthode des sciences
mathématiques."
Gonseth é  tambem autor do classico
Qu'est-ce que la logique ?
Hermann, Paris (1937).
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] A logica com fisica do objeto qualquer

[Joao Marcos]

> Ferdinand Gonseth é famoso para o artigo:
> "La logique en tant que physique de l'objet quelconque"
> Facil de traduzir em portuges:
> "A logica com fisica do objeto qualquer"
> Um colega esta me preguntando com traduzir isso em ingles,
> alguem tem uma boa suggestao?

"Logic as the physics of the arbitrary object"

JM

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

Re: [Logica-l] A logica com fisica do objeto qualquer

[Decio Krause]

> "Logic as the physics of the arbitrary any object  whatever"

Fica melhor e mais de acordo com o modo como via de regra traduzem a célebre 
frase de Gonseth.
Agora pergunto: o que acham dela?
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

"He [God] will never choose among indiscernibles"
(G.W.Leibniz)






Em 08/10/2011, às 10:19, Joao Marcos escreveu:

>> Ferdinand Gonseth é famoso para o artigo:
>> "La logique en tant que physique de l'objet quelconque"
>> Facil de traduzir em portuges:
>> "A logica com fisica do objeto qualquer"
>> Um colega esta me preguntando com traduzir isso em ingles,
>> alguem tem uma boa suggestao?
> 
> "Logic as the physics of the arbitrary object"
> 
> JM
> 
> -- 
> http://sequiturquodlibet.googlepages.com/
> ___
> 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] Tools for Teaching Logic

[Adolfo Neto]

Olá Bruno e demais colegas,

Bela iniciativa. Excelente ter o código aberto e disponível no GitHub. Muito
boa ideia também usar Lua e um framework para jogos

Achei um pouco difícil de instalar.

A cor de fundo preta não ajuda muito em sala de aula (ver anexo). Minha
ideia é mostrar as demonstrações para os alunos.

No repositório de código deveria ter mais exemplos de sequentes. Por
exemplo, não sei como colocar fórmulas atômicas.

E, isso vocês devem saber, o desenho da árvore de prova não está funcionando
ainda (ou é só na minha máquina?).

[]s
Adolfo


==
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
==


Q: Why is this email three sentences or less?
A: http://three.sentenc.es




2011/10/3 Bruno Lopes 

> Olá, Pessoal!
>
> Já há uma nova versão disponível em
> http://www.tecmf.inf.puc-rio.br/TableauxProver. Nela o tableau pode ser
> exportado para LaTeX e Dot.
>
> Abraços,
>
> Bruno.
>
> 2011/10/3 Mario Benevides 
>
> > Oi Adolfo,
> >
> > O Hermann tem um Tableaux para LPO bem amigável. Dê uma olhada no link
> >
> > http://www.tecmf.inf.puc-rio.br/TableauxProver/Applet
> >
> > Um abraço,
> >
> > Mario
> >
> > Em 1 de outubro de 2011 00:23, Adolfo Neto 
> > escreveu:
> >
> > > Olá,
> > >
> > > Já está disponível (com texto parcial) na Biblioteca  do Google o livro
> > >
> > > Tools for Teaching Logic: Third International Congress, TICTTL 2011,
> > > Salamanca, Spain, June 1-4, 2011, Proceedings
> > > Patrick Blackburn, Hans van Ditmarsch, Maria Manzano, Fernando
> > > Soler-Toscano
> > >
> > >
> > >
> >
> http://books.google.com/books?hl=es&lr=&id=be-pTR5TmZIC&oi=fnd&pg=PA239&ots=Od7aGgQM7p&sig=2FFI2t4ZNp4ODXnt_pS_JAfrjzY#v=onepage&q&f=false
> > >
> > > Aproveitando a oportunidade, quero pedir aos que ensinam Lógica por aí
> > que
> > > dêem *sugestões para a implementacao de alguma ferramenta que possa ser
> > > útil
> > > para os professores de Lógica*.
> > >
> > > Ano passado, na minha disciplina Métodos Ágeis para o Desenvolvimento
> de
> > > Software<
> > >
> >
> http://www.dainf.ct.utfpr.edu.br/wiki/index.php/Metodologias_%C3%81geis_para_o_Desenvolvimento_de_Software
> > > >,
> > > eu e meus alunos implementamos o Logicamente-UTFPR:
> > >
> > > https://github.com/adolfont/Logicamente-UTFPR
> > >
> > > cujo .jar mais recente pode ser baixado de
> > >
> > >
> > >
> >
> https://github.com/downloads/adolfont/Logicamente-UTFPR/logicamente-utfpr-alfa-5.1.jar
> > >
> > > A ferramenta tem sido muito útil para mim. Uso nas minhas aulas e deixo
> > os
> > > alunos usando no laboratório. [A ideia do Logicamente-UTFPR era
> > implementar
> > > em Java algo que já estivesse implementado no Logicamente original
> > > ]
> > >
> > > Um artigo sobre o Logicamente no Tools for Teaching Logic está em
> > >
> > >
> > >
> >
> http://books.google.com/books?id=be-pTR5TmZIC&pg=PA223&hl=es&source=gbs_toc_r&cad=4#v=onepage&q&f=false
> > >
> > > Voltando ao "Tools for Teaching Logic 2010", tem uma ferramenta lá que
> > > achei
> > > interessante:
> > >
> > >
> > >
> >
> http://books.google.com/books?id=be-pTR5TmZIC&pg=PA239&hl=es&source=gbs_toc_r&cad=4#v=onepage&q&f=false
> > >
> > > mas o jar que está em
> > >
> > > http://www.fdi.ucm.es/profesor/rdelvado/TICTTL2011/
> > >
> > > não roda...
> > >
> > > O ASA CALCPRO
> > >
> > > http://www.asacalcpro.com.br/
> > >
> > > também não funciona mais (tentei no WIndows 7 e no Ubuntu 11.04).
> > >
> > > Alguém conhece alguma ferramenta relativamente amigável que use tablôs
> > > marcados para lógica proposcional clássica?
> > >
> > >
> > > []s
> > > Adolfo
> > >
> > > ==
> > > 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
> > >
> >
> >
> >
> > --
> > Federal University of Rio de Janeiro
> > www.cos.ufrj.br/~mario 
> > ___
> > Logica-l mailing list
> > Logica-l@dimap.ufrn.br
> > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> >
>
>
>
> --
> Bruno Lopes Vieira
>
> Linux User #324250
> Curriculum Vitae: http://lattes.cnpq.br/7793315334001237
> Website: www.tecmf.inf.puc-rio.br/BrunoLopes
> --
> "Never

Re: [Logica-l] Tools for Teaching Logic

[Valeria de Paiva]

Alo Adolfo, Mario, Bruno, Patrick,

Muito obrigada pelas dicas todas. Muito util esse material.

Adolfo voce pediu sugestoes, eu nao sei se seria problematico pelo
aspecto legal, mas eu acho que seria muito util ter um sistema aberto
que ajudasse alunos a construirem provas/modelos seguindo o livro do
Etchmandy e Barwise. o texto deles eu acho muito bom, mas acho o fim
da picada os alunos terem que pagar mais de 60 dolares pra obter
acesso ao sistema, que esta' caducando..nao esta' sendo ativamente
trabalhado e software que nao esta' melhorando, esta' se deteriorando.

nao sei se o JM e/ou o pessoal de Natal esta' escrevendo um livro, mas
sei que apesar de gostar a beca da ideia do Logic in Action do pessoal
de Amsterdam, o livro deles nao me parece tao bom quanto o
LPL(Language proof logic).

e na verdade o que seria legal seria um sistema de videos curtos tipo
Khan academy, que ajudassem a explicar o LPL junto com um sistema
aberto de exercicios com solucoes disponiveis e autoajuda no estilo do
OpenProof. o que deve ser bem mais facil de implementar agora do que
foi quando eles fizeram ha uns 15 anos atras...

Bom, pelo menos isso seria o que eu gostaria de ter, quando estava
ensinando baby-logic em Stanford e Santa Clara no principio do ano. eu
coloquei alguns links nem todos logicos na pagina
http://logic-forall.blogspot.com/. vou dar uma olhada nos que o
Patrick sugeriu e adicionar quando der tempo (o que pode demorar...)

Abracos
Valeria

2011/10/7 Adolfo Neto :
> Olá Bruno e demais colegas,
>
> Bela iniciativa. Excelente ter o código aberto e disponível no GitHub. Muito
> boa ideia também usar Lua e um framework para jogos
>
> Achei um pouco difícil de instalar.
>
> A cor de fundo preta não ajuda muito em sala de aula (ver anexo). Minha
> ideia é mostrar as demonstrações para os alunos.
>
> No repositório de código deveria ter mais exemplos de sequentes. Por
> exemplo, não sei como colocar fórmulas atômicas.
>
> E, isso vocês devem saber, o desenho da árvore de prova não está funcionando
> ainda (ou é só na minha máquina?).
>
> []s
> Adolfo
>
>
> ==
> 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
> ==
>
> 
> Q: Why is this email three sentences or less?
> A: http://three.sentenc.es
>
>
>
>
> 2011/10/3 Bruno Lopes 
>
>> Olá, Pessoal!
>>
>> Já há uma nova versão disponível em
>> http://www.tecmf.inf.puc-rio.br/TableauxProver. Nela o tableau pode ser
>> exportado para LaTeX e Dot.
>>
>> Abraços,
>>
>> Bruno.
>>
>> 2011/10/3 Mario Benevides 
>>
>> > Oi Adolfo,
>> >
>> > O Hermann tem um Tableaux para LPO bem amigável. Dê uma olhada no link
>> >
>> > http://www.tecmf.inf.puc-rio.br/TableauxProver/Applet
>> >
>> > Um abraço,
>> >
>> > Mario
>> >
>> > Em 1 de outubro de 2011 00:23, Adolfo Neto 
>> > escreveu:
>> >
>> > > Olá,
>> > >
>> > > Já está disponível (com texto parcial) na Biblioteca  do Google o livro
>> > >
>> > > Tools for Teaching Logic: Third International Congress, TICTTL 2011,
>> > > Salamanca, Spain, June 1-4, 2011, Proceedings
>> > > Patrick Blackburn, Hans van Ditmarsch, Maria Manzano, Fernando
>> > > Soler-Toscano
>> > >
>> > >
>> > >
>> >
>> http://books.google.com/books?hl=es&lr=&id=be-pTR5TmZIC&oi=fnd&pg=PA239&ots=Od7aGgQM7p&sig=2FFI2t4ZNp4ODXnt_pS_JAfrjzY#v=onepage&q&f=false
>> > >
>> > > Aproveitando a oportunidade, quero pedir aos que ensinam Lógica por aí
>> > que
>> > > dêem *sugestões para a implementacao de alguma ferramenta que possa ser
>> > > útil
>> > > para os professores de Lógica*.
>> > >
>> > > Ano passado, na minha disciplina Métodos Ágeis para o Desenvolvimento
>> de
>> > > Software<
>> > >
>> >
>> http://www.dainf.ct.utfpr.edu.br/wiki/index.php/Metodologias_%C3%81geis_para_o_Desenvolvimento_de_Software
>> > > >,
>> > > eu e meus alunos implementamos o Logicamente-UTFPR:
>> > >
>> > > https://github.com/adolfont/Logicamente-UTFPR
>> > >
>> > > cujo .jar mais recente pode ser baixado de
>> > >
>> > >
>> > >
>> >
>> https://github.com/downloads/adolfont/Logicamente-UTFPR/logicamente-utfpr-alfa-5.1.jar
>> > >
>> > > A ferramenta tem sido muito útil para mim. Uso nas minhas aulas e deixo
>> > os
>> > > alunos usando no laboratório. [A ideia do Logicamente-UTFPR era
>> > implementar
>> > > em Java algo que já estivesse implementado no Logicamente original
>> > > ]
>> > >
>> > > Um artigo sobre o Logicamente no Tools for Teaching Logic está em
>> > >
>> > >
>> > >
>> >
>> http://books.google.com/books?id=be-pTR5TmZIC&pg=PA223&hl=es&source=gbs_toc_r&cad=4#v=onepage&q&f=false
>> > >
>> > > Voltando ao "Tools for Teaching Logic 2010", tem uma ferramenta lá que
>> > > achei
>> > > 

Re: [Logica-l] Livros eletrônicos publicados pelo CNPq

[Joao Marcos]

> Acho que o que estão argumentando com relação ao CNPq e sua oferta está para
> lá de certo. No entanto, a iniciativa seria boa se a coisa fosse organizada,
> como com eles fornecendo ISBN, pedindo pareceres, "assinando", etc. pois
> poderíamos dispor de um lugar crível para livros online que seriam de boa
> qualidade. Não seria melhor pedir que arrumassem isso decentemente? Acham
> viável?

Mais um projeto para ser encampado pela SBL em nome de seus membros?

Ou não vale a pena o esforço?

JM

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

Re: [Logica-l] A logica com fisica do objeto qualquer

[Valeria de Paiva]

Decio,
desculpe, mas nao acho "Logic as the physics of the arbitrary any
object  whatever"
melhor nao.
e' melhor como o JM disse "Logic as the physics of the arbitrary object"
(mais seria) ou se voce quer brincar
"Logic as the physics of  any object  whatsoever"
mas como voce escreveu fica mal...

Jean-Yves,
obrigada pelas informacoes sobre o Gonseth, muito interessante saber
que ele fundou a revista Dialectica. Quanto ao  Goedel e sua
interpretacao Dialectica, na lista a gente andou discutindo esse
trabalho dele um pouco. se me lembro direito o Rodrigo andou ensinando
pros alunos dele a versao do Schoenfield da Interpretacao Dialectica,
o que eu achei o maximo.

 nao sei se voce se lembra que a minha tese foi sobre uma versao
categorica da interpretacao Dialectica  e alias esse artigo da
wikipedia que voce citou so' existe pq eu o encomendei ao Paulo Oliva
ha' alguns anos atras.

abracos,
Valeria

2011/10/8 Decio Krause :
>> "Logic as the physics of the arbitrary any object  whatever"
>
> Fica melhor e mais de acordo com o modo como via de regra traduzem a célebre 
> frase de Gonseth.
> Agora pergunto: o que acham dela?
> 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
> 
> "He [God] will never choose among indiscernibles"
> (G.W.Leibniz)
>
>
>
>
>
>
> Em 08/10/2011, às 10:19, Joao Marcos escreveu:
>
>>> Ferdinand Gonseth é famoso para o artigo:
>>> "La logique en tant que physique de l'objet quelconque"
>>> Facil de traduzir em portuges:
>>> "A logica com fisica do objeto qualquer"
>>> Um colega esta me preguntando com traduzir isso em ingles,
>>> alguem tem uma boa suggestao?
>>
>> "Logic as the physics of the arbitrary object"
>>
>> JM
>>
>> --
>> http://sequiturquodlibet.googlepages.com/
>> ___
>> 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
>



-- 
Valeria de Paiva
http://www.cs.bham.ac.uk/~vdp/
http://valeriadepaiva.org/www/
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Livros eletrônicos publicados pelo CNPq

[Valeria de Paiva]

eu acho que vale o esforco sim.

e peloamordedeus alguem precisa convencer o CNPq a trocar os
curriculos lattes pelos nomes das pessoas, em vez de numeros imensos
que nao dissem nada pra ninguem.
aquilo 'e uma atrocidade. uma ideia excelente com um resultado horrivel.
valeria

2011/10/8 Joao Marcos :
>> Acho que o que estão argumentando com relação ao CNPq e sua oferta está para
>> lá de certo. No entanto, a iniciativa seria boa se a coisa fosse organizada,
>> como com eles fornecendo ISBN, pedindo pareceres, "assinando", etc. pois
>> poderíamos dispor de um lugar crível para livros online que seriam de boa
>> qualidade. Não seria melhor pedir que arrumassem isso decentemente? Acham
>> viável?
>
> Mais um projeto para ser encampado pela SBL em nome de seus membros?
>
> Ou não vale a pena o esforço?
>
> JM
>
> --
> http://sequiturquodlibet.googlepages.com/
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>



-- 
Valeria de Paiva
http://www.cs.bham.ac.uk/~vdp/
http://valeriadepaiva.org/www/
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Livros eletrônicos publicados pelo CNPq

[Décio Krause]

Para mim, vale o esforco e a ideia e essa mesmk, via SBL.
D.

--
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Florianópolis - SC - Brasil
http://www.cfh.ufsc.br/~dkrause
--


Em 08/10/2011, às 12:21, Joao Marcos  escreveu:

>> Acho que o que estão argumentando com relação ao CNPq e sua oferta está para
>> lá de certo. No entanto, a iniciativa seria boa se a coisa fosse organizada,
>> como com eles fornecendo ISBN, pedindo pareceres, "assinando", etc. pois
>> poderíamos dispor de um lugar crível para livros online que seriam de boa
>> qualidade. Não seria melhor pedir que arrumassem isso decentemente? Acham
>> viável?
> 
> Mais um projeto para ser encampado pela SBL em nome de seus membros?
> 
> Ou não vale a pena o esforço?
> 
> JM
> 
> -- 
> http://sequiturquodlibet.googlepages.com/
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Livros eletrônicos publicados pelo CNPq

[Joao Marcos]

Será que alguém está fazendo a lista de todas as coisas que tem mais
ou menos informalmente sido "requisitadas" à SBL aqui na LOGICA-L, nos
últimos tempos?

JM

2011/10/8 Décio Krause :
> Para mim, vale o esforco e a ideia e essa mesmk, via SBL.
> D.
>
> --
> Décio Krause
> Departamento de Filosofia
> Universidade Federal de Santa Catarina
> 88040-900 Florianópolis - SC - Brasil
> http://www.cfh.ufsc.br/~dkrause
> --
>
>
> Em 08/10/2011, às 12:21, Joao Marcos  escreveu:
>
>>> Acho que o que estão argumentando com relação ao CNPq e sua oferta está para
>>> lá de certo. No entanto, a iniciativa seria boa se a coisa fosse organizada,
>>> como com eles fornecendo ISBN, pedindo pareceres, "assinando", etc. pois
>>> poderíamos dispor de um lugar crível para livros online que seriam de boa
>>> qualidade. Não seria melhor pedir que arrumassem isso decentemente? Acham
>>> viável?
>>
>> Mais um projeto para ser encampado pela SBL em nome de seus membros?
>>
>> Ou não vale a pena o esforço?
>>
>> JM
>>
>> --
>> http://sequiturquodlibet.googlepages.com/
>



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

Re: [Logica-l] A logica com fisica do objeto qualquer

[Joao Marcos]

Olá, Decio:

O que acha *você* do slogan do Gonseth?  Seria muito interessante
conhecer a opinião de um especialista como você sobre o assunto.

JM

2011/10/8 Décio Krause :
> Jy
> Eu nao escrevi o que voce disse. Repare que minha frase tem uns cortes nas 
> palavras do JM. Em todo caso, nao vou insistir. Apenas me refiro ao modo pelo 
> qual ja vi essa frase em ingles.
> D.
>
> --
> Décio Krause
> Departamento de Filosofia
> Universidade Federal de Santa Catarina
> 88040-900 Florianópolis - SC - Brasil
> http://www.cfh.ufsc.br/~dkrause
> --
>
> Em 08/10/2011, às 12:25, Valeria de Paiva  
> escreveu:
>
>> Decio,
>> desculpe, mas nao acho "Logic as the physics of the arbitrary any
>> object  whatever"
>> melhor nao.
>> e' melhor como o JM disse "Logic as the physics of the arbitrary object"
>> (mais seria) ou se voce quer brincar
>> "Logic as the physics of  any object  whatsoever"
>> mas como voce escreveu fica mal...
>>
>> Jean-Yves,
>> obrigada pelas informacoes sobre o Gonseth, muito interessante saber
>> que ele fundou a revista Dialectica. Quanto ao  Goedel e sua
>> interpretacao Dialectica, na lista a gente andou discutindo esse
>> trabalho dele um pouco. se me lembro direito o Rodrigo andou ensinando
>> pros alunos dele a versao do Schoenfield da Interpretacao Dialectica,
>> o que eu achei o maximo.
>>
>> nao sei se voce se lembra que a minha tese foi sobre uma versao
>> categorica da interpretacao Dialectica  e alias esse artigo da
>> wikipedia que voce citou so' existe pq eu o encomendei ao Paulo Oliva
>> ha' alguns anos atras.
>>
>> abracos,
>> Valeria
>>
>> 2011/10/8 Decio Krause :
 "Logic as the physics of the arbitrary any object  whatever"
>>>
>>> Fica melhor e mais de acordo com o modo como via de regra traduzem a 
>>> célebre frase de Gonseth.
>>> Agora pergunto: o que acham dela?
>>> 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
>>> 
>>> "He [God] will never choose among indiscernibles"
>>> (G.W.Leibniz)
>>>
>>>
>>>
>>>
>>>
>>>
>>> Em 08/10/2011, às 10:19, Joao Marcos escreveu:
>>>
> Ferdinand Gonseth é famoso para o artigo:
> "La logique en tant que physique de l'objet quelconque"
> Facil de traduzir em portuges:
> "A logica com fisica do objeto qualquer"
> Um colega esta me preguntando com traduzir isso em ingles,
> alguem tem uma boa suggestao?

 "Logic as the physics of the arbitrary object"

 JM

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

[Logica-l] ainda sobre publicações de livros e outros materiais

[Joao Marcos]

PessoALL:

Caso alguém deseje publicar um *livro* na nossa área de modo a
torná-lo tão acessível quanto possível, em um mundo ideal, esta pessoa
provavelmente gostaria de encontrar uma boa editora, de preferência
uma editora universitária, que garantisse, ao mesmo tempo:

(1) a produção de um material impresso com preço acessível, para
bibliotecas e outros leitores;

(2) boa distribuição do livro na mídia impressa;

(3) a retenção dos direitos autorais (ou a utilização de licenças
autorais mais flexíveis, como Creative Commons e afins) por parte do
autor / editor / tradutor, de modo que o material pudesse ser
disponibilizado online sem custos para alunos e outros leitores.

Alguém conhece alguma editora científica no Brasil que trabalhe com
print-on-demand e que possa garantir (1)-(3)?  Outras sugestões sobre
como proceder?

Joao Marcos

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

Re: [Logica-l] A logica com fisica do objeto qualquer

[Décio Krause]

Jy
Eu nao escrevi o que voce disse. Repare que minha frase tem uns cortes nas 
palavras do JM. Em todo caso, nao vou insistir. Apenas me refiro ao modo pelo 
qual ja vi essa frase em ingles.
D.

--
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Florianópolis - SC - Brasil
http://www.cfh.ufsc.br/~dkrause
--


Em 08/10/2011, às 12:25, Valeria de Paiva  escreveu:

> Decio,
> desculpe, mas nao acho "Logic as the physics of the arbitrary any
> object  whatever"
> melhor nao.
> e' melhor como o JM disse "Logic as the physics of the arbitrary object"
> (mais seria) ou se voce quer brincar
> "Logic as the physics of  any object  whatsoever"
> mas como voce escreveu fica mal...
> 
> Jean-Yves,
> obrigada pelas informacoes sobre o Gonseth, muito interessante saber
> que ele fundou a revista Dialectica. Quanto ao  Goedel e sua
> interpretacao Dialectica, na lista a gente andou discutindo esse
> trabalho dele um pouco. se me lembro direito o Rodrigo andou ensinando
> pros alunos dele a versao do Schoenfield da Interpretacao Dialectica,
> o que eu achei o maximo.
> 
> nao sei se voce se lembra que a minha tese foi sobre uma versao
> categorica da interpretacao Dialectica  e alias esse artigo da
> wikipedia que voce citou so' existe pq eu o encomendei ao Paulo Oliva
> ha' alguns anos atras.
> 
> abracos,
> Valeria
> 
> 2011/10/8 Decio Krause :
>>> "Logic as the physics of the arbitrary any object  whatever"
>> 
>> Fica melhor e mais de acordo com o modo como via de regra traduzem a célebre 
>> frase de Gonseth.
>> Agora pergunto: o que acham dela?
>> 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
>> 
>> "He [God] will never choose among indiscernibles"
>> (G.W.Leibniz)
>> 
>> 
>> 
>> 
>> 
>> 
>> Em 08/10/2011, às 10:19, Joao Marcos escreveu:
>> 
 Ferdinand Gonseth é famoso para o artigo:
 "La logique en tant que physique de l'objet quelconque"
 Facil de traduzir em portuges:
 "A logica com fisica do objeto qualquer"
 Um colega esta me preguntando com traduzir isso em ingles,
 alguem tem uma boa suggestao?
>>> 
>>> "Logic as the physics of the arbitrary object"
>>> 
>>> JM
>>> 
>>> --
>>> http://sequiturquodlibet.googlepages.com/
>>> ___
>>> 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
>> 
> 
> 
> 
> -- 
> Valeria de Paiva
> http://www.cs.bham.ac.uk/~vdp/
> http://valeriadepaiva.org/www/
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Curiosidade histórica: O palimpsesto de Arquimedes

[Carlos Gonzalez]

Podem ler  "The Archimedes Codex, How a Medieval Prayer Book Is
Revealing the True Genius
of Antiquity’s Greatest Scientist" de Reviel Netz e William Noel (um
best seller)
ou podem assistir o documentário da NOVA:
http://www.pbs.org/wgbh/nova/physics/inside-archimedes-palimpsest.html
:-)
para fazer turismo na história da matemática, ou um safári para caçar
o infinito atual em Arquimedes. Que emocionante!

Essa história romanceada é, lamentavelmente, mais popular que a
história da matemática feita seriamente.

Mathematics Magazine, vol. 81, n. 1, 2008, p. 70.
"It is an absolutely fascinating tale of the rescue and significance
of what Noel terms a "conservation disaster zone," with far more
details on the provenance of the book than previously revealed."

Na p. 183 do próprio livro lemos:

Archimedes’ Method, 2001
or Infinity Unveiled
It was nearing the end of 2000. The Palimpsest had been available
for research for almost two years, and yet, there was very little to
show for it. I was driven back to the traditional routines of library
work: visiting the manuscript; holding a magnifying glass in one hand
and a UV lamp in the other; and looking at the manuscript intently,
one character after another. I envisaged myself doing just this - slowly
and painfully going through the manuscript. To be honest, though, I
wasn’t sure I would be able to read much more this way than Heiberg
did. Would it all be just a waste of time?

Apesar de todas essas coisas, é claro que Arquimedes merece estudos sérios.

Carlos

===
http://www.archive.org/search.php?query=creator%3A%28archimedes%29

==
 "The Archimedes Codex, How a Medieval Prayer Book Is Revealing the True Genius
of Antiquity’s Greatest Scientist" de Reviel Netz e William Noel
¨
REVIEWED BY JORAN FRIBERG

The Mathematical Ingelligencer, vol. 31, n. 4, 2009, p. 53-55

[3] Netz, R., F. Acerbi, and N. Wilson,
Towards a reconstruction of Archimedes’s
Stomachion, Sciamvs 2 (2001), 67–99.
[4] Netz, R., K. Saito, and N. Tchernetska, A
new reading of Method proposition 14:
Preliminary evidence from the Archime-
des Palimpsest, Part 1, Sciamvs 2 (2001),
9–29.
[5] Netz, R., K. Saito, and N. Tchernetska, A
new reading of Method proposition 14:
Preliminary evidence from the Archime-
des Palimpsest, Part 2, Sciamvs 3 (2002),
109–125.



2011/10/8 psdias2 :
>>Parece particularmente interessante esta parte:
>>"Reviel Netz, a historian of mathematics at Stanford University, discovered
>> by reading
>>the “Method of Mechanical Theorems” that Archimedes treated infinity as a
>> number,
>>which constituted something of a philosophical leap. Netz was also the
>> first scholar
>>to do a thorough study of the diagrams, which he says are likely to be
>> faithful
>>reproductions of the author’s original drawings and give crucial insights
>> into his
>>thinking." JM 2011/10/7 psdias2 
>
> Em outra lista, informaram sobre o livro "CODEX ARQUIMEDES":
>
> http://www.livrariacultura.com.br/scripts/resenha/resenha.asp?nitem=2718787&sid=10116023513107775565419818
>
> Talvez lá o Reviel Netz exponha mais detalhes...
>
> Paulo
> ___
> 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] ainda sobre publicações de livros e outros materiais

[Décio Krause]

JM 
De completo acordo sobre os mecnismos para livros. Eu tive uma experiencia com 
um livro (inho) chamado Introducao aos Fundamentos Axiomaticos da Ciencia, que 
apesar dos pesares (eu o revisaria por completo) contem uma das poucas 
exposicoes que conheco em portugues sobre a teoria axiomatica de conjuntos, 
alias "teorias" pois falo da teoria Z de Zermelo (deixa eu fazer um pouco de 
proganda), de ZF, de ZFC, NBG, NF, KM e ML, claro que tudo em nivel 
introdutorio. O livro saiu pela EPU ("Llivraria" Pedagogica e Universitaria, 
Sao Paulo, 2002), mas foi um fracasso. A  editora nao tem (tinha, porque agora 
foi vendida depois de 50 anos) divulgzcao, nao se acha o livro en lugar nenhum, 
e o preco e exorbitante. Um grande erro de minha parte, sem duvida. Estou 
supondo, claro, algum merito, ah ah.
Quando venderam, eles  me brindaram com o copyright, certamente livrando- se de 
qualquer compromisso e certamwnte dizendo "thanks God". No cap. 6, eu falo um 
pouco do Gonseth. Depois envio mais coisas sobre minha opiniao sobre a sua 
frase.
Desculpem  a digitacao poraria, mas estou em um teclado com o qual ainda nao me 
acostumei.
Abc
D



--
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Florianópolis - SC - Brasil
http://www.cfh.ufsc.br/~dkrause
--


Em 08/10/2011, às 17:37, Joao Marcos  escreveu:

> PessoALL:
> 
> Caso alguém deseje publicar um *livro* na nossa área de modo a
> torná-lo tão acessível quanto possível, em um mundo ideal, esta pessoa
> provavelmente gostaria de encontrar uma boa editora, de preferência
> uma editora universitária, que garantisse, ao mesmo tempo:
> 
> (1) a produção de um material impresso com preço acessível, para
> bibliotecas e outros leitores;
> 
> (2) boa distribuição do livro na mídia impressa;
> 
> (3) a retenção dos direitos autorais (ou a utilização de licenças
> autorais mais flexíveis, como Creative Commons e afins) por parte do
> autor / editor / tradutor, de modo que o material pudesse ser
> disponibilizado online sem custos para alunos e outros leitores.
> 
> Alguém conhece alguma editora científica no Brasil que trabalhe com
> print-on-demand e que possa garantir (1)-(3)?  Outras sugestões sobre
> como proceder?
> 
> Joao Marcos
> 
> -- 
> http://sequiturquodlibet.googlepages.com/
> ___
> 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] ainda sobre publicações de livros e outros materiais

[Francisco Antonio Doria]

lulu.com

muito usado.

2011/10/8 Joao Marcos 

> PessoALL:
>
> Caso alguém deseje publicar um *livro* na nossa área de modo a
> torná-lo tão acessível quanto possível, em um mundo ideal, esta pessoa
> provavelmente gostaria de encontrar uma boa editora, de preferência
> uma editora universitária, que garantisse, ao mesmo tempo:
>
> (1) a produção de um material impresso com preço acessível, para
> bibliotecas e outros leitores;
>
> (2) boa distribuição do livro na mídia impressa;
>
> (3) a retenção dos direitos autorais (ou a utilização de licenças
> autorais mais flexíveis, como Creative Commons e afins) por parte do
> autor / editor / tradutor, de modo que o material pudesse ser
> disponibilizado online sem custos para alunos e outros leitores.
>
> Alguém conhece alguma editora científica no Brasil que trabalhe com
> print-on-demand e que possa garantir (1)-(3)?  Outras sugestões sobre
> como proceder?
>
> Joao Marcos
>
> --
> http://sequiturquodlibet.googlepages.com/
> ___
> 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] ainda sobre publicações de livros e outros materiais

[Joao Marcos]

2011/10/8 Francisco Antonio Doria :
> lulu.com
> muito usado.

Alguma solução boa *para o mercado brasileiro*?

JM

> 2011/10/8 Joao Marcos 
>>
>> PessoALL:
>>
>> Caso alguém deseje publicar um *livro* na nossa área de modo a
>> torná-lo tão acessível quanto possível, em um mundo ideal, esta pessoa
>> provavelmente gostaria de encontrar uma boa editora, de preferência
>> uma editora universitária, que garantisse, ao mesmo tempo:
>>
>> (1) a produção de um material impresso com preço acessível, para
>> bibliotecas e outros leitores;
>>
>> (2) boa distribuição do livro na mídia impressa;
>>
>> (3) a retenção dos direitos autorais (ou a utilização de licenças
>> autorais mais flexíveis, como Creative Commons e afins) por parte do
>> autor / editor / tradutor, de modo que o material pudesse ser
>> disponibilizado online sem custos para alunos e outros leitores.
>>
>> Alguém conhece alguma editora científica no Brasil que trabalhe com
>> print-on-demand e que possa garantir (1)-(3)?  Outras sugestões sobre
>> como proceder?
>>
>> Joao Marcos

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

Re: [Logica-l] ainda sobre publicações de livros e outros materiais

[Décio Krause]

Qual o "valor CAPES -  CNPq" de um livro lulu? Afinal, dependemos dessas 
coisas...
D

--
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Florianópolis - SC - Brasil
http://www.cfh.ufsc.br/~dkrause
--


Em 08/10/2011, às 18:12, Francisco Antonio Doria  escreveu:

> lulu.com
> 
> muito usado.
> 
> 2011/10/8 Joao Marcos 
> 
>> PessoALL:
>> 
>> Caso alguém deseje publicar um *livro* na nossa área de modo a
>> torná-lo tão acessível quanto possível, em um mundo ideal, esta pessoa
>> provavelmente gostaria de encontrar uma boa editora, de preferência
>> uma editora universitária, que garantisse, ao mesmo tempo:
>> 
>> (1) a produção de um material impresso com preço acessível, para
>> bibliotecas e outros leitores;
>> 
>> (2) boa distribuição do livro na mídia impressa;
>> 
>> (3) a retenção dos direitos autorais (ou a utilização de licenças
>> autorais mais flexíveis, como Creative Commons e afins) por parte do
>> autor / editor / tradutor, de modo que o material pudesse ser
>> disponibilizado online sem custos para alunos e outros leitores.
>> 
>> Alguém conhece alguma editora científica no Brasil que trabalhe com
>> print-on-demand e que possa garantir (1)-(3)?  Outras sugestões sobre
>> como proceder?
>> 
>> Joao Marcos
>> 
>> --
>> http://sequiturquodlibet.googlepages.com/
>> ___
>> 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
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] ainda sobre publicações de livros e outros materiais

[Francisco Antonio Doria]

muitos congressos locais usam-nos. publiquei lá um texto da coppe.

2011/10/8 Décio Krause 

> Qual o "valor CAPES -  CNPq" de um livro lulu? Afinal, dependemos dessas
> coisas...
> D
>
> --
> Décio Krause
> Departamento de Filosofia
> Universidade Federal de Santa Catarina
> 88040-900 Florianópolis - SC - Brasil
> http://www.cfh.ufsc.br/~dkrause
> --
>
>
> Em 08/10/2011, às 18:12, Francisco Antonio Doria 
> escreveu:
>
> > lulu.com
> >
> > muito usado.
> >
> > 2011/10/8 Joao Marcos 
> >
> >> PessoALL:
> >>
> >> Caso alguém deseje publicar um *livro* na nossa área de modo a
> >> torná-lo tão acessível quanto possível, em um mundo ideal, esta pessoa
> >> provavelmente gostaria de encontrar uma boa editora, de preferência
> >> uma editora universitária, que garantisse, ao mesmo tempo:
> >>
> >> (1) a produção de um material impresso com preço acessível, para
> >> bibliotecas e outros leitores;
> >>
> >> (2) boa distribuição do livro na mídia impressa;
> >>
> >> (3) a retenção dos direitos autorais (ou a utilização de licenças
> >> autorais mais flexíveis, como Creative Commons e afins) por parte do
> >> autor / editor / tradutor, de modo que o material pudesse ser
> >> disponibilizado online sem custos para alunos e outros leitores.
> >>
> >> Alguém conhece alguma editora científica no Brasil que trabalhe com
> >> print-on-demand e que possa garantir (1)-(3)?  Outras sugestões sobre
> >> como proceder?
> >>
> >> Joao Marcos
> >>
> >> --
> >> http://sequiturquodlibet.googlepages.com/
> >> ___
> >> 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
>



-- 
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] Inconsistency of P: parabéns ao Ed Nelson, ao Terrence Tao e ao Daniel Tausk

[Valeria de Paiva]

oi Tony,
>We can look back at Goedel's work as one early attempt of fibring of formal 
>systems.
e', a gente sempre pode "look at anything as anything", mas qual 'e a
sua evidencia de que isso 'e util?  o que voce acha que ganha com essa
interpretacao?

obrigada,
valeria

2011/10/1 Tony Marmo :
> Dear friends,
>
> We can look back at Goedel's work as one early attempt of fibring of formal
> systems. Thus, the problem of determining the consistency and the
> completeness of the system seems to be like the same problem for a given
> logic L which is obtained by the fibring of two logics L* and L**. First
> order arithmetics is thus the fibring of first order logic and Peano's
> arithmetics, which yields the known results presented by Goedel.
>
> We have no a priori intuitive reason to assume that a certain fibring will
> produce a consistent and complete system. This has to be checked as the
> systems are combined. If in combining two systems one produces results like
> those of Goedel's theorems, it must still be possible to investigate the
> resulting system by investigating other features of the same, namely
> checking whether it has different, new, unusual or unexpected properties.
>
> In sum, I don't expect to see novelties that can or will overshadow Goedel's
> contributions, except in consequence of more advances in the field of
> fibring.
>
> Em 1 de outubro de 2011 14:21, Walter Carnielli
> escreveu:
>
>> Caros colegas:
>>
>> como vimos,  o Ed Nelson  retirou seu "claim"  sobre a inconsistência de
>>  P.
>> Isso, contudo, não significa  o fim das discussões, nem  menos  a
>> garantia da  consistência de P!
>>
>> Quero aqui parabenizar ao nosso  colega   Daniel Tausk do IME  USP
>> (http://www.ime.usp.br/~tausk/)
>> pela  excelente  observação que convenceu   o Nelson.  Imagino  que  o
>> Rodrigo Freire  e  outros coelgas da  USP tenham  participado
>> ativamente da atmosfera de discussão que levou o Daniel a observar o
>> erro na pretensa prova do Ed Nelson.
>>
>> E  finalmente  parabenizo o Ed Nelosn  pela coragem em  propor sua
>> alegação, e pela  humildade em reconhecer  publicamente o erro. Acho
>> que é assim  que se faz ciência,  e  acho que  esse tipo de atitude é
>> que devemos ensinar aos nossos  estudantes, e  aprendermos  nós
>> mesmos.  Ed  Nelson  merece  uma  homegagem.
>>
>> Abraços,
>>
>> Walter
>>
>> -- Forwarded message --
>> From: Edward Nelson 
>> Date: 2011/10/1
>> Subject: [FOM] inconsistency of P
>> To: f...@cs.nyu.edu
>>
>>
>> Terrence Tao, at
>> http://golem.ph.utexas.edu/category/2011/09/
>> and independently Daniel Tausk (private communication)
>> have found an irreparable error in my outline.
>> In the Kritchman-Raz proof, there is a low complexity
>> proof of K(\bar\xi)>\ell if we assume \mu=1, but the
>> Chaitin machine may find a shorter proof of high
>> complexity, with no control over how high.
>>
>> My thanks to Tao and Tausk for spotting this.
>> I withdraw my claim.
>>
>> The consistency of P remains an open problem.
>>
>> Ed Nelson
>> ___
>> FOM mailing list
>> f...@cs.nyu.edu
>> http://www.cs.nyu.edu/mailman/listinfo/fom
>>
>>
>>
>> --
>> ---
>> Prof. Dr. Walter Carnielli
>> Director
>> Centre for Logic, Epistemology and the History of Science – CLE
>> State University of Campinas –UNICAMP
>> 13083-859 Campinas -SP, Brazil
>> Phone: (+55) (19) 3521-6517
>> Fax: (+55) (19) 3289-3269
>> Institutional e-mail: walter.carnie...@cle.unicamp.br
>> Website: http://www.cle.unicamp.br/prof/carnielli
>> ___
>> 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
>



-- 
Valeria de Paiva
http://www.cs.bham.ac.uk/~vdp/
http://valeriadepaiva.org/www/
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l