Arend Heyting (original) (raw)
Arend Heyting (Amsterdam, 9 de maig de 1898 - Lugano, 9 de juliol de 1980) va ser un matemàtic neerlandès.
.jpg?width=300)
| Property | Value |
|---|---|
| dbo:abstract | Arend Heyting (Amsterdam, 9 de maig de 1898 - Lugano, 9 de juliol de 1980) va ser un matemàtic neerlandès. (ca) Arend Heyting, eigentlich Heijting, (* 9. Mai 1898 in Amsterdam; † 9. Juli 1980 in Lugano) war ein niederländischer Mathematiker und Logiker. Er war Schüler von L. E. J. Brouwer und befasste sich mit der intuitionistischen Logik, für die er 1930 das erste formalisierte Axiomensystem angab. Heyting studierte ab 1916 Mathematik an der Universität Amsterdam, wo er von Brouwer und Gerrit Mannoury beeinflusst war. 1922 machte er sein Doctoralexamen. Danach war er Lehrer in Enschede, befasste sich aber weiter mit Brouwers Intuitionismus und wurde 1925 promoviert über intuitionistische Axiomatik in der projektiven Geometrie (Intuïtionistische axiomatiek der projectieve meetkunde). 1927 lobte die Wiskundig Genootschap einen Preis über die Formalisierung des Intuitionismus aus, den Heyting gewann. Die Arbeit wurde 1930 publiziert und verschafft ihm internationale Bekanntheit. 1936 wurde er Privatdozent in Amsterdam, 1937 Lektor und 1948 als Nachfolger von Mannoury Professor. 1968 wurde er emeritiert, blieb aber wissenschaftlich aktiv. Er gab den ersten Band von Brouwers Gesammelten Werken heraus. (de) Arend Heyting (Dutch: [ˈɦɛi̯tɪŋ]; 9 May 1898 – 9 July 1980) was a Dutch mathematician and logician. (en) Arend Heyting (9 de mayo de 1898 en Ámsterdam - † 9 de julio en 1980 en Lugano, Suiza) fue un matemático especializado en lógica. Fue un estudiante de L.E.J. Brouwer, se trata de un fundador de un álgebra especial que presenta modelos de la lógica intuicionista es decir una lógica en la cual la ley del tercero excluido no vale, en general. Las álgebras completas de Heyting son un objeto central de estudio en topología sin puntos. (es) Arend Heyting (Amsterdam aux Pays-Bas, 9 mai 1898 - Lugano en Suisse, 9 juillet 1980) est un mathématicien et logicien néerlandais. Il était un élève de Luitzen Egbertus Jan Brouwer à l'université d'Amsterdam, et a beaucoup contribué à ce que la logique intuitionniste fasse partie de la logique mathématique. (fr) 아런트 헤이팅(네덜란드어: Arend Heyting, IPA: [ˈaːrənt ˈɦɛitɪŋ], 1898–1980)은 네덜란드의 수학자이다. 라위트전 브라우어르의 직관주의 수학을 계승하여, 직관 논리를 엄밀히 정의하였다. (ko) アレン・ハイティング（Arend Heyting、1898年5月9日 - 1980年7月9日）は、オランダの数学者、論理学者。1898年にオランダの首都アムステルダムで生まれる。元々は形式主義者であるダフィット・ヒルベルトの弟子であったが、後にヒルベルトの論敵であるライツェン・エヒベルトゥス・ヤン・ブラウワーの弟子となり、直観論理を研究し、1930年にその論理の最初の形式化された「公理体系」を提唱した。ヒルベルトは生涯、ハイティングが自らの元を去った事を悔やんだと言われている。1980年にスイスのルガノで亡くなる。 (ja) Arend Heyting (Amsterdam, 9 mei 1898 - Lugano, Zwitserland, 9 juli 1980) was een Nederlandse wiskundige en logicus. Hij was een student van L.E.J. Brouwer, en hij heeft bijdragen geleverd aan de wijsbegeerte der wiskunde en de intuïtionistische logica. (nl) Arend Heyting (Amsterdam, 9 maggio 1898 – Lugano, 9 luglio 1980) è stato un matematico e logico olandese. Allievo di Luitzen Brouwer all'Università di Amsterdam, insieme a lui è uno dei principali esponenti dell'intuizionismo matematico. Si è occupato dell'assiomatica della geometria proiettiva e dell'algebra intuizioniste, ottenendo anche importanti risultati nella teoria intuizionista degli spazi di Hilbert. Fondamentali sono state le sue formalizzazioni della logica e della matematica intuizioniste (1930). Per la logica, Heyting si fonda sull'interpretazione delle formule logiche come "intenzioni di costruzioni": 'non A', per es., indica l'intenzione di una contraddizione connessa con l'intenzione originale A. Successivamente Heyting interpretò le formule logiche come asserzioni su costruzioni, per cui la logica intuizionista viene caratterizzata come una logica del conoscere, a differenza di quella classica, che è una logica dell'essere. Queste formalizzazioni di Heyting furono da alcuni considerate come una completa descrizione dell'intuizionismo; si ritenne quindi che esse fossero in contraddizione con la tesi brouweriana della non essenzialità del linguaggio per la matematica intuizionista. Ma già nel 1930 Heyting aveva sostenuto l'impossibilità di una sua completa formalizzazione, poiché "le possibilità di pensare non possono essere ridotte a un numero definito di regole costruite anticipatamente". La formalizzazione (come l'assiomatizzazione) è solo un ausilio per la comunicazione: se è vero che l'intuizionista non cerca il rigore del linguaggio, ma nel pensiero matematico stesso, questo però non implica una separazione assoluta fra linguaggio e matematica. "Nella effettiva ricerca matematica il linguaggio è coinvolto in modo essenziale fin dall'inizio". (it) Arend Heyting (ur. 9 maja 1898 w Amsterdamie, zm. 9 lipca 1980 w Lugano w Szwajcarii) – holenderski matematyk i logik. Przyczynił się do powstania podstaw logiki intuicjonistycznej, czyniąc z tej ostatniej dział logiki matematycznej. Student L.E.J. Brouwera na Uniwersytecie w Amsterdamie. Jego pomysły były jednak do tego stopnia niezgodne z pierwotnymi zamierzeniami Brouwera, że nazwał on prace Heytinga „jałowymi ćwiczeniami”. (pl) Arend Heyting (Amsterdam, 9 de maio de 1898 – Lugano, 9 de julho de 1980) foi um matemático e lógico holandês. Foi aluno de Luitzen Egbertus Jan Brouwer na Universidade de Amsterdã, e fez muito para colocar a Lógica intuicionista em um nível tal que pudesse fazer parte da Lógica matemática. Heyting forneceu o primeiro desenvolvimento formal da lógica intuicionista objetivando codificar a forma de Brouwer de fazer matemática. A inclusão do nome de Brouwer na Interpretação de Brouwer–Heyting–Kolmogorov é em grande parte honorífico, como Brouwer se opunha, em princípio, à formalização de certos princípios intuicionistas (e foi longe o bastante a ponto de chamar o trabalho de Heyting de "exercício estéril"). (pt) Аренд Гейтинг (нидерл. Arend Heyting; 9 мая 1898, Амстердам — 9 июля 1980, Лугано) — голландский математик и логик, студент и последователь Л. Э. Я. Брауэра, член Нидерландской АН. Окончил Амстердамский университет (1922). Работал там же (с 1948 г. — профессор). Исследования посвящены основаниям математики. Один из виднейших представителей интуиционизма после Брауэра, опубликовал работу с изложением формальных правил интуиционистской логики высказываний. Интуиционистская логика стала частью математической логики. (ru) 阿蘭德·海廷(英语：Arend Heyting，1898年5月9日－1980年7月9日)是荷蘭數學家和邏輯學家。他是魯伊茲·布勞威爾在阿姆斯特丹大學的學生之一，他做了很多工作來使直覺主義邏輯立足於成為數理邏輯一部分。海廷為了整編布勞威爾做數學研究的方法而對直覺主義邏輯做了首次形式開發。把布勞威爾的名字包含在BHK釋義中很大程度上是出於尊敬，因為布勞威爾在原則上反對直覺主義邏輯的任何形式化(並進而把海廷的工作稱為“無果實驗”)。 海廷生於荷蘭阿姆斯特丹，卒於瑞士盧加諾。 (zh) Аренд Гейтінг (нід. Arend Heyting, [ɦɛitɪŋ]; 9 травня 1898 — † 9 липня 1980) — голландський математик та логік. Він був студентом університету Амстердама, і багато зробив, щоб покласти початок інтуїціоністській логіці на основі якої вона могла б стати частиною математичної логіки. Гейтінг дав перший офіційний розвиток інтуїціоністській логіці для того, щоб кодифікувати спосіб Брауэра розв'язувати математику. Включення імені Брауера в значною мірою почесне, тому Брауер був в принципі проти формалізації деяких інтуїціоністських принципів (і пішов так далеко, ніби викликав роботу Гейтінга «стерильні вправи»). (uk) |
| dbo:academicDiscipline | dbr:Mathematics |
| dbo:almaMater | dbr:University_of_Amsterdam |
| dbo:birthDate | 1898-05-09 (xsd:date) |
| dbo:birthPlace | dbr:Amsterdam dbr:Netherlands |
| dbo:deathDate | 1980-07-09 (xsd:date) |
| dbo:deathPlace | dbr:Lugano dbr:Switzerland |
| dbo:doctoralAdvisor | dbr:Luitzen_Egbertus_Jan_Brouwer |
| dbo:doctoralStudent | dbr:Anne_Sjerp_Troelstra dbr:Dirk_van_Dalen |
| dbo:institution | dbr:University_of_Amsterdam |
| dbo:knownFor | dbr:Intuitionism dbr:Intuitionistic_logic dbr:Brouwer–Heyting–Kolmogorov_interpretation dbr:Heyting_algebra dbr:Heyting_arithmetic dbr:Heyting_field |
| dbo:thumbnail | wiki-commons:Special:FilePath/Arend_Heyting_(1967).jpg?width=300 |
| dbo:wikiPageID | 1180911 (xsd:integer) |
| dbo:wikiPageLength | 5148 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1085694240 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Royal_Netherlands_Academy_of_Arts_and_Sciences dbc:Intuitionism dbr:University_of_Amsterdam dbr:Intuitionism dbr:Intuitionistic_logic dbc:1898_births dbr:Mathematical_logic dbr:Mathematics dbr:Anne_Sjerp_Troelstra dbr:Lugano dbr:Mathematician dbc:1980_deaths dbc:Members_of_the_Royal_Netherlands_Academy_of_Arts_and_Sciences dbc:University_of_Amsterdam_alumni dbc:Dutch_mathematicians dbr:Amsterdam dbr:Brouwer–Heyting–Kolmogorov_interpretation dbr:Dirk_van_Dalen dbr:Heyting_algebra dbc:Scientists_from_Amsterdam dbc:University_of_Amsterdam_faculty dbc:Dutch_logicians dbr:Switzerland dbr:Heyting_arithmetic dbr:Heyting_field dbr:Netherlands dbr:Logician dbr:Luitzen_Egbertus_Jan_Brouwer |
| dbp:almaMater | University of Amsterdam (en) |
| dbp:birthDate | 1898-05-09 (xsd:date) |
| dbp:birthPlace | dbr:Amsterdam dbr:Netherlands |
| dbp:caption | Arend Heyting (en) |
| dbp:deathDate | 1980-07-09 (xsd:date) |
| dbp:deathPlace | dbr:Lugano dbr:Switzerland |
| dbp:doctoralAdvisor | dbr:Luitzen_Egbertus_Jan_Brouwer |
| dbp:doctoralStudents | dbr:Anne_Sjerp_Troelstra dbr:Dirk_van_Dalen |
| dbp:fields | dbr:Mathematics |
| dbp:knownFor | dbr:Intuitionistic_logic dbr:Brouwer–Heyting–Kolmogorov_interpretation dbr:Heyting_algebra dbr:Heyting_arithmetic dbr:Heyting_field Contributions to intuitionism (en) |
| dbp:name | Arend Heyting (en) |
| dbp:nationality | Dutch (en) |
| dbp:wikiPageUsesTemplate | dbt:Netherlands-scientist-stub dbt:Authority_control dbt:Birth_date dbt:IPA-nl dbt:Reflist dbt:Short_description dbt:Use_dmy_dates dbt:Death_date_and_age dbt:Infobox_scientist dbt:MacTutor_Biography dbt:Europe-mathematician-stub |
| dbp:workplaces | dbr:University_of_Amsterdam |
| dcterms:subject | dbc:Intuitionism dbc:1898_births dbc:1980_deaths dbc:Members_of_the_Royal_Netherlands_Academy_of_Arts_and_Sciences dbc:University_of_Amsterdam_alumni dbc:Dutch_mathematicians dbc:Scientists_from_Amsterdam dbc:University_of_Amsterdam_faculty dbc:Dutch_logicians |
| gold:hypernym | dbr:Mathematician |
| schema:sameAs | http://viaf.org/viaf/17289656 |
| rdf:type | owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species schema:Person yago:WikicatLogicians yago:WikicatPeopleFromAmsterdam wikidata:Q901 yago:CausalAgent100007347 yago:Expert109617867 yago:LivingThing100004258 yago:Logician110269785 yago:Mathematician110301261 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scientist110560637 yago:Whole100003553 yago:WikicatDutchMathematicians yago:WikicatDutchPeople |
| rdfs:comment | Arend Heyting (Amsterdam, 9 de maig de 1898 - Lugano, 9 de juliol de 1980) va ser un matemàtic neerlandès. (ca) Arend Heyting (Dutch: [ˈɦɛi̯tɪŋ]; 9 May 1898 – 9 July 1980) was a Dutch mathematician and logician. (en) Arend Heyting (9 de mayo de 1898 en Ámsterdam - † 9 de julio en 1980 en Lugano, Suiza) fue un matemático especializado en lógica. Fue un estudiante de L.E.J. Brouwer, se trata de un fundador de un álgebra especial que presenta modelos de la lógica intuicionista es decir una lógica en la cual la ley del tercero excluido no vale, en general. Las álgebras completas de Heyting son un objeto central de estudio en topología sin puntos. (es) Arend Heyting (Amsterdam aux Pays-Bas, 9 mai 1898 - Lugano en Suisse, 9 juillet 1980) est un mathématicien et logicien néerlandais. Il était un élève de Luitzen Egbertus Jan Brouwer à l'université d'Amsterdam, et a beaucoup contribué à ce que la logique intuitionniste fasse partie de la logique mathématique. (fr) 아런트 헤이팅(네덜란드어: Arend Heyting, IPA: [ˈaːrənt ˈɦɛitɪŋ], 1898–1980)은 네덜란드의 수학자이다. 라위트전 브라우어르의 직관주의 수학을 계승하여, 직관 논리를 엄밀히 정의하였다. (ko) アレン・ハイティング（Arend Heyting、1898年5月9日 - 1980年7月9日）は、オランダの数学者、論理学者。1898年にオランダの首都アムステルダムで生まれる。元々は形式主義者であるダフィット・ヒルベルトの弟子であったが、後にヒルベルトの論敵であるライツェン・エヒベルトゥス・ヤン・ブラウワーの弟子となり、直観論理を研究し、1930年にその論理の最初の形式化された「公理体系」を提唱した。ヒルベルトは生涯、ハイティングが自らの元を去った事を悔やんだと言われている。1980年にスイスのルガノで亡くなる。 (ja) Arend Heyting (Amsterdam, 9 mei 1898 - Lugano, Zwitserland, 9 juli 1980) was een Nederlandse wiskundige en logicus. Hij was een student van L.E.J. Brouwer, en hij heeft bijdragen geleverd aan de wijsbegeerte der wiskunde en de intuïtionistische logica. (nl) Arend Heyting (ur. 9 maja 1898 w Amsterdamie, zm. 9 lipca 1980 w Lugano w Szwajcarii) – holenderski matematyk i logik. Przyczynił się do powstania podstaw logiki intuicjonistycznej, czyniąc z tej ostatniej dział logiki matematycznej. Student L.E.J. Brouwera na Uniwersytecie w Amsterdamie. Jego pomysły były jednak do tego stopnia niezgodne z pierwotnymi zamierzeniami Brouwera, że nazwał on prace Heytinga „jałowymi ćwiczeniami”. (pl) Arend Heyting (Amsterdam, 9 de maio de 1898 – Lugano, 9 de julho de 1980) foi um matemático e lógico holandês. Foi aluno de Luitzen Egbertus Jan Brouwer na Universidade de Amsterdã, e fez muito para colocar a Lógica intuicionista em um nível tal que pudesse fazer parte da Lógica matemática. Heyting forneceu o primeiro desenvolvimento formal da lógica intuicionista objetivando codificar a forma de Brouwer de fazer matemática. A inclusão do nome de Brouwer na Interpretação de Brouwer–Heyting–Kolmogorov é em grande parte honorífico, como Brouwer se opunha, em princípio, à formalização de certos princípios intuicionistas (e foi longe o bastante a ponto de chamar o trabalho de Heyting de "exercício estéril"). (pt) Аренд Гейтинг (нидерл. Arend Heyting; 9 мая 1898, Амстердам — 9 июля 1980, Лугано) — голландский математик и логик, студент и последователь Л. Э. Я. Брауэра, член Нидерландской АН. Окончил Амстердамский университет (1922). Работал там же (с 1948 г. — профессор). Исследования посвящены основаниям математики. Один из виднейших представителей интуиционизма после Брауэра, опубликовал работу с изложением формальных правил интуиционистской логики высказываний. Интуиционистская логика стала частью математической логики. (ru) 阿蘭德·海廷(英语：Arend Heyting，1898年5月9日－1980年7月9日)是荷蘭數學家和邏輯學家。他是魯伊茲·布勞威爾在阿姆斯特丹大學的學生之一，他做了很多工作來使直覺主義邏輯立足於成為數理邏輯一部分。海廷為了整編布勞威爾做數學研究的方法而對直覺主義邏輯做了首次形式開發。把布勞威爾的名字包含在BHK釋義中很大程度上是出於尊敬，因為布勞威爾在原則上反對直覺主義邏輯的任何形式化(並進而把海廷的工作稱為“無果實驗”)。 海廷生於荷蘭阿姆斯特丹，卒於瑞士盧加諾。 (zh) Аренд Гейтінг (нід. Arend Heyting, [ɦɛitɪŋ]; 9 травня 1898 — † 9 липня 1980) — голландський математик та логік. Він був студентом університету Амстердама, і багато зробив, щоб покласти початок інтуїціоністській логіці на основі якої вона могла б стати частиною математичної логіки. Гейтінг дав перший офіційний розвиток інтуїціоністській логіці для того, щоб кодифікувати спосіб Брауэра розв'язувати математику. Включення імені Брауера в значною мірою почесне, тому Брауер був в принципі проти формалізації деяких інтуїціоністських принципів (і пішов так далеко, ніби викликав роботу Гейтінга «стерильні вправи»). (uk) Arend Heyting, eigentlich Heijting, (* 9. Mai 1898 in Amsterdam; † 9. Juli 1980 in Lugano) war ein niederländischer Mathematiker und Logiker. Er war Schüler von L. E. J. Brouwer und befasste sich mit der intuitionistischen Logik, für die er 1930 das erste formalisierte Axiomensystem angab. Er gab den ersten Band von Brouwers Gesammelten Werken heraus. (de) Arend Heyting (Amsterdam, 9 maggio 1898 – Lugano, 9 luglio 1980) è stato un matematico e logico olandese. Allievo di Luitzen Brouwer all'Università di Amsterdam, insieme a lui è uno dei principali esponenti dell'intuizionismo matematico. Si è occupato dell'assiomatica della geometria proiettiva e dell'algebra intuizioniste, ottenendo anche importanti risultati nella teoria intuizionista degli spazi di Hilbert. (it) |
| rdfs:label | Arend Heyting (en) Arend Heyting (ca) Arend Heyting (de) Arend Heyting (es) Arend Heyting (fr) Arend Heyting (it) 아런트 헤이팅 (ko) アレン・ハイティング (ja) Arend Heyting (pl) Arend Heyting (nl) Arend Heyting (pt) Гейтинг, Аренд (ru) 阿蘭德·海廷 (zh) Аренд Гейтінг (uk) |
| owl:sameAs | freebase:Arend Heyting yago-res:Arend Heyting http://viaf.org/viaf/17289656 https://dblp.org/pid/90/5387 wikidata:Arend Heyting http://data.bibliotheken.nl/id/thes/p068357044 http://arz.dbpedia.org/resource/ارند_هيتينج http://azb.dbpedia.org/resource/آرند_هیتینق dbpedia-ca:Arend Heyting dbpedia-de:Arend Heyting dbpedia-es:Arend Heyting dbpedia-fa:Arend Heyting dbpedia-fr:Arend Heyting dbpedia-it:Arend Heyting dbpedia-ja:Arend Heyting dbpedia-ko:Arend Heyting dbpedia-mk:Arend Heyting dbpedia-nl:Arend Heyting dbpedia-pl:Arend Heyting dbpedia-pt:Arend Heyting dbpedia-ru:Arend Heyting dbpedia-sr:Arend Heyting dbpedia-tr:Arend Heyting dbpedia-uk:Arend Heyting dbpedia-zh:Arend Heyting https://global.dbpedia.org/id/4pfsw http://d-nb.info/gnd/1027693091 |
| prov:wasDerivedFrom | wikipedia-en:Arend_Heyting?oldid=1085694240&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Arend_Heyting_(1967).jpg |
| foaf:isPrimaryTopicOf | wikipedia-en:Arend_Heyting |
| foaf:name | Arend Heyting (en) |
| is dbo:doctoralAdvisor of | dbr:Anne_Sjerp_Troelstra |
| is dbo:doctoralStudent of | dbr:L._E._J._Brouwer |
| is dbo:influencedBy of | dbr:Andrzej_Grzegorczyk |
| is dbo:wikiPageRedirects of | dbr:Arend_heyting dbr:Heyting dbr:A._Heyting |
| is dbo:wikiPageWikiLink of | dbr:Begriffsschrift dbr:Principle_of_bivalence dbr:Problem_of_future_contingents dbr:Anti-realism dbr:Arend_(given_name) dbr:List_of_Dutch_discoveries dbr:Arend_heyting dbr:Definitions_of_mathematics dbr:Intuition dbr:Intuitionism dbr:Intuitionistic_logic dbr:List_of_logicians dbr:List_of_mathematicians_born_in_the_19th_century dbr:Timeline_of_category_theory_and_related_mathematics dbr:Constructivism_(philosophy_of_mathematics) dbr:Material_conditional dbr:Second_Conference_on_the_Epistemology_of_the_Exact_Sciences dbr:Timeline_of_mathematical_logic dbr:George_F._C._Griss dbr:Andrzej_Grzegorczyk dbr:Anne_Sjerp_Troelstra dbr:Logic dbr:Brouwer–Hilbert_controversy dbr:Giorgi_Japaridze dbr:Law_of_excluded_middle dbr:Curry–Howard_correspondence dbr:Brouwer–Heyting–Kolmogorov_interpretation dbr:Nonstandard_analysis dbr:Dirk_van_Dalen dbr:History_of_logic dbr:History_of_mathematical_notation dbr:Logical_connective dbr:List_of_Dutch_people dbr:List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers dbr:Natural_deduction dbr:Heyting dbr:Hilbert's_problems dbr:L._E._J._Brouwer dbr:Heyting_arithmetic dbr:Philosophy_of_mathematics dbr:Institute_for_Logic,_Language_and_Computation dbr:Oskar_Becker dbr:Scientific_phenomena_named_after_people dbr:A._Heyting |
| is dbp:doctoralAdvisor of | dbr:Anne_Sjerp_Troelstra |
| is dbp:doctoralStudents of | dbr:L._E._J._Brouwer |
| is dbp:influences of | dbr:Andrzej_Grzegorczyk |
| is foaf:primaryTopic of | wikipedia-en:Arend_Heyting |
