William Boone (mathematician)
વિલિયમ વર્નર બૂન (સિનસિનાટીમાં 16 જાન્યુઆરી 1920-અર્બાના, ઇલિનોઇસમાં 14 સપ્ટેમ્બર 1983) એક અમેરિકન ગણિતશાસ્ત્રી હતા. તેમણે સિનસિનાટી યુનિવર્સિટીમાં પાર્ટ ટાઇમ વિદ્યાર્થી તરીકે તેમની અંડરગ્રેજ્યુએટ ડિગ્રી પૂર્ણ કરી. અલોન્ઝો ચર્ચ પ્રિન્સટન ખાતે તેમના પીએચ. ડી. સલાહકાર હતા, અને કર્ટ ગોડેલ ઇન્સ્ટિટ્યૂટ ફોર એડવાન્સ્ડ સ્ટડીમાં તેમના મિત્ર હતા. પ્યોત્ર નોવિકોવે 1955માં દર્શાવ્યું હતું કે ત્યાં એક મર્યાદિત રીતે પ્રસ્તુત જૂથ G અસ્તિત્વમાં છે જેથી G માટે સમસ્યા શબ્દ અનિશ્ચિત છે. 1958માં પ્રકાશિત થયેલા એક પેપરમાં બૂને એક અલગ પુરાવો મેળવ્યો હતો. પસંદ કરેલા પ્રકાશનો ડબલ્યુ. ડબલ્યુ. બૂન, સંપૂર્ણ રીતે બીજગણિત અને તાર્કિક પ્રણાલીઓ વિશેની નિર્ણય સમસ્યાઓ અને પુનરાવર્તિત રીતે વણઉકેલાયેલી સંખ્યાઓની સંખ્યા. 1968 ગણિતમાં યોગદાન. લોજિક (કોલોક્વિયમ, હનોવર, 1966), નોર્થ-હોલેન્ડ, એમ્સ્ટરડેમ. ડબલ્યુ. ડબલ્યુ. બૂન, રોજર લિન્ડન, ફ્રેન્ક કેનોનિટો, વર્ડ પ્રોબ્લેમ્સઃ ડિસિઝન પ્રોબ્લેમ્ ઇન ગ્રૂપ થિયરી, નોર્થ-હોલેન્ડ, 1973. કર્ટ ગોડેલઃ કલેક્ટેડ વર્ક્સઃ ઓક્સફર્ડ યુનિવર્સિટી પ્રેસઃ ન્યૂ યોર્ક. મુખ્ય સંપાદકઃ સોલોમન ફેફરમેન, વોલ્યુમ IV: પત્રવ્યવહાર, એ-જી,. 1920 જન્મ 1983 મૃત્યુ 20મી સદીના અમેરિકન ગણિતશાસ્ત્રીઓ યુનિવર્સિટી ઓફ સિનસિનાટીના ભૂતપૂર્વ વિદ્યાર્થીઓ પ્રિન્સટન યુનિવર્સિટીના ભૂતપૂર્વ વિદ્યાર્થીઓ અમેરિકન તર્કશાસ્ત્રીઓ યુનિવર્સિટી ઓફ ઇલિનોઇસ અર્બાના-શેમ્પેઇન ફેકલ્ટી ઓહિયોના સિનસિનાટી ગણિતશાસ્ત્રીઓના લોકો જૂથ સિદ્ધાંતવાદીઓ