Книга Kurt Gödel Maria Hämeen-Anttila

Kurt Gödel

The Princeton Lectures on Intuitionism

Език: Английски език
Корици: С меки корици
Издател: Springer, Berlin
Наличност: Външен склад
Изпращаме след 10-18 дни
63.33 123.86 лв
Paris of the year 1900 left two landmarks: the Tour Eiffel, and David Hilbert's celebrated list of t...

Информация за книгата

Език
Английски език
Корици
Книга - С меки корици
Издадена
2022
страници
133
EAN
9783030872984
Enbook ID
42208646
Издател
Теглоt
213
Размери
155 x 235 x 9

Пълно описание

Paris of the year 1900 left two landmarks: the Tour Eiffel, and David Hilbert's celebrated list of twenty-four mathematical problems presented at a conference opening the new century. Kurt Gödel, a logical icon of that time, showed Hilbert's ideal of complete axiomatization of mathematics to be unattainable. The result, of 1931, is called Gödel's incompleteness theorem. Gödel then went on to attack Hilbert's first and second Paris problems, namely Cantor's continuum problem about the type of infinity of the real numbers, and the freedom from contradiction of the theory of real numbers. By 1963, it became clear that Hilbert's first question could not be answered by any known means, half of the credit of this seeming faux pas going to Gödel. The second is a problem still wide open. Gödel worked on it for years, with no definitive results; The best he could offer was a start with the arithmetic of the entire numbers. This book, Gödel's lectures at the famous Princeton Institute for Advanced Study in 1941, shows how far he had come with Hilbert's second problem, namely to a theory of computable functionals of finite type and a proof of the consistency of ordinary arithmetic. It offers indispensable reading for logicians, mathematicians, and computer scientists interested in foundational questions. It will form a basis for further investigations into Gödel's vast Nachlass of unpublished notes on how to extend the results of his lectures to the theory of real numbers. The book also gives insights into the conceptual and formal work that is needed for the solution of profound scientific questions, by one of the central figures of 20th century science and philosophy.

Може също да ви хареса

The Theory of Gödel

Carlo Cellucci
127.21 248.80 лв
22.46 43.93 лв

Moving Beyond Words

Gloria Steinem
18.19 35.58 лв
31.81 62.22 лв

Daughter

Janice Lee
17.03 33.32 лв
43.67 85.42 лв

Algebraic Logic

Semen G. Gindikin
100.07 195.72 лв

In Bloom

S I Siddiqui
9.14 17.88 лв
8.89 17.39 лв

100 Poems

John S Moore
14.22 27.81 лв

Gatekeeper

Patrick Johnson
12.51 24.47 лв
38.09 74.51 лв

Modern Hypnosis

Lesley Kuhn
47.29 92.50 лв
14.62 28.60 лв
16.68 32.63 лв
33.52 65.56 лв

Yeats's Nations

Marjorie Howes
55.44 108.42 лв

Calculus

Morris Kline
36.69 71.75 лв

On Directing

Harold Clurman
15.33 29.97 лв

Клиенти, които купиха тази книга, купиха също

18.34 35.87 лв
39.45 77.16 лв
39.95 78.14 лв

Peníze od Hitlera

Radka Denemarková
10.80 21.13 лв
16.53 32.33 лв
19.20 37.54 лв

Atraidos por lo humilde

Marta Medina Balguerias
11.15 21.81 лв
12.81 25.06 лв
34.48 67.43 лв
9.65 18.87 лв
64.73 126.61 лв
7.08 13.85 лв
1.30 2.55 лв
8.49 16.60 лв

Passiflora

Bettina Ulmer
13.16 25.75 лв

Kurt Godel

Karl Sigmund
64.13 125.43 лв
27.54 53.86 лв