Arend Heyting
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.
doctoral advisor
doctoral student
influenced by
Wikipage redirect
A. HeytingAndrzej_GrzegorczykAnne Sjerp TroelstraAnti-realismArend (given name)Arend heytingBegriffsschriftBrouwer–Heyting–Kolmogorov interpretationBrouwer–Hilbert controversyConstructivism (philosophy of mathematics)Curry–Howard correspondenceDirk van DalenGeorge F. C. GrissGiorgi JaparidzeHeytingHeyting arithmeticHilbert's problemsHistory of logicHistory of mathematical notationInstitute for Logic, Language and ComputationIntuitionIntuitionismIntuitionistic logicL. E. J. BrouwerLaw of excluded middleList of Dutch discoveriesList of Dutch peopleList of International Congresses of Mathematicians Plenary and Invited SpeakersList of logiciansList of mathematicians born in the 19th centuryLogicLogical connectiveNatural deductionNonstandard analysisOskar BeckerPhilosophy of mathematicsPrinciple of bivalenceProblem of future contingentsScientific phenomena named after peopleSecond Conference on the Epistemology of the Exact Sciences
Link from a Wikipage to another Wikipage
doctoral advisor
doctoral students
influences
primaryTopic
Arend Heyting
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.
has abstract
Arend Heyting (9 de mayo de 18 ...... tudio en topología sin puntos.
@es
Arend Heyting (Amsterdam aux P ...... ie de la logique mathématique.
@fr
Arend Heyting (Amsterdam, 9 de ...... a ser un matemàtic neerlandès.
@ca
Arend Heyting (Amsterdam, 9 de ...... yting de "exercício estéril").
@pt
Arend Heyting (Amsterdam, 9 ma ...... o essenziale fin dall'inizio".
@it
Arend Heyting (Amsterdam, 9 me ...... n de intuïtionistische logica.
@nl
Arend Heyting (ur. 9 maja 1898 ...... ytinga „jałowymi ćwiczeniami”.
@pl
Аренд Гейтинг (нидерл. Arend H ...... частью математической логики.
@ru
Аренд Гейтінг (Голландський: [ ...... Гейтінга «стерильні вправи»).
@uk
アレン・ハイティング(Arend Heyting、1898年 ...... やんだと言われている。1980年にスイスのルガノで亡くなる。
@ja
academic discipline
alma mater
birth date
1898-05-09
birth place
death date
1980-07-09
death place
doctoral advisor
doctoral student
institution
nationality
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,008,452,496
Link from a Wikipage to another Wikipage
alma mater
University of Amsterdam
@en
birth date
1898-05-09
birth place
caption
Arend Heyting
@en
death date
1980-07-09
death place
doctoral advisor
doctoral students
fields
known for
name
Arend Heyting
@en
nationality
Dutch
@en
wikiPageUsesTemplate
workplaces
subject
hypernym
sameAs
comment
Arend Heyting (9 de mayo de 18 ...... tudio en topología sin puntos.
@es
Arend Heyting (Amsterdam aux P ...... ie de la logique mathématique.
@fr
Arend Heyting (Amsterdam, 9 de ...... a ser un matemàtic neerlandès.
@ca
Arend Heyting (Amsterdam, 9 de ...... yting de "exercício estéril").
@pt
Arend Heyting (Amsterdam, 9 ma ...... onista degli spazi di Hilbert.
@it
Arend Heyting (Amsterdam, 9 me ...... n de intuïtionistische logica.
@nl
Arend Heyting (ur. 9 maja 1898 ...... ytinga „jałowymi ćwiczeniami”.
@pl
Аренд Гейтинг (нидерл. Arend H ...... частью математической логики.
@ru
Аренд Гейтінг (Голландський: [ ...... Гейтінга «стерильні вправи»).
@uk
アレン・ハイティング(Arend Heyting、1898年 ...... やんだと言われている。1980年にスイスのルガノで亡くなる。
@ja
label
Arend Heyting
@ca
Arend Heyting
@de
Arend Heyting
@en
Arend Heyting
@es
Arend Heyting
@fr
Arend Heyting
@it
Arend Heyting
@nl
Arend Heyting
@pl
Arend Heyting
@pt
Аренд Гейтінг
@uk
sameAs
wasDerivedFrom
isPrimaryTopicOf
name
Arend Heyting
@en