Venn, John

John Venn
Englanti  John Venn

John Venn
Syntymäaika 4. elokuuta 1834( 1834-08-04 ) [1] [2] [3]
Syntymäpaikka Kingston upon Hull , Yorkshire , Englanti
Kuolinpäivämäärä 4. huhtikuuta 1923( 1923-04-04 ) [4] [1] [2] […] (88-vuotias)
Kuoleman paikka Cambridge , Englanti
Maa
Tieteellinen ala matemaattinen logiikka
Työpaikka Cambridge
Alma mater
Palkinnot ja palkinnot Lontoon Royal Societyn jäsen Royal Society of Antiquities jäsen [d] 1818 Goulstonin luennot [d ]
Nimikirjoitus
 Mediatiedostot Wikimedia Commonsissa

John Venn ( eng.  John Venn ; 4. elokuuta 1834 , Hull ( Yorkshire ) - 4. huhtikuuta 1923 , Cambridge ) - englantilainen loogikko ja filosofi . Hänet tunnetaan Euler–Venn-kaavioiden esittelystä, joita käytetään monilla aloilla , kuten joukkoteoriassa , todennäköisyysteoriassa , logiikassa , tilastoissa ja tietojenkäsittelytieteessä .

Elämäkerta

John syntyi vuonna 1834 Kingston upon Hullissa pastori Henry Vennin poikana, joka Johnin syntymän aikaan oli Hullin lähellä olevan Drypoolin seurakunnan rehtori , ja Martha Sykesin Swanlandista , joka kuoli Johnin ollessa vain kolmevuotias. .

John Vennin isä tunnetaan roolistaan ​​evankelisessa kristillisessä liikkeessä. "Afrikkaan ja idän lähetysseura", jonka Englannin kirkon evankelinen papisto perusti vuonna 1799 , ja vuonna 1812 se nimettiin uudelleen "Afrikkaan ja idän lähetysseuran kirkkoksi". Henry Venn on ollut tämän seuran sihteeri vuodesta 1841 . Hän muutti Highgateen Lontoon lähellä täyttääkseen velvollisuutensa, missä hän piti asemaansa kuolemaansa saakka vuonna 1873 .

John Venn aloitti opinnot Lontoossa Sir Roger Cholmeley's Schoolissa , joka tunnetaan nykyään nimellä Highgate School , ja opiskeli sitten yksityisessä Islington Preparatory Schoolissa . Kuten arvata saattaa, Johnilla oli tiukka kasvatus, eikä ollut epäilystäkään siitä, että hän noudattaisi perheperinnettä kristillisessä palvelutyössä.

Highgate Schoolin jälkeen vuonna 1853 hän tuli Gonville and Caius Collegeen Cambridgeen . Hänelle myönnettiin matematiikan stipendi toisena vuonna, ja hän valmistui vuonna 1857 ja sijoittui kuudenneksi matematiikan ensimmäisen tutkinnon saaneiden opiskelijoiden joukossa. Venn valmistui taiteiden kandidaatiksi ja hänet valittiin pian yliopiston stipendiaattiksi, johon hän jäi koko ikänsä.

Vuosi valmistumisensa jälkeen, vuonna 1858, hänet vihittiin diakoniksi Elyn katedraalissa , ja vuotta myöhemmin hänet vihittiin papiksi. Hän toimi kirkkoherrana ensin Cheshuntissa Hertfordshiressä ja sitten vuoden Mortlakessa Surreyssa . Vuonna 1862 hän palasi Cambridgen yliopistoon moraalitieteiden luennoitsijana, tutkien ja opettaen logiikkaa ja todennäköisyyslaskentaa. Hän oli eniten kiinnostunut logiikasta, filosofiasta ja metafysiikasta, ja hän luki de Morganin , Boolen , John Austinin ja John Stuart Millin tutkielmia . Cambridgessa hän löysi yhteisiä kiinnostuksen kohteita monien tiedemiesten, kuten esimerkiksi Isaac Todhunterin , kanssa .

Vuonna 1867 hän meni naimisiin Suzanne Carnegie Edmonstonen, pastori Charles Edmonstonen tyttären kanssa. Heillä oli yksi lapsi, poika, John Archibald Venn, joka työskenteli isänsä kanssa yhteisissä tutkimusprojekteissa, ja vuonna 1932 hänestä tuli Cambridgen Queen's Collegen ( Queen's College, Cambridge ) presidentti.

