Azərbaycanca
Беларускі
Dansk
Deutsch
Española
Français
Indonesia
Italiana
日本語
Қазақ
Lietuvos
Nederlands
Português
Русский
සිංහල
แบบไทย
Türkçe
Українська
中國人
United State
Afrikaans
| Ця стаття є сирим з іншої мови. Можливо, вона створена за допомогою машинного перекладу або перекладачем, який недостатньо володіє обома мовами. (лютий 2019) |
Лейтзен Егберт Ян Брауер (нід. Luitzen Egbertus Jan Brouwer; 27 лютого 1881 — 2 грудня 1966) — голландський філософ та математик, випускник університету Амстердама, який працював у таких галузях математики, як топологія, теорія множин, математична логіка, теорія міри та комплексний аналіз.
| Лейтзен Егберт Ян Брауер | |
|---|---|
| нід. Luitzen Egbertus Jan Brouwer | |
 | |
| Народився | 27 лютого 1881[1][2][…] d[2] |
| Помер | 2 грудня 1966[4][1][…] (85 років) Бларікюм, Північна Голландія, Нідерланди або Ларен, Північна Голландія, Нідерланди[5] ·автомобільна аварія |
| Поховання | Q88681015?[6][7][8] |
| Країна |  Нідерланди |
| Діяльність | математик, філософ, тополог, викладач університету, письменник |
| Alma mater | Амстердамський університет |
| Галузь | математичний аналіз, математична логіка, теорія множин, топологія, міра множини і комплексний аналіз |
| Заклад | Амстердамський університет[5] Амстердамський університет[5] Амстердамський університет[5] Амстердамський університет[5] |
| Вчителі | d |
| Відомі учні | Аренд Гейтінг |
| Аспіранти, докторанти | Аренд Гейтінг[9] d[10] d[10] d[10] d[10] d[10] d[10] d[10] d[10] |
| Членство | Лондонське королівське товариство[2] Прусська академія наук Академія наук НДР Леопольдина Нідерландська королівська академія наук[11] |
| Брати, сестри | d |
| Нагороди | |
 Висловлювання у Вікіцитатах Лейтзен Егберт Ян Брауер у Вікісховищі | |
