[go: up one dir, main page]
About DBpedia Fr

About: http://fr.dbpedia.org/resource/Thoralf_Skolem

An Entity of Type : person, from Named Graph : http://fr.dbpedia.org, within Data Space : fr.dbpedia.org

Thoralf Albert Skolem (1887-1963) est un mathématicien et logicien norvégien. Il est particulièrement connu pour les travaux en logique mathématique et théorie des ensembles qui portent à présent son nom, comme le théorème de Löwenheim-Skolem ou la notion de skolémisation.

thumbnail
Property Value
dbo:abstract
  • Thoralf Albert Skolem (1887-1963) est un mathématicien et logicien norvégien. Il est particulièrement connu pour les travaux en logique mathématique et théorie des ensembles qui portent à présent son nom, comme le théorème de Löwenheim-Skolem ou la notion de skolémisation. (fr)
  • Thoralf Albert Skolem (1887-1963) est un mathématicien et logicien norvégien. Il est particulièrement connu pour les travaux en logique mathématique et théorie des ensembles qui portent à présent son nom, comme le théorème de Löwenheim-Skolem ou la notion de skolémisation. (fr)
dbo:almaMater
dbo:award
dbo:birthName
  • Thoralf Albert Skolem (en)
dbo:birthPlace
dbo:citizenship
dbo:deathPlace
dbo:discipline
dbo:doctoralAdvisor
dbo:doctoralStudent
dbo:employer
dbo:occupation
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 1374780 (xsd:integer)
dbo:wikiPageLength
  • 11193 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 167612721 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1934 (xsd:integer)
prop-fr:art
  • Thoralf Skolem (fr)
  • Thoralf Skolem (fr)
prop-fr:auteur
  • Thoralf Skolem (fr)
  • Thoralf Skolem (fr)
prop-fr:id
  • 768371528 (xsd:integer)
  • Skolem (fr)
prop-fr:journal
prop-fr:lang
  • en (fr)
  • en (fr)
prop-fr:langue
  • de (fr)
  • de (fr)
prop-fr:légende
  • Thoralf Skolem dans les années 1930. (fr)
  • Thoralf Skolem dans les années 1930. (fr)
prop-fr:nom
  • Thoralf Skolem (fr)
  • Thoralf Skolem (fr)
prop-fr:numéro
  • 1 (xsd:integer)
prop-fr:pages
  • 150 (xsd:integer)
prop-fr:profession
  • mathématicien et logicien (fr)
  • mathématicien et logicien (fr)
prop-fr:title
  • Thoralf Albert Skolem (fr)
  • Thoralf Albert Skolem (fr)
prop-fr:titre
  • Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschließlich Zahlenvariablen (fr)
  • Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschließlich Zahlenvariablen (fr)
prop-fr:url
prop-fr:volume
  • 23 (xsd:integer)
prop-fr:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
  • Thoralf Albert Skolem (1887-1963) est un mathématicien et logicien norvégien. Il est particulièrement connu pour les travaux en logique mathématique et théorie des ensembles qui portent à présent son nom, comme le théorème de Löwenheim-Skolem ou la notion de skolémisation. (fr)
  • Thoralf Albert Skolem (1887-1963) est un mathématicien et logicien norvégien. Il est particulièrement connu pour les travaux en logique mathématique et théorie des ensembles qui portent à présent son nom, comme le théorème de Löwenheim-Skolem ou la notion de skolémisation. (fr)
rdfs:label
  • Thoralf Skolem (fr)
  • Albert Thoralf Skolem (de)
  • Thoralf Skolem (pt)
  • トアルフ・スコーレム (ja)
  • Thoralf Skolem (fr)
  • Albert Thoralf Skolem (de)
  • Thoralf Skolem (pt)
  • トアルフ・スコーレム (ja)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:doctoralAdvisor of
is dbo:doctoralStudent of
is dbo:namedAfter of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License