William Boone (mathematician)
ولیم ورنر بون (16 جنوری 1920 سنسناٹی میں-14 ستمبر 1983 اربانا، الینوائے میں) ایک امریکی ریاضی دان تھا۔ انہوں نے سنسناٹی یونیورسٹی میں جز وقتی طالب علم کے طور پر اپنی انڈرگریجویٹ ڈگری مکمل کی۔ الونزو چرچ پرنسٹن میں ان کے پی ایچ ڈی کے مشیر تھے، اور کرٹ گوڈل انسٹی ٹیوٹ فار ایڈوانسڈ اسٹڈی میں ان کے دوست تھے۔ پیوٹر نووکوف نے 1955 میں دکھایا کہ ایک حتمی طور پر پیش کردہ گروپ G موجود ہے جس میں G کے لیے لفظ مسئلہ ناقابل فیصلہ ہے۔ 1958 میں شائع ہونے والے ایک مقالے میں بون نے ایک مختلف ثبوت حاصل کیا تھا۔ منتخب اشاعتیں ڈبلیو ڈبلیو بون، مجموعی طور پر الجبرائی اور منطقی نظاموں کے بارے میں فیصلہ سازی کے مسائل اور ناقابل حل ہونے کی بار بار قابل ذکر ڈگریاں۔ 1968 ریاضی میں شراکت۔ منطق (کولوکیم، ہنوور، 1966)، نارتھ ہالینڈ، ایمسٹرڈیم۔ ڈبلیو ڈبلیو بون، راجر لنڈن، فرینک کینونیٹو، لفظ کے مسائل: گروپ تھیوری میں فیصلہ کا مسئلہ، نارتھ ہالینڈ، 1973۔ حوالہ جات کرٹ گوڈل: کلیکٹڈ ورکس: آکسفورڈ یونیورسٹی پریس: نیویارک۔ ایڈیٹر ان چیف: سولومن فیفرمین، جلد IV: خط و کتابت، اے-جی،۔ 1920 پیدائش 1983 موت 20 ویں صدی کے امریکی ریاضی دان سنسناٹی یونیورسٹی کے سابق طالب علم پرنسٹن یونیورسٹی کے سابق طالب علم امریکی منطق یونیورسٹی الینوائے اربانا-شیمپین فیکلٹی لوگ سنسناٹی ریاضی دان اوہائیو گروپ تھیوریسٹس سے