Информация о книге

9783639664904

Главная  » Научно-техническая литература » Математика. Естественные науки » Математика » Алгебра » The ?-Calculus

Milan T., The ?-Calculus

Scholars` Press, 2014 г., 144 стр., 9783639664904


Описание книги

The \"?-calculus\" is a formal logical system, which as classical one, treats (true and false) assertions in the grounds, but unlike - in the semantic sense - their truth (falsity) values are differently set. Besides, here are of interest only (always) false formulas or negations etc. We formulate a number of formal theorems of the calculus within its \"propositional\", \"predicate\" and \"arithmetical\" versions and put forward the (meta-theoretical) requirements for completeness and consistency of these systems. It is shown that they largely \"share fate\" of classical formalizations: when it is about, say, completeness of the propositional calculus, or the (in)completeness of predicate calculus and formal number theory et al. Finally, we bring a version of this formalism as a sequential calculus, as well as a constructive proof of its consistency (after Gentzen).

Поделиться ссылкой на книгу




Об авторе

Milan T.


Последние поступления в рубрике "Алгебра"



Удовольствие от x. Увлекательная экскурсия в мир математики от одного из лучших преподавателей в мир Удовольствие от x. Увлекательная экскурсия в мир математики от одного из лучших преподавателей в мир 

Благодаря этой невероятно легкой и увлекательной книге вы сможете вспомнить или открыть для себя заново увлекательный мир математики: начиная с того, зачем вообще нужны цифры и далее к таким темам, как геометрия, интегральное исчисление, статистика и бесконечность....

Математика для гуманитариев. Живые лекции Математика для гуманитариев. Живые лекции Савватеев А.

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

Взаимодействие физики и математики. Сборник научно-популярных статей Взаимодействие физики и математики. Сборник научно-популярных статей Маневич Л.И.

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

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Milan T., The ?-Calculus в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.