About: Alonzo Church

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

About: Alonzo Church Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Species, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
prop-fr:consultéLe	2017-08-05 (xsd:date)
prop-fr:dateDeDécès	1995-08-11 (xsd:date)
prop-fr:dateDeNaissance	1903-06-14 (xsd:date)
prop-fr:fr	Alonzo S. Church (fr) C._Anthony_Anderson (fr) Hartley_Rogers,_Jr. (fr) Leon Henkin (fr) Peter_B._Andrews (fr) William Craig (fr)
prop-fr:langue	en (fr)
prop-fr:lieuDeDécès	Hudson, Ohio
prop-fr:lieuDeNaissance	Washington, D.C.
prop-fr:nom	Alonzo Church (fr)
prop-fr:texte	C. Anthony Anderson (fr) Hartley Rogers, Jr (fr) Leon Henkin (fr) Peter Andrews (fr) William Craig (fr)
prop-fr:trad	C._Anthony_Anderson (fr) Hartley_Rogers,_Jr. (fr) Leon Henkin (fr) Peter_B._Andrews (fr) William Craig (fr)
prop-fr:url	http://libweb.princeton.edu/libraries/firestone/rbsc/finding_aids/mathoral/pmc05.htm\|titre=Un entretien avec Church sur sa période à Princeton (fr)
prop-fr:champs	dbpedia-fr:Logique dbpedia-fr:Mathématiques
prop-fr:diplôme	Princeton University
prop-fr:directeurThèse	dbpedia-fr:Oswald_Veblen
prop-fr:paysDeNaissance	United States
prop-fr:renomméPour	Lambda calculus dbpedia-fr:Propriété_de_Church-Rosser dbpedia-fr:Thèse_de_Church
prop-fr:institutions	University of California, Los Angeles Princeton University
prop-fr:paysDeDécès	United States
prop-fr:étudiantsThèse	Alan Turing dbpedia-fr:Dana_S._Scott dbpedia-fr:David_Kaplan J. Barkley Rosser dbpedia-fr:John_George_Kemeny dbpedia-fr:Raymond_Smullyan dbpedia-fr:Stephen_Cole_Kleene Martin Davis (mathematician) dbpedia-fr:Michael_Rabin
is prop-fr:auteur of	Alfred North Whitehead
is prop-fr:directeurThèse of	dbpedia-fr:Dana_S._Scott J. Barkley Rosser dbpedia-fr:Raymond_Smullyan dbpedia-fr:Stephen_Cole_Kleene Martin Davis (mathematician)

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, 16 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software