Caros: Ficamos contentes, Dick (Arf) Epstein e eu, em saber que nosso livro "Computability: Computable functions, logic, and the foundations of mathematics" http://www.advancedreasoningforum.org/computability alcançou essa dimensão, não somente de ser suplementado pelo Jeremy Avigad (isso eu já sabia, ele me consultou) mas agora de ser a base de um texto no Open Logic Project. De fato, o material do Zach se baseia muito no nosso, mas se concentra na Incompletude, enquanto fazemos Computabilidade em geral.
Abraços, Walter Em 9 de março de 2017 18:40, Joao Marcos <[email protected]> escreveu: > "I’m teaching the incompleteness theorems (and related material) this > term, and of course I’m using the Open Logic Project as a text. The > relevant sections are based on Jeremy Avigad’s notes, which originally > were meant as a supplement to Epstein & Carnielli’s textbook > Computability." > -- Richard Zach > http://openlogicproject.org/2017/02/22/new-textbook-on-incompleteness/ > > -- > 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 [email protected]. > Para postar neste grupo, envie um e-mail para [email protected]. > Visite este grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Ljeu8U1PVnRCm%2BdQvogJSmhpPpDCrKzndCF806MHo%2By3g%40mail.gmail.com. -- ----------------------------------------------- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Institutional e-mail: [email protected] Website: http://www.cle.unicamp.br/prof/carnielli -- 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 [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58OnbDZAHdGb%3DQm9jjp8zzVpq3AsF7UTkOkLxph%3DT58MGA%40mail.gmail.com.