Член Нідерландської академії наук в Амстердамі (1912), член-кореспондент Королівської академії наук у Лондоні, Паризької та Геттінгенської АН, професор Амстердамського університету (1912–1951). В 1932 році він отримав звання Лицаря Голландського лева.
Поклав початок новому напрямку в математиці — інтуїціонізму. Він піддав сумніву застосування в математичних міркуваннях закону виключеного третього, непрямого доказу (доказів від протилежного). Одним з результатів аналізу таких міркувань стало виникнення інтуїционістської логіки, сформульованої в 1930 році учнем Брауера — Арендом Гейтінгом, яка не містить зазначених законів.
Біографія
Народився 27 лютого 1881 року в [nl] (нід. Overschie), сьогодні це передмістя Роттердама в Нідерландах. В колі друзів його знали як Бертуса. Будучи дуже здібним, Брауер в 14 років закінчив повну школу в Горні, місті на озері Зюйдерзее на північ від Амстердама. Він не вивчав у школі грецьку мову і латинь, однак обидві мови були необхідні для вступу в університет, так що наступні два роки Брауер присвятив їх вивченню. В цей період часу його сім'я переїжджає в Гарлем, на захід від Амстердама. Тут же в 1897 році в гімназії він здав вступні іспити Амстердамського університету.
Професором математики в університеті у Брауера був Д.Кортевег, який швидко зрозумів, що він має видатного студента. Ще на самому початку навчання Брауер отримав оригінальні результати при безперервних рухах в 4-х мірному просторі, і Кортвег збентежив його пропозицією про публікації. Стаття вийшла, і Брауер отримав першу публікацію в Нідерландській королівській академії наук (the Royal Academy of Science in Amsterdam) в 1904 році. Крім того, Брауер цікавився топологією та основами математики. Він не тільки вивчав ці розділи в університеті, але й сам читав масу літератури з цих питань.
Брауер закінчив університет в 1904 році, і в тому ж році одружився з Лізі де Холл (Lize de Holl), яка була на 11 років старша за нього, і мала дочку від першого шлюбу. Після укладення шлюбу, який не приніс дітей, Брауер з дружиною і прийомною дочкою переїхав до Бларікума, недалеко від Амстердаму. Через три роки Ліза отримала кваліфікацію фармацевта, і Брауер допоміг їй в організації книготорговельної фірми з постачання книгами магазинів хімічних товарів. Тим часом Брауер не був у захваті від прийомної дочки, і відносини між ними були натягнутими.
Внесок у розвиток математики
З самого початку Брауер цікавився філософією математики, а також був зачарований містицизмом й іншими філософськими питаннями, що відносяться до людського суспільства. У 1905 році він опублікував свої ідеї в книзі, яка мала заголовок «Життя, мистецтво і містика» (Leven, Kunst, en Mystiek).
У 1909 році він став приват-доцентом Амстердамського університету. У своїй інавгураційній промові 12 жовтня 1909 «Про природу геометрії» він розгорнув свою дослідницьку програму. Кілька місяців потому він зробив важливу поїздку в Париж напередодні Різдва 1909 року, де зустрівся з Пуанкаре, Адамаром і Борелем. Ґрунтуючись на дискусіях у Парижі, він почав працювати над проблемою інваріантності просторових вимірів.
З 1904 року Брауер послідовно проводив критику так званих чистих математичних доказів існування, що спираються на логічний принцип виключення третього, що в кінцевому рахунку започаткувало цілий напрямок в обґрунтуваннях математики математичного інтуїционізму.
Однак незалежну від філософії інтуїціонізму цінність має проведений Брауером аналіз математичних доказів існування з погляду конструктивної побудови тих об'єктів, існування яких доводиться. Зокрема, Колмогоровим було показано, що правила так званої інтуїціоністичної логіки знаходять своє реальне здійснення в логіці конструктивного розв'язання математичних проблем.
У 1911–1913 роках Брауер встановив ряд важливих понять і результатів в області топології. Зокрема: поняття симпліційної апроксимації і ступеня неперервного відображення; поняття гомотопічної класифікації відображень; теорема про гомотопічну еквівалентність двох відображень, що мають один і той же ступінь; теорема про інваріантність числа вимірювань та інваріантності внутрішніх точок (при топологічному відображенні множини, що лежить в n-вимірному просторі, в цей же простір); теорема про нерухому точку; n-вимірна теорема Жордана та інші. Ці результати і методи, знайдені для їхнього доведення, визначили значний вплив Брауера на розвиток топології в період між Першою і Другою світовими війнами.
1912 року Брауер був обраний до Королівської Академії наук в Амстердамі. У 1919 році Давид Гільберт спробував спокусити його місцем в Геттінгені, в тому ж році йому пропонували місце в Берліні. Незважаючи на принадність цих пропозицій, Брауер відмовився. (Можливо цей вибір на користь Амстердама певною мірою пояснювався впливом Ван дер Вардена, який навчався в Амстердамському університеті в 1919–1923 роках І був слухачем Брауера.)
Незважаючи на те, що йому не вдалося повернути математиків на свій шлях мислення, Брауер був широко визнаний у світі за свій видатний внесок. Він був обраний в 1912 році до Королівської Академії Наук в Амстердамі, був дійсним членом Королівської Академії наук в Лондоні, Академії наук в Геттінгені, Паризької АН, отримав ступінь почесного доктора в Університеті Осло в 1929 році і Кембриджського університету в 1954 році. 1932 року він отримав звання Лицаря Голландського лева (Knight in the Order of the Dutch Lion).
Загинув у 1966 році в Бларікюмі в результаті автокатастрофи.
Джерела
- Українська радянська енциклопедія : у 12 т. / гол. ред. М. П. Бажан ; редкол.: О. К. Антонов та ін. — 2-ге вид. — К. : Головна редакція УРЕ, 1974–1985.
- Джон Дж. О'Коннор та Едмунд Ф. Робертсон. Лейтзен Егберт Ян Брауер в архіві MacTutor (англ.)
- Непейвода Н. Н. Прикладна логіка. Глава 16. Інтуїционістськая логіка. [ 21 вересня 2020 у Wayback Machine.]
- Дискусії між Брауером та Гільбертом [ 2 квітня 2015 у Wayback Machine.] (Костянтин Рід. Гільберт. [ 2 квітня 2015 у Wayback Machine.])
Примітки
- Bibliothèque nationale de France BNF: платформа відкритих даних — 2011.
- Архів історії математики Мактьютор — 1994.
- Luitzen Egbertus Jan Brouwer — 2009.
- Брауэр Лёйтзен Эгберт Ян // Большая советская энциклопедия: [в 30 т.] / под ред. А. М. Прохоров — 3-е изд. — Москва: Советская энциклопедия, 1969.
- Album Academicum — 2007.
- https://beeldbankblaricum.nl/overige/item/4555-begraafplaats-woensberg
- Find a Grave — 1996.
- https://beeldbankblaricum.nl/overige/item/4767-l-e-j-brouwer-1908-1969
- Математичний генеалогічний проєкт — 1997.
- Математичний генеалогічний проєкт — 1997.
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Cya stattya ye sirim perekladom z inshoyi movi Mozhlivo vona stvorena za dopomogoyu mashinnogo perekladu abo perekladachem yakij nedostatno volodiye oboma movami Bud laska dopomozhit polipshiti pereklad lyutij 2019 Lejtzen Egbert Yan Brauer nid Luitzen Egbertus Jan Brouwer 27 lyutogo 1881 2 grudnya 1966 gollandskij filosof ta matematik vipusknik universitetu Amsterdama yakij pracyuvav u takih galuzyah matematiki yak topologiya teoriya mnozhin matematichna logika teoriya miri ta kompleksnij analiz Lejtzen Egbert Yan Brauernid Luitzen Egbertus Jan BrouwerNarodivsya27 lyutogo 1881 1881 02 27 1 2 d 2 Pomer2 grudnya 1966 1966 12 02 4 1 85 rokiv Blarikyum Pivnichna Gollandiya Niderlandi abo Laren Pivnichna Gollandiya Niderlandi 5 avtomobilna avariyaPohovannyaQ88681015 6 7 8 Krayina NiderlandiDiyalnistmatematik filosof topolog vikladach universitetu pismennikAlma materAmsterdamskij universitetGaluzmatematichnij analiz matematichna logika teoriya mnozhin topologiya mira mnozhini i kompleksnij analizZakladAmsterdamskij universitet 5 Amsterdamskij universitet 5 Amsterdamskij universitet 5 Amsterdamskij universitet 5 VchitelidVidomi uchniArend GejtingAspiranti doktorantiArend Gejting 9 d 10 d 10 d 10 d 10 d 10 d 10 d 10 d 10 ChlenstvoLondonske korolivske tovaristvo 2 Prusska akademiya nauk Akademiya nauk NDR Leopoldina Niderlandska korolivska akademiya nauk 11 Brati sestridNagorodid d inozemnij chlen Londonskogo korolivskogo tovaristva d 27 travnya 1948 Vislovlyuvannya u Vikicitatah Lejtzen Egbert Yan Brauer u Vikishovishi U Vikipediyi ye statti pro inshih lyudej iz prizvishem Brauer Chlen Niderlandskoyi akademiyi nauk v Amsterdami 1912 chlen korespondent Korolivskoyi akademiyi nauk u Londoni Parizkoyi ta Gettingenskoyi AN profesor Amsterdamskogo universitetu 1912 1951 V 1932 roci vin otrimav zvannya Licarya Gollandskogo leva Poklav pochatok novomu napryamku v matematici intuyicionizmu Vin piddav sumnivu zastosuvannya v matematichnih mirkuvannyah zakonu viklyuchenogo tretogo nepryamogo dokazu dokaziv vid protilezhnogo Odnim z rezultativ analizu takih mirkuvan stalo viniknennya intuyicionistskoyi logiki sformulovanoyi v 1930 roci uchnem Brauera Arendom Gejtingom yaka ne mistit zaznachenih zakoniv BiografiyaNarodivsya 27 lyutogo 1881 roku v nl nid Overschie sogodni ce peredmistya Rotterdama v Niderlandah V koli druziv jogo znali yak Bertusa Buduchi duzhe zdibnim Brauer v 14 rokiv zakinchiv povnu shkolu v Gorni misti na ozeri Zyujderzee na pivnich vid Amsterdama Vin ne vivchav u shkoli grecku movu i latin odnak obidvi movi buli neobhidni dlya vstupu v universitet tak sho nastupni dva roki Brauer prisvyativ yih vivchennyu V cej period chasu jogo sim ya pereyizhdzhaye v Garlem na zahid vid Amsterdama Tut zhe v 1897 roci v gimnaziyi vin zdav vstupni ispiti Amsterdamskogo universitetu Profesorom matematiki v universiteti u Brauera buv D Korteveg yakij shvidko zrozumiv sho vin maye vidatnogo studenta She na samomu pochatku navchannya Brauer otrimav originalni rezultati pri bezperervnih ruhah v 4 h mirnomu prostori i Kortveg zbentezhiv jogo propoziciyeyu pro publikaciyi Stattya vijshla i Brauer otrimav pershu publikaciyu v Niderlandskij korolivskij akademiyi nauk the Royal Academy of Science in Amsterdam v 1904 roci Krim togo Brauer cikavivsya topologiyeyu ta osnovami matematiki Vin ne tilki vivchav ci rozdili v universiteti ale j sam chitav masu literaturi z cih pitan Brauer zakinchiv universitet v 1904 roci i v tomu zh roci odruzhivsya z Lizi de Holl Lize de Holl yaka bula na 11 rokiv starsha za nogo i mala dochku vid pershogo shlyubu Pislya ukladennya shlyubu yakij ne prinis ditej Brauer z druzhinoyu i prijomnoyu dochkoyu pereyihav do Blarikuma nedaleko vid Amsterdamu Cherez tri roki Liza otrimala kvalifikaciyu farmacevta i Brauer dopomig yij v organizaciyi knigotorgovelnoyi firmi z postachannya knigami magaziniv himichnih tovariv Tim chasom Brauer ne buv u zahvati vid prijomnoyi dochki i vidnosini mizh nimi buli natyagnutimi Vnesok u rozvitok matematikiZ samogo pochatku Brauer cikavivsya filosofiyeyu matematiki a takozh buv zacharovanij misticizmom j inshimi filosofskimi pitannyami sho vidnosyatsya do lyudskogo suspilstva U 1905 roci vin opublikuvav svoyi ideyi v knizi yaka mala zagolovok Zhittya mistectvo i mistika Leven Kunst en Mystiek U 1909 roci vin stav privat docentom Amsterdamskogo universitetu U svoyij inavguracijnij promovi 12 zhovtnya 1909 Pro prirodu geometriyi vin rozgornuv svoyu doslidnicku programu Kilka misyaciv potomu vin zrobiv vazhlivu poyizdku v Parizh naperedodni Rizdva 1909 roku de zustrivsya z Puankare Adamarom i Borelem Gruntuyuchis na diskusiyah u Parizhi vin pochav pracyuvati nad problemoyu invariantnosti prostorovih vimiriv Z 1904 roku Brauer poslidovno provodiv kritiku tak zvanih chistih matematichnih dokaziv isnuvannya sho spirayutsya na logichnij princip viklyuchennya tretogo sho v kincevomu rahunku zapochatkuvalo cilij napryamok v obgruntuvannyah matematiki matematichnogo intuyicionizmu Odnak nezalezhnu vid filosofiyi intuyicionizmu cinnist maye provedenij Brauerom analiz matematichnih dokaziv isnuvannya z poglyadu konstruktivnoyi pobudovi tih ob yektiv isnuvannya yakih dovoditsya Zokrema Kolmogorovim bulo pokazano sho pravila tak zvanoyi intuyicionistichnoyi logiki znahodyat svoye realne zdijsnennya v logici konstruktivnogo rozv yazannya matematichnih problem U 1911 1913 rokah Brauer vstanoviv ryad vazhlivih ponyat i rezultativ v oblasti topologiyi Zokrema ponyattya simplicijnoyi aproksimaciyi i stupenya neperervnogo vidobrazhennya ponyattya gomotopichnoyi klasifikaciyi vidobrazhen teorema pro gomotopichnu ekvivalentnist dvoh vidobrazhen sho mayut odin i toj zhe stupin teorema pro invariantnist chisla vimiryuvan ta invariantnosti vnutrishnih tochok pri topologichnomu vidobrazhenni mnozhini sho lezhit v n vimirnomu prostori v cej zhe prostir teorema pro neruhomu tochku n vimirna teorema Zhordana ta inshi Ci rezultati i metodi znajdeni dlya yihnogo dovedennya viznachili znachnij vpliv Brauera na rozvitok topologiyi v period mizh Pershoyu i Drugoyu svitovimi vijnami 1912 roku Brauer buv obranij do Korolivskoyi Akademiyi nauk v Amsterdami U 1919 roci David Gilbert sprobuvav spokusiti jogo miscem v Gettingeni v tomu zh roci jomu proponuvali misce v Berlini Nezvazhayuchi na prinadnist cih propozicij Brauer vidmovivsya Mozhlivo cej vibir na korist Amsterdama pevnoyu miroyu poyasnyuvavsya vplivom Van der Vardena yakij navchavsya v Amsterdamskomu universiteti v 1919 1923 rokah I buv sluhachem Brauera Nezvazhayuchi na te sho jomu ne vdalosya povernuti matematikiv na svij shlyah mislennya Brauer buv shiroko viznanij u sviti za svij vidatnij vnesok Vin buv obranij v 1912 roci do Korolivskoyi Akademiyi Nauk v Amsterdami buv dijsnim chlenom Korolivskoyi Akademiyi nauk v Londoni Akademiyi nauk v Gettingeni Parizkoyi AN otrimav stupin pochesnogo doktora v Universiteti Oslo v 1929 roci i Kembridzhskogo universitetu v 1954 roci 1932 roku vin otrimav zvannya Licarya Gollandskogo leva Knight in the Order of the Dutch Lion Zaginuv u 1966 roci v Blarikyumi v rezultati avtokatastrofi DzherelaUkrayinska radyanska enciklopediya u 12 t gol red M P Bazhan redkol O K Antonov ta in 2 ge vid K Golovna redakciya URE 1974 1985 Dzhon Dzh O Konnor ta Edmund F Robertson Lejtzen Egbert Yan Brauer v arhivi MacTutor angl Nepejvoda N N Prikladna logika Glava 16 Intuyicionistskaya logika 21 veresnya 2020 u Wayback Machine Diskusiyi mizh Brauerom ta Gilbertom 2 kvitnya 2015 u Wayback Machine Kostyantin Rid Gilbert 2 kvitnya 2015 u Wayback Machine PrimitkiBibliotheque nationale de France BNF platforma vidkritih danih 2011 d Track Q19938912d Track Q54837d Track Q193563 Arhiv istoriyi matematiki Maktyutor 1994 d Track Q547473 Luitzen Egbertus Jan Brouwer 2009 d Track Q1868372 Brauer Lyojtzen Egbert Yan Bolshaya sovetskaya enciklopediya v 30 t pod red A M Prohorov 3 e izd Moskva Sovetskaya enciklopediya 1969 d Track Q649d Track Q17378135 Album Academicum 2007 d Track Q63962284 https beeldbankblaricum nl overige item 4555 begraafplaats woensberg Find a Grave 1996 d Track Q63056 https beeldbankblaricum nl overige item 4767 l e j brouwer 1908 1969 Matematichnij genealogichnij proyekt 1997 d Track Q829984 Matematichnij genealogichnij proyekt 1997 d Track Q829984 https www dwc knaw nl biografie pmknaw pagetype authorDetail amp aId PE00004406