We are currently working on new rules for what content should and shouldn't be allowed on this website, and are looking for feedback! See Esolang:2026 topicality proposal to view and give feedback on the current draft.
Demagogy
- This article is not detailed enough and needs to be expanded. Please help us by adding some more information.
Demagogy is an esoteric programing language influenced by Fading Shout in which the arithmetic function is defined on a fixed point in V0=[1559,1560].
Specification
Given V-E+F where f(x)=e iff λ ≤ ν there exists a fixed point in x > 39mod(40,44023) > y. This is sufficient for a finite-state machine which corresponds to the specification of Fading Shout.
Characteristics
- Digit = 39
- Base(Characteristic) = 40
- Base(Modulus) = 44023
The table below shows the how the modular divisor works as a mantissa.
| 0xAC00 | 44032 |
|---|---|
| A | 10 x 163 = 10 x 4096 = 40960 |
| C | 12 x 162 = 12 x 256 = 3072 |
| 0 | 0 x 162 = 0 x 16 = 0 |
| 0 | 0 x 160 = 0 x 1 = 0 |
Evaluations of input arithmetize over a low-degree transition function. This is demonstrated by the hexadecimal representation of the modular divisor of the equality operator (0XAC00) in Demagogy.
Tape emulation
Demagogy is able to emulate a tape which is suitable for an implementation of Fading Shout. A screenshot of the relation graph is included (created with GrafEQ by Pedagoguery Software.) Functions are arithmetized within the red region (which extends infinitely to the right and down.)
Computational class
Demagogy is suspected to be Turing complete. This language has been demonstrated in a construction as a brainfuck interpreter and will hypothetically evaluate the output of Fading Shout.
A rigorous construction evaluates the equality test using a core of eutectic liquid 39Argon and relies on θ = 2 x 54.74 ° for theta conversion to μ and a corresponding proof would implement Algebraic_Brainfuck.
Theorem
Euler's number (e ≈ 2.718281828459045235360287471352) is equivalent to V0 in {d}{dx}}e^{x}=e^{x} where y is a fixed-point combinator in the finite field Ve=[1559,1560]; Μ1 is therefore equivalent to [0, 1]. In computational physics V0 is sufficient as a fixed point in the interval [1559,1560]. Proof by construction uses Fading Shout to handle beta-reductions and requires a liquid argon core and measurement instruments... if the theorem is incorrect it would be quite expensive/difficult to prove.
Relationship to Legendre's conjecture
The above theorem regarding Demagogy's computational class argues against Legendre's conjecture. In short the fixed-point in V0=[1559, 1560] is irrational.
See also
- User:Miui/아이디/konsol/ Some example programs for a Demagogy-type system and an online demo can be found there.
- Pgmpietoncracklang is a joke language but fundamentally it describes the FSM which a Demagogy emulates and is provided for context.
External Resources
- http://www.peda.com/grafeq/ Graphing software used to illustrate the tape-emulator.
- https://en.wikipedia.org/wiki/K-groups_of_a_field for more information about low-degree transition functions and finite-fields.
- https://en.wikipedia.org/wiki/Magic_angle
- https://en.wikipedia.org/wiki/Isotopes_of_argon
- https://en.wikipedia.org/wiki/DarkSide_(dark_matter_experiment)