Life and career
John Venn was born on 4 August 1834 in Kingston upon Hull, Yorkshire, to Martha Sykes and Rev. Henry Venn, who was the rector of the parish of Drypool. His mother died when he was three years old. Venn was descended from a long line of church evangelicals, including his grandfather John Venn. Venn was brought up in a very strict atmosphere at home. His father Henry had played a significant part in the Evangelical movement and he was also the secretary of the Society for Missions to Africa and the East, establishing eight bishoprics overseas. His grandfather was pastor to William Wilberforce of the abolitionist movement, in Clapham.
He began his education in London joining Sir Roger Cholmeley’s School, now known as Highgate School, with his brother Henry in September 1846. He moved on to Islington Proprietary School and in October 1853, he went to Gonville and Caius College, Cambridge. In 1857, he obtained his degree in mathematics and became a fellow. In 1903 he was elected President of the College, a post he held until his death. He followed his family vocation and became an Anglican priest, ordained in 1859, serving first at the church in Cheshunt, Hertfordshire, and later in Mortlake, Surrey.
In 1862, he returned to Cambridge as a lecturer in moral science, studying and teaching logic and probability theory, and, beginning around 1869, giving intercollegiate lectures. These duties led to his developing the diagram which would eventually bear his name.
He built rare machines. A certain machine was meant to bowl cricket balls. The machine was so fascinating that when Australian cricketers were visiting Cambridge, the machines were used to entertain their arrival. The bowling machine that Venn built actually bowled out the top ranked player of the team four times consecutively.
In 1868, he married Susanna Carnegie Edmonstone with whom he had one son, John Archibald Venn. His son entered the mathematics field as well.
In 1883, he resigned from the clergy, having concluded that Anglicanism was incompatible with his philosophical beliefs. In that same year, Venn was elected a Fellow of the Royal Society, and in 1884, he was awarded a Sc.D. by Cambridge.
He died on 4 April 1923.
Последние заданные вопросы в категории Математика
Математика 20.10.2023 08:41 14 Александра Дорош
В ящике 120 кг пшена. После того, как из ящика наполнили мешок пшеном, в ящике осталось 65% всего пш
Ответов: 1
Математика 20.10.2023 08:38 19 Егор Барский
191упр 1и2столбик прошу по бырому
Ответов: 1
Математика 20.10.2023 08:31 21 Мяделец Юлия
Решить уравнения 1)4,5(х-1)-2,3(х+2)=2,1х 2)х+1/2х+1/3х=33
Ответов: 1
Математика 20.10.2023 08:21 14 Легка Марія
А.) 7/100 больше/меньше числа 7 в …. раз б,) 7/100 больше/меньше числа 7/10 в …. раз в.) 7/100
Ответов: 1
Математика 20.10.2023 08:21 25 Гарифулина Камилла
1 упаковки семян Достаточно того чтобы засеять участок земли площадью квадратных дециметров 50 квадр
Ответов: 1
Математика 20.10.2023 08:18 24 Крылов Димон
Дана аналитическая модель числового промежутка : -4<×<3. Определите , какой это промежуток. А)
Ответов: 1
Математика 20.10.2023 08:07 12 Жидик Ваня
-2(х-2)-(5-х)=1 помогите пожалуйста
Ответов: 1
Математика 20.10.2023 08:01 11 Мирная Лера
В одной гирлянде 36 лампочек ,что на 12 лампочек больше, чем в другой гирлянде. Сколько лампочек в д
Ответов: 2
Математика 20.10.2023 08:00 7 Сорокина Даша
А Пете? Аааааааааааааа
Ответов: 1
Математика 20.10.2023 08:00 20 Кот Максим
периметр прямоугольника равен 24 см. Длина прямоугольника в 3 раза больше ей ширины. найти площадь п
Ответов: 1
Logic and computing
The visualization of sets (and databases) is helpful, but the importance of Venn’s work then—and now—is the way they allowed proof of George Boole’s ideas of logic as a formal science.
Venn used his diagrams to illustrate and explore such «symbolic logic»—defending and extending it. Symbolic logic underpins modern computing, and Boolean logic is a key part of the design of modern computer systems—making his work relevant today.
Venn’s work was also crucial to the work of philosopher Bertrand Russell, showing that there are problems that are unsolvable. We can express such problems with sets, in which each is an unsolvable problem. One such unsolvable problem can be expressed with the «Barber paradox.» Suppose we had an article in Wikipedia containing all the articles that don’t contain themselves—a set. Is this new article itself in that set?
Luckily we can visualize that with a Venn diagram with two circles, where one circle is the set of entries that don’t include themselves, A, and the other circle is the set of entries that do include themselves, B.
We can then ask the question: where do we put the article that contains all the articles that don’t contain themselves? Have a think about it, then see where you would put it.
A Venn diagram of two sets — a set A of articles that do contain themselves, and a set B of articles that don’t. Credit: The Conversation
The problem is that it cannot be on the left, as it would contain itself, and would therefore be inconsistent. And it cannot be on the right, as then it would be missing, or incomplete. And it can’t be in both. It must be in one or the other. This paradox illustrates how unsolvable statements can arise—they are valid in terms of expressing them within the logical system, but ultimately unanswerable. We could possibly extend our system to solve this, but then we would end up with another unanswerable question.
Venn’s diagrams were crucial in understanding this. And this area of science is still important, for example when considering the limitations of machine learning and AI, where we may ask questions that cannot be answered.
Venn also had an interest in building mechanical machines—including a bowling machine which proved so effective it was able to bowl out some top Australian batsmen of the day.
Following his abstract work on logic, he developed the concept of a logical-diagram machine with a lot of processing power: though this brilliant idea from 1881 would take many decades to appear as modern computers.
We remember Venn here in Hull, with a bridge close to his birthplace decorated with Venn circle inspired artwork. At the University of Hull’s main administration building, there’s an intersection of management and academia which is called the Venn building.
This article is republished from The Conversation under a Creative Commons license. Read the original article.
Citation:
Venn: The man behind the famous diagrams, and why his work still matters today (2023, April 14)
retrieved 20 October 2023
from https://phys.org/news/2023-04-venn-famous-diagrams-today.html
This document is subject to copyright. Apart from any fair dealing for the purpose of private study or research, no
part may be reproduced without the written permission. The content is provided for information purposes only.
Биография
Венн и его подпись
Джон родился в 1834 году в городе Кингстон-апон-Халл, в семье преподобного Генри Венна, который на момент рождения Джона был настоятелем прихода Драйпул вблизи Халла, и Марты Сайкс из Суонленда, которая скончалась, когда Джону было всего три года.
Отец Джона Венна известен своей ролью в евангельском христианском движении. «Общество миссий в Африке и на Востоке», которое было основано евангельским духовенством Английской церкви в 1799 году, а в 1812 году оно было переименовано в «Церковь миссионерского общества для Африки и Востока». Генри Венн был секретарём этого общества с 1841 года. Он переехал в Хайгейт неподалёку от Лондона, с тем чтобы исполнять свои обязанности, и занимал эту должность вплоть до своей смерти в 1873 году.
Джон Венн начал своё образование в Лондоне, в школе сэра Роджера Чолмели (Sir Roger Cholmeley), которая сейчас известна как школа Хайгейт, а затем учился в частной подготовительной школе Айлингтона. Как и следовало ожидать, Джон был строго воспитан, и не было сомнений, что он последует семейной традиции в христианском служении.
После школы Хайгейт (Highgate School) в он поступил в Гонвилл и Кай-колледж в Кембридже (Gonville and Caius College, Cambridge). Он был удостоен стипендии по математике на втором году обучения, и выпустился в 1857 году, заняв шестое место из числа студентов, которые получили первую степень по математике. Венн окончил колледж со степенью бакалавра искусств и вскоре был избран членом колледжа, коим оставался всю жизнь.
Через год после его окончания, в 1858 году он был посвящён в сан диакона в соборе Или (Ely Cathedral), а ещё через год был рукоположён в сан священника. Он служил викарием сначала в Чешант (Cheshunt), Хартфордшир, а затем в течение года в Мортлейк (Mortlake), графство Суррей. В 1862 году он вернулся в Кембриджский университет в качестве лектора по моральным наукам, изучая и преподавая логику и теорию вероятностей. Сильней всего он интересовался логикой, философией и метафизикой, читал трактаты де Моргана, Буля, Джона Остина, и Джона Стюарта Милля. В Кембридже он нашел общие интересы со многими учеными, такими, как, например, Айзек Тодхантер.
В 1867 он женился на Сюзанне Карнеги Эдмонстон, дочери преподобного Чарльза Эдмонстона. У них был один ребёнок, сын Джон Арчибальд Венн, который работал с отцом над совместными исследовательскими проектами, а в 1932 году стал президентом королевского колледжа в Кембридже (Queen’s College, Cambridge).
В 1883 году Венн был избран членом Королевского общества, а также был удостоен степени Доктора наук Кембриджа. В этом же году он оставил священство, потому что обнаружил, что больше не может следовать тридцати девяти законам Церкви Англии (Thirty-Nine Articles). В то время число споров вокруг этих законов увеличилось и многие люди потеряли веру в церковь.
Death
Venn died on April 4, 1923, in Cambridge, England.
QUICK FACTS
- Name: John Venn
- Birth Year: 1834
- Birth date: August 4, 1834
- Birth City: Kingston Upon Hull
- Birth Country: England
- Gender: Male
- Best Known For: Mathematician John Venn developed George Boole’s symbolic logic and is best known for Venn diagrams, which pictorially represent the relations between sets.
- Industries
Education and Academia
- Astrological Sign: Leo
- Schools
Gonville & Caius College, Cambridge
- Death Year: 1923
- Death date: April 4, 1923
- Death City: Cambridge
- Death Country: England
CITATION INFORMATION
- Article Title: John Venn Biography
- Author: Biography.com Editors
- Website Name: The Biography.com website
- Url: https://www.biography.com/scientists/john-venn
- Access Date:
- Publisher: A&E; Television Networks
- Last Updated: February 26, 2021
- Original Published Date: April 2, 2014
Венн-диаграммы в биоинформатике
Венн-диаграммы – это графические схемы, изобретатель которых, математик и логик Джон Венн, получил признание в научной области. Они используются как инструмент визуализации и анализа данных в различных областях, включая биоинформатику.
Суть венн-диаграмм заключается в представлении пересечений и отношений между различными множествами или группами элементов. Они позволяют наглядно показать общие и уникальные части данных, что облегчает анализ и сравнение информации.
В биоинформатике венн-диаграммы часто применяются для визуализации генов, белков, метаболитов и других биологических элементов. Это помогает исследователям лучше понять и охарактеризовать сложные взаимосвязи и перекрестные связи в биологических системах.
Например, венн-диаграммы могут быть использованы для сравнения экспрессии генов в разных тканях или условиях, выявления общих и специфических генов или белков в разных патологических состояниях, анализа сходства и различий между разными видами или штаммами организмов.
Для создания венн-диаграмм в биоинформатике используются специальные программы и инструменты, которые позволяют легко визуализировать и анализировать данные. Они позволяют настраивать цвета, размеры и стили диаграмм, а также добавлять подписи и метки для более точного представления информации.
Использование венн-диаграмм в биоинформатике позволяет исследователям получить более полное представление о сложных биологических системах и взаимосвязях между элементами. Это помогает в проведении более точных исследований, выявлении новых паттернов и закономерностей, а также разработке новых подходов и методов в биологической науке.
Описание Венн-диаграмм
Джон Венн был известным английским математиком и логиком, который изобрел визуализацию информации с помощью диаграмм, получивших его имя — Венн-диаграмм. Он стал изобретателем этого графического метода в 1881 году.
Диаграммы Венна используются для показа отношений между различными группами данных. Они представляют собой схемы, состоящие из окружностей или эллипсов, пересекающихся или не пересекающихся друг с другом. Каждый круг представляет собой набор объектов или категорий данных.
Венн-диаграммы позволяют наглядно представить перекрывающиеся свойства или отношения между различными множествами данных. Например, они могут быть использованы для сравнения и классификации различных групп или для выявления общих и уникальных элементов между ними.
Венн-диаграммы широко применяются в различных областях, таких как наука, образование, бизнес и маркетинг. Они помогают организовать и визуализировать сложные данные, делая их более понятными и доступными для анализа и принятия решений.
Применение Венн-диаграмм в биоинформатике
Джон Венн, английский статистик и логик, является известным изобретателем Венн-диаграмм. Венн-диаграммы — это графические схемы, используемые для визуализации логических отношений между множествами.
В биоинформатике Венн-диаграммы широко применяются для анализа данных и визуализации результатов исследований. С их помощью можно наглядно представить взаимодействие различных групп генов, белков или организмов, а также оценить общие и уникальные элементы, которые присутствуют в каждой группе.
Одним из основных применений Венн-диаграмм в биоинформатике является анализ пересечения генов или белков в различных условиях эксперимента. Например, при сравнении экспрессии генов в разных тканях или при сравнении выражения белков в разных биологических образцах. Венн-диаграммы позволяют наглядно представить пересечение между группами генов или белков и определить общие и специфические элементы.
Другим применением Венн-диаграмм в биоинформатике является анализ функциональной аннотации генов или белков. С их помощью можно определить, какие функции или пути обогащены в каждой группе, и определить уникальные или общие функции между различными группами.
Венн-диаграммы также используются в биоинформатике для анализа результатов секвенирования геномов или транскриптомов. С их помощью можно наглядно представить, какие гены или их комбинации наиболее часто встречаются в образце и оценить степень пересечения между различными группами.
В целом, Венн-диаграммы являются мощным инструментом для визуализации и анализа данных в биоинформатике. Они позволяют наглядно представить логические отношения между множествами и выявить общие и уникальные элементы, что помогает исследователям получить новые знания и сделать выводы на основе данных.
Внешние ссылки [ править ]
| Викискладе есть медиафайлы по теме Джона Венна . |
| В Викицитатнике есть цитаты, связанные с: Джоном Венном |
- База данных выпускников Кембриджа
- Архивы Венна проясняют запутанную временную шкалу различных Веннов.
- Некролог Джона Венна (New York Times)
- Портрет Венна по Чарльз Брок , а также ссылку на сайт о Венна
- Другой (более четкий) вид на витраж Венна
- Джон Венн в Find a Grave
| Авторитетный контроль |
|
|---|
Popular television series
- The Walking Dead (TV series) — American post-apocalyptic horror television series for AMC based on the comic book series by Robert Kirkman, Tony Moore, and Charlie Adlard. The series features a large ensemb…
- The Crown (TV series) — historical drama web television series about the reign of Queen Elizabeth II, created and principally written by Peter Morgan, and produced by Left Bank Pictures and Sony Pictures Tel…
- Elite (TV series) — Spanish thriller teen drama web television series created for Netflix by Carlos Montero and Darío Madrona. The series is set in Las Encinas, a fictional elite secondary school and revolv…
- Mighty Morphin Power Rangers — American superhero children’s television series that premiered on August 28, 1993, on the Fox Kids programming block. It is the first entry of the Power Rangers …
- Dead to Me (TV series) — American dark comedy web television series created by Liz Feldman and executively produced by Feldman, Will Ferrell, Adam McKay, and Jessica Elbaum. The series premiered on May 3, 2…
- Untitled Star Wars series — Untitled Star Wars series — Upcoming Star Wars live-action series about Cassian Andor. It was presented as space opera, drama (film and television). The television series starred Diego Luna….
- Manifest (TV series) — American supernatural drama television series, created by Jeff Rake, that premiered on September 24, 2018, on NBC. The series centers on the passengers and crew of a commercial airlin…
Thought and Works
Stained glass window in the dining hall of Gonville and Caius College, Cambridge, Cambridge, commemorating John Venn and the Venn diagram.
Venn’s main area of interest was logic, and he published three texts on the subject. In 1866, he published The Logic of Chance, which introduced the frequency interpretation of probability; in 1881, Symbolic Logic which introduced the Venn diagrams; and in 1899, The Principles of Empirical Logic.
Venn extended Boole’s mathematical logic and is best known to mathematicians and logicians for his diagrammatic way of representing sets, and their unions and intersections. He considered three discs R, S, and T as typical subsets of a set U. The intersections of these discs and their complements divide U into eight non-overlapping regions, the unions of which give 256 different Boolean combinations of the original sets R, S, T.
The use of geometrical representations to illustrate syllogistic logic did not originate with Venn; Gottfried Leibniz used them consistently. Venn became critical of the methods used in the nineteenth–century diagrams of George Boole and Augustus de Morgan, and wrote Symbolic Logic mostly to present his own interpretations and corrections of Boole’s work. Prior to the publishing of this book, his fame had already been established through a paper introducing Venn diagrams, On the Diagrammatic and Mechanical Representation of Prepositions and Reasonings, which appeared in the Philosophical Magazine and Journal of Science in July of 1880. Symbolic Logic further elaborated on these diagrams, and Venn continued to improve his method for illustrating propositions by exclusive and inclusive circles. Venn’s diagrams became the most consequential part of his logic trilogy, rather than his attempt to clarify what he believed to be inconsistencies and ambiguities in Boole’s logic.
Alumni Cantabrigienses, a biographical list of all the alumni of Cambridge compiled by Venn and his son, was a massive research project which proved invaluable to historians and genealogists. The first part contained 76,000 names and covered the period up to 1751. At the time of Venn’s death, the second part, covering the period from 1751 to 1900, existed in manuscript and contained a further 60,000 names.
Popular books
- Book of Revelation — The Book of Revelation is the final book of the New Testament, and consequently is also the final book of the Christian Bible. Its title is derived from the first word of the Koine Greek text: apok…
- Book of Genesis — account of the creation of the world, the early history of humanity, Israel’s ancestors and the origins…
- Michelin Guide — Michelin Guides are a series of guide books published by the French tyre company Michelin for more than a century. The term normally refers to the annually published Michelin Red Guide , the oldest…
- Gospel of Matthew — The Gospel According to Matthew is the first book of the New Testament and one of the three synoptic gospels. It tells how Israel’s Messiah, rejected and executed in Israel, pronounces judgement on …
- Ecclesiastes — Ecclesiastes is one of 24 books of the Tanakh , where it is classified as one of the Ketuvim . Originally written c. 450–200 BCE, it is also among the canonical Wisdom literature of the Old Tes…
- Psalms — The Book of Psalms , commonly referred to simply as Psalms , the Psalter or «the Psalms», is the first book of the Ketuvim , the third section of the Hebrew Bible, and thus a book of th…
- Little Nemo — fictional character created by American cartoonist Winsor McCay. He originated in an early comic strip by McCay, Dream of the Rarebit Fiend , before receiving his own spin-off seri…
Труды и работы
Основной областью интереса Джона была логика, и он опубликовал три работы по этой теме. Это были «Логика случая» (англ. The Logic of Chance), в которой вводится интерпретация частоты или частотная теория вероятностей в 1866; «Символьная логика» (англ. Symbolic Logic), в которой были введены диаграммы Венна в 1881; «Принципы эмпирической логики» (англ. The Principles of Empirical Logic) в 1889, в которой приводятся обоснования обратных операций в булевой логике.
Венн расширил математическую логику Буля и более всего известен среди математиков и логиков за его схематический способ представления множеств и их объединений и пересечений. Он рассмотрел три диска R, S, T и как типичные подмножества множества U. Пересечения этих дисков и их дополнений разделили U на восемь неперекрывающихся областей, объединения, которых дают 256 различных булевых комбинации исходных множеств R, S, T. Использование геометрических представлений для иллюстрации логики силлогизмов произошли не от Венна, ими часто пользовался Готфрид Лейбниц. Венн пришёл к критическому рубежу методов, использующих в XIX веке диаграммы Джорджа Буля и Огастеса де Моргана, и написал труд «Символьная логика» (англ. Symbolic Logic) для того, чтобы представить свои собственные интерпретации и корректировки работ Буля. До публикации этой книги Венн прославился статьёй «On the Diagrammatic and Mechanical Representation of Prepositions and Reasonings», опубликованной в журналах «Философский журнал» (англ. Philosophical Magazine) и «Журнал Наука» (англ. Journal of Science) в июле 1880 года.
В 1888 году интерес Венна обратился по направлению к истории, и он пожертвовал свою большую коллекцию книг по логике библиотеке Кембриджского университета. В 1897 опубликовал Историю Биографии Гонвилл и Кай колледжа 1349—1897 (англ. The Biographical History of Gonville and Caius College 1349—1897). В 1910 он выпустил трактат о Джоне Кае, одном из основателей своего колледжа. Три года спустя издал книгу под названием «Ранняя университетская жизнь» (англ. Early Collegiate Life), это коллекция его работ, описывающих студенческую жизнь в ранние годы Кембриджского университета. Вместе со своим сыном он взял на себя задачу составления истории выпускников Кембриджского университета (Alumni Cantabrigienses); первое издание вышло в 1922 году, а последнее в 1953.
Ко всему Венн обладал редким талантом в строительстве машин. Он использовал его при создании машины для метания шаров для крикета, которая была настолько хороша, что, когда австралийская команда по крикету посетила Кембридж в 1909 году, машина Венна выбила одну из главных звёзд четыре раза.
С именем Венна связана логическая задача Венна, приведённая им в «Символьной логике».
Публикации [ править ]
Венн составил Alumni Cantabrigienses , биографический реестр бывших членов Кембриджского университета . Его другие работы включают:
- Венн, Джон (январь 1876 г.). «Последовательность и реальный вывод» . Разум . 1 (1).
- Венн, Джон (1881). Символическая логика . Лондон: Macmillan and Company . ISBN 978-1-4212-6044-0.
- Венн, Джон (1880). «О применении геометрических диаграмм для осмысленного представления логических предложений» . Труды Кембриджского философского общества . 4 : 47–59.
- Венн, Джон (1866). Логика случая: эссе об основах и области теории вероятностей, с особым упором на ее применение к моральным и социальным наукам (первое издание). Лондон и Кембридж: Macmillan .. Были опубликованы еще два выпуска.
- Венн, Джон (1901). Колледж Кая . Лондон: FE Robinson & Co.
- Кай, Джон (1904). Венн, Джон (ред.). Летопись Гонвилля и Колледжа Кая . Отпечатано для Кембриджского антикварного общества, продается Deighton, Bell & Co.
- Венн, Джон (1904). Анналы клерикальной семьи: некоторые сведения о семье и потомках Уильяма Венна, викария Оттертона, Девон, 1600–1621 гг . Кембридж: Издательство Кембриджского университета . ISBN 978-1-108-04492-9.
- Венн, Джон (1870). О некоторых характеристиках веры . Лондон и Кембридж: Macmillan and Co.
Charity work and a civic presence in the town of Cambridge
Newspaper archives show that Venn was a very active member of local civic society in Cambridge, and a committee member of the Cambridge Charitable Organisations Society, later elected vice-chairman in December 1884.
Venn was president of the Cambridge Antiquarian Society in 1908–1909. He is also listed as a vice president of the Cambridge Provident Medical Institution.
Venn was a prominent supporter of votes for women. He co-signed with his wife Susanna, a letter to the Cambridge Independent Press published 16 October 1908, encouraging women to put themselves forward as candidates for the up-and-coming Cambridge town council elections. The letter was co-sponsored by Lady Maud Darwin, wife of Sir George Darwin, and Florence Ada Keynes.
The newspaper archives reveal that Venn was also a passionate gardener, regularly taking part in local competitions organised by groups such as the Cambridgeshire Horticultural Society, winning prizes for his roses in July 1885 and for his white carrots later that September.