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
Colegas,
Informo que está aberto processo seletivo para professor substituto do
Departamento de Filosofia da UFRN, na área Filosofia Geral. As inscrições
começaram dia 13/12 e vão apenas até o dia 23/12. O edital e demais informações
podem ser encontradas aqui:
https://progesp.ufrn.br/concurso
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
-- Forwarded message --
*
The Munich Center for Mathematical Philosophy invites abstracts for the
following event:
The 8th Workshop on Combining Logic and Probability (PROGIC 2017)
MCMP, LMU Munich
March 29-31, 2017
*http://www.progic
