William Boone (mathematician)
विलियम वर्नर बून (16 जनवरी 1920 सिनसिनाटी में-14 सितंबर 1983 अर्बाना, इलिनोइस में) एक अमेरिकी गणितशास्त्री थे। उन्होंने सिनसिनाटी विश्वविद्यालय में अंशकालिक छात्र के रूप में अपनी स्नातक की डिग्री पूरी की। अलोंजो चर्च प्रिंसटन में उनके पीएचडी सलाहकार थे, और कर्ट गोडेल इंस्टीट्यूट फॉर एडवांस्ड स्टडी में उनके दोस्त थे। प्योत्र नोविकोव ने 1955 में दिखाया कि एक सीमित रूप से प्रस्तुत समूह जी मौजूद है जैसे कि जी के लिए समस्या शब्द अनिश्चित है। 1958 में प्रकाशित एक पेपर में बून द्वारा एक अलग प्रमाण प्राप्त किया गया था। चयनित प्रकाशन डब्ल्यू. डब्ल्यू. बून, संपूर्ण रूप से बीजगणितीय और तार्किक प्रणालियों के बारे में निर्णय समस्याएं और अपरिवर्तनीयता की पुनरावर्ती रूप से गणना योग्य डिग्री। 1968 गणित में योगदान। लॉजिक (कोलोक्वियम, हनोवर, 1966), नॉर्थ-हॉलैंड, एम्स्टर्डम। डब्ल्यू. डब्ल्यू. बून, रोजर लिंडन, फ्रैंक कैनोनिटो, शब्द समस्याएँः समूह सिद्धांत में निर्णय समस्या, नॉर्थ-हॉलैंड, 1973। कर्ट गोडेलः कलेक्टेड वर्क्सः ऑक्सफोर्ड यूनिवर्सिटी प्रेसः न्यूयॉर्क। प्रधान संपादकः सोलोमन फेफरमैन, खंड IV: पत्राचार, ए-जी,। 1920 जन्म 1983 मृत्यु 20वीं शताब्दी के अमेरिकी गणितशास्त्री सिनसिनाटी विश्वविद्यालय के पूर्व छात्र प्रिंसटन विश्वविद्यालय के पूर्व छात्र अमेरिकी तर्कशास्त्री इलिनोइस विश्वविद्यालय अर्बाना-शैंपेन संकाय ओहियो समूह के सिद्धांतकारों से सिनसिनाटी के लोग