Martin Davis (Q1239172)

0 referencias

0 referencias

8 mar 1928^Gregoriano

1 referencia

1 referencia

fecha de fallecimiento

1 ene 2023

1 referencia

https://www.harrisfuneralhomeberkeley.com/obituaries/Martin-Davis-6/#!/TributeWall

título

Martin David Davis (inglés)

lugar de fallecimiento

Berkeley

situado en la entidad territorial administrativa

California

país

Estados Unidos

1 referencia

Cypress Lawn Memorial Park

lugar de sepultura

coordenadas

37°40'20.035"N, 122°27'20.873"W

1 referencia

https://www.legacy.com/us/obituaries/name/martin-davis-obituary?id=38544823

lenguas habladas, escritas o signadas

2 referencias

http://data.bnf.fr/ark:/12148/cb12298096f

catálogo de la Biblioteca Nacional Checa

10 oct 2015

identificador CONOR.SI

1 referencia

identificador NKC

xx0012596

28 sep 2023

profesor universitario

1 referencia

0 referencias

1 referencia

matemáticas

1 referencia

catálogo de la Biblioteca Nacional Checa

identificador NKC

xx0012596

décimo problema de Hilbert

10 ene 2023

1 referencia

teoría de la computabilidad

0 referencias

empleador

Universidad de Nueva York

1959

1960

2 referencias

Wikipedia en español

Universidad de Illinois en Urbana-Champaign

1950

1952

1 referencia

Institute for Advanced Study

1952

1954

2 referencias

https://www.ias.edu/scholars/martin-d-davis

Universidad de California en Davis

1954

1955

1 referencia

Universidad del Estado de Ohio

1955

1956

1 referencia

Instituto Politécnico Rensselaer

1956

1959

1 referencia

Universidad Yeshiva

1960

1965

1 referencia

Universidad de Nueva York

1965

1996

1 referencia

educado en

Universidad de Princeton

grado académico

doctor en Filosofía

especialización académica

1950

matemáticas

1948

2 referencias

Wikipedia en francés

The Bronx High School of Science ^inglés

1940

1944

1 referencia

City College of New York

1944

1948

1 referencia

https://books.google.cat/books?id=pMlSmgEACAAJ

tesis académica

On the Theory of Recursive Unsolvability ^inglés

fecha de publicación

1950

URL

1 referencia

0 referencias

1980

1 referencia

Donald W. Loveland

1964

1 referencia

Donald Perlis ^inglés

1972

1 referencia

Robert Arnold Di Paola ^inglés

1964

1 referencia

Edward Norman Schwartz ^inglés

1974

1 referencia

John Denes ^inglés

1970

1 referencia

Richard Gostanian ^inglés

1971

1 referencia

Keith Harrow ^inglés

1973

1 referencia

Barry Jacobs ^inglés

1975

1 referencia

Richard Marshall Rosenberg

1976

1 referencia

Jean-Pierre Keller ^inglés

1977

1 referencia

David Linfield ^inglés

1983

1 referencia

Ronald Fechter ^inglés

1991

1 referencia

Thomas Emerson ^inglés

1995

1 referencia

Martin Michael Zuckerman ^inglés

1967

1 referencia

Eric G. Wagner ^inglés

1963

1 referencia

Alberto Policriti

1990

1 referencia

Ron Mark Sigal ^inglés

1983

1 referencia

Eugenio Giovanni Omodeo ^inglés

1984

1 referencia

Algoritmo de Davis-Putnam

obra destacada

0 referencias

Computability & unsolvability / Martin Davis. - 1958 ^inglés

0 referencias

Algoritmo DPLL

0 referencias

miembro de

Academia Estadounidense de las Artes y las Ciencias

0 referencias

Sociedad Estadounidense de Matemática

miembro de la Sociedad Estadounidense de Matemática

1 nov 2012

sujeto tiene rol

2 referencias

http://www.ams.org/fellows_by_year.cgi?year=2013

24 nov 2022

http://www.ams.org/news?news_id=1680

24 nov 2022

2005

1 referencia

URL de importación Wikimedia

https://en.wikipedia.org/wiki/Herbrand_Award#2000s

Premio Leroy Steele

1975

2 referencias

https://www.ams.org/prizes-awards/pabrowse.cgi?parent_id=28

Paul R. Halmos - Lester R. Ford Awards ^inglés

