Arend Heyting 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.

rdfs:comment
  • Arend Heyting 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)
foaf:isPrimaryTopicOf
rdfs:label
  • Arend Heyting (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 281241 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 833 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 17 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 70245135 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink [17 values]
Is dbpedia-owl:wikiPageWikiLink of