ऐसा लगता है कि जॉर्ज गॉंटियर और उनके सहयोगियों ने ऑड ऑर्डर प्रमेय को औपचारिक रूप दिया है ।
फोर कलर थ्योरम पर अपने पहले के काम में, गॉंटियर ने नए एल्गोरिदम (ज्यादातर BDDs और ग्राफ एल्गोरिदम के वेरिएंट) का एक गुच्छा का आविष्कार किया था जो विशेष रूप से औपचारिक सत्यापन के लिए उत्तरदायी थे। चूंकि उन्होंने कहा है कि वह परिमित समूह सिद्धांत पर काम में सत्यापन की इस छोटे पैमाने की प्रतिबिंब शैली का उपयोग करना जारी रख रहे थे, मुझे आश्चर्य है कि इस विकास के दौरान क्या नई एल्गोरिदमिक चालें विकसित की गईं?
संदर्भ के लिए en.wikipedia.org/wiki/Feit%E2%80%93Thompson_theorem (विषम क्रम का प्रत्येक परिमित समूह हल है)
—
राडू ग्रिगोर
इस सवालों के जवाब देने के लिए गॉंटियर को प्राप्त करना संभव होना चाहिए। कोई है जो उनके कार्यालय के करीब है, कृपया उसे यहाँ इंगित करें। उसे बताएं कि हम उसके बहुत बड़े प्रशंसक हैं।
—
बॉयर
इस पर काम करने वाले किसी व्यक्ति से बात करने से: नहीं। उन्होंने कई सबूतों के लिए सभी प्रकार के चतुर शोधन का आविष्कार किया, और कई सिद्धांत विकासों का पुनर्गठन किया, लेकिन इसमें शामिल एल्गोरिदम दिलचस्प नहीं हैं - वास्तव में, उनमें से कई गूंगा जानवर बल हैं, दिलचस्प के विपरीत।
—
जैक्स केयरटे
@JacquesC सिगरेट: मुझे लगता है कि इसका जवाब होना चाहिए, क्योंकि कुछ वर्षों में इस पर कुछ भी नहीं बदला है ...
—
यहोशू ग्रूचो