Em matemática e lógica, impredicatividade é a propriedade de uma definição autorreferenciável. Mais precisamente, a definição é chamada impredicativo...
11 KB (1,658 words) - 20:45, 25 October 2024
Em linguagens de programação e teoria dos tipos, polimorfismo paramétrico é uma forma de se tornar uma linguagem mais expressiva, enquanto continua mantendo...
11 KB (1,386 words) - 16:01, 26 September 2024
matemático Hermann Weyl pela lógica intuicionista e pela noção de impredicatividade teria resultado de contatos com Husserl. Na verdade, a impulsão primeira...
41 KB (4,900 words) - 19:45, 6 April 2024
extensão não é universalmente aceita por intuicionistas porque permite impredicatividade, isto é, construções circulares que são frequentemente identificadas...
16 KB (2,732 words) - 12:23, 29 December 2018