Представление документа в формате MARC21

Поле Инд. ПП Название Значение
Тип записи 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