Perguntas com a marcação «independence»

3
P contém idiomas cuja existência é independente do PA ou ZFC? (Wiki da comunidade TCS)
Resposta: desconhecida. As perguntas são naturais, abertas e aparentemente difíceis; a questão agora é um wiki da comunidade. Visão geral A questão procura dividir as linguagens pertencentes à classe de complexidade - junto com as máquinas de decisão de Turing (TMs) que aceitam essas linguagens - em duas subclasses complementares:PPP …


Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.