عنوان

Logical dilemmas :

شابک

1568810253

شابک

1568812566

شابک

9781568810256

شابک

9781568812564

شماره

dltt

عنوان اصلي

Logical dilemmas :

نام عام مواد

[Book]

ساير اطلاعات عنواني

the life and work of Kurt Gödel /

نام نخستين پديدآور

John W. Dawson, Jr

محل نشرو پخش و غیره

Wellesley, Mass. :

نام ناشر، پخش کننده و غيره

A K Peters,

تاریخ نشرو بخش و غیره

©1997

نام خاص و کميت اثر

xiv, 361 pages :

ساير جزييات

illustrations ;

ابعاد

24 cm

متن يادداشت

Includes bibliographical references (pages 329-344) and index

متن يادداشت

"This definitive biography of the logician and philosopher Kurt Godel is the first in-depth account to integrate details of his personal life with his work and is based on the author's intensive study of Godel's papers and surviving correspondence. Godel (1906-1978) is considered to be the preeminent logic researcher of the twentieth century. His noted works on the completeness of first-order logic, the incompleteness of formal number theory, and the relative consistency of the Axiom of Choice and the Continuum Hypothesis established bounds on the efficacy of formal methods in investigating foundational questions. He is also noted for his unique and distinctive writings on the philosophy behind mathematics, and his lesser-known results in cosmology raised problematic issues in the philosophy of time. Dawson, a logician and historian of science, examines the life of this driven man whose work on the foundation of mathematics has fundamentally changed our thoughts on these subjects and has stimulated much of the research conducted in this century. He further explores the relationship between Godel's personality and his scientific achievements and describes the impact Godel's results have had on our modern world view."--Jacket

موضوع مستند نشده

Gödel, Kurt

موضوع مستند نشده

Logicians-- Austria, Biography

موضوع مستند نشده

Logicians-- United States, Biography

شماره

ويراست

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Dawson, John W., (John William),1944-

تاريخ عمليات

20181212081338.0

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y