تمام دانشمندان ریاضی

جان ون

در چهارم آگوست سال 1834 در یک خانواده برجسته مذهبی، در انگلستان متولد شد. هنگامی که او جوان بود پدرش، هنری ون، به لندن سفر کرد تا به عنوان عضو افتخاری انجمن مبلغین کلیسا مشغول به کار شود. ون تحصیلات خود را در لندن، در مدرسه Sir Roger Cholmley's School  آغاز کرد که اکنون با نام  Highgate  School شناخته می‌شود. در سال 1853 بعد از فارغ التحصیل شدن از دبیرستان در کالج‌های Gonville و Caius در کمبریج نام نویسی کرد. او در سال 1854 به عنوان یک محقق ریاضی برگزیده شد و در سال 1857 مدرک لیسانس خود را دریافت کرد. همچنین ون در سال 1857 به عنوان مرد اول کالج شناخته شد و تا سالهای بعد هم این عنوان را به خود اختصاص داد. پیشینه خانوادگی او، ون را به سوی مسایل مذهبی سوق می‌داد که به این ترتیب او در سال 1858 در کلیسای ایلی به عنوان خادم و در سال 1859  به عنوان کشیش به فعالیت پرداخت و بعد از آن تا هنگامی که به عنوان مدرس در علوم اخلاق به کمبریج بازگردد، دفاتری را در شهرهای مختلف از جمله Cheshunt, Hertfordshire, Mortlake, Surrey  دایر کرد.
ون سی سال بعد به منطق علاقه‌مند شد و حدود سه مقاله در این باره منتشر نمود. او کتاب منطق شانس را در سال 1866، کتاب منطق سمبلیک را در سال 1881 و کتاب قانون تجربی منطق را در سال 1889 به رشته تحریر در آورد. هنگامی که ون تحقیقات خود را در سال 1883 در مورد منطق ادامه داد بدلیل مشغله زیاد از کار خود در کلیسا کناره گیری نمود. او همچنین دارای مهارت‌هایی در زمینه ساخت ماشین آلات بود، و او از این استعداد خود استفاده نمود و ماشینی برای بازی بولینگ ساخت که هنگامی که تیم کراکت استرالیا در سال 1909 از کمبریج بازدید کردند ماشین ون نمایش جالبی را برای آنها اجرا نمود. در ســال 1883 ون در جامعه سلطنتی انگلستان برگزیده شد و کمبریج به او مدرک دکترای علوم (ScD) را اهدا نمود. در ســال 1897 بـعد از چاپ سومــین کــتابش در منـطق، تاریـخــچه و خاطراتی را از کــالج خود نوشت و در کمبریج مشغول به کار شد. او نوشتن خاطرات را ادامه داد و چاپ آنها که بالغ بر هشت جلد کتاب بود در سال 1897 آغاز شد. او سرانجام در چهارم آپریل سال 1923، پس از 88 سال زندگی پر بار درگذشت.
جان ون به طور کلی به خاطر دیاگرام های منطقی خود بسیار معروف است. البته استفاده از نمایش هندسی برای شرح دادن منطق استدلالی، چیزی نبود که ون آن را ابداع کرده باشد بلکه در حقیقت گوتفرد ویلهلم لایب نیتز از آنها استفاده کرده است. ون دیاگرامهایی را که در قرن نوزدهم از جمله توسط بول و آگوستوس دمورگان مورد استفاده قرار می‌گرفت، مورد انتقاد قرار داد و کتاب Symbolic Logic را مخصوصاً برای تصحیح این روشها و مطرح کردن نظرات خود نوشت. اما این دلیل معروف شدن ون نبود، قبل از چاپ این کتاب ون مقاله ای درباره نمایش مکانیکی و نموداری موضوعات و استدلال‌ها نوشت که در آن، آنچه که امروزه به عنوان نمودار ون (دیاگرام ون) می‌شناسیم معرفی شده است. این مقاله در جولای سال 1880 در مجله مجله فلسفی و ژورنال علوم به چاپ رسید. ون در کتاب منطق سمبولیک در مورد این دیاگرامها با جزییات بیشتر توضیح داد که این توضیحات بخش اعظم این کتاب را تشکیل می‌دادند.

نمودار ون نقش بسیار مهمی در منطق او و نیز تلاش او برای بیان آنچه او در منطق بول متناقض و مبهم می‌یافت، دارد. بعدها او متوجه شد نمودارهای او به قدر کافی عمومی نمی‌باشند لذا او روش خود را با استفاده از تعداد دایره‌های بیشتری که صفحه را به نواحی مختلفی افراز می‌کنند و هر دایره با دایره‌های دیگر دارای اشتراک است، گسترش داد. این روش بوسیله چارلز داگسون که در سال‌های 1832 تا 1898 زندگی می‌کرد بهبود یافت و اندیشه های او باعث شد که از یک ناحیه بسته به عنوان مکمل با متمم دایره های استفاده شود چیزی که امروزه به آن مجموعه مرجع می‌گوییم.