[deleted] comments on Edward Nelson claims proof of inconsistency in Peano Arithmetic

[[deleted]]

See Nelsons paper where he talks about the qualitative difference between types of recursion.