41 点作者 tanapolsh超过 2 年前

5 条评论

hilbert42超过 2 年前

I wish I'd have had stuff like this when I was studying logic. It would sure make learning the subject more interesting especially if one's not a born logician (wading through reams of logic can get a bit tedious).

dang超过 2 年前

Related:<p><i>The Incredible Proof Machine (2016)</i> - <a href="https://news.ycombinator.com/item?id=19539388" rel="nofollow">https://news.ycombinator.com/item?id=19539388</a> - April 2019 (16 comments)

pencilguin超过 2 年前

A proof machine I find incredible is no proof machine at all, but just an assertion machine.

082349872349872超过 2 年前

I found the combinators in the "Simply typed lambda calculus" section a nice touch...

scentoni超过 2 年前

On iPad, I can’t drag logic blocks out of the corral on the left into the working area.