A maioria dos tutoriais sobre o Cálculo Lambda fornece um exemplo em que números inteiros positivos e booleanos podem ser representados por funções. E quanto a -1 e
Recentemente, um aluno me pediu para verificar uma prova de dureza NP para eles. Eles realizaram uma redução ao longo das linhas de: Reduzo esse problema P′P′P' que é conhecido como NP-completo para o meu problema (com uma redução de múltiplos de um tempo múltiplo), de modo que é...
Como é possível decidir se possui alguma sequência de dígitos? ππ\pime inspirou a perguntar se a seguinte variação de aparência inocente é computável: f(n)={10if n¯ occurs in the decimal representation of πotherwisef(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) =...
O ponto flutuante atual (flutuante ANSI C, duplo) permite representar uma aproximação de um número real. Existe alguma maneira de representar números reais sem erros ? Aqui está uma ideia que tive, que é tudo menos perfeita. Por exemplo, 1/3 é 0,33333333 ... (base 10) ou 0,01010101 ... (base 2),...
O "teorema de Rice para os reais computáveis" - ou seja, nenhuma propriedade não trivial do número representado por um determinado real computável é decidível - é verdade? Isso corresponde de alguma maneira direta à conexão dos
O COQ é um provador de teoremas interativo que usa o cálculo de construções indutivas, ou seja, depende muito de tipos indutivos. Usando isso, estruturas discretas como números naturais, números racionais, gráficos, gramáticas, semânticas etc. são representadas de forma muito concisa. No entanto,...
Suponha que tenhamos uma árvore na qual as folhas sejam rotuladas com um conjunto de números LLLe nós internos com um conjunto de operações OOO. Em particular LLL pode ser N,ZN,Z\mathbb{N}, \mathbb{Z} ou QQ\mathbb{Q}e, opcionalmente, pode conter ππ\pi e / ou eee. OOO pode ser qualquer subconjunto...