Davis, Martin, 1928-2023
Davis, Martin, 1928-
Davis, Martin
Martin Davis
Martin Davis American mathematician
Davis, Martin (Martin D.), 1928-
VIAF ID: 85381152 ( Personal )
Permalink: http://viaf.org/viaf/85381152
Preferred Forms
-
-
-
- 100 1 _ ‡a Davis, Martin
-
- 100 1 _ ‡a Davis, Martin (sparse)
-
-
- 100 1 _ ‡a Davis, Martin ‡d 1928-
- 100 1 _ ‡a Davis, Martin ‡d 1928-2023
-
- 100 1 _ ‡a Davis, Martin ‡d 1928-2023
-
- 100 1 _ ‡a Davis, Martin, ‡d 1928-
-
- 100 1 _ ‡a Davis, Martin, ‡d 1928-
-
-
-
- 100 1 _ ‡a Davis, Martin, ‡d 1928-2023
- 100 1 _ ‡a Davis, Martin, ‡d 1928-2023
-
- 100 0 _ ‡a Martin Davis
- 100 0 _ ‡a Martin Davis ‡c American mathematician
4xx's: Alternate Name Forms (51)
5xx's: Related Names (3)
- 551 _ _ ‡a Berkeley, Calif. ‡4 orts ‡4 https://d-nb.info/standards/elementset/gnd#placeOfDeath
- 510 2 _ ‡a New York University ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 551 _ _ ‡a New York, NY ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
Works
Title | Sources |
---|---|
Alan M. Turing : centenary edition | |
Alan M. Turing : más que un enigma | |
Applied nonstandard analysis | |
Banno konpyuta : Raipunittsu kara churingu eno michisuji : Churingu seitan hyakushunen kinenban. | |
Chōjun kaiseki | |
Computability & unsolvability | |
Computability, complexity, and languages fundamentals of theoretical computer science | |
Computational logic and set theory : applying formalized logic to analysis | |
Desâtaâ problema Gil'berta | |
Differential and integral calculus | |
Einführung in die Algebra und analytische Geometrie. | |
Engines of logic : mathematicians and the origin of the computer | |
A first course in functional analysis | |
From here to there : an astrologer's guide to astromapping | |
From linear operators to computational biology : essays in memory of Jacob T. Schwartz | |
Hilbert's tenth problem | |
Incunabula : studies in fifteenth-century printed books presented to Lotte Hellinga | |
Introduction to modern algebra and matrix theory | |
Keisan no riron. | |
Lectures on modern mathematics | |
Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings | |
n50035603 | |
Na logički pogon : podrijetlo ideje računala | |
Prikladnoj nestandartnyj analiz | |
Seros | |
Set theory and the continuum hypothesis | |
Solvability, provability, definability the collected works of Emil L. Post | |
Sourcebook on contract law | |
Sūgakugirai no tameno konpyūta ronrigaku : Nandemo keisan ni naru konpon genri | |
The undecidable; basic papers on undecidable propositions, unsolvable problems and computable functions. | |
Universal computer : the road from leibniz to turing | |
Works. | |
Прикладной нестандартный анализ, 1980: | |
수학자, 컴퓨터를 만들다 | |
오늘날 우리는 컴퓨터라 부른다 라이프니츠부터 튜링까지, 생각하는 기계의 씨앗을 뿌린 사람들 | |
万能コンピュータ : ライプニッツからチューリングへの道すじ : チューリング生誕100周年記念版 | |
数学嫌いのためのコンピュータ論理学 : 何でも「計算」になる根本原理 | |
計算の理論 | |
超準解析 |