Prezados colegas,
Estou precisando dos seguintes artigos:
1. Do Seldin and Hindleyeditors: To H. B. Curry: Essays on Combinatory
Logic, Lambda calculus and formalism, Academic Press, 1980 os seguintes
artigos:
a) Scott: Relating theories of the lambda-calculus (paginas 403-450).
b) Lambek: From
essa conceito do livro essencial da logica tem alguma ambiguidade,
é uma nocao biblica talvez ...
pode ser um textbook muito bom de um pessoa que nao é um grande pesquisador
ou pode ser um livro com ideais revolutinoarias de um grand logico
e ha muito outro opcoes ...
O que iremos responder por e
Não, não leremos.
Isso só ocorreria - hipoteticamente - se as pessoas digitassem aqui de modo
aleatório. A triste verdade é que maioria delas pensam um pouco antes de
escreverem...
Abraços.
2009/1/27 Décio Krause
> Quer dizer então que se continuarmos a ler as mensagens desta lista uma
> hora v
Prezados,
eu acho que a gente não deve comprar (nem indicar aos nossos estudantes)
esses pacotes prontos. Temos que desembrulhá-los. O "pacote Frege" é um
deles.
Acredito que o Décio esteja enganado na sua analogia entre Frege e a
formalizacao da FOL, versus Turing e sua fomalizacao da noção de
Oi, Elaine.
Pelo Gigapedia (http://gigapedia.com) podes obter este e muitos outros
livros. Primeiro cadastra-te no Gigapedia, é fácil e gratuito.
Seguem liames do Gigapedia para baixar os seguintes livros:
·Introduction to Higher Order Categorical Logic, de J. Lambek e P.
J. Scot
Oi Elaine,
eu tenho uma fotocopia parcial do "To H.B. Curry" so' com quatro dos
artigos dele - os dois que voce precisa e mais um do Gandy ("An Early
Proof of Normalization by A.M. Turing") e um de tres autores chamado
"principal type schemes and lambda-calculus semantics"... posso
envia'-la pelo
Ola a todos, sou novo na lista de lógica-I.
Peço licença ao senhores, solicitando aqueles que tiverem informações sobre
como utilizar logica para calculo de provaveis dezenas nas loterias de numeros
que se pronunciem.
Solicito informações, como que tipo de logica usar, quais livros procurar e
Olá Paulo Henrique,
quase nada do que a gente discute aqui vai te interessar...
procure livros e listas de discussão sobre Análise Combinatória.
[], boa sorte 8-),
Eduardo Ochs
eduardoo...@gmail.com
http://angg.twu.net/
2009/1/28 Paulo Henrique Gomes Ferreira :
> Ola a todos, sou
Oi, Eliane.
Além dos livros que indiquei sobre Teoria das Categorias mais relacionados à
Lógica e Lambda Cálculo, existem também os seguintes livros sobre o assunto:
·Toposes, Triples and Theories de Michael Barr e Charles Wells:
http://gigapedia.com/items:links?id=5353;
·T
Estava devendo:
> Mas eu sempre me lembro o que diz Curry no
> livro de lógica combinatória, que a substituição só ficou clara na
> década de 1940
All this holds for what is generally considered the simplest of logical
systems, the propositional algebra. If we pass to cases where there is
more
olá lista,
Foi lançado ontem, 28 de janeiro, o portal PhilPapers que é uma plataforma
virtual para pesquisa filosófica, funciona como um grande indexador de
journals e papers, onde as publicacoes sao catalogados em um bastante
específico sistema de categorias.
Esse é um projeto do David Chalmers
11 matches
Mail list logo
