product iamge

О логике конструктивной математики

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

В брошюре автор делает попытку объяснить понятие "конструктивная математика" и показать читателю, что эта наука нуждается в своей логике, отличной от логики классической. Брошюра, как отмечает автор, не может претендовать на точность и строгость изложения. Это - всего лишь эскизное и беглое описание того, как, по мнению автора, должна строиться логика конструктивной математики.

Author(s): Марков А.А.
Series: Математика, кибернетика
Publisher: Знание
Year: 1972

Language: Russian
Pages: 48

Конструктивные процессы и конструктивные объекты
Абстракция потенциальной осуществимости
Абстракция осуществления
Существование конструктивного объекта
Дизъюнкции
Проблема построения конструктивной математической логики
Общие высказывания
Переменные. Предикаты
Прямое отрицание. Разрешимые высказывания
Полуразрешимые высказывания. Усиленное отрицание
Материальная импликация
Усиленная импликация
Дедуктивная импликация
Башня языков
Откуда взялась конструктивная математика?