✝️ Galatians 5:16 But I say, walk by the Spirit, and you will not gratify the desires of the flesh. ## Let's talk! So as of writing this I am thinking about how come modern computers are arithmetic based with some simple jump logic and not full on logic machines. But how would a logic machine even behave? What rules and state would it have? Here is how I would imagine how a logic machine would behave. The machine would have RAM like a normal x86_64 machine, and a CPU like component to evaluate logical expressions instead of executing instructions. In this logic machine, nothing will be modified such as a register or an instruction pointer. Instead execution just checks if statements are true/false, valid/invalid, sound/unsound based on a known state. If there is a valid conclusion but any false premises, the argument is unsound. The user would be notified based on different results of the statements. This machine would operate on atoms, which are just identifiers, sets of atoms, tuples of atoms, and relations. A statement would just be a membership check that evaluate to true or false. This machine would not assume anything, it just evaluates the rules of the world and tells the user the result. instead of running instructions like: ``` loop: xor eax, eax xor ebx, ebx xor ecx, ecx mov al, 7 mov bh, 77 mov cx, 777 mov edx, 777 add edx, eax add edx, ebx add edx, ecx cmp edx, 8638 jz loop ``` The machine would validate input, for example, if we wanted to say "if every Sunday of the month is rainy, then Mary is not outside." We would do the following: ``` FACTS DaysOfMonth={ Day1 Day2 Day3 Day4 Day5 Day6 Day7 Day8 Day9 Day10 Day11 Day12 Day13 Day14 Day15 Day16 Day17 Day18 Day19 Day20 Day21 Day22 Day23 Day24 Day25 Day26 Day27 Day28 Day29 Day30 } SundaysOfMonth={Day1 Day7 Day21 Day28} RainyDaysOfMonth={Day1 Day7 Day21 Day28} Outside={} CODE (∀Day∈DaysOfMonth(Day∈SundaysOfMonth->Day∈RainyDaysOfMonth))->(Mary∉Outside) ``` The logic machine would have a FACTS section, which just defines sets and/or relations, the CODE section would be where statements are laid out that are true or false, valid or invalid, sound or unsound.