8 citations · 17 across the 28 of their papers we have counts for
Showing 2006 · math.GMShow all
3 papers · 2 filters
math.GM2006
Why we shouldn't fault Lucas and Penrose for continuing to believe in the Goedelian argument against computationalism
Bhupinder Singh Anand
The only fault we can fairly lay at Lucas' and Penrose's doors, for continuing to believe in the essential soundness of the Goedelian argument, is their naive faith in, first, non-…
math.GM2006
Why Brouwer was right in suggesting that Hilbert's Law of the Excluded Middle needed qualification
Bhupinder Singh Anand
We reproduce Hilbert's axiomatic formalisation of Number Theory, and argue that his enunciation of the Law of the Excluded Middle is inconsistent with a Turing-verifiable model of…
math.GM2006★ 1 cited
An elementary proof that P =/= NP
Bhupinder Singh Anand
We show that, if PA has no non-standard models, then P=/=NP. We then give an elementary proof that PA has no non-standard models.