0 оценок0% нашли этот документ полезным (0 голосов)
78 просмотров10 страниц
We discuss the concept of diagrammatic formal system and its relation with the usual notion of formal system in mathematical logic. The approaches to completeness theorems that we discuss use these aspects of diagrammatics crucially. These structures are very deep reflections of intelligence, whose unfoldment will inevitably lead to new and useful inventions.
Исходное описание:
Оригинальное название
Louis H. Kauffman- Imaginary Values in Mathematical Logic
We discuss the concept of diagrammatic formal system and its relation with the usual notion of formal system in mathematical logic. The approaches to completeness theorems that we discuss use these aspects of diagrammatics crucially. These structures are very deep reflections of intelligence, whose unfoldment will inevitably lead to new and useful inventions.
Авторское право:
Attribution Non-Commercial (BY-NC)
Доступные форматы
Скачайте в формате PDF, TXT или читайте онлайн в Scribd
We discuss the concept of diagrammatic formal system and its relation with the usual notion of formal system in mathematical logic. The approaches to completeness theorems that we discuss use these aspects of diagrammatics crucially. These structures are very deep reflections of intelligence, whose unfoldment will inevitably lead to new and useful inventions.
Авторское право:
Attribution Non-Commercial (BY-NC)
Доступные форматы
Скачайте в формате PDF, TXT или читайте онлайн в Scribd