Jon Venn ( tug'ilgan Jon Ven ; 1834 yil 4-
avgust , Xall ( Yorkshir ) - 1923 yil 4-aprel
, Kembrij ) - ingliz mantiqi va faylasufi . U joriy
qilgani uchun ma'lum Vena - Euler
diagramma , kabi ko'plab sohalarda
ishlatiladi majmui nazariyasi , ehtimollik
nazariyasi . Mantiq , statistika va informatika .
Jon Venn
Ingliz tili
Jon venn
Jon Venn
Tug'ilgan kun
1834 yil 4-avgust
Tug'ilgan joyi
Kingston-apon
Xall
,
Yorkshir
,
Angliya
O'lim sanasi
1923 yil 4-aprel
88 yosh)
O'lim joyi
Kembrij
,
Angliya
Mamlakat
•
Birlashgan Qirollik
Ilmiy soha
Matematik mantiq
Ish joyi
Kembrij
Olma mater
•
Gonville va Keys kolleji
•
Highgate maktabi
[d]
Mukofotlar va sovg'alar
London Qirollik jamiyati
a'zosi
Qadimgi Qadimiy
Qirollik Jamiyatining
a'zosi
[d]
Gulston
ma'ruzalari
[d]
(
1818
)
Imzo
Jon 1834 yilda Kingston upon Hullda tug'ilgan, Jon tug'ilganda Hull yaqinidagi Drypool
cherkovining ruhoniysi bo'lgan va avliyo Genri Vennning o'g'li , va Jon uch yoshida vafot
etgan Svanlandiyalik Marta Syks .
Jon Vennning otasi evangelist xristianlik harakatidagi roli bilan tanilgan. 1799 yilda ingliz
cherkovining evangelist ruhoniylari tomonidan tashkil etilgan Afrika va Sharqdagi Missiyalar
Jamiyati va 1812 yilda u Afrika va Sharq uchun Missionerlar Jamiyati cherkovi deb
o'zgartirildi. Genri Venn 1841 yildan beri ushbu jamiyatning kotibi . U o'z vazifalarini bajarish uchun
London yaqinidagi Xaygeytga ko'chib o'tdi va 1873 yilda vafotigacha ushbu lavozimni egalladi .
Jon Venn Ser Rojer Cholmeli London maktabining (o'z ta'lim boshladi R. ser Cholmeley endi sifatida
tanilgan), Highgate maktabida , keyin bir xususiy tayyorgarlik maktabi ishtirok Islington . Siz
kutganidek, Yuhanno qat'iy tarbiya topgan va u nasroniylik xizmatida oilaviy an'analarga amal
qilishiga shubha yo'q edi.
1853 yilda Highgate ( Highgate School ) maktabidan so'ng u Kembrijdagi Gonvil va Kayus
kollejlariga o'qishga kirdi ( Gonvil va Kayus kolleji, Kembrij ). U ikkinchi o'qish yilida matematika
bo'yicha stipendiya bilan taqdirlandi va 1857 yilda uni tugatib, matematikadan birinchi darajani olgan
talabalar orasida oltinchi o'rinni egalladi. Venn kollejni san'at bakalavri bilan tugatdi va tez orada
kollej a'zosi etib saylandi, u hayoti davomida qoldi.
Bir yil tamomlagach, ham 1858, u farz qilindi Deacon da Ely Katedraline , va bir yil o'tib, u ruhoniy
farz qilindi. U xizmat bir pop yordamchisi Cheshunt (birinchi Cheshunt ), Hertfordshire Mortlake (bir
yil davomida, keyin, va Mortlake ), Surrey . 1862 yilda u Kembrij universitetiga mantiq va ehtimollar
nazariyasini o'rganib, o'qitib, axloq fanlari bo'yicha o'qituvchi sifatida qaytib keldi. U asosan mantiq,
falsafa va metafizikaga qiziqar edi, de Morgan , Boole , Jon Ostin va Jon Styuart Millning risolalarini
o'qigan.... Kembrijda u ko'plab olimlar bilan umumiy manfaatlarni topdi, masalan, Isaak Todxunter .
1867 yilda u muhtaram Charlz Edmonstonning qizi Suzanna Karnegi Edmonstonga uylandi. Ularning
bitta farzandi bor edi, uning o'g'li Jon Archibald Venn, u otasi bilan birgalikda tadqiqot loyihalarida
ishlagan va 1932 yilda Kembrijdagi Qirolicha kolleji ( Qirolicha kolleji, Kembrij ) prezidenti
bo'lgan .
1883 yilda Venn Qirollik jamiyati a'zosi etib saylandi va Kembrijdan doktorlik dissertatsiyasini
oldi. Xuddi shu yili, u endi o'ttiz to'qqizta maqolaning o'ttiz to'qqiz qonuniga amal qila olmasligini
bilib, ruhoniylikni tark etdi . O'sha paytda ushbu qonunlar bo'yicha tortishuvlar kuchayib, ko'p
odamlar cherkovga bo'lgan ishonchini yo'qotdilar.
Jonning asosiy qiziqish doirasi
mantiq edi va u shu mavzuda
uchta maqola nashr etdi. Bu
chastota yoki chastota ta'birini
joriy Holli, fikrlarini
edilar ehtimollik
nazariyasi bilan 1866 ; Joriy
ramziy Mantiq, Venn
diagramma yilda 1881 ; Mantiq
iy mantiqdagi teskari
operatsiyalarning mantiqiy asos
lari
ko'rsatilgan 1889 yilda " Empiri
k mantiqning tamoyillari " (ing.
Empirik Logic Printsiplari)
.
Venn Bulning matematik mantig'ini kengaytirdi va matematiklar va mantiqchilar
orasida to'plamlarni va ularning qo'shilish va kesishgan joylarini tasvirlashning
sxematik usuli bilan tanilgan. U uchta disk R, S, T va U to'plamning odatiy
kichik to'plamlari sifatida ko'rib chiqdi. Ushbu disklarning kesishgan joylari va
ularning qo'shimchalari U sakkizta bir-biriga to'g'ri kelmaydigan mintaqalarga
bo'lingan, ularning birlashmalari asl R, S, T to'plamlarining 256 xil mantiqiy
birikmalarini beradi, tasvirlash uchun geometrik tasvirlardan foydalangan
sillogizmlarning mantiqlari Venndan kelmagan, ular ko'pincha Gotfrid
Leybnits tomonidan ishlatilgan . Venn 19-asrda Jorj Bul va Avgust de
Morgan diagrammalaridan foydalangan holda muhim bosqichga erishdi.va Boole
ijodidagi o'z talqinlari va tuzatishlarini taqdim etish uchun Symbolic Logic
yozgan. Ushbu kitob nashr etilgunga qadar Venn 1880 yil iyulda Philosophical
Magazine va Journal of Science jurnallarida chop etilgan "Prepozitsiyalar va
mulohazalarning diagramma va mexanik namoyishi to'g'risida" maqolasi bilan
mashhur bo'ldi .
1888 yilda Vennning qiziqishi tarixga aylandi va
u o'zining mantiq bo'yicha katta kitoblarini
Kembrij universiteti kutubxonasiga sovg'a
qildi. 1897 yilda u Gonvil va Kayus kollejining
1349-1897 yillardagi biografik tarixini nashr
etdi. 1910 yilda u o'zining kolleji asoschilaridan
biri Jon Kay haqida risola nashr etdi. Uch yildan
so'ng u Kembrij universitetining dastlabki
yillarida talabalik hayotini tasvirlaydigan o'z
ishining to'plami bo'lgan "Erta kollej hayoti"
kitobini nashr etdi. U o'g'li bilan
birgalikda bitiruvchilarning
kantabrijeniklari tarixini tuzish vazifasini o'z
zimmasiga oldi ; birinchi nashri 1922 yilda,
so'nggisi 1953 yilda chiqdi.
Bundan tashqari, Venn noyob
mashinasozlik qobiliyatiga ega edi. U
kriket to'pi uloqtirish mashinasini
yaratishda juda yaxshi ishlagan, shu
sababli Avstraliya kriket jamoasi 1909
yilda Kembrijga tashrif buyurganida,
Venn mashinasi eng yaxshi yulduzlardan
birini to'rt marta nokaut qilgan.
Vennning
nomi Venning mantiqiy muammosi bilan
bog'liq bo'lib , u "Simvolik mantiq" da
taqdim etgan.
Yilda 1637, Dekart asosiy falsafiy va
matematik ish, " usulini Discourse "
(to'liq nomi: «Agar fikringizni
yo'naltirish va fanlar bo'yicha haqiqatni
topish imkonini beradi usuli,
Discourse"), chop etilgan. Ushbu
kitobga " Geometriya " ilovasida analitik
geometriya , algebra va geometriyadagi
ko'plab natijalar, boshqa qo'shimchada -
optikadagi kashfiyotlar (shu jumladan,
nurning sinish qonunini to'g'ri
shakllantirish) va boshqa ko'p narsalar
keltirilgan.
U shu paytdan boshlab zamonaviyga
yaqin bo'lgan u qayta
ishlagan matematik
simvolizmni alohida ta'kidlash
lozim . U koeffitsientlarni a , b , c ...,
noma'lumlar - x , y , z
bilan belgilagan . Tabiiy ko'rsatkich zam
onaviy shaklga ega bo'ldi (kasr va
manfiy Nyuton tufayli
o'rnatildi ). Radikal ifoda ustida chiziq
paydo bo'ldi. Tenglamalar kanonik
shaklga keltiriladi (o'ng tomonda nol).
Dekart ramziy algebrani "Umumiy
matematika" deb atadi va u " tartib
Do'stlaringiz bilan baham: |