Olá.
Os eventos recentes sobre a questão NP=PSPACE são os seguintes:
1) Na lista FOM, Alaisdair Urquhart disse que o resultado NP=PSPACE parecia
contradizer um resultado de 2007 sobre um exponential lower-bound no
tamanho de provas na lógica intuicionista.
2) O Hermann acaba de responder na list
Caros João Marcos e Hermógenes.
Muito obrigado pela clarificação. O que o Hermógenes aponta vai na direção
de elucidar as diferenças. A prova de [Turing 1936] sobre a existência de
nũmeros não computáveis, esboçada pelo João, realmente demonstra que "Nem
todo número real é computável".
Em lógica
2016-10-13 13:35 GMT+02:00 Marcelo Finger :
> 2) O Hermann acaba de responder na lista FOM explicando por que não há
> contradição. O dito resultado trata do número de linhas em provas
> axiomáticas, a la Hilbert, enquanto que a prova deles trata da compactação
> de provas em DAGs, e portanto o re
Pessoal,
Repasso aqui divulgação de livro. Talvez interesse a alguns na lista. Um
coveiro narrando episódios da história da matemática. É certamente original e
me parece promissor. Além disso, está disponível para download gratuito!
Saudações,
Daniel
+
> De: Raquel Anna Sapunaru
> Assunt
*** Apologies for multiple copies, please redistribute ***
FIRST CALL FOR PAPERS
FroCoS 2017
11th International Symposium on Frontiers of Combining Systems
Brasilia, Brazil
Com algum atraso, saiu só agora na imprensa a notícia de Jónsson das
álgebras de Jónsson-Tarski e da dualidade de Jónsson-Tarski faleceu há
duas semanas.
http://www.ccenterdispatch.com/news/state/article_183ee6e3-209c-540a-b3bb-5867e7f438bd.html
JM
--
Você está recebendo esta mensagem porque se
