| Property |
Value |
| dbo:abstract
|
- 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 (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)
|
| dbo:almaMater
| |
| dbo:birthPlace
| |
| dbo:citizenship
| |
| dbo:deathPlace
| |
| dbo:discipline
| |
| dbo:doctoralAdvisor
| |
| dbo:doctoralStudent
| |
| dbo:employer
| |
| dbo:occupation
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1309 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:fr
|
- Arithmétique de Heyting (fr)
- Corps de Heyting (fr)
- Arithmétique de Heyting (fr)
- Corps de Heyting (fr)
|
| prop-fr:langue
| |
| prop-fr:trad
|
- Heyting arithmetic (fr)
- Heyting field (fr)
- Heyting arithmetic (fr)
- Heyting field (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- 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 (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)
|
| rdfs:label
|
- Arend Heyting (fr)
- Arend Heyting (ca)
- Arend Heyting (de)
- Arend Heyting (it)
- Arend Heyting (nl)
- Arend Heyting (pt)
- Аренд Гейтінг (uk)
- Гейтинг, Аренд (ru)
- アレン・ハイティング (ja)
- 阿蘭德·海廷 (zh)
- Arend Heyting (fr)
- Arend Heyting (ca)
- Arend Heyting (de)
- Arend Heyting (it)
- Arend Heyting (nl)
- Arend Heyting (pt)
- Аренд Гейтінг (uk)
- Гейтинг, Аренд (ru)
- アレン・ハイティング (ja)
- 阿蘭德·海廷 (zh)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:doctoralStudent
of | |
| is dbo:influenced
of | |
| is dbo:namedAfter
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is prop-fr:étudiantsThèse
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |