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