در سال ۱۹۷۷، نشان داده شد که [[مسئله وایت هد|مسئلهٔ وایت هد]] در نظریهٔ گروه‌ها تصمیم ناپذیر است.
== دستگاههادستگاه‌ها و ذهن‌ها ==
برخی نویسندگان مثل J. R. LucasبرLucas اینبر باوراین اندباورند که قضایای گدلگودل در مورد هوش انسان نیز درست هستند. بیشتر مباحثات در این زمینه‌استزمینه است که آیا ذهن باشربشر هم ارزهم‌ارز با دستگاه تورینگ، یا [[تز چرچ-تورینگ]](Church-Turing thesis)، یا هر دستگاه متناهی دیگر است یا نه. اگر این گونه باشد و این دستگاه استوار هم باشد، آنگاه قضایای گدلگودل می‌توانند در مورد آنآن به کار روند.
[[Hilaryهیلاری Putnamپاتنم]] پیشنهاد کرد که قضایاقضایای ی گدلگودل در مورد ذهن باشربشر نمی‌تواند به کار رود، چون اشتباه می‌کند و بنابرین استوار نیست.، شاید بتوان آن را در مورد توانایی باشربشر در علم یا ریاضیات در کل به کار برد. اگر ما بر این باور باشیم که استوار است، آنگاه نمی‌توانیم استواری آن را ثابت کنیم، یا نمی‌توانیم آن را به صورت دستگاه تورینگ نشان دهیم.
