Stephen Cole Kleene, né le 5 janvier 1909 à Hartford (Connecticut) et mort le 25 janvier 1994 à Madison (Wisconsin), est un mathématicien et logicien américain.

Property Value
dbo:abstract
  • Stephen Cole Kleene, né le 5 janvier 1909 à Hartford (Connecticut) et mort le 25 janvier 1994 à Madison (Wisconsin), est un mathématicien et logicien américain. (fr)
  • Stephen Cole Kleene, né le 5 janvier 1909 à Hartford (Connecticut) et mort le 25 janvier 1994 à Madison (Wisconsin), est un mathématicien et logicien américain. (fr)
dbo:almaMater
dbo:award
dbo:battle
dbo:birthDate
  • 1909-01-05 (xsd:date)
dbo:birthName
  • Stephen Cole Kleene (en)
dbo:birthPlace
dbo:birthYear
  • 1909-01-01 (xsd:gYear)
dbo:citizenship
dbo:deathDate
  • 1994-01-25 (xsd:date)
dbo:deathPlace
dbo:deathYear
  • 1994-01-01 (xsd:gYear)
dbo:discipline
dbo:doctoralAdvisor
dbo:doctoralStudent
dbo:domain
dbo:employer
dbo:influenced
dbo:influencedBy
dbo:institution
dbo:knownFor
dbo:nationality
dbo:occupation
dbo:residence
dbo:thumbnail
dbo:thumbnailCaption
  • Stephen Kleene en 1978.
dbo:university
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 59929 (xsd:integer)
dbo:wikiPageLength
  • 13556 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 189888658 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1935 (xsd:integer)
  • 1936 (xsd:integer)
  • 1952 (xsd:integer)
  • 1954 (xsd:integer)
  • 1956 (xsd:integer)
  • 1965 (xsd:integer)
  • 1967 (xsd:integer)
  • 1981 (xsd:integer)
prop-fr:auteur
  • — avec Emil Post (fr)
  • — avec Richard Eugène Vesley (fr)
  • — avec Emil Post (fr)
  • — avec Richard Eugène Vesley (fr)
prop-fr:auteursOuvrage
  • Claude E. Shannon et John McCarthy (fr)
  • Claude E. Shannon et John McCarthy (fr)
prop-fr:champs
prop-fr:collection
  • Annals of Mathematics Studies (fr)
  • Annals of Mathematics Studies (fr)
prop-fr:dateDeDécès
  • 1994-01-25 (xsd:date)
prop-fr:dateDeNaissance
  • 1909-01-05 (xsd:date)
prop-fr:diplôme
prop-fr:directeurThèse
prop-fr:doi
  • 10.230700 (xsd:double)
prop-fr:domicile
prop-fr:fr
  • Paradoxe de Kleene-Rosser (fr)
  • Paradoxe de Kleene-Rosser (fr)
prop-fr:institutions
prop-fr:isbn
  • 978 (xsd:integer)
prop-fr:journal
prop-fr:jstor
  • 1969708 (xsd:integer)
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:lieu
  • Amsterdam (fr)
  • Princeton (fr)
  • Amsterdam (fr)
  • Princeton (fr)
prop-fr:lieuDeDécès
prop-fr:lieuDeNaissance
prop-fr:légende
  • Stephen Kleene en 1978. (fr)
  • Stephen Kleene en 1978. (fr)
prop-fr:mathReviews
  • 61078 (xsd:integer)
prop-fr:mois
  • janvier-mars (fr)
  • janvier-mars (fr)
prop-fr:nationalité
prop-fr:nom
  • Stephen Kleene (fr)
  • Stephen Kleene (fr)
prop-fr:numéro
  • 1 (xsd:integer)
  • 3 (xsd:integer)
prop-fr:numéroDansCollection
  • 34 (xsd:integer)
prop-fr:pages
  • 52 (xsd:integer)
  • 153 (xsd:integer)
  • 379 (xsd:integer)
  • 727 (xsd:integer)
