1 paper · 1 filter
Stefano Crespi Reghizzi
The classical logical antinomy known as Richard-Berry paradox is combined with plausible assumptions about the size i.e. the descriptional complexity of Turing machines formalizing…