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