For a group, this would say that “all word equations are true” [i.e. it is a group which contains only the identity element]
Definition of falsity
Something is false if assuming it makes everything true
Assume 1==2 ... then any number is equal to any other number
If “everything is true” it’s equivalent to “everything is false”
Key question: is there only one kind of falsity?
Is falsity about generating “too many” statements, or is it about generating all statements
Including what turns out to be a false statement: at the beginning, it lets you prove all sorts of useful things ... but it turns it to be “too good to be true”
What is the cardinality of falsity? [How many statements does it reach?]
Truth vs. falsity
Truth: can you get there in your fabric
Falsity: if you get there, you will be able to get everywhere (“explosion”)
Truth becomes a region of statements that have certain coherence and consistency
There might be two different viable entailment fabrics which both avoid white holes, but which contain different stuff [this is a consequence of incompleteness]
[Archipelago of islands of truth : non-finiteness of proofs means it’s not clear the “search party” for other islands will reach something]
Law of excluded middle
[Could take arbitrary time to determine if a statement is true or not?]
How does truth vs. falsity work in multivalued logic?
What happens at the ur level?
You can’t really tell what’s go on : is that clump of molecules actually part of a tornado ?
What happens at the high-level math level?
You imagine that you are always on an island (though you neither know nor care which island)
Equivalences between areas of math
Computation universality implies a very low-level equivalence
E.g. everything is made of (material) atoms [“universality of matter”] But alchemical transformations are not easy..... Can you get from one area of math to another without molecular-scale manufacturing?
Motion in physical space
To get from here to there, you might need to be atomized and reconstituted
Can one get beyond “everything is made of atoms” or “everything is computation”