[Logica-l] John Etchemendy sobre ameaça interna nas universidades

[jean-yves beziau]

Achei bem interessante o recente discurso do lógico John Etchemendy
https://en.wikipedia.org/wiki/John_Etchemendy
que acabou de deixar a direção da Universidade de Stanford, depois de 17
anos

Ele fala sobre ameaça interna nas universidades, finalizando desta forma:

The first step is to remind our students and colleagues that those who hold
views contrary to one’s own are rarely evil or stupid, and may know or
understand things that we do not. It is only when we start with this
assumption that rational discourse can begin, and that the winds of freedom
can blow.

mais extratos do discurso na pagina:
http://news.stanford.edu/2017/02/21/the-threat-from-within/

-- 
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 neste grupo, envie um e-mail para logica-l@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/CAF2zFLDbBq1Bbbw8fMuPHKErm1mALADN_gYVA9P4eCmeFVeUMg%40mail.gmail.com.

[Logica-l] Informações sobre inscrições disponíveis na página do EBL.

[samuel]

Caros,

Apenas para divulgar,

No endereço

http://www.inf.ufg.br/ebl2017/ebl.html#sec-registration

já estão disponibilizadas todas as informações sobre os procedimentos sobre
o "registration" do próximo EBL, em Pirenópolis (valores, etc.).

Atés,

[]s  Samuel


Universidade Federal da Bahia - http://www.portal.ufba.br

--
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 neste grupo, envie um e-mail para logica-l@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/20170309151328.0a8i01k949e88goc%40192.188.11.94.

Re: [Logica-l] Informações sobre inscrições disponíveis na página do EBL.

[Renata Wassermann]

Ois,

Vai ter alguma página de dicas para chegar em Pirenópolis? Melhor Brasília
ou Goiânia?

Abraços,

Renata.

--
Renata Wassermann
Associate Professor
Computer Science Department
University of São Paulo


2017-03-09 15:13 GMT-03:00 :

> Caros,
>
> Apenas para divulgar,
>
> No endereço
>
> http://www.inf.ufg.br/ebl2017/ebl.html#sec-registration
>
> já estão disponibilizadas todas as informações sobre os procedimentos sobre
> o "registration" do próximo EBL, em Pirenópolis (valores, etc.).
>
> Atés,
>
> []s  Samuel
>
> 
> Universidade Federal da Bahia - http://www.portal.ufba.br
>
> --
> 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 neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Visite este grupo em https://groups.google.com/a/di
> map.ufrn.br/group/logica-l/.
> Para ver esta discussão na web, acesse https://groups.google.com/a/di
> map.ufrn.br/d/msgid/logica-l/20170309151328.0a8i01k949e88go
> c%40192.188.11.94.
>

-- 
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 neste grupo, envie um e-mail para logica-l@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/CAA1FGCJzd5c%3DeETXWqvs4Fm32eDdhTdaFPm53dihr-brtgMrLw%40mail.gmail.com.

Re: [Logica-l] Informações sobre inscrições disponíveis na página do EBL.

[Elaine Pimentel]

Oi, Samuel,
Encontrei um typo:

Registration fess --> Registration fees

:)

2017-03-09 15:27 GMT-03:00 Renata Wassermann :

> Ois,
>
> Vai ter alguma página de dicas para chegar em Pirenópolis? Melhor Brasília
> ou Goiânia?
>
> Abraços,
>
> Renata.
>
> --
> Renata Wassermann
> Associate Professor
> Computer Science Department
> University of São Paulo
>
>
> 2017-03-09 15:13 GMT-03:00 :
>
>> Caros,
>>
>> Apenas para divulgar,
>>
>> No endereço
>>
>> http://www.inf.ufg.br/ebl2017/ebl.html#sec-registration
>>
>> já estão disponibilizadas todas as informações sobre os procedimentos
>> sobre
>> o "registration" do próximo EBL, em Pirenópolis (valores, etc.).
>>
>> Atés,
>>
>> []s  Samuel
>>
>> 
>> Universidade Federal da Bahia - http://www.portal.ufba.br
>>
>> --
>> 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 neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>> Visite este grupo em https://groups.google.com/a/di
>> map.ufrn.br/group/logica-l/.
>> Para ver esta discussão na web, acesse https://groups.google.com/a/di
>> map.ufrn.br/d/msgid/logica-l/20170309151328.0a8i01k949e88goc
>> %40192.188.11.94.
>>
>
> --
> Você recebeu essa mensagem porque está inscrito 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 nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em https://groups.google.com/a/
> dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse https://groups.google.com/a/
> dimap.ufrn.br/d/msgid/logica-l/CAA1FGCJzd5c%3DeETXWqvs4Fm32eDdhTdaFPm53dih
> r-brtgMrLw%40mail.gmail.com
> 
> .
>



