Martin Davis (Q1239172)

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

4 novembre 2018

5 mai 2014

10 octobre 2015

pays de nationalité

États-Unis

0 référence

nom dans la langue maternelle de la personne

Martin Davis (anglais)

0 référence

nom de naissance

Martin David Davis (anglais)

1 référence

0 référence

0 référence

8 mars 1928^Grégorien

1 référence

1 référence

date de mort

1 janvier 2023

1 référence

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

titre

Martin David Davis (anglais)

lieu de mort

Berkeley

localisation administrative

Californie

pays

États-Unis

1 référence

Cypress Lawn Memorial Park

lieu de sépulture

coordonnées géographiques

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

1 référence

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

langues parlées, écrites ou signées

anglais

2 références

identifiant Bibliothèque nationale de France

Autorités BnF

12298096f

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

10 octobre 2015

mathématicien ou mathématicienne

2 références

catalogue de la Bibliothèque nationale tchèque

identifiant Bibliothèque nationale tchèque

xx0012596

professeur ou professeure d'université

28 septembre 2023

1 référence

informaticien ou informaticienne

Wikipédia en allemand

0 référence

domaine d'activité

théorie des nombres

1 référence

mathématiques

1 référence

catalogue de la Bibliothèque nationale tchèque

identifiant Bibliothèque nationale tchèque

xx0012596

dixième problème de Hilbert

10 janvier 2023

1 référence

théorie de la calculabilité

0 référence

employé(e) par

université de New York

1959

1960

2 références

Wikipédia en espagnol

université de l'Illinois à Urbana-Champaign

1950

1952

1 référence

Institute for Advanced Study

1952

1954

2 références

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

université de Californie à Davis

1954

1955

1 référence

université d'État de l'Ohio

1955

1956

1 référence

Institut polytechnique Rensselaer

1956

1959

1 référence

université Yeshiva

1960

1965

1 référence

université de New York

1965

1996

1 référence

scolarité

université de Princeton

diplôme universitaire

doctorat

principale spécialité d'étude

1950

mathématiques

1948

2 références

Wikipédia en français

Bronx High School of Science

1940

1944

1 référence

City College of New York

1944

1948

1 référence

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

thèse académique

On the Theory of Recursive Unsolvability ^anglais

date de publication

1950

URL

1 référence

directeur ou directrice de thèse

Alonzo Church

0 référence

doctorant ou doctorante

Moshe Koppel ^anglais

1980

1 référence

Donald W. Loveland

1964

1 référence

Donald Perlis ^anglais

1972

1 référence

Robert Arnold Di Paola ^anglais

1964

1 référence

Edward Norman Schwartz ^anglais

1974

1 référence

John Denes ^anglais

1970

1 référence

Richard Gostanian ^anglais

1971

1 référence

Keith Harrow ^anglais

1973

1 référence

Barry Jacobs ^anglais

1975

1 référence

Richard Marshall Rosenberg

1976

1 référence

Jean-Pierre Keller ^anglais

1977

1 référence

David Linfield ^anglais

1983

1 référence

Ronald Fechter ^anglais

1991

1 référence

Thomas Emerson ^anglais

1995

1 référence

Martin Michael Zuckerman ^anglais

1967

1 référence

Eric G. Wagner ^anglais

1963

1 référence

Alberto Policriti

1990

1 référence

Ron Mark Sigal ^anglais

1983

1 référence

Eugenio Giovanni Omodeo ^anglais

1984

1 référence

Algorithme de Davis-Putnam

œuvre notable

0 référence

Computability & unsolvability / Martin Davis. - 1958 ^anglais

0 référence

Algorithme DPLL

0 référence

membre de

Académie américaine des arts et des sciences

0 référence

American Mathematical Society

membre honoraire de l'American Mathematical Society

1 novembre 2012

tient le rôle de

2 références

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

24 novembre 2022

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

24 novembre 2022

2005

1 référence

URL d'import Wikimedia/Wikipedia

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

prix Leroy P. Steele

1975

2 références

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

prix Halmos-Ford

1982

1 référence

URL d'import Wikimedia/Wikipedia

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

1983

1 référence

