On the paralogicality of some logical constructs

Authors:
P. V. Vasilik;A. I. Provotar
Affiliations:
Cybernetics Institute, National Academy of Sciences of Ukraine, Kiev, Ukraine;Taras Shevchenko University, Kiev, Ukraine
Venue:
Cybernetics and Systems Analysis
Year:
2008

Citing 2
Cited 0

Introduction to mathematical logic (3rd ed.)

Introduction to mathematical logic (3rd ed.)
To the problem of incompleteness of theoretical constructs (illustrated by examples of formalization of some problems of natural sciences)

Cybernetics and Systems Analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract

Some mathematical definitions and constructs from the theory of computation are considered and are shown to be incorrect and inconsistent in some cases.