-- 
Elaine.
-
Elaine Pimentel  - DMAT/UFRN

Address: Departamento de Matemática
Universidade Federal do Rio Grande do Norte
Campus Universitário - Av. Senador Salgado Filho, s/nº
Lagoa Nova, CEP: 59.078-970 - Natal - RN

Phone: +55 84 3215-3820

http://sites.google.com/site/elainepimentel/
Lattes: http://lattes.cnpq.br/3298246411086415


-- 
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 neste grupo, envie um e-mail para logica-l@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/CAHQVs%2BU_CTAXLd_xanYEf%2Bbh2OcK4LB3buFsryNxkkvAdce_eg%40mail.gmail.com.

[Logica-l] TIME 2017 Second call for papers

[Cláudia Nalon]

 TIME 2017

  24th International Symposium on Temporal Representation and Reasoning

   Mons (Belgium), 16-18 October 2017

  Second Call for Papers

http://informatique.umons.ac.be/time2017/

-

Aims and scope
--
TIME 2017 aims to bring together researchers interested in reasoning 
about temporal aspects of information in any area of Computer Science. 
The symposium, currently in its 24th edition, has a wide remit and 
intends to cater to both theoretical aspects and well-founded 
applications. One of the key aspects of the symposium is its 
interdisciplinarity, with attendees from distinct areas such as 
artificial intelligence, database management, logic and verification, 
and beyond. The symposium will encompass three tracks on temporal 
representation and reasoning in (1) Artificial Intelligence, (2) 
Databases and (3) Logic and Verification.



The Artificial Intelligence track includes, but is not limited to:

- temporal aspects of agent- and policy-based systems
- spatial and temporal reasoning
- reasoning about actions and change
- planning and planning languages
- ontologies of time and space-time
- belief and uncertainty in temporal knowledge
- temporal learning and discovery
- time in problem solving (e.g. diagnosis, scheduling)
- time in human-machine interaction
- temporal information extraction
- time in natural language processing
- spatio-temporal knowledge representation systems
- spatio-temporal ontologies for the semantic web
- constraint-based temporal reasoning
- temporal preferences


The Database track includes, but is not limited to:

- temporal data models and query languages
- temporal query processing and indexing
- temporal data mining
- time series data management
- stream data management
- spatio-temporal data management, including moving objects
- data currency and expiration
- indeterminate and imprecise temporal data
- temporal constraints
- temporal aspects of business processes and ECA systems
- real-time databases
- time-dependent security policies
- privacy in temporal and spatio-temporal data
- temporal aspects of multimedia databases
- temporal aspects of e-services and web applications
- temporal aspects of distributed systems
- temporal aspects and big data
- temporal aspects in NoSQL databases
- temporal data warehouses
- temporal healthcare databases and warehouses
- time series analysis and mining
- semistructured temporal data
- novel applications of temporal database management
- novel visualizations and interfaces for temporal data
- experiences with real applications


The Logic and Verification track includes, but is not limited to:

- specification and verification of systems
- verification of web applications
- synthesis and execution
- model-checking algorithms and implementations
- verification of infinite-state systems
- reasoning about transition systems
- temporal architectures
- temporal logics for distributed systems
- temporal logics for games and open systems
- temporal logics of knowledge
- hybrid systems and real-time logics
- cyber-physical systems
- tools and practical systems
- temporal issues in security


