new open textbook on incompleteness

[Joao Marcos]

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

[Thiago Nascimento da Silva]

Aparenta fazer as coisas passo a passo. Parece bem interessante.

--
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+unsubscribe@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
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.

[Marcelo Finger]

Obrigado pela dica, João.

Dei esse curso no ano passado e não sei quando vou ter essa
oportunidade novamente. Mas quando esse dia chegar, vou tratar de
procurar o que há no open logic project.

[]s

> --
> 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+u...@dimap.ufrn.br.

> Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
> 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.

--
Marcelo Finger
Departament of Computer Science, IME
University of Sao Paulo
http://www.ime.usp.br/~mfinger

[Walter Carnielli]

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 <boto...@gmail.com> escreveu:

> --
> 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+u...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
> 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: walter.c...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli