Venn, John

John Venn
Angličtina  John Venn

John Venn
Datum narození 4. srpna 1834( 1834-08-04 ) [1] [2] [3]
Místo narození Kingston upon Hull , Yorkshire , Anglie
Datum úmrtí 4. dubna 1923( 1923-04-04 ) [4] [1] [2] […] (ve věku 88 let)
Místo smrti Cambridge , Anglie
Země
Vědecká sféra matematická logika
Místo výkonu práce Cambridge
Alma mater
Ocenění a ceny člen Královské společnosti v Londýně Člen Královské společnosti pro starožitnosti [d] 1818 Goulstonian Lectures [d ]
Autogram
 Mediální soubory na Wikimedia Commons

John Venn ( Eng.  John Venn ; 4. srpna 1834 , Hull ( Yorkshire ) – 4. dubna 1923 , Cambridge ) – anglický logik a filozof . Je známý tím, že představil Euler-Vennovy diagramy , které se používají v mnoha oblastech, jako je teorie množin , teorie pravděpodobnosti , logika , statistika a informatika .

Životopis

John se narodil v roce 1834 v Kingston upon Hull , syn reverenda Henryho Venna, který byl v době Johnova narození rektorem farnosti Drypool poblíž Hullu, a Marthy Sykes ze Swanlandu , která zemřela, když byly Johnovi pouhé tři roky. .

Otec Johna Venna je známý svou rolí v evangelikálním křesťanském hnutí. „Misijní společnost pro Afriku a Východ“, která byla založena evangelickým duchovenstvem anglikánské církve v roce 1799 a v roce 1812 byla přejmenována na „Církev misijní společnosti pro Afriku a Východ“. Henry Venn byl tajemníkem této společnosti od roku 1841 . Přestěhoval se do Highgate poblíž Londýna, aby splnil své povinnosti, tuto pozici zastával až do své smrti v roce 1873 .

John Venn začal své vzdělání v Londýně na Sir Roger Cholmeley's School , nyní známé jako Highgate School , a poté studoval na soukromé Islington Preparatory School . Jak se dalo čekat, John měl přísnou výchovu a nebylo pochyb o tom, že bude následovat rodinnou tradici v křesťanské službě.

Po Highgate School v roce 1853 nastoupil na Gonville and Caius College v Cambridge . Ve druhém ročníku získal stipendium v ​​matematice a promoval v roce 1857 a skončil šestý mezi studenty, kteří získali první titul v matematice. Venn vystudoval bakalářský titul a brzy byl zvolen kolegou vysoké školy, kterému zůstal celý život.

Rok po promoci, v roce 1858, byl vysvěcen na jáhna v katedrále v Ely a o rok později byl vysvěcen na kněze. Sloužil jako vikář nejprve v Cheshunt , Hertfordshire , a poté po dobu jednoho roku v Mortlake , Surrey . V roce 1862 se vrátil na University of Cambridge jako lektor morálních věd, studoval a učil logiku a pravděpodobnost. Nejvíce se zajímal o logiku, filozofii a metafyziku, četl pojednání od de Morgana , Boolea , Johna Austina a Johna Stuarta Milla . V Cambridge našel společné zájmy s mnoha vědci, jako je například Isaac Todhunter .

V roce 1867 se oženil se Suzanne Carnegie Edmonstone, dcerou reverenda Charlese Edmonstonea. Měli jedno dítě, syna Johna Archibalda Venna, který pracoval se svým otcem na společných výzkumných projektech a v roce 1932 se stal prezidentem Queen's College v Cambridge ( Queen's College, Cambridge ).

V roce 1883 byl Venn zvolen členem Královské společnosti a získal také titul doktora věd z Cambridge. Téhož roku opustil kněžství, protože zjistil, že již nemůže dodržovat třicet devět zákonů anglikánské církve ( Třicet devět článků ). V té době přibývalo sporů kolem těchto zákonů a mnoho lidí ztratilo víru v církev.

Díla a díla

Johnovou hlavní oblastí zájmu byla logika a na toto téma publikoval tři články. Jednalo se o Logiku náhody, která zavádí výklad frekvence nebo frekvenční teorii pravděpodobnosti v roce 1866 ; Symbolic Logic, ve kterém Vennovy diagramy byly představeny v 1881 ; "Principles of empirical logic " (angl. The Principles of Empirical Logic) v roce 1889 , který poskytuje ospravedlnění pro inverzní operace v booleovské logice .

Venn rozšířil Booleovu matematickou logiku a je nejlépe známý mezi matematiky a logiky pro svůj schematický způsob reprezentace množin a jejich sjednocení a průniky. Považoval tři disky R, S, T a za typické podmnožiny množiny U. Průniky těchto disků a jejich doplňků rozdělily U do osmi nepřekrývajících se oblastí, jejichž sjednocení dává 256 různých booleovských kombinací původních množin R , S, T. Použití geometrických reprezentací k ilustraci logiky sylogismu nepocházelo od Venna, často je používal Gottfried Leibniz . Venn dosáhl kritického bodu v metodách devatenáctého století pomocí diagramů George Boolea a Augusta de Morgana a napsal Symbolickou logiku, aby představil své vlastní interpretace a opravy Booleovy práce. Před vydáním této knihy se Venn proslavil svým článkem „On the Diagrammatic and Mechanical Representation of Prepositions and Reasonings“, publikovaným ve Philosophical Magazine and Journal of Science v červenci 1880.

V roce 1888 se Vennův zájem obrátil k historii a svou velkou sbírku knih o logice daroval Cambridgeské univerzitní knihovně. V roce 1897 vydal Biografickou historii Gonville a Caius College 1349-1897. V roce 1910 vydal pojednání o Johnu Kaiovi, jednom ze zakladatelů jeho vysoké školy. O tři roky později vydal knihu s názvem Early Collegiate Life, sbírku jeho spisů popisujících studentský život v prvních letech Cambridgeské univerzity. Spolu se svým synem se ujal úkolu sestavit historii absolventů Cambridgeské univerzity ( Alumni Cantabrigienses ); První vydání vyšlo v roce 1922 a poslední v roce 1953.

Kromě toho měl Venn vzácný talent na stavbu strojů. Použil jej k sestrojení stroje na házení kriketových míčků, který byl tak dobrý, že když australský kriketový tým v roce 1909 navštívil Cambridge, Vennův stroj čtyřikrát vyřadil jednu z nejlepších hvězd.

Jméno Venn je spojeno s Vennovým logickým problémem , který uvedl v Symbolické logice.

Paměť

Poznámky

  1. ↑ 1 2 Archiv historie matematiky MacTutor
  2. ↑ 1 2 John Venn // Store norske leksikon  (kniha) - 1978. - ISSN 2464-1480
  3. ↑ John Venn // Internet Philosophy Ontology  Project
  4. ↑ Venn John // Velká sovětská encyklopedie : [ve 30 svazcích] / ed. A. M. Prochorov - 3. vyd. — M .: Sovětská encyklopedie , 1969.
  Přejděte na položku Wikidata  Tematické stránky
Slovníky a encyklopedie
Genealogie a nekropole