Babel's Tower

It is impossible to have a universal programming language. It has to do with Godel's Incompleteness (maybe), for a programming language is a formal system, therefore there are some propositions inside the system that are inaccessible to the programmer. Such propositions, or statements, are just certain programmer's ability to represent algorithms using those languages such as C, Python, etc. What one language does, the other should do if it's Turing-Complete (TC), but there is a lack of resouces concerning some of them. Some are closer to the machine's code, some are closer to human's language. Maybe, the lambda-Calculus is a universal programming language for it is equivalent to the Turing-Machine (TM), and the Turing's model is the simplest form of computation we have.

Here you'll find these links: A Simple Formal System

MISS - Minimal Instruction Set System

MISS is a system (hardware-software) that has the minimum set of instructions to run any algorithm. MISS is a register machine, that are memory positions. The system has three registers \(r_1, r2, r3\), and a processing unit. MISS works by reading the instructions label: instruction and executing them. MISS has [ the intructions:
ZERO (reg) - resets the register to zero
INC (reg) - increments the current register by 1 and jumps to label.
DEC (reg, label) - if the reg value is zero, jumps to label, else decrements reg.
HALT -Stops the machine's execution.
JZ (label) - if the register is zero, jumps to label.
JMP (label) - jumps immediately to label.

                    
                            //Code for dobling the value
                            start:  ZERO r_2
                            loop:   DEC r1,done
                                    INC r2
                                    INC r2
                            done:   HALT