Venn, John

John Venn ( Eng.  John Venn ; 4. august 1834 , Hull ( Yorkshire ) - 4. april 1923 , Cambridge ) - engelsk logiker og filosof . Han er kendt for at introducere Euler-Venn-diagrammerne , som bruges på mange områder som mængdeteori , sandsynlighedsteori , logik , statistik og datalogi .

Biografi

John blev født i 1834 i Kingston upon Hull , søn af pastor Henry Venn, som på tidspunktet for Johns fødsel var rektor for sognet Drypool nær Hull, og Martha Sykes fra Swanland , som døde, da John kun var tre år gammel. .

John Venns far er kendt for sin rolle i den evangeliske kristne bevægelse. "Missionærsamfundet for Afrika og Østen", som blev grundlagt af det evangeliske præsteskab i den engelske kirke i 1799 , og i 1812 blev det omdøbt til "Missionærsamfundets kirke for Afrika og Østen". Henry Venn har været sekretær for dette selskab siden 1841 . Han flyttede til Highgate nær London for at udføre sine pligter, en stilling han havde indtil sin død i 1873 .

John Venn begyndte sin uddannelse i London på Sir Roger Cholmeley's School , nu kendt som Highgate School , og studerede derefter på den private Islington Preparatory School . Som man kunne forvente, havde John en streng opdragelse, og der var ingen tvivl om, at han ville følge familietraditionen i kristen tjeneste.

Efter Highgate School i 1853 gik han ind på Gonville og Caius College, Cambridge . Han blev tildelt et stipendium i matematik i sit andet år, og dimitterede i 1857 , og afsluttede sjette blandt studerende, der havde modtaget en første grad i matematik. Venn dimitterede med en Bachelor of Arts-grad og blev snart valgt til kollegiet, som han forblev til hele sit liv.

Et år efter sin eksamen, i 1858, blev han ordineret til diakon ved Ely-katedralen , og et år senere blev han ordineret til præst. Han tjente som vikar først i Cheshunt , Hertfordshire , og derefter i et år i Mortlake , Surrey . I 1862 vendte han tilbage til University of Cambridge som underviser i moralvidenskab, hvor han studerede og underviste i logik og sandsynlighed. Han var mest interesseret i logik, filosofi og metafysik, idet han læste afhandlinger af de Morgan , Boole , John Austin og John Stuart Mill . I Cambridge fandt han fælles interesser med mange videnskabsmænd, såsom for eksempel Isaac Todhunter .

I 1867 giftede han sig med Suzanne Carnegie Edmonstone, datter af pastor Charles Edmonstone. De fik et barn, en søn, John Archibald Venn, som arbejdede sammen med sin far på fælles forskningsprojekter, og i 1932 blev præsident for Queen's College, Cambridge ( Queen's College, Cambridge ).

I 1883 blev Venn valgt til stipendiat i Royal Society og blev også tildelt graden Doctor of Science fra Cambridge. Samme år forlod han præstedømmet, fordi han fandt ud af, at han ikke længere kunne følge de 39 love i Church of England ( Thirty-Nine Articles ). På det tidspunkt steg antallet af stridigheder omkring disse love, og mange mennesker mistede troen på kirken.

Værker og arbejder

Johns hovedinteresseområde var logik, og han udgav tre artikler om emnet. Disse var The Logic of Chance, som introducerer fortolkningen af ​​frekvens eller frekvensteorien om sandsynlighed i 1866 ; Symbolsk Logik, hvori Venn-diagrammer blev indført i 1881 ; "Principles of empirical logic " (eng. The Principles of Empirical Logic) i 1889 , som giver begrundelser for inverse operationer i boolsk logik .

Venn udvidede Booles matematiske logik og er bedst kendt blandt matematikere og logikere for sin skematiske måde at repræsentere mængder og deres fagforeninger og skæringspunkter. Han betragtede de tre skiver R, S, T og som typiske delmængder af sættet U. Skæringspunkterne mellem disse skiver og deres komplementer inddelte U i otte ikke-overlappende områder, hvis foreninger giver 256 forskellige boolske kombinationer af de oprindelige sæt R , S, T. Brug af geometriske repræsentationer til at illustrere syllogismelogikker stammer ikke fra Venn, de blev ofte brugt af Gottfried Leibniz . Venn nåede et kritisk punkt i det nittende århundredes metoder ved at bruge diagrammerne fra George Boole og Augustus de Morgan , og skrev symbolsk logik for at præsentere sine egne fortolkninger og rettelser af Booles værk. Forud for udgivelsen af ​​denne bog blev Venn berømt for sin artikel "On the Diagrammatic and Mechanical Representation of Prepositions and Reasonings", publiceret i Philosophical Magazine og Journal of Science i juli 1880.

I 1888 vendte Venns interesse sig mod historien, og han donerede sin store samling af bøger om logik til Cambridge University Library. I 1897 udgav han The Biographical History of Gonville and Caius College 1349-1897. I 1910 udgav han en afhandling om John Kai, en af ​​grundlæggerne af hans college. Tre år senere udgav han en bog med titlen Early Collegiate Life, en samling af hans skrifter, der beskrev studielivet i Cambridge Universitys tidlige år. Sammen med sin søn påtog han sig opgaven med at samle en historie om alumner fra Cambridge University ( Alumni Cantabrigienses ); Den første udgave udkom i 1922 og den sidste i 1953.

Oven i købet havde Venn et sjældent talent for at bygge maskiner. Han brugte den til at bygge en cricketbold-kastemaskine, der var så god, at da det australske crickethold besøgte Cambridge i 1909, slog Venns maskine en af ​​topstjernerne fire gange.

Navnet Venn er forbundet med Venns logiske problem , givet af ham i symbolsk logik.

Hukommelse

• Et farvet glasvindue, der viser et Venn-diagram, er installeret i hans hukommelse i spisestuen i Cambridge.
• En bygning blev opført til hans ære ved University of Hull i 1928.
• I en nylig BBC- måling blev Venn kåret som den tredjestørste moderne matematiker efter Sir Isaac Newton og Leonhard Euler , som blev henholdsvis første og anden.

• Hull University bygning , bygget til ære for John Venn

• Mindesmærke farvet glas vindue i Cambridge ( Gonville og Caius College, Cambridge ) dedikeret til Venn

Noter

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

Tematiske steder	zbMATH Åbn Arkiv for matematikkens historie MacTutor
Ordbøger og encyklopædier	Fantastisk norsk Stor russer Litauisk universal Britannica (online) Bemærkelsesværdige navnedatabase Treccani Oxford biografisk
Slægtsforskning og nekropolis	Find en grav Find en grav WikiTree
I bibliografiske kataloger BNE : XX1476069 BNF : 12355074r CiNii : DA02168440 CONOR : 108938083 GND : 1143124758 ISNI : 0000 0001 0922 5829 J9U : 987007296797205171 LCCN : n50019977 NLA : 35579440 NLG : 160013 NLP : A25274405 NTA : 068554362 NUKAT : n2003024583 SUDOC : 032539835 VcBA : 495/156999 VIAF : 88054980 WorldCat VIAF : 88054980