From 722c75d474e0eed81874bc1a11e5458db6854f52 Mon Sep 17 00:00:00 2001 From: REllEK-IO Date: Tue, 3 Oct 2023 06:40:37 -0700 Subject: [PATCH 1/3] Tests Badge --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index e160c3e..3cc122e 100644 --- a/README.md +++ b/README.md @@ -1,6 +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) ### 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. From 8fa42fbdbb6222d7241804f54310f9b1a8b124e7 Mon Sep 17 00:00:00 2001 From: REllEK-IO Date: Tue, 3 Oct 2023 06:42:06 -0700 Subject: [PATCH 2/3] Tests Badge --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 3cc122e..2c09988 100644 --- a/README.md +++ b/README.md @@ -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. From 5f427edf5fd4ba6552b96d75ed5dd91586643ee2 Mon Sep 17 00:00:00 2001 From: REllEK-IO Date: Tue, 3 Oct 2023 06:48:10 -0700 Subject: [PATCH 3/3] Decoration --- README.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 2c09988..5cc649e 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,8 @@ ![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.* +## *The Unified Turing Machine - Plain Text Intelligence of Doing in the Spirit of the Open Internet* +*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/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.