writings on math, logic, philosophy and art

"I take my job very seriously, althought I don't take myself very seriously."

Last article: How does knowledge work: using logic to model real-world communication

Hello and welcome to the moment that you (yes, all two of you) have been waiting for - the second installment of “How does knowledge work”. This is exciting right? Riight?

We all communicate, or at least we think we do. And I mean communicate in the broadest sense, from spoken communication to written to visual, from informal to formal (in the sense of logically-formal). We will look into all of that and we will present a whole theory of how communication happens that is based on the first installment of “How does knowledge work” where we basically established a logical framework for modeling how the human mind works.

You remember that, right? Right? Well, maybe the reason you fell asleep was that you actually were more interested in how people communicate with one another. Could this be it? Well, listen up, it’s actually interesting. Plus what better things you have to do? Communicate with actual people? But how would you know that you are actually communicating with them, if you are not familiar with the logical foundations of human communication?

Hello?

More

Last short: Haskell

“Oh, in Haskell this app is just a one-liner!”

The one-liner:

app a b c d e= runMonadT <(@)> ( (LiftValue a b c) *!* stop) . \a -> d(a) $ e

More

Random quote

More

Topics

Blogroll

What is a blogroll?

Subscribe for updates

Powered by Buttondown.

Support the site