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
Вход

ВНИМАНИЕ: В данный момент данного товара нет в наличии. Добавьте данный товар в отложенные, мы обязательно сообщим о поступлении. Также вы можете попробовать найти у нас аналогичный, по названию, товар с другими выходными данными.

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

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...

Publisher
Cover
Мягкий переплет
Publication date
2021
Expected


Чтобы добавить товар в отложенные необходимо авторизоваться.
(0)

Product details

Publisher
Cover
Мягкий переплет
EAN
9785855823356
ISBN
978-5-85582-335-6
Publication date
2021
Page count
312
Circulation
200
Format
84x108/32
Language

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

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...