Guggenheim Fellows database ^anglais

identifiant John Simon Guggenheim Memorial Foundation

martin-davis

membre honoraire de l'American Mathematical Society

5 juillet 2022

2013

date d'annonce publique

1 novembre 2012

2 références

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

24 novembre 2022

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

24 novembre 2022

prix Chauvenet

1975

1 référence

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

site officiel

langue de l'œuvre, du nom ou du terme

0 référence

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

0 référence

maintenu par le wikiprojet

Projet:Mathématiques

0 référence

nombre d'Erdős

3

0 référence

catégorie Commons

Martin Davis

0 référence

Identifiants

2 références

International Standard Name Identifier

1 référence

identifiant BIBSYS d'une personne

1 référence

1 novembre 2017

identifiant Bibliothèque nationale d'Espagne

1 référence

XX1498790

0 référence

identifiant Bibliothèque nationale de France

12298096f

1 référence

identifiant d’autorité de noms Canadiana

7 octobre 2018

ncf12112707

1 référence

4 janvier 2023

identifiant GND (DNB)

116040866

1 référence

identifiant Bibliothèque nationale de Grèce

Wikipédia en allemand

identifiant FAST

1434449

0 référence

269393

0 référence

identifiant SBN d'un auteur

MILV123006

sous le nom

Davis, Martin <1928-2023>

0 référence

identifiant J9U de la Bibliothèque nationale d'Israël

987007260362605171

1 référence

National Library of Israel Names and Subjects Authority File

identifiant KRNLK

KAC202108961

1 référence

identifiant Bibliothèque du Congrès

4 janvier 2023

n50035603

2 références

Wikipédia en italien

identifiant Lietuvos nacionalinė Martyno Mažvydo biblioteka

Wikipédia en allemand

LNB:V*393051;=BH

1 référence

identifiant Bibliothèque nationale de Lettonie

4 janvier 2023

1 référence

22 janvier 2018

identifiant Bibliothèque nationale de la Diète

1 référence

1 novembre 2017

identifiant NACSIS-CAT d'un auteur

DA00915927

2 références

identifiant CiNii Research

4 janvier 2023

8 mars 2023

2 références

identifiant CiNii Research

4 janvier 2023

1140845216766754816

identifiant Bibliothèque nationale tchèque

8 mars 2023

1 référence

identifiant Bibliothèque nationale et universitaire de Zagreb

20 décembre 2018

000331222

1 référence

identifiant Bibliothèque royale des Pays-Bas

4 janvier 2023

067955827

1 référence

6 avril 2018

1 référence

1 novembre 2017

identifiant RERO

02-A003158295

1 référence

identifiant WorldCat Entities

4 janvier 2023

Davis, Martin, 1928-

0 référence

1 référence

26 août 2015

E39PBJjCKmQPK7w8QbCKCDbjmd

1 référence

correspondant à un identifiant de

Library of Congress Authorities

identifiant Bibliothèque du Congrès

n50035603

identifiant ACM Digital Library

13 avril 2024

81100601584

0 référence

identifiant Adelphi

1471

0 référence

identifiant Angelicum

46915

0 référence

ancien identifiant Bibliothèque nationale de Catalogne

a1121000x

1 référence

https://viaf.org/viaf/85381152/

identifiant CiNii Research

1140563741760087424

0 référence

1140845216766754816

0 référence

identifiant Digital Bibliography & Library Project

0 référence

1 référence

sauvegarde de la base de données Freebase

date de publication

28 octobre 2013

identifiant John Simon Guggenheim Memorial Foundation

martin-davis

0 référence

identifiant d’autorité Bibliothèque royale de Belgique

14198745

0 référence

identifiant MacTutor

Davis

1 référence

identifiant Mathematics Genealogy Project

8018

1 référence

identifiant Mathematical Reviews d'un auteur

55130

1 référence

identifiant Mathematics Genealogy Project

8018

identifiant NLA Trove

0 référence

0 référence

0 référence

identifiant SHARE Catalogue

51851

0 référence

identifiant Social Networks Archival Context

w67h29sz

0 référence

identifiant Université de Barcelone

981058528105306706

1 référence