[Logica-l] like dirt under the carpet, the incompleteness just won’t go away

2016-11-24 Por tôpico Joao Marcos
The shaky foundations of mathematics We cannot be certain that the standard axiomatic systems never lead to contradictions (brevíssimo artigo de divulgação, por Peter Lynch) http://www.irishtimes.com/news/science/the-shaky-foundations-of-mathematics-1.2877075 -- Você está recebendo esta mensa

Re: [Logica-l] like dirt under the carpet, the incompleteness just won’t go away

2016-11-24 Por tôpico Walter Alexandre Carnielli
Breve e inútil. Mereceria ser publicado na " Superrinteressante". Mas acho que para isso teria que ser melhorado... W. > Em 24 de nov de 2016, às 15:35, Joao Marcos escreveu: > > The shaky foundations of mathematics > We cannot be certain that the standard > axiomatic systems never lead to c

Re: [Logica-l] like dirt under the carpet, the incompleteness just won’t go away

2016-11-24 Por tôpico Joao Marcos
Precisamos certamente de mais artigos breves e inúteis como este. Divulgação científica é importante, e pouca gente faz bem, no Brasil. Em tempo: viver como free-lancer para a revista SuperInteressante é bastante desafiante ($$$). JM PS: Curioso precisarmos de um professor aposentado da área de

[Logica-l] Fwd: [LOGIC] PhDs in Logic IX, Bochum (Germany), 2-4 May 2017

2016-11-24 Por tôpico Joao Marcos
-- Forwarded message -- Call for submissions: PhDs in Logic IX, Bochum, 2nd - 4th May 2017 PhDs in Logic is an annual graduate conference organised by local graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philoso

[Logica-l] Fwd: APMP IV: Philosophy of Mathematical Practice, Salvador da Bahia (Brazil), 23-27 Oct 2017

2016-11-24 Por tôpico Joao Marcos
-- Forwarded message -- Fourth International Meeting of the Association for Philosophy of Mathematical Practice (APMP) The Fourth International Meeting of the Association for the Philosophy of Mathematical Practice (http://www.philmathpractice.org) will be held on October 23-27, 2