Azərbaycanca AzərbaycancaБеларускі БеларускіDansk DanskDeutsch DeutschEspañola EspañolaFrançais FrançaisIndonesia IndonesiaItaliana Italiana日本語 日本語Қазақ ҚазақLietuvos LietuvosNederlands NederlandsPortuguês PortuguêsРусский Русскийසිංහල සිංහලแบบไทย แบบไทยTürkçe TürkçeУкраїнська Українська中國人 中國人United State United StateAfrikaans Afrikaans
Підтримка
www.wikidata.uk-ua.nina.az

Аренд Гейтінг нід Arend Heyting ɦɛitɪŋ 9 травня 1898 9 липня 1980 голландський математик та логік Він був студентом унів

Аренд Гейтінг

Аренд Гейтінг (нід. Arend Heyting, [ɦɛitɪŋ]; 9 травня 1898 — † 9 липня 1980) — голландський математик та логік. Він був студентом університету Амстердама, і багато зробив, щоб покласти початок інтуїціоністській логіці на основі якої вона могла б стати частиною математичної логіки. Гейтінг дав перший офіційний розвиток інтуїціоністській логіці для того, щоб кодифікувати спосіб Брауэра розв'язувати математику. Включення імені Брауера в [en] значною мірою почесне, тому Брауер був в принципі проти формалізації деяких інтуїціоністських принципів (і пішов так далеко, ніби викликав роботу Гейтінга «стерильні вправи»).

Аренд Гейтінг
Arend Heyting
image
Аренд Гейтінг (1967)
Аренд Гейтінг (1967)
Народився 9 травня 1898(1898-05-09)[1][2][…]
Амстердам, Нідерланди[1]
Помер 9 липня 1980(1980-07-09)[1][2][…] (82 роки)
Лугано, Тічино, Швейцарія[1][4]
Країна image Нідерланди
Національність Голландець
Діяльність математик, викладач університету
Alma mater Амстердамський університет
Галузь Математика, Логіка
Заклад Амстердамський університет
Науковий керівник Лейтзен Егберт Ян Брауер
Вчителі d[2] і Лейтзен Егберт Ян Брауер[5]
Аспіранти, докторанти d[6]
d[7]
d[8]
d[8]
d[8]
d[8]
d[8]
d[8]
d[8]
Членство Нідерландська королівська академія наук
Відомий завдяки: Інтуїціонистська логіка, Алгебра Гейтінга
image Висловлювання у Вікіцитатах
image Аренд Гейтінг у Вікісховищі

Біографія

Аренд Гейтінг народився 8 травня в Амстердамі, Нідерланди. Ще студентом Амстердамського університету стає учнем і послідовником Л. Е. Я. Брауеера, який почав розробку програми побудови математики на інтуїціоністській основі. Гейтінг був першим ученим, який примкнув до нового напрямку. У 1922 Гейтінг дає інтуїціоністське трактування аксіоматиці проективної геометрії (тема запропонована Брауером), в 1925 захищає на цій основі докторські тези і публікує дві статті в «Mathematishe Annalen». З 1927 Гейтинг — професор Амстердамського університету. Відповідаючи запропонованій Г. Маннурі конкурсній темі, вчений публікує три статті по формалізації інтуїціоністської математики (інтуїционістського числення висловів та предикатів). Брауер високо оцінив цю роботу. В 1934 Гейтінг пише огляд з основ математики. У ньому він виробляє нині широко відоме трактування логічних операторів. У 1941 Гейтінг привернув питання інтуїціоністської аксіоматики алгебри. Він розробляє інтуїционістську теорію Гільбертових просторів. Але головне поле діяльності-роз'яснення математичного світу концепцій інтуїционізма. У 1956 виходить його книга «Введення в інтуїціонізм» — ясний і витончений виклад предмета для широкого кола. Саме завдяки Гейтінгу інтуіціонізм знайшов нових прихильників серед математиків. Помер Аренд Гейтінг в Лугано, Швейцарія.

Див. також