Submission and publication
--
Submissions of high-quality papers describing research results are 
solicited. Submitted papers should contain original, previously 
unpublished content, should be written in English, and must not be 
simultaneously submitted for publication elsewhere. Submitted papers 
will be refereed for quality, correctness, originality, and relevance.


Detailed submission instructions can be found on the website of TIME 
2017:


http://informatique.umons.ac.be/time2017/

Accepted papers will be presented at the symposium and included in the 
proceedings, which will be published by LIPIcs-Leibniz International 
Proceedings in Informatics, which is a series of high-quality 
peer-reviewed conference proceedings, published according to the 
principle of OpenAccess. At least one author of each accepted paper must 
register at the conference and present the paper.


Authors of selected papers will be invited to submit an extended version 
of their contribution to a special issue of the journal Theoretical 
Computer Science.



Important Dates
---
Abstracts due: May 8, 2017
Full papers due:   May 12, 2017
Notification:  June 27, 2017
Final version due: July 14, 2017
Symposium: October 16-18, 2017


Program Committee Chairs

Sven Schewe, University of Liverpool, UK
Thomas Schneider, University of Bremen, Germany
Jef Wijsen, University of Mons, Belgium


Program Committee
-
- Johann Eder (Alpen Adria Universität Klagenfurt, Austria)
- Fabio Grandi (University of Bologna, Italy)
- Ernst Moritz Hahn (State Key Laboratory of Computer Science, Institute 
of Sof

[Logica-l] Re: Informações sobre inscrições disponíveis na página do EBL.

['Samuel Gomes' via LOGICA-L]

Oi gente,

Só adicionando um dado,

Eu não estou na comissão organizadora do evento não, hehe, só quis dar um 
toque de que essas informações aí
de "registration" já estavam disponíveis.

Na página do evento o email sugerido para maiores informações é  







*ebl2...@inf.ufg.breu espero que a organização possa colocar um ônibus para 
levar gente ou de Brasília ou de Goiâniapra lá na segunda dia 08 pela 
manhã, fica a sugestão !!!Atés,[]s  Samuel*


On Thursday, March 9, 2017 at 3:13:32 PM UTC-3, sam...@ufba.br wrote:
>
> Caros, 
>
> Apenas para divulgar, 
>
> No endereço 
>
> http://www.inf.ufg.br/ebl2017/ebl.html#sec-registration 
>
> já estão disponibilizadas todas as informações sobre os procedimentos 
> sobre 
> o "registration" do próximo EBL, em Pirenópolis (valores, etc.). 
>
> Atés, 
>
> []s  Samuel 
>
>  
> Universidade Federal da Bahia - http://www.portal.ufba.br 
>
>

-- 
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 neste grupo, envie um e-mail para logica-l@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/1bfa7027-2b62-4898-a21d-c213250758ee%40dimap.ufrn.br.

[Logica-l] Re: Informações sobre inscrições disponíveis na página do EBL.

['Samuel Gomes' via LOGICA-L]

(Assim como fica a sugestão de que se isso for possível, avisem rapidamente 
porque está na hora de comprar passagens já...)

On Thursday, March 9, 2017 at 3:13:32 PM UTC-3, sam...@ufba.br wrote:
>
> Caros, 
>
> Apenas para divulgar, 
>
> No endereço 
>
> http://www.inf.ufg.br/ebl2017/ebl.html#sec-registration 
>
> já estão disponibilizadas todas as informações sobre os procedimentos 
> sobre 
> o "registration" do próximo EBL, em Pirenópolis (valores, etc.). 
>
> Atés, 
>
> []s  Samuel 
>
>  
> Universidade Federal da Bahia - http://www.portal.ufba.br 
>
>

-- 
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 neste grupo, envie um e-mail para logica-l@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/9d7901fb-1db3-4c13-97d9-8f22c0bdbd0d%40dimap.ufrn.br.

[Logica-l] 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/

-- 
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 neste grupo, envie um e-mail para logica-l@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.

Re: [Logica-l] new open textbook on incompleteness

[Thiago Nascimento da Silva]

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


Em 9 de março de 2017 18:40, Joao Marcos  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 logica-l+unsubscr...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logica-l@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.
>

-- 
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 neste grupo, envie um e-mail para logica-l@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/CAOHRVBVwLeTiEF9rPnRouo7uWQb2_yWGUJTVMd%3DdO-kjN_RXGg%40mail.gmail.com.

Re: [Logica-l] Informações sobre inscrições disponíveis na página do EBL.

[Daniel Ventura]

Renata e demais colegas,

As informações, que devem constar em breve na página do EBL,
são:

   - Teremos um ônibus saindo do aeroporto de Brasília na segunda
  e no sentido inverso na sexta (Brasília têm mais opções de vôo).

  - Recomendação de vacina para febre amarela até 10 dias antes da
 chegada em Pirenópolis.

at,te
Daniel Ventura

2017-03-09 15:27 GMT-03:00 Renata Wassermann :

> Ois,
>
> Vai ter alguma página de dicas para chegar em Pirenópolis? Melhor Brasília
> ou Goiânia?
>
> Abraços,
>
> Renata.
>
> --
> Renata Wassermann
> Associate Professor
> Computer Science Department
> University of São Paulo
>
>
> 2017-03-09 15:13 GMT-03:00 :
>
>> Caros,
>>
>> Apenas para divulgar,
>>
>> No endereço
>>
>> http://www.inf.ufg.br/ebl2017/ebl.html#sec-registration
>>
>> já estão disponibilizadas todas as informações sobre os procedimentos
>> sobre
>> o "registration" do próximo EBL, em Pirenópolis (valores, etc.).
>>
>> Atés,
>>
>> []s  Samuel
>>
>> 
>> Universidade Federal da Bahia - http://www.portal.ufba.br
>>
>> --
>> 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 neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>> Visite este grupo em https://groups.google.com/a/di
>> map.ufrn.br/group/logica-l/.
>> Para ver esta discussão na web, acesse https://groups.google.com/a/di
>> map.ufrn.br/d/msgid/logica-l/20170309151328.0a8i01k949e88goc
>> %40192.188.11.94.
>>
>
> --
> Você recebeu essa mensagem porque está inscrito 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 nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em https://groups.google.com/a/
> dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse https://groups.google.com/a/
> dimap.ufrn.br/d/msgid/logica-l/CAA1FGCJzd5c%3DeETXWqvs4Fm32eDdhTdaFPm53dih
> r-brtgMrLw%40mail.gmail.com
> 
> .
>

-- 
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 neste grupo, envie um e-mail para logica-l@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/CAGA4ea_fezK8d7xpVnLYbb5H_eRUMmFRVivN44uZjrG%3DVg7LNQ%40mail.gmail.com.

Re: [Logica-l] Informações sobre inscrições disponíveis na página do EBL.

[Walter Carnielli]

Ola Daniel,
febre  amarela?Não  está fácil conseguir vacina.. tem gente que vai
declinar  por causa  disso!


>- Teremos um ônibus saindo do aeroporto de Brasília na segunda
>   e no sentido inverso na sexta (Brasília têm mais opções de vôo).

E quem precisar chegar na  terça-feira,  ou sair  na quinta, como vai fazer?
Como  se chega a  Pirinópolis de  outra forma?

Walter

-- 
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 neste grupo, envie um e-mail para logica-l@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/CA%2Bob58NJ1Ry3ppyVo6ghvD-Km5LmBWzisVm9ke6xMBEAHp%2BuQA%40mail.gmail.com.

Re: [Logica-l] new open textbook on incompleteness

[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


2017-03-09 18:40 GMT-03:00 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/
>
> --
> 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 neste grupo, envie um e-mail para logica-l@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

-- 
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 neste grupo, envie um e-mail para logica-l@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/CABqmzx3mO6JLKv4GTF47OPtmSW_a%3DoLQ8aPdj6hYMFrAM%3D%3DReQ%40mail.gmail.com.

Re: [Logica-l] new open textbook on incompleteness

[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  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 logica-l+unsubscr...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logica-l@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.carnie...@cle.unicamp.br
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 logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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/CA%2Bob58OnbDZAHdGb%3DQm9jjp8zzVpq3AsF7UTkOkLxph%3DT58MGA%40mail.gmail.com.