prop-fr:pagesTotales
  • x+550 (fr)
  • viii+285 (fr)
  • viii + 206 (fr)
  • x+550 (fr)
  • viii+285 (fr)
  • viii + 206 (fr)
prop-fr:passage
  • 3 (xsd:integer)
prop-fr:prix
prop-fr:présentationEnLigne
prop-fr:renomméPour
prop-fr:sousTitre
  • especially in relation to recursive functions (fr)
  • especially in relation to recursive functions (fr)
prop-fr:sudoc
  • 5435234 (xsd:integer)
  • 5505526 (xsd:integer)
prop-fr:titre
  • Introduction to Metamathematics (fr)
  • Mathematical logic (fr)
  • The upper semi-lattice of degrees of recursive unsolvability (fr)
  • A theory of positive integers in formal logic (fr)
  • General recursive functions of natural numbers (fr)
  • Origins of Recursive Function Theory (fr)
  • The Foundations of Intuitionistic Mathematics (fr)
  • Introduction to Metamathematics (fr)
  • Mathematical logic (fr)
  • The upper semi-lattice of degrees of recursive unsolvability (fr)
  • A theory of positive integers in formal logic (fr)
  • General recursive functions of natural numbers (fr)
  • Origins of Recursive Function Theory (fr)
  • The Foundations of Intuitionistic Mathematics (fr)
prop-fr:titreChapitre
  • Representation of events in nerve nets and finite automata (fr)
  • Representation of events in nerve nets and finite automata (fr)
prop-fr:titreOuvrage
  • Automata Studies (fr)
  • Automata Studies (fr)
prop-fr:trad
  • Kleene–Rosser paradox (fr)
  • Kleene–Rosser paradox (fr)
prop-fr:volume
  • 3 (xsd:integer)
  • 57 (xsd:integer)
  • 59 (xsd:integer)
  • 112 (xsd:integer)
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
prop-fr:étudiantsThèse
dct:subject
rdf:type
rdfs:comment
  • Stephen Cole Kleene, né le 5 janvier 1909 à Hartford (Connecticut) et mort le 25 janvier 1994 à Madison (Wisconsin), est un mathématicien et logicien américain. (fr)
  • Stephen Cole Kleene, né le 5 janvier 1909 à Hartford (Connecticut) et mort le 25 janvier 1994 à Madison (Wisconsin), est un mathématicien et logicien américain. (fr)
rdfs:label
  • Stephen Cole Kleene (fr)
  • Stephen Cole Kleene (af)
  • Stephen Cole Kleene (nl)
  • Stephen Cole Kleene (pl)
  • Stephen Kleene (es)
  • Stephen Kleene (it)
  • Stephen Kleene (pt)
  • Клини, Стивен Коул (ru)
  • Стівен Коул Кліні (uk)
  • ستيفن كول كلين (ar)
  • ستيفين كولى كلينى (arz)
  • スティーヴン・コール・クリーネ (ja)
  • Stephen Cole Kleene (fr)
  • Stephen Cole Kleene (af)
  • Stephen Cole Kleene (nl)
  • Stephen Cole Kleene (pl)
  • Stephen Kleene (es)
  • Stephen Kleene (it)
  • Stephen Kleene (pt)
  • Клини, Стивен Коул (ru)
  • Стівен Коул Кліні (uk)
  • ستيفن كول كلين (ar)
  • ستيفين كولى كلينى (arz)
  • スティーヴン・コール・クリーネ (ja)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
foaf:name
  • (fr)
  • Stephen Kleene (fr)
  • (fr)
  • Stephen Kleene (fr)
is dbo:creator of
is dbo:discoverer of
is dbo:doctoralAdvisor of
is dbo:doctoralStudent of
is dbo:influenced of
is dbo:namedAfter of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is prop-fr:auteur of
is prop-fr:étudiantsThèse of
is oa:hasTarget of
is foaf:primaryTopic of