Skip to content

Commit

Permalink
Tests Badge
Browse files Browse the repository at this point in the history
  • Loading branch information
REllEK-IO committed Oct 3, 2023
1 parent 722c75d commit 8fa42fb
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
![STRX](https://github.com/Phuire-Research/STRX/blob/main/STRX.png?raw=true)
#### *The Unified Turing Machine - aka Hand Written Intelligence of Doing*
*Note if you notice a strange set of capitalizations of concepts, this is a new format that is being formalized as conceptual logic. In addition, there was no generative intelligence used in the creation of this framework. This is 100% hand written.*
![Tests](https://github.com/github/docs/actions/workflows/node.js.yml/badge.svg)
![Tests](https://github.com/Phuire-Research/STRX/actions/workflows/node.js.yml/badge.svg)
### Abstract
One of the greatest gaps of understanding in the modern age is whether what we speak has some mechanical bearing, or is just some statistical output. What the Unified Turing Machine, and by extension STRX accomplishes is to make plain the unifying aspect of the unknown mechanics of language. This is accomplished via logical verbose descriptions that are unified by code implementations and proved via a test. That currently we have trouble distinguishing logic from opinion in our speech, thus this approach seeks to prove a distinction between speech that is testable versus not. Where we can describe logically the exact process that would transform some data into something else in our very speech. Then back that description up with a code implementation that accomplishes the transformation. There is backing to this in the original Unified Science International Encyclopedia, via its entry on the "Foundations of Logic and Mathematics." But in the current generalized scope, there had been no further pursuit to understand the unifying aspect of language and mathematics. And colloquially are presented as if they are completely separate concepts. Yet mathematics is just one aspect of programming, we formalize mainly through logic and describe our functions and variables via names. Therefore programming is a fundamentally unified format that may used to prove verbose logic.

Expand Down

0 comments on commit 8fa42fb

Please sign in to comment.