A novel theoretical framework formulated for information discovery from number system and Collatz conjecture data

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

A Simple Discrete System with Chaotic Behavior

We discuss the behavior of a particular discrete system, viz. Post's system of tag with alphabet $\{0,1\}$, deletion number $d=3$, and rules: $0\rightarrow 00$, $1\rightarrow 1101$. As initial strings we consider all strings of length less than or equal to 15 as well as all 'worst case' inputs of the form $(100)^m$ with $1\leq m \leq 128$

12th International Workshop on Termination (WST 2012) : WST 2012, February 19–23, 2012, Obergurgl, Austria / ed. by Georg Moser

This volume contains the proceedings of the 12th International Workshop on Termination (WST 2012), to be held February 19–23, 2012 in Obergurgl, Austria. The goal of the Workshop on Termination is to be a venue for presentation and discussion of all topics in and around termination. In this way, the workshop tries to bridge the gaps between different communities interested and active in research in and around termination. The 12th International Workshop on Termination in Obergurgl continues the successful workshops held in St. Andrews (1993), La Bresse (1995), Ede (1997), Dagstuhl (1999), Utrecht (2001), Valencia (2003), Aachen (2004), Seattle (2006), Paris (2007), Leipzig (2009), and Edinburgh (2010). The 12th International Workshop on Termination did welcome contributions on all aspects of termination and complexity analysis. Contributions from the imperative, constraint, functional, and logic programming communities, and papers investigating applications of complexity or termination (for example in program transformation or theorem proving) were particularly welcome. We did receive 18 submissions which all were accepted. Each paper was assigned two reviewers. In addition to these 18 contributed talks, WST 2012, hosts three invited talks by Alexander Krauss, Martin Hofmann, and Fausto Spoto

Reduction relations for monoid semirings

AbstractIn this paper we study rewriting techniques for monoid semirings. Based on disjoint and non-disjoint representations of the elements of monoid semirings we define two different reduction relations. We prove that in both cases the reduction relation describes the congruence that is induced by the underlying set of equations, and we study the termination and confluence properties of the reduction relations

Three-form cosmology

Cosmology of self-interacting three-forms is investigated. The minimally coupled canonical theory can naturally generate a variety of isotropic background dynamics, including scaling, possibly transient acceleration and phantom crossing. An intuitive picture of the cosmological dynamics is presented employing an effective potential. Numerical solutions and analytical approximations are provided for scenarios which are potentially important for inflation or dark energy.Comment: 6 pages, 2 figures; V2: typos corrected, refs added, to appear in PL