Обрані видання

  • Heyting, A. (1956) Intuitionism. An introduction. North-Holland Publishing Co., Amsterdam.
  • Heyting, A. (1974) Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. (German) Reprint. Springer-Verlag, Berlin-New York.
  • Heijting, A. (1973) Address to Professor A. Robinson. At the occasion of the Brouwer memorial lecture given by Prof. A.Robinson on the 26th April 1973. Nieuw Arch. Wisk. (3) 21, pp. 134–137.
  • Heyting, A. (1966) Intuitionism: An introduction. Second revised edition North-Holland Publishing Co., Amsterdam.
  • Heyting, A. (1962) After thirty years. 1962 Logic, Methodology and Philosophy of Science (Proc. 1960 Internat. Congr.) pp. 194–197 Stanford Univ. Press, Stanford, Calif.
  • Heyting, A. (1980) Axiomatic projective geometry. Second edition. Bibliotheca Mathematica [Mathematics Library], V. Wolters-Noordhoff Scientific Publications, Ltd., Groningen; North-Holland Publishing Co., Amsterdam-New York.
  • Heyting, A. (1963) Axiomatic projective geometry. Bibliotheca Mathematica, Vol. V. Interscience Publishers John Wiley & Sons, Inc., New York; P. Noordhoff N.V., Groningen; North-Holland Publishing Co., Amsterdam.
  • Heyting, A. (1959) Axioms for intuitionistic plane affine geometry. The axiomatic method. With special reference to geometry and physics. Proceedings of an International Symposium held at the Univ. of Calif., Berkeley, Dec. 26, 1957-Jan 4, 1958 (edited by L. Henkin, P. Suppes and A. Tarski) pp. 160–173 Studies in Logic and the Foundations of Mathematics North-Holland Publishing Co., Amsterdam.
  • Heyting, A. (1941) Untersuchungen der intuitionistische Algebra. (German) Verh. Nederl. Akad. Wetensch. Afd. Natuurk. Sect. 1. 18. no. 2, 36 pp.
  • Heyting, A. (1930) Die formalen Regeln der intuitionistischen Logik. (German) 3 parts, In: Sitzungsberichte der preußischen Akademie der Wissenschaften. phys.-math. Klasse, 1930, 42-65, 57-71, 158–169.

Посилання

Примітки

  1. Deutsche Nationalbibliothek Record #1027693091 // Gemeinsame Normdatei — 2012—2016.
    d:Track:Q27302d:Track:Q36578
  2. Архів історії математики Мактьютор — 1994.
    d:Track:Q547473
  3. SNAC — 2010.
    d:Track:Q29861311
  4. Album Academicum — 2007.
    d:Track:Q63962284
  5. Stanford Encyclopedia of Philosophy — Stanford University, Center for the Study of Language & Information, 1995. — ISSN 1095-5054
    d:Track:Q824553d:Track:Q66839005d:Track:Q41506
  6. Математичний генеалогічний проєкт — 1997.
    d:Track:Q829984
  7. Математичний генеалогічний проєкт — 1997.
    d:Track:Q829984
  8. Математичний генеалогічний проєкт — 1997.
    d:Track:Q829984
  9. Walter P. van Stigt (1990). Brouwer's Intuitionism. Amsterdam: North Holland.

Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет

