The Incredible Proof Machine (2016)

#1

Post by tanapolsh » Fri, Nov 04, 2022, 1:22 AM UTC

The Incredible Proof Machine (2016)
incredible.pm

Re: The Incredible Proof Machine (2016)

#2

Post by dang » Fri, Nov 04, 2022, 7:42 AM UTC

Re: The Incredible Proof Machine (2016)

#3

Post by 082349872349872 » Fri, Nov 04, 2022, 12:35 PM UTC

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

Re: The Incredible Proof Machine (2016)

#4

Post by hilbert42 » Sat, Nov 05, 2022, 1:22 PM UTC

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).

Re: The Incredible Proof Machine (2016)

#5

Post by redsummer » Sat, Nov 05, 2022, 3:24 PM UTC

No post body was provided.

Re: The Incredible Proof Machine (2016)

#6

Post by scentoni » Sat, Nov 05, 2022, 5:44 PM UTC

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

Re: The Incredible Proof Machine (2016)

#7

Post by pencilguin » Sat, Nov 05, 2022, 11:39 PM UTC

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