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
| |
dbo:birthName
| |
dbo:birthPlace
| |
dbo:birthYear
| |
dbo:citizenship
| |
dbo:deathDate
| |
dbo:deathPlace
| |
dbo:deathYear
| |
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
| |
dbo:university
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 13556 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
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
| |
prop-fr:dateDeNaissance
| |
prop-fr:diplôme
| |
prop-fr:directeurThèse
| |
prop-fr:doi
| |
prop-fr:domicile
| |
prop-fr:fr
|
- Paradoxe de Kleene-Rosser (fr)
- Paradoxe de Kleene-Rosser (fr)
|
prop-fr:institutions
| |
prop-fr:isbn
| |
prop-fr:journal
| |
prop-fr:jstor
| |
prop-fr:langue
| |
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
| |
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
| |
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
| |
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 | |