1 citations · 1 across the 6 of their papers we have counts for
1 paper · 1 filter
Paola Cattabriga
The predicate complementary to the well-known Godel's provability predicate is defined. From its recursiveness new consequences concerning the incompleteness argumentation are draw…