AxiomWriter
Message
mathematican
main interest: building axiom sytems
especially building mathematically equivalent systems out of different definitions and axioms
www.relationalgeometry.de
3
3
8
3
Take a sequence of the numbers 0 and 1. You can interpret this sequence as a real number between zero and one. Just write 0.( your sequence). This can be interpreted as a binary number. For instance 0.1101 is 1/2+1/4+0/8+1/16. Now, I have read here about the might of irrational...
There is a great and often underappreciated danger in logic thinking itself. That is the danger of circular reasoning. The easiest example goes: If A is true then so is B. If B is true, than so is A. Therefore A and B are true. Because it seems so easy...
preliminary remark: the axiom of choice ( Auswahlaxiom in Germany) can be formulated this way: For all sets M there is a selection function, that assigns for all elements of the power set P(M) exept ∅ an element of the corresponding subset of M. It is assumed to be true...
I often read in this forum about AI, and often about the term "giving training data" to a AI,, while the term "programming a AI" means configuring a computer ( or robot or whatever) really means "someone is creating a AI". Now a AI, is rhoughy the same as a...