ويليام بون (عالم رياضيات)

كان ويليام فيرنر بون (16 يناير 1920 في سينسيناتي - 14 سبتمبر 1983 في أوربانا، إلينوي ) عالم رياضيات أمريكي. أكمل دراسته الجامعية كطالب بدوام جزئي في جامعة سينسيناتي . ^{[ 1 ]}

كان ألونزو تشيرش مشرفًا على أطروحته للدكتوراه في جامعة برينستون ، وكان كورت غودل صديقه في معهد الدراسات المتقدمة .

أثبت بيوتر نوفيكوف في عام 1955 وجود زمرة G ذات عرض منتهٍ بحيث تكون مسألة الكلمات الخاصة بـ G غير قابلة للتقرير. ^{[ 2 ]} وقدّم بون برهانًا مختلفًا في ورقة بحثية نُشرت عام 1958. ^{[ 3 ]}

• دبليو دبليو بون، مسائل القرار المتعلقة بالأنظمة الجبرية والمنطقية ككل ودرجات عدم قابلية الحل القابلة للتعداد بشكل متكرر. 1968 مساهمات في المنطق الرياضي (ندوة، هانوفر، 1966)، نورث هولاند، أمستردام.
• WW Boone, Roger Lyndon , Frank Cannonito, مسائل كلامية: مشكلة القرار في نظرية المجموعة ، نورث هولاند، 1973.

• كورت غودل: الأعمال الكاملة : مطبعة جامعة أكسفورد: نيويورك. رئيس التحرير: سولومون فيفرمان ، المجلد الرابع: المراسلات، من أ إلى ج، رقم ISBN 978-0-19-850073-5.
• أوكونور، جون جيه؛ روبرتسون، إدموند إف ، "ويليام فيرنر بون" ، أرشيف ماك تيوتور لتاريخ الرياضيات ، جامعة سانت أندروز
• ويليام ويرنر بون في مشروع علم الأنساب الرياضي