Vuonna 1883 Venn valittiin Royal Societyn jäseneksi, ja hänelle myönnettiin myös tieteiden tohtorin tutkinto Cambridgesta. Samana vuonna hän jätti pappeuden, koska hän huomasi, ettei hän enää voinut noudattaa Englannin kirkon 39 lakia ( Thirty-Nine Articles ). Tuolloin kiistat näistä laeista lisääntyivät ja monet ihmiset menettivät uskonsa kirkkoon.

Toimii ja toimii

Johnin tärkein kiinnostuksen kohde oli logiikka, ja hän julkaisi aiheesta kolme artikkelia. Nämä olivat The Logic of Chance, joka esittelee taajuuden tulkinnan tai todennäköisyysteorian vuonna 1866 ; Symbolic Logic, jossa Venn-kaaviot esiteltiin vuonna 1881 ; "Principles of Empirical Logic " (eng. The Principles of Empirical Logic) vuonna 1889 , joka tarjoaa perustelut Boolen logiikan käänteisoperaatioille .

Venn laajensi Boolen matemaattista logiikkaa ja tunnetaan parhaiten matemaatikoiden ja logiikkojen keskuudessa kaavamaisesta tavastaan ​​esittää joukkoja ja niiden liitoksia ja leikkauspisteitä. Hän piti kolmea levyä R, S, T ja joukon U tyypillisinä osajoukkoina. Näiden levyjen ja niiden komplementtien leikkauspisteet jakoivat U:n kahdeksaan ei-päällekkäiseen alueeseen, joiden liitokset antavat 256 erilaista Boolen yhdistelmää alkuperäisistä joukoista R , S, T. Geometristen esitysten käyttäminen syllogismin ei ole peräisin Venniltä, ​​vaan Gottfried Leibniz käytti niitä usein . Venn saavutti kriittisen pisteen 1800-luvun menetelmissä George Boolen ja Augustus de Morganin kaavioiden avulla ja kirjoitti Symbolic Logic -kirjan esittääkseen omia tulkintojaan ja korjauksiaan Boolen työstä. Ennen tämän kirjan julkaisemista Venn tuli tunnetuksi artikkelistaan ​​"On the Diagrammatic and Mechanical Representation of Prepositiot and Reasonings", joka julkaistiin Philosophical Magazine and Journal of Science -lehdessä heinäkuussa 1880.

Vuonna 1888 Vennin kiinnostus kääntyi historiaan, ja hän lahjoitti suuren logiikan kirjakokoelmansa Cambridgen yliopiston kirjastolle. Vuonna 1897 hän julkaisi The Biographical History of Gonville and Caius College 1349-1897. Vuonna 1910 hän julkaisi tutkielman John Kaista, yhdestä hänen kollegansa perustajista. Kolme vuotta myöhemmin hän julkaisi kirjan nimeltä Early Collegiate Life, kokoelma hänen kirjoituksiaan, jotka kuvaavat opiskelijaelämää Cambridgen yliopiston alkuvuosina. Yhdessä poikansa kanssa hän otti tehtäväkseen laatia Cambridgen yliopiston alumnien historian ( Alumni Cantabrigienses ); Ensimmäinen painos ilmestyi vuonna 1922 ja viimeinen vuonna 1953.

Lisäksi Vennillä oli harvinainen kyky rakentaa koneita. Hän käytti sitä rakentaakseen krikettipallon heittokoneen, joka oli niin hyvä, että kun Australian krikettijoukkue vieraili Cambridgessa vuonna 1909, Vennin kone tyrmäsi yhden huipputähdistä neljä kertaa.

Nimi Venn liittyy Vennin loogiseen ongelmaan , jonka hän antoi Symbolic Logicissa.

Muisti

Muistiinpanot

  1. ↑ 1 2 MacTutor History of Mathematics -arkisto
  2. ↑ 1 2 John Venn // Store norske leksikon  (kirja) - 1978. - ISSN 2464-1480
  3. ↑ John Venn // Internet-filosofian  ontologiaprojekti
  4. ↑ Venn John // Suuri Neuvostoliiton Encyclopedia : [30 osassa] / toim. A. M. Prokhorov - 3. painos. - M .: Neuvostoliiton tietosanakirja , 1969.
  Siirry Wikidata-kohteeseen  Temaattiset sivustot
Sanakirjat ja tietosanakirjat
Sukututkimus ja nekropolis