'इसाबेल' (प्रमेय कहावत) को इसका नाम कैसे मिला?

Question

शीर्षक यह सब कहता है, लेकिन मैं उत्सुक हूं क्योंकि यह स्पष्ट नहीं है कि एक प्रमेय कहावत का नाम 'इसाबेल' है। क्या इसका नाम किसी व्यक्ति के लिए रखा गया था? मैं कुछ Google खोजों द्वारा पता नहीं लगा सका।

Comments

क्या आपने इसाबेल उपयोगकर्ताओं को मेलिंग सूची पर पूछने की कोशिश की है?

— डीडब्ल्यू

मैंने ऐसा नहीं किया है - मैंने कभी इसाबेल का उपयोग नहीं किया है - मैंने केवल एक पेपर पढ़ा है जो इसका उपयोग करता है।

— आईआईएम

यह सवाल मुझे अपमानजनक लगता है क्योंकि यह एक सॉफ्टवेयर आर्टिफिशियल के इतिहास के बारे में है, न कि सीएस आर्टवर्क के बारे में। उस ने कहा, इसाबेल के बारे में लेख प्रकाशित किए गए हैं इसलिए मैं समुदाय को निर्णय लेने दूंगा।

— राफेल

विकिपीडिया ने :-)

— मार्क हर्ड

Answer 1

थोड़ा सा गूगल-फू (और मेरी अपनी याददाश्त) मुझे बताती है कि यह स्पष्ट रूप से लैरी पॉलसन ने जेरार्ड ह्यूइट की बेटी के नाम पर रखा था ।

गेरार्ड हुआट कम लोगों के पीछे से एक है जो कूक प्रमेय कहा जाता है ।

छोटी सी दुनिया!

Comments

Coq नाम कम काव्य कैसे है? यह तीन से कम शब्दों पर सजा नहीं है (सिद्धांत की गणना CoC, सिद्धांत थियरी के संस्थापकों में से एक, और रोस्टर के लिए फ्रांसीसी शब्द (जो फ्रांस का एक प्रतीक है, और अधिकांश कोक संस्थापक फ्रांसीसी थे)) ।

— गिल्स एसओ- बुराई को रोकना '

Coq नाम निश्चित रूप से चतुर है (एक अतिरिक्त बाधा थी कि अकादमिक प्रोग्रामिंग भाषाओं का नाम एक जानवर के नाम पर रखा गया था, उदाहरण के लिए Ocaml देखें) लेकिन मुझे लगता है कि यह थोड़ा कम काव्यात्मक है, विशेष रूप से अतिरिक्त वाक्य (अंग्रेजी में कम से कम) दिया गया है कि मैं जानबूझकर होने के लिए गेरहार्ड हेट से आगे नहीं रखा गया।

— कोड़ी