8 citations · 16 across the 22 of their papers we have counts for
1 paper · 1 filter
Bhupinder Singh Anand
Classical interpretations of Goedel's formal reasoning imply that the truth of some arithmetical propositions of any formal mathematical language, under any interpretation, is esse…