Le samedi 17 décembre 2016 19:10:56 UTC+1, bruninha_elisabeth a écrit :
>
> Obrigada pelas dicas!
> Já baixei os livros.
> Boa noite.
Interessante também o livro do A.Heyting
Les fondements des mathématiques. Intuitionnisme, théorie de la
démonstration, 1955.
publicado na Collection de logi
Olá Bruna,
Eu não sei quase nada do assunto, mas vou dar um palpite:
Que tal dar uma olhada no artigo de TROELSTRA no Handbook of Mahematical
Logic de Barwise (ed.) para ter um panorama de algumas questões
relacionadas?
Se pessoal da lista achar que não é conveniente, por favor falem.
Carlos
p.
Obrigada pelas dicas!
Já baixei os livros.
Boa noite.
--
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 postar nest
Cara Bruna, caro Marcelo,
Isso é fácil responder: no próprio livro do Heyting, "Intuitionism: an
Introduction", você confere o capítulo 2.
Mas, enfim, estou escrevendo excepcionalmente apenas para desejar Feliz Natal e
Feliz Chanukah (que neste ano coincidem) aos lógicos, matemáticos e filósofo
Oi Bruna.
Definitivamente exitem outras pessoas que entendem muito mais do que eu
sobre esse assunto, por exemplo, a profa Itala D'Ottavianno da Unicamp.
Mas se v me disser o que v conhece sobre algebra de Heyting, Teorema de
Godel e semântica de lógica intuicionista, eu poderia guiar você à
liter
Ol?, meu nome ? Bruna sou aluna da gradua??o na UFSC, estava olhando o seu
trabalho sobre o que creio eu ? a aritm?tica de Heyting (j? que pelo que
pesquisei tamb?m h? o c?lculo de Heyting), por?m n?o tenho muito conhecimento
do assunto, voc? poderia me sugerir algum livro introdut?rio para que
