Chat with us, powered by LiveChat

Use the virtual keyboard to enter text

Закрыть клавиатуру
1
!
2
@
3
#
4
$
5
%
6
^
7
&
8
*
9
(
0
)
–
_
←
!
1
@
2
#
3
$
4
%
5
^
6
&
7
*
8
(
9
)
0
_
-
←
Q
й
W
ц
E
у
R
к
T
е
Y
н
U
г
I
ш
O
щ
P
з
[{
х
]}
ъ
A
ф
S
ы
D
в
F
а
G
п
H
р
J
о
K
л
L
д
:;
ж
'"
э
\
ё
Shift
Z
я
X
ч
C
с
V
м
B
и
N
т
M
ь
<,
б
>.
ю
/
?
+
=
Русский
English
CAPS
Space
Enter
Вход
Main » Catalog » Книги » Художественная литература » Проза

Вовеки неразрешимо. Головоломное руководство по Геделю. Смаллиан Р.

Voveki nerazreshimo. Golovolomnoe rukovodstvo po Gedelyu. Smallian R.

Вовеки неразрешимо. Головоломное руководство по Геделю. Смаллиан Р.

ID 153877

В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мир...

V knige predlagaetsya uvlekatelnoe vvedenie v simvolicheskuyu logiku. Dana unifitsirovannaya traktovka trekh "vozmozhnykh mirov": epistemicheskogo mira chelovecheskikh ubezhdeniy v istinnosti vyskazyvaniy; mir...

Author
Рэймонд Смаллиан
Publisher
Лори
Cover
Мягкий переплет
Publication date
2021
$29.99
(0)
In Stock

Packing products

10 working days

Pick-up

1 - 2 business days, free

Delivery

1 business day

Product details Reviews

Product details

Author
Рэймонд Смаллиан
Publisher
Лори
Cover
Мягкий переплет
EAN
9785855823356
ISBN
978-5-85582-335-6
Publication date
2021
Page count
312
Circulation
200
Format
84x108/32
Language
Русский
Description Transliteration English

В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Геделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечивость", "доказуемость" и "разрешимость".

V knige predlagaetsya uvlekatelnoe vvedenie v simvolicheskuyu logiku. Dana unifitsirovannaya traktovka trekh "vozmozhnykh mirov": epistemicheskogo mira chelovecheskikh ubezhdeniy v istinnosti vyskazyvaniy; mira mashin, sposobnykh vosproizvodit istinnye vyskazyvaniya, i mira matematicheskikh sistem, v kotorykh mozhno dokazyvat vyskazyvaniya. Predlozheno nestandartnoe izlozhenie znamenitykh teorem Gedelya o nepolnote formalnykh sistem i teoremy Leba i uvlekatelnyy analiz vzaimootnosheniya mezhdu ponyatiyami "neprotivorechivost", "dokazuemost" i "razreshimost".

Coming soon...

Technical characteristics of the product may differ.
Check the information at checkout
the operator of the contact center.

Reviews

  • Comments
Loading comments...