1982

1 referencia

URL de importación Wikimedia

https://en.wikipedia.org/wiki/Paul_R._Halmos_%E2%80%93_Lester_R._Ford_Award#Recipients

Beca Guggenheim

ciencias de la computación

1983

campo de trabajo

1 referencia

identificador Beca Guggenheim

Guggenheim Fellows database ^inglés

martin-davis

miembro de la Sociedad Estadounidense de Matemática

5 jul 2022

2013

fecha de anuncio

1 nov 2012

2 referencias

http://www.ams.org/fellows_by_year.cgi?year=2013

24 nov 2022

http://www.ams.org/news?news_id=1680

24 nov 2022

Premio Chauvenet

1975

1 referencia

http://www.cs.nyu.edu/cs/faculty/davism/

página web oficial

idioma de la obra o del nombre

inglés

0 referencias

descrito en la fuente

Obálky knih

URL

https://www.obalkyknih.cz/view_auth?auth_id=xx0012596

0 referencias

mantenido por el wikiproyecto

Wikiproyecto:Matemáticas

0 referencias

número de Erdős

3

0 referencias

categoría en Commons

Martin Davis

0 referencias

Identificadores

2 referencias

Wikipedia en italiano

ISNI

0000000109215209

1 referencia

International Standard Name Identifier

1 referencia

1 nov 2017

1 referencia

0 referencias

1 referencia

identificador de Canadiana

7 oct 2018

ncf12112707

1 referencia

4 ene 2023

identificador GND (DNB)

116040866

1 referencia

identificador DDB de persona

Wikipedia en alemán

116040866

0 referencias

identificador FAST

1434449

0 referencias

identificador Biblioteca Nacional de Grecia

0 referencias

Davis, Martin <1928-2023>

0 referencias

identificador J9U de la Biblioteca Nacional de Israel

987007260362605171

1 referencia

Archivo de autoridad de nombres y materias de la Biblioteca Nacional de Israel

identificador de la Biblioteca Nacional de Corea

KAC202108961

1 referencia

identificador de autoridades de la Biblioteca del Congreso de EE. UU.

4 ene 2023

n50035603

2 referencias

Wikipedia en italiano

identificador de la Biblioteca Nacional de Lituania

Wikipedia en alemán

LNB:V*393051;=BH

1 referencia

4 ene 2023

1 referencia

22 ene 2018

1 referencia

1 nov 2017

ID de autor NACSIS-CAT

DA00915927

2 referencias

identificador CiNii de investigador

4 ene 2023

8 mar 2023

2 referencias

identificador CiNii de investigador

4 ene 2023

8 mar 2023

1 referencia

20 dic 2018

1 referencia

4 ene 2023

1 referencia

6 abr 2018

1 referencia

1 nov 2017

identificador RERO

02-A003158295

1 referencia

identificador de referencia de idRef SUDOC

4 ene 2023

identificador CONOR.SI

46588771

registrado como

Davis, Martin, 1928-

0 referencias

1 referencia

26 ago 2015

identificador WorldCat Entities

E39PBJjCKmQPK7w8QbCKCDbjmd

1 referencia

matched by identifier from ^inglés

Library of Congress Authorities

identificador de autoridades de la Biblioteca del Congreso de EE. UU.

13 abr 2024

0 referencias

Adelphi author ID ^inglés

1471

0 referencias

identificador Angelicum

46915

0 referencias

identificador CANTIC (antiguo)

a1121000x

1 referencia

identificador CiNii de investigador

1140563741760087424

0 referencias

1140845216766754816

0 referencias

identificador DBLP de persona

d/MartinDDavis

0 referencias

Identificador Freebase

1 referencia

28 oct 2013

identificador Beca Guggenheim

martin-davis

0 referencias

identificador KBR de persona

14198745

0 referencias

identificador MacTutor (biografías)

Davis

1 referencia

identificador MGP

8018

1 referencia

identificador de autor en Mathematical Reviews

55130

1 referencia

identificador SHARE Catalogue de autor

identificador MGP

8018

identificador NLA Trove

499756

0 referencias

Parsifal cluster ID ^inglés

280436

0 referencias

identificador de Prabook

361917

0 referencias

51851

0 referencias

Identificador SNAC Ark

w67h29sz

0 referencias

identificador de autoridades de la Universidad de Barcelona

981058528105306706

1 referencia