Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You and Your Team.

Learn More →

Mathematical system of potential infinities (II) – formal systems of logical basis

Mathematical system of potential infinities (II) – formal systems of logical basis Purpose – This is the second part of the effort to resolve the following two problems that badly need an answer: how can an appropriate theoretical foundation be chosen for modern mathematics and computer science? And, under what interpretations can modern mathematics and the theory of computer science be kept as completely as possible? Design/methodology/approach – The paper sets out the foundation for the system. Findings – Here, the logical foundation for the mathematical system of potential infinities is given. Originality/value – The logical calculus, which will be used as the tool of deduction in the PIMS, is established. This new tool of reasoning is a modification of the classical two‐value logical calculus system. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Kybernetes Emerald Publishing

Mathematical system of potential infinities (II) – formal systems of logical basis

Kybernetes , Volume 37 (3/4): 11 – Apr 11, 2008

Loading next page...
 
/lp/emerald-publishing/mathematical-system-of-potential-infinities-ii-formal-systems-of-ui7PjmjRUV
Publisher
Emerald Publishing
Copyright
Copyright © 2008 Emerald Group Publishing Limited. All rights reserved.
ISSN
0368-492X
DOI
10.1108/03684920810863480
Publisher site
See Article on Publisher Site

Abstract

Purpose – This is the second part of the effort to resolve the following two problems that badly need an answer: how can an appropriate theoretical foundation be chosen for modern mathematics and computer science? And, under what interpretations can modern mathematics and the theory of computer science be kept as completely as possible? Design/methodology/approach – The paper sets out the foundation for the system. Findings – Here, the logical foundation for the mathematical system of potential infinities is given. Originality/value – The logical calculus, which will be used as the tool of deduction in the PIMS, is established. This new tool of reasoning is a modification of the classical two‐value logical calculus system.

Journal

KybernetesEmerald Publishing

Published: Apr 11, 2008

Keywords: Cybernetics; Set theory

References