eBook Title for Download :Lukasiewicz's logics and prime numbers (Format : pdf , Language : English)
Plot :
Is there any link between the doctrine of logical fatalism and prime numbers? What do logic and prime numbers have in common? The book adopts truth-functional approach to examine functional properties of finite-valued Lukasiewicz logics Ln+1. Prime numbers are defined in algebraic-logical terms (Finn's theorem) and represented as rooted trees. The author designs an algorithm which for every prime number n constructs a rooted tree where nodes are natural numbers and n is a root. Finite-valued logics Kn+1 are specified that they have tautologies if and only if n is a prime number. It is discovered that Kn+1 have the same functional properties as Ln+1 whenever n is a prime number. Thus, Kn+1 are 'logics' of prime numbers. Amazingly, combination of logics of prime numbers led to uncovering a law of generation of classes of prime numbers. Along with characterization of prime numbers author also gives characterization, in terms of Lukasiewicz logical matrices, of powers of primes, odd numbers, and even numbers.
From the Publisher
Preface
The title of the book may appear somewhat strange since, at first glance, what can logic and prime numbers have in common? Nevertheless, for a certain class of finite-valued logics such commonalties do exist -- and this fact has a number of significant repercussions. Is there, however, any link between the doctrine of logical fatalism and prime numbers?
Jan Lukasiewicz (1878-1956) was a prominent representative of the Lvov-Warsaw School (see [Wolenski, 1989] for details) and the originator of mathematical investigation of logic within that school. His criticism of Aristotle's fatalistic argument laid the ground for the historically first non-classical, three-valued, logic. Its properties proved to be -- for Lukasiewicz's time -- somewhat shocking; its subsequent generalizations for an arbitrary finite and -- further still -- the infinite cases showed that the modeling of the infinite and the finite on the basis of Lukasiewicz many-valued logics yields results that justify the claim that, by the end of the twentieth century, there have taken shape and are now rapidly growing two distinct and significant trends in the contemporary symbolic logic: Lukasiewicz infinite-valued logic Linf (see [Cignoli, D'Ottaviano and Mundici, 2000]) and Lukasiewicz finite-valued logics Ln+1 - the logics discussed in this book. While in the former case the beauty of the subject arises out of consideration of different (but equivalent) algebraic structures serving as counterparts of the logic as well as out of its various applications; in the latter, we enter the mystical world of prime numbers, the world that proves to be connected with the functional properties of Ln+1.
The book consists of three parts, dealing with, respectively, (1) Lukasiewicz finite-valued logics Ln+1; (2) their link with prime numbers; and, lastly, (3) the numeric tables illustrating the link described in part (2).
Chapter I is an elementary introduction to the two-valued classical propositional logic C2. It is worth noticing that Lukasiewicz two-valued logic L2 is nothing else than C2. It means that all Lukasiewicz many-valued logics are generalizations of C2. Chapter II describes the origin and development of Lukasiewicz three-valued logic L3 and indicates the connection between L3 and the problem of logical fatalism. Some surprising and unexpected properties --- such as the failure of "the laws" of excluded middle and non-contradiction --- of L3 are also considered there; that consideration makes apparent that, as soon as we introduce some novelties into the classical logic, there arises a thorny problem of what interpretations of the logical connectives and of the truth-values themselves are intuitively acceptable. (This problem, in turn, leads to the problem of what is a logical system -- all the more so, given the at first glance surprising fact that L3, as well as any other Ln+1! , can be axiomatically presented as a restriction of a Hilbert-style axiomatization of C2 and also as an extension of a Hilbert-style axiomatization of C2.)
In Chapter III we consider some properties of Ln+1, including degrees of cardinal completeness of Ln+1 (first studied by A. Tarski in 1930) -- the property that allowed us the first glimpse of a connection between Ln+1 and prime numbers. Towards the end of Chapter III, we propose an interpretation of Ln+1 through Boolean algebras.
In our view, neither the axiomatic nor the algebraic (nor, for that matter, any other semantic) approach can bring out the uniqueness and peculiarity of Lukasiewicz finite-valued logics Ln+1. All these approaches we call external, as opposed to the approach considering Ln+1 as functional systems. We believe that only the latter approach can help us decipher the essence of Ln+1. It was exactly this approach that allowed to discover that functional properties of Ln+1 are highly unusual. V.K. Finn was the first to note this in his brief paper "On classes of functions that corresponded to the n-valued logics of J. Lukasiewicz" ([Finn, 1970]). One repercussion of Finn's work is that the set of functions of the logic Ln+1 is functionally precomplete if and only if n is a prime number. Finn's result is discussed in Chapter IV, which is crucial for our consideration because it provides a bridge between the first and the second parts of the book. (It should be noted that ! Finn's result -- which was later independently re-discovered -- is both the foundation of and the primary inspiration for the writing of the present book.)
The Finn's led to an algorithm mapping an arbitrary natural number to a prime number with the help of the Euler totient function, thus inducing a partition of the set of natural numbers into classes of equivalence; each of thus obtained classes can be represented by a rooted tree of natural numbers with a prime root. That algorithm, in turn, led to an algorithm based on some properties of the inverse Euler totient function mapping an arbitrary prime number to an equivalence class equivalence of natural numbers. Chapter V contains thus obtained graphs for the first 25 prime numbers as well as the canceled rooted trees for prime numbers from 101 (No. 26) to 541 (No. 100). Thus, each prime number is given a structure, which proves to be an algebraic structure of p-Abelian groups.
Some further investigations led to the construction of the finite-valued logics Kn+1 that have tautologies if and only if n is a prime number (Kn+1 are described in Chapter VI). The above statement can be viewed as a purely logical definition of prime numbers. Kn+1 happen to have the same functional properties as Ln+1 whenever n is a prime number. This provided the basis for constructing the Sheffer stroke operator for prime numbers. (In this construction, we use formulas with 648 042 744 959 occurrences of the Sheffer stroke.) It is interesting that a combination of logics for prime numbers helps discover a law of generation of classes of prime numbers. As a result, we get a partition of the set of prime numbers into equivalence classes that are induced by algebraic-logical properties of Lukasiewicz implication; all prime numbers can be generated in such a way.
Finally, in Chapter VII we give what we consider to be an ultimate answer to the question of what is a Lukasiewicz many-valued logic. Its nature is purely number-theoretical; this is why it proves possible to characterize, in terms of Lukasiewicz logical matrices, such subsets of the set of natural numbers as prime numbers, powers of primes, odd numbers, and - what proved to be the most difficult task - even numbers. (In that last case, we also try to establishing a link with Goldbach's conjecture concerning the representation of every even number by the sum of two prime numbers.)
The third part of the book is made up of the numerical tables never previously published. Table 1 contains the values of the cardinal degrees of completeness for n-valued Lukasiewicz logics (n
Author(s) Book :Alexander S. Karpenko
Publish Year :2006 Publisher : Luniver Press
You can check by ISBN10/ISBN13 : 0955117038/9780955117039
Pages :161
Start the download Lukasiewicz's logics and prime numbers
or press here : Download Lukasiewicz's logics and prime numbers
All Book readable online or download on PDF and mor formats for PC PDA MAC IPAD mobile and more devices. Here Best Online Internet Library
You can download e-Books online
now on English, ebooks on French, Books on German, Books on Italian, Books on Spanish, Books on Other Languages. Also you can find AUDIO Books in mp3 formats
Keywords for this page :
download engineering ebook
ebook Lukasiewicz's logics and prime numbers download links
buy ebook Lukasiewicz's logics and prime numbers online
Lukasiewicz's logics and prime numbers ebook download
ebook downloads for children
Lukasiewicz's logics and prime numbers book download online
free Lukasiewicz's logics and prime numbers book
story downloads
Other Book for download in CFM PDF DJVU Quality (audio in MP3 now):
Ebook Microsoft Windows Server 2003 Delta Guide
Free Beginning CSharp Game Programming Book
Rickettsial Diseases Ebook To Nook
Book Online The Reluctant Bride Download
Adobe Metals and Ligard Reactivity: An Introduction to the Organic Chemistry of Metal Complexes Book
Cats' Paws and Catapults: Mechanical Worlds of Nature and People Ebook For Nook
Genetic algorithms, principles and perspectives: a guide to GA theory Download File
Book Online Brought to Bed: Childbearing in America, 1750-1950 Download
The Unofficial Guide to Making Money on eBay Pdf Download
Download Partial Differential Equations Ebook
Confessions of an Event Planner: Case Studies from the Real World of Events--How to Handle the Unexpected and How to Be a Master of Discretion Download File
British Battledress 1937-61 Ebook To Nook
Free Consumer Culture: A Reference Handbook Book
Handbook of physics Book Download
Adobe Maggie By The Book (Maggie Kelly Mysteries) Book
Acrobat Groundwater in the Celtic Regions: Studies in Hard-Rock and Quaternary Hydrogeology (2001)(en)(248 Ebook
Microsoft Office PowerPoint 2003 Fast & Easy Ebook For Nook
Sookie Stackhouse - 008 - From Dead to Worse Ebook For Nook
Handbook of antitrust economics Ebook For Nook