Abstract
Newly discovered fundamental theories (metamathematics) of integer numbers may be used to formalise and formulate a new theoretical number system from which other formal analytical frameworks may be discovered, primed and developed. The proposed number system, as well as its most general framework which is based on the modelling results derived from an investigation of the Collatz conjecture (i.e., the 3x+1 problem), has emerged as an effective exploratory tool for visualising, mining and extracting new knowledge about quite a number of mathematical theorems and conjectures, including the Collatz conjecture. Here, we introduce and demonstrate many known applications of this prime framework and show the subsequent results of further analyses as new evidences to justify the claimed fascinating capabilities of the proposed framework in computational mathematics, including number theory and discrete mathematics.
Original language | English |
---|---|
Pages (from-to) | 105-111 |
Number of pages | 7 |
Journal | Procedia Computer Science |
Volume | 61 |
DOIs | |
Publication status | Published - 8 Oct 2015 |
Keywords
- Formal system
- Collatz conjecture
- 3n+1 challenge
- Stopping time algorithm
- Congruence classes
- Collatz map
- System theory
- Model theory
- Number theory
- Discrete mathematics
- Modelling
- Integer classification