@article{rucker_2020, 
  title={A Note on the Lucas Argument}, 
  volume={34}, 
  abstractNote={DOI: http://doi.org/10.26333/sts.xxxiv1.04


We're talking about J. Anthony Lucas's classic argument that Gödel's Second Incompleteness Theorem rules out man-machine equivalence. This is an argument that Penrose revived and popularized in the 1990s. This fallacious argument is a thoroughly dead horse. But I'll give it another beating here. Do note that the Lucas-Penrose argument is a completely distinct issue from PenroseHameroff speculation that the brain can act as a coherent quantum computer. It's to Penrose's credit that he's associated with multiple controversial ideas!}, 
  publisher={Polskie Towarzystwo Semiotyczne / The Polish Semiotic Society}, 
  author={Rucker}, 
  year={2020}
  }