"A created B; therefore A is strictly more powerful than B" is not justified reasoning.
Humans create machines that are physically much more powerful than humans, such as trains.
Humans create computers that are able to calculate much faster and more accurately than humans.
Indeed, the purpose of making a tool is so that the tool can do something ...
Problem of consciousness and inexpressible
Let's us first try to give definition of algorithmic mind. In a colloquial terms, algorithmic mind would be akin to a machine, it would perform certain strictly defined instructions according to a strictly defined rules. Starting from initial conditions (which in our case could be axioms) it would come to certain ...
So, I can add an axiom that my system S is consistent, and arrive at a new system S' where S' = S + (S is consistent)
Yes, that is fine. If you will allow me to switch to variables that are easier to distinguish from one another, you can have:
B = A + (A is consistent)
C = A + (A is not consistent)
Neither(!) of those will entail a contradiction (...