Дата публікації:
Arend Gejting nid Arend Heyting ɦɛitɪŋ 9 travnya 1898 9 lipnya 1980 gollandskij matematik ta logik Vin buv studentom universitetu Amsterdama i bagato zrobiv shob poklasti pochatok intuyicionistskij logici na osnovi yakoyi vona mogla b stati chastinoyu matematichnoyi logiki Gejting dav pershij oficijnij rozvitok intuyicionistskij logici dlya togo shob kodifikuvati sposib Brauera rozv yazuvati matematiku Vklyuchennya imeni Brauera v en znachnoyu miroyu pochesne tomu Brauer buv v principi proti formalizaciyi deyakih intuyicionistskih principiv i pishov tak daleko nibi viklikav robotu Gejtinga sterilni vpravi Arend GejtingArend HeytingArend Gejting 1967 Arend Gejting 1967 Narodivsya 9 travnya 1898 1898 05 09 1 2 Amsterdam Niderlandi 1 Pomer 9 lipnya 1980 1980 07 09 1 2 82 roki Lugano Tichino Shvejcariya 1 4 Krayina NiderlandiNacionalnist GollandecDiyalnist matematik vikladach universitetuAlma mater Amsterdamskij universitetGaluz Matematika LogikaZaklad Amsterdamskij universitetNaukovij kerivnik Lejtzen Egbert Yan BrauerVchiteli d 2 i Lejtzen Egbert Yan Brauer 5 Aspiranti doktoranti d 6 d 7 d 8 d 8 d 8 d 8 d 8 d 8 d 8 Chlenstvo Niderlandska korolivska akademiya naukVidomij zavdyaki Intuyicionistska logika Algebra GejtingaVislovlyuvannya u Vikicitatah Arend Gejting u VikishovishiBiografiyaArend Gejting narodivsya 8 travnya v Amsterdami Niderlandi She studentom Amsterdamskogo universitetu staye uchnem i poslidovnikom L E Ya Braueera yakij pochav rozrobku programi pobudovi matematiki na intuyicionistskij osnovi Gejting buv pershim uchenim yakij primknuv do novogo napryamku U 1922 Gejting daye intuyicionistske traktuvannya aksiomatici proektivnoyi geometriyi tema zaproponovana Brauerom v 1925 zahishaye na cij osnovi doktorski tezi i publikuye dvi statti v Mathematishe Annalen Z 1927 Gejting profesor Amsterdamskogo universitetu Vidpovidayuchi zaproponovanij G Mannuri konkursnij temi vchenij publikuye tri statti po formalizaciyi intuyicionistskoyi matematiki intuyicionistskogo chislennya visloviv ta predikativ Brauer visoko ociniv cyu robotu V 1934 Gejting pishe oglyad z osnov matematiki U nomu vin viroblyaye nini shiroko vidome traktuvannya logichnih operatoriv U 1941 Gejting privernuv pitannya intuyicionistskoyi aksiomatiki algebri Vin rozroblyaye intuyicionistsku teoriyu Gilbertovih prostoriv Ale golovne pole diyalnosti roz yasnennya matematichnogo svitu koncepcij intuyicionizma U 1956 vihodit jogo kniga Vvedennya v intuyicionizm yasnij i vitonchenij viklad predmeta dlya shirokogo kola Same zavdyaki Gejtingu intuicionizm znajshov novih prihilnikiv sered matematikiv Pomer Arend Gejting v Lugano Shvejcariya Div takozhAlgebra Gejtinga en Obrani vidannyaHeyting A 1956 Intuitionism An introduction North Holland Publishing Co Amsterdam Heyting A 1974 Mathematische Grundlagenforschung Intuitionismus Beweistheorie German Reprint Springer Verlag Berlin New York Heijting A 1973 Address to Professor A Robinson At the occasion of the Brouwer memorial lecture given by Prof A Robinson on the 26th April 1973 Nieuw Arch Wisk 3 21 pp 134 137 Heyting A 1966 Intuitionism An introduction Second revised edition North Holland Publishing Co Amsterdam Heyting A 1962 After thirty years 1962 Logic Methodology and Philosophy of Science Proc 1960 Internat Congr pp 194 197 Stanford Univ Press Stanford Calif Heyting A 1980 Axiomatic projective geometry Second edition Bibliotheca Mathematica Mathematics Library V Wolters Noordhoff Scientific Publications Ltd Groningen North Holland Publishing Co Amsterdam New York Heyting A 1963 Axiomatic projective geometry Bibliotheca Mathematica Vol V Interscience Publishers John Wiley amp Sons Inc New York P Noordhoff N V Groningen North Holland Publishing Co Amsterdam Heyting A 1959 Axioms for intuitionistic plane affine geometry The axiomatic method With special reference to geometry and physics Proceedings of an International Symposium held at the Univ of Calif Berkeley Dec 26 1957 Jan 4 1958 edited by L Henkin P Suppes and A Tarski pp 160 173 Studies in Logic and the Foundations of Mathematics North Holland Publishing Co Amsterdam Heyting A 1941 Untersuchungen der intuitionistische Algebra German Verh Nederl Akad Wetensch Afd Natuurk Sect 1 18 no 2 36 pp Heyting A 1930 Die formalen Regeln der intuitionistischen Logik German 3 parts In Sitzungsberichte der preussischen Akademie der Wissenschaften phys math Klasse 1930 42 65 57 71 158 169 PosilannyaNova filosofska enciklopediya 10 kvitnya 2015 u Wayback Machine Biografiya Arenda Gejtinga 30 chervnya 2009 u Wayback Machine Arend Gejting summery 27 travnya 2015 u Wayback Machine Dzhon Dzh O Konnor ta Edmund F Robertson Arend Gejting v arhivi MacTutor angl Arend Gejting angl v proyekti Matematichna genealogiya PrimitkiDeutsche Nationalbibliothek Record 1027693091 Gemeinsame Normdatei 2012 2016 d Track Q27302d Track Q36578 Arhiv istoriyi matematiki Maktyutor 1994 d Track Q547473 SNAC 2010 d Track Q29861311 Album Academicum 2007 d Track Q63962284 Stanford Encyclopedia of Philosophy Stanford University Center for the Study of Language amp Information 1995 ISSN 1095 5054 d Track Q824553d Track Q66839005d Track Q41506 Matematichnij genealogichnij proyekt 1997 d Track Q829984 Matematichnij genealogichnij proyekt 1997 d Track Q829984 Matematichnij genealogichnij proyekt 1997 d Track Q829984 Walter P van Stigt 1990 Brouwer s Intuitionism Amsterdam North Holland
Топ