About: dbpedia-fr:Thèse_de

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Thèse_de_Church Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

Attributes	Values
prop-fr:année	1931 (xsd:integer) 1934 (xsd:integer) 1935 (xsd:integer) 1936 (xsd:integer) 1937 (xsd:integer) 1938 (xsd:integer) 1943 (xsd:integer) 1991 (xsd:integer)
prop-fr:doi	10 (xsd:double)
prop-fr:lang	en (fr)
prop-fr:langue	en (fr)
prop-fr:lienAuteur	dbpedia-fr:Kurt_Gödel Alan Turing (fr) Alonzo Church (fr) Jean-Paul Delahaye (fr) Stephen Kleene (fr) Jacques Herbrand (fr)
prop-fr:lienPériodique	London Mathematical Society#Publications (fr)
prop-fr:lireEnLigne	http://www.thocp.net/biographies/papers/turing_oncomputablenumbers_1936.pdf
prop-fr:nom	Delahaye (fr) Turing (fr) Church (fr) Gödel (fr) Herbrand (fr) Kleene (fr)
prop-fr:pages	1 (xsd:integer) 40 (xsd:integer) 41 (xsd:integer) 153 (xsd:integer) 230 (xsd:integer) 245 (xsd:integer) 332 (xsd:integer) 340 (xsd:integer) 544 (xsd:integer)
prop-fr:prénom	Alan (fr) Jacques (fr) Jean-Paul (fr) Kurt (fr) Alonzo (fr) Stephen Cole (fr)
prop-fr:sousTitre	A Correction (fr)
prop-fr:série	2 (xsd:integer)
prop-fr:texte	Yuri Gurevich (fr) Agda (fr) Nachum Dershowitz (fr)
prop-fr:titre	On Computable Numbers, with an Application to the Entscheidungsproblem (fr) A Note on the Entscheidungsproblem (fr) An Unsolvable Problem of Elementary Number Theory (fr) [idem] (fr) On Undecidable Propositions of Formal Mathematical Systems (fr) Computability and λ-definability (fr) Lambda-Definability and Recursiveness (fr) Recursive predicates and quantifiers (fr) Sur la non-contradiction de l'arithmétique (fr) Le concept de suite aléatoire et la thèse de Church (fr)
prop-fr:trad	Yuri Gurevich (fr) Agda (fr) Nachum Dershowitz (fr)
prop-fr:url	http://www.digizeitschriften.de/dms/toc/%3FPPN=PPN243919689_0166%23 http://www.numdam.org/article/SPHM_1991___3_A1_0.pdf
prop-fr:volume	1 (xsd:integer) 2 (xsd:integer) 41 (xsd:integer) 42 (xsd:integer) 43 (xsd:integer) 53 (xsd:integer) 58 (xsd:integer) 166 (xsd:integer)
prop-fr:éditeur	Davis, M. (fr)
prop-fr:revue	Duke Mathematical Journal (fr) Bull. Amer. Math. Soc. (fr) American Journal of Mathematics (fr) Proc. London Math. Soc. (fr) Journal of Symbolic Logic (fr) J. Symbolic Logic (fr) The Undecidable (fr) Séminaire de philosophie et de mathématiques (fr) Trans. A.M.S. (fr)
prop-fr:colonnes	2 (xsd:integer) 3 (xsd:integer)
prop-fr:groupe	"De" (fr) λdef (fr)
prop-fr:ouvrage	Journal of Symbolic Logic (fr)
is prop-fr:renomméPour of	Alonzo Church

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 6 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software