روجر بنروز
صاغ روجر بنروز الفرضية لأول مرة في عام 1969، ولم يتم ذكرها بطريقة رسمية تمامًا. بمعنى أنه مقترح لبرنامج بحث: جزء من البحث هو العثور على بيان رسمي مناسب معقول ماديًا وقابل للتزوير ويكون عامًا بما يكفي ليكون مثيرًا للاهتمام. نظرًا لأن البيان ليس رسميًا تمامًا، فهناك خط عرض كافٍ (على الأقل) لصيغتين مستقلتين، وشكل ضعيف، وشكل قوي.