Уведомлений еще не было
7.4
Автор - Виталий Целищев
Подписчики
подписчиков еще нет

Краткая биография автора

На нашем книжном сайте Вы можете скачать книги автора Виталия Целищева в самых разных форматах (epub, fb2, pdf, txt и многие другие). А так же читать книги онлайн и бесплатно на любом устройстве – iPad, iPhone, планшете под управлением Android, на любой специализированной читалке. Электронная библиотека КнигоГид предлагает литературу Виталия Целищева в жанрах .

Творчество Виталия Целищева

На нашем сайте представлены 11 книг автора Виталия Целищева. Самая популярная по мнению наших читателей "".

Математика
7.4
0
0
Интуиция, финитизм и рекурсивное мышление
Интуиция, финитизм и рекурсивное мышление

В монографии отражены исследования в области философии математики, важные для понимания математического мышления, в частности, элементарных структур. В центре внимания находятся понятия математической интуиции и формальных структур - примитивно рекурсивных функций. Оба понятия рассмотрены в контексте финитизма Д.Гильберта. Книга предназначена всем интересующимся философией математики.

Математика
0.0
0
0
Эпистемология математического доказательства
Эпистемология математического доказательства

В монографии отражены исследования в области философии математики, важные для понимания природы математического доказательства, в частности, двух типов доказательства - "по озарению" и комбинаторного. Значительная часть книги посвящена проблемам компьютерного доказательства. Книга предназначена всем интересующимся философией математики.

Математика
0.0
0
0
Философия математики. Часть 1
Философия математики. Часть 1

В монографии отражены исследования в области философии математики, чрезвычайно важные для понимания соотношения формальных систем и их философских интерпретаций. В центре внимания находятся интерпретации теоремы Левенгейма-Сколема и континуум-гипотезы Кантора, а также обсуждение теоретико-множественных аксиом и логических языков математики. Значительная часть книги посвящена исследованиям философо...

Математика
0.0
0
0
Логическая истина и эмпиризм
Логическая истина и эмпиризм

Настоящая монография представляет собой очерк философских проблем математической логики и оснований математики, возникших в связи с недавними достижениями в этих областях. Рассмотрены проблемы соотношения формальных теорий и объектов материального мира применительно к критике неопозитивистских представлений о природе логических и математических истин, оценки вклада концептуальной схемы в научную к...

Математика
8.0
0
0
Две интерпретации логических систем
Две интерпретации логических систем

Настоящая монография посвящена анализу философских вопросов, связанных с двумя альтернативными подходами к интерпретации систем современной кванторной логики. Нестандартные семантики языков имеют существенное значение для решения проблем связи логического и онтологического, соотношения теорий значения и указания. В работе обсуждается связь подстановочной интерпретации с основными принципами станда...

Похожие авторы