activity
20022009
most citedSome consequences of a recursive number-theoretic relation that is not the standard interpretation of any of its formal representations

8 citations · 17 across the 27 of their papers we have counts for

collaborators
Showing 2009Show all

1 paper · 1 filter

math.GM2009

The significance of Nathanson's 'boss' factor in legitimising Aristotle's particularisation: Why we need to revise current interpretations of Cantor's, Goedel's, Turing's and Tarski's formal reasoning

Bhupinder Singh Anand

I show--contrary to common beliefs tolerated by the 'bosses'--that any interpretation of ZF that admits Aristotle's particularisation is not sound; that the standard interpretation…