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

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

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

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

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

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

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

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