Поле |
Инд. |
ПП |
Название |
Значение |
|
|
|
Тип записи |
a |
|
|
|
Библиографический уровень |
m |
001 |
|
|
Контрольный номер |
047d47dc760c4b22ae5f59938a640be1 |
005 |
|
|
Дата корректировки |
20231019111452.9 |
020 |
|
a |
ISBN |
978-5-88373-771-7 |
040 |
|
a |
Служба первич. каталог. |
НБ ТвГУ |
|
|
b |
Код языка каталог. |
rus |
|
|
e |
Правила каталог. |
PSBO |
041 |
0_ |
a |
Код языка текста |
rus |
080 |
|
a |
Индекс УДК |
510:004.9 |
080 |
|
a |
Индекс УДК |
510:1 |
084 |
|
a |
Индекс другой классификации/Индекс ББК |
В12 |
084 |
|
a |
Индекс другой классификации/Индекс ББК |
В195 |
084 |
|
a |
Индекс другой классификации/Индекс ББК |
Ю25 |
090 |
|
a |
Полочн. индекс |
В12 |
|
|
x |
Авторский знак |
Ц 34 |
097 |
|
b |
Оператор |
Semenova.ZR |
100 |
1_ |
a |
Автор |
Целищев Виталий Валентинович |
|
|
e |
Роль лиц |
Автор |
245 |
10 |
a |
Заглавие |
Алгоритмический ум |
|
|
b |
Продолж. заглавия |
Ментализм vs Механизм в философии математики |
|
|
c |
Ответственность |
В. В. Целищев |
260 |
|
c |
Дата издания |
2023 |
|
|
a |
Место издания |
Москва |
|
|
b |
Издательство |
Канон-плюс |
300 |
|
a |
Объем |
511 с. |
440 |
_0 |
a |
Серия |
Библиотека аналитической философии |
520 |
0_ |
a |
Аннотация |
Книга "Алгоритмический ум" посвящена рассмотрению соотношения человеческого ума и компьютера на основе достижений математической логики и теории алгоритмов. Использование для этой цели знаменитых теорем Гёделя о неполноте арифметики, и их философского следствия в виде "дизъюнкции" Гёделя, приводит к формулировке двух полярных позиций, Ментализму и Механизму, в концептуальных рамках которых обсуждается роль понятий вычислимости, математического доказательства, интуиции и априоризма, субъективной и объективной математики, "знания" компьютера и принципов рефлексии в понимании природы машинного и человеческого интеллекта. Книга предназначена всем интересующимся проблемами сопоставления искусственного интеллекта и человеческого мышления с точки математической логики и философии математики. |
653 |
0_ |
a |
Ключевые слова |
Математика |
|
|
a |
Ключевые слова |
Философия математики |
|
|
a |
Ключевые слова |
Философия науки |
|
|
a |
Ключевые слова |
Математическая логика |
|
|
a |
Ключевые слова |
Теория алгоритмов |
|
|
a |
Ключевые слова |
Гедель Курт Фридрих |
|
|
a |
Ключевые слова |
Вычислимость |
|
|
a |
Ключевые слова |
Математические доказательства |
|
|
a |
Ключевые слова |
Математическая интуиция |
|
|
a |
Ключевые слова |
Математическая индукция, метод |
|
|
a |
Ключевые слова |
Априоризм |
|
|
a |
Ключевые слова |
Искусственный интеллект |
|
|
a |
Ключевые слова |
Компьютерная математика |
|
|
a |
Ключевые слова |
Мышление человека |
|
|
a |
Ключевые слова |
Ментализм |
|
|
a |
Ключевые слова |
Финитизм |
901 |
|
t |
Тип документа |
m |
920 |
|
a |
Оператор |
Семен |
|
|
a |
Оператор |
Лиси |
930 |
|
a |
Новая/Ретро |
новая |
952 |
|
c |
Вид литературы |
К рн |
954 |
|
b |
Дата поступления в ОК |
20231011 |
|
|
a |
Дата поступления на обработку |
20231018 |
|
|
c |
Дата окончания ОНО |
20231019 |