Minds vs Machines: Historical and logical-philosophical review of the Lucas-Penrose’s Gödelian argument