The Coq mailing list

[Kristopher Micinski <krismicinski AT gmail.com>]

I believe the relevant thread is...

http://cryptnet.net/mirrors/texts/kissedagirl.html

But in all reality, I think your result is implied by axiom K.

Kris Micinski

On Thu, Oct 25, 2012 at 6:25 PM, Jonas Oberhauser 
<s9joober AT gmail.com>
 wrote:
> So recently I had this discussion with some friends about what love is.
>
> And one of my friends said: Well, there is no unconditional love.
> Another replied: That's not true! You just have to love unconditionally
> first, then you can expect to be loved unconditionally back!
> So I said: But that's impossible. If you and your partner both have that
> condition, nobody will ever get any loving done. In computer science, we
> call this a deadlock.
>
> That friend didn't buy it, so I decided to formalize the proof that if
> unconditional love only starts after the other person somehow loves you,
> then either you love the other person unconditionally from the start (from
> the beginning of time, so to speak) or you never will.
>
> Of course you shouldn't take this too seriously on a philosophical level as
> love works differently (the fact that people fall in love proves this), but
> I just thought this is kinda funny and stupid and maybe you would find this
> funny too. Or maybe it's just my young undergrad humor acting up. If so, you
> can just ignore this (sorry for the spam!).
> For all other cases, I attached a proof of 135 lines that love doesn't
> exist.
>
> Kind regards,
>
> Jonas