This HTML5 document contains 21 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
dbpedia-owlhttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n8http://commons.wikimedia.org/wiki/Special:FilePath/Arend_Heyting_(1967).
dchttp://purl.org/dc/elements/1.1/
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n9http://commons.wikimedia.org/wiki/Special:FilePath/Arend_Heyting_(1967).jpg?width=
n5http://dbpedia.org/resource/L._E._J.
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpediahttp://dbpedia.org/resource/
Subject Item
dbpedia:Arend_Heyting
rdfs:comment
Arend Heyting (Dutch: [ˈɦɛi̯tɪŋ]; 9 May 1898 – 9 July 1980) was a Dutch mathematician and logician. He was a student of Luitzen Egbertus Jan Brouwer at the University of Amsterdam, and did much to put intuitionistic logic on a footing where it could become part of mathematical logic. Heyting gave the first formal development of intuitionistic logic in order to codify Brouwer's way of doing mathematics.
foaf:name
Arend Heyting Heyting, Arend
foaf:depiction
n8:jpg
dc:description
Dutch mathematician
dbpedia-owl:almaMater
dbpedia:University_of_Amsterdam
dbpedia-owl:birthDate
1898-05-09Z
dbpedia-owl:birthPlace
dbpedia:Amsterdam dbpedia:Netherlands
dbpedia-owl:birthYear
1898-01-01Z
dbpedia-owl:deathDate
1980-07-09Z
dbpedia-owl:deathPlace
dbpedia:Switzerland dbpedia:Lugano
dbpedia-owl:deathYear
1980-01-01Z
dbpedia-owl:doctoralAdvisor
n5:_Brouwer
dbpedia-owl:doctoralStudent
dbpedia:Dirk_van_Dalen dbpedia:Jan_Mooij dbpedia:Anne_Sjerp_Troelstra
dbpedia-owl:field
dbpedia:Mathematics
dbpedia-owl:nationality
dbpedia:Netherlands
dbpedia-owl:thumbnail
n9:300