Venn, John

John Venn
engelsk  John Venn

John Venn
Födelsedatum 4 augusti 1834( 1834-08-04 ) [1] [2] [3]
Födelseort Kingston upon Hull , Yorkshire , England
Dödsdatum 4 april 1923( 1923-04-04 ) [4] [1] [2] […] (88 år gammal)
En plats för döden Cambridge , England
Land
Vetenskaplig sfär matematisk logik
Arbetsplats Cambridge
Alma mater
Utmärkelser och priser medlem av Royal Society of London Fellow i Royal Society of Antiquities [d] 1818 Goulstonska föreläsningar [d ]
Autograf
 Mediafiler på Wikimedia Commons

John Venn ( eng.  John Venn ; 4 augusti 1834 , Hull ( Yorkshire ) - 4 april 1923 , Cambridge ) - engelsk logiker och filosof . Han är känd för att introducera Euler-Venn-diagrammen , som används inom många områden som mängdteori , sannolikhetsteori , logik , statistik och datavetenskap .

Biografi

John föddes 1834 i Kingston upon Hull , son till pastor Henry Venn, som vid tiden för Johns födelse var rektor för församlingen Drypool nära Hull, och Martha Sykes från Swanland , som dog när John bara var tre år gammal . .

John Venns pappa är känd för sin roll i den evangeliska kristna rörelsen. "Missionary Society for Africa and the East", som grundades av det evangeliska prästerskapet i Church of England 1799 , och 1812 döptes det om till "Missionary Society Church for Africa and the East". Henry Venn har varit sekreterare i detta sällskap sedan 1841 . Han flyttade till Highgate nära London för att fullgöra sina plikter, en position han innehade fram till sin död 1873 .

John Venn började sin utbildning i London vid Sir Roger Cholmeley's School , nu känd som Highgate School , och studerade sedan vid den privata Islington Preparatory School . Som man kan förvänta sig hade John en strikt uppväxt och det rådde ingen tvekan om att han skulle följa familjetraditionen i kristen tjänst.

Efter Highgate School 1853 gick han in på Gonville och Caius College, Cambridge . Han tilldelades ett stipendium i matematik under sitt andra år och tog examen 1857 och slutade på sjätte plats bland studenter som hade fått en första examen i matematik. Venn tog examen med en Bachelor of Arts-examen och valdes snart till en kollega vid college, till vilken han stannade hela sitt liv.

Ett år efter sin examen, 1858, vigdes han till diakon vid Ely-katedralen , och ett år senare vigdes han till präst. Han tjänstgjorde som kyrkoherde först i Cheshunt , Hertfordshire , och sedan ett år i Mortlake , Surrey . År 1862 återvände han till University of Cambridge som föreläsare i moralvetenskap, studerande och undervisning i logik och sannolikhet. Han var mest intresserad av logik, filosofi och metafysik, och läste avhandlingar av de Morgan , Boole , John Austin och John Stuart Mill . Vid Cambridge fann han gemensamma intressen med många vetenskapsmän, som till exempel Isaac Todhunter .

1867 gifte han sig med Suzanne Carnegie Edmonstone, dotter till pastor Charles Edmonstone. De fick ett barn, en son, John Archibald Venn, som arbetade med sin far på gemensamma forskningsprojekt och 1932 blev president för Queen's College, Cambridge ( Queen's College, Cambridge ).

1883 valdes Venn till Fellow of the Royal Society och belönades också med doktorsexamen från Cambridge. Samma år lämnade han prästadömet eftersom han fann att han inte längre kunde följa Church of Englands 39 lagar ( Thirty-nine Articles ). På den tiden ökade antalet tvister kring dessa lagar och många tappade tron ​​på kyrkan.

Verk och verk

Johns huvudsakliga intresseområde var logik, och han publicerade tre artiklar om ämnet. Dessa var The Logic of Chance , som introducerar tolkningen av frekvens eller frekvensteorin om sannolikhet 1866 ; Symbolisk logik, i vilken Venn -diagram introducerades 1881 ; "Principles of empirical logic " (eng. The Principles of Empirical Logic) 1889 , som ger motiveringar för inversa operationer i boolesk logik .

Venn utökade Booles matematiska logik och är mest känd bland matematiker och logiker för sitt schematiska sätt att representera mängder och deras sammanslutningar och skärningspunkter. Han betraktade de tre skivorna R, S, T och som typiska delmängder av mängden U. Skärningspunkterna mellan dessa skivor och deras komplement delade upp U i åtta icke-överlappande regioner, vars föreningar ger 256 olika booleska kombinationer av de ursprungliga uppsättningarna R , S, T. Att använda geometriska representationer för att illustrera syllogism har inte sitt ursprung med Venn, de användes ofta av Gottfried Leibniz . Venn nådde en kritisk punkt i 1800-talets metoder med hjälp av George Booles och Augustus de Morgans diagram och skrev symbolisk logik för att presentera sina egna tolkningar och korrigeringar av Booles verk. Innan denna bok publicerades blev Venn känd för sin artikel "On the Diagrammatic and Mechanical Representation of Prepositions and Reasonings", publicerad i Philosophical Magazine och Journal of Science i juli 1880.

1888 vände Venns intresse mot historia och han donerade sin stora samling böcker om logik till Cambridge University Library. År 1897 publicerade han The Biographical History of Gonville and Caius College 1349-1897. 1910 publicerade han en avhandling om John Kai, en av grundarna av hans college. Tre år senare publicerade han en bok med titeln Early Collegiate Life, en samling av hans skrifter som beskrev studentlivet under de första åren av Cambridge University. Tillsammans med sin son tog han på sig uppgiften att sammanställa en historia om alumner från Cambridge University ( Alumni Cantabrigienses ); Den första upplagan kom 1922 och den sista 1953.

Utöver det hade Venn en sällsynt talang för att bygga maskiner. Han använde den för att bygga en cricketbollskastmaskin som var så bra att när det australiensiska cricketlaget besökte Cambridge 1909 slog Venns maskin ut en av toppstjärnorna fyra gånger.

Namnet Venn är förknippat med Venns logiska problem , som han gav i Symbolic Logic.

Minne

Anteckningar

  1. 1 2 MacTutor History of Mathematics Archive
  2. 1 2 John Venn // Store norske leksikon  (bok) - 1978. - ISSN 2464-1480
  3. John Venn // Internet Philosophy Ontology  Project
  4. Venn John // Great Soviet Encyclopedia : [i 30 volymer] / ed. A. M. Prokhorov - 3:e uppl. — M .: Soviet Encyclopedia , 1969.