Post #2599028

@pigworker@types.pl When you just know that something is true, and then you battle with your mind, with your proof assistant, or your literal backboard, or you paper notebook, or your brain in the shower. This is the *genetic* way. You just "see" things before you can justify them. And they turn out to be true. Then there are at least two ways of writing them: the genetic one (how they came to your mind) or the logical one (start from first principles getting a different explanation than what your mid first suggested to you intuitively). Which then may need you to look at the logical order of things. But you first have your idea independently of any logical order, and, indeed, independently of any logic at all. I believe this, no matter how competent I am in "logic". It is the intuitive ideas that drive things forward. Of course you need to be competent in (intuitive) logic, but this is not enough.