Penrose–Lucas argument ^{الإنجليزية} (Q5752319)

Claim that human mathematicians are not describable as formal proof systems ^{الإنجليزية}

اللغة	التسمية	الوصف	أسماء أخرى
العربية	لم تُضف التسمية	لا يوجد وصف
الإنجليزية	Penrose–Lucas argument	Claim that human mathematicians are not describable as formal proof systems

بيانات

Wikidata item ^{الإنجليزية}

٠ مرجع

١ مراجع

instance of ^{الإنجليزية}

philosophical argument ^{الإنجليزية}

١ مراجع