Em matemática e lógica, impredicatividade é a propriedade de uma definição autorreferenciável. Mais precisamente, a definição é chamada impredicativo...

Em linguagens de programação e teoria dos tipos, polimorfismo paramétrico é uma forma de se tornar uma linguagem mais expressiva, enquanto continua mantendo...

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...

extensão não é universalmente aceita por intuicionistas porque permite impredicatividade, isto é, construções circulares que são frequentemente identificadas...