![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
QOTD: "wat ingewikkeld is hoeft niet onduidelijk te zijn."
("what is complicated doesn't need to be unclear")
I sign I saw from the train, I'm guessing it's for a consulting firm.
A quote from:
I've been selling my ideas about formalization systems as computationals tools for insight, for people to logically refine their half-baked thoughts, i.e. tools for "debugging" your thoughts and ideas. I think that for complicated enough instances of everyday problems that require reasoning (many possibilities, many constraints), a "calculator for reasoning" might come in handy.
("what is complicated doesn't need to be unclear")
I sign I saw from the train, I'm guessing it's for a consulting firm.
A quote from
Professor Haff, in lecture: "Mathematics should never be abstract and difficult. From Kindergarten to Ph.D. it doesn't matter; there should always be a simple way to look at things."
I've been selling my ideas about formalization systems as computationals tools for insight, for people to logically refine their half-baked thoughts, i.e. tools for "debugging" your thoughts and ideas. I think that for complicated enough instances of everyday problems that require reasoning (many possibilities, many constraints), a "calculator for reasoning" might come in handy.