/sci/ - Science & Math » Thread #11886171

307KiB, 1440x928, Screenshot_20200619-130609_ReadEra.jpg

View Same Google iqdb SauceNAO

Anonymous Fri 10 Jul 06:06:02 2020 No.11886171 View Reply Original Report

Quoted By: >>11886215 >>11886249 >>11886283 >>11886291 >>11886385 >>11886399

Does anyone know how to do Gentzen-Prawitz style natural deduction? I know trees and Fitch but Gentzen seems a different beast and there aren't any real eli5's

Anonymous

Anonymous Fri 10 Jul 2020 06:25:09 No.11886215 Report

Quoted By:

>>11886171
Bump you wannabe nerds and psychopaths. I'm going to tear a bit of your soul and make you laugh

Anonymous

Anonymous Fri 10 Jul 2020 06:35:54 No.11886249 Report

Quoted By: >>11886282

>>11886171
After looking at your posts I realize sci is pretty retarded and doesn't know this. Science is retarded and you're retarded and you're not going to do shit you evil pussy psychopaths

Anonymous

Anonymous Fri 10 Jul 2020 06:45:59 No.11886272 Report

Quoted By:

This is interesting, Im a first year computer science student. Honestly as far as my brainlet brain can see. you need to study some more mathmatical logic. like https://www.amazon.com/dp/3540208798

Anonymous

Anonymous Fri 10 Jul 2020 06:50:03 No.11886282 Report

Quoted By:

>>11886249
homework requests go to >>>/hm/

Anonymous

Anonymous Fri 10 Jul 2020 06:50:17 No.11886283 Report

Quoted By: >>11886291

>>11886171
this is constructive logic anon
https://www.andrew.cmu.edu/course/15-317/schedule.html

Anonymous

Anonymous Fri 10 Jul 2020 06:53:24 No.11886291 Report

Quoted By:

>>11886283
>>11886171
Another source
http://symbolaris.com/course/constlog-schedule.html

Gamma and that turnstile are defined it's simple

Anonymous

View Same Google iqdb SauceNAO 893B765B-BC95-4266-A865-A7B7BA22 (...).jpg, 2MiB, 4032x3024

Anonymous Fri 10 Jul 2020 08:11:29 No.11886385 Report

Quoted By: >>11886399

>>11886171
I did the first one for you. Its very easy, you just need to find a formula sheet that has all the axioms and structural laws. Also you need to know if you are classical/intuitionist/ or minimal

Anonymous

Anonymous Fri 10 Jul 2020 08:21:56 No.11886399 Report

Quoted By:

>>11886171
https://www.youtube.com/watch?v=YRu7Xi-mNK8&list=PL8Ky8lYL8-Oh7awp0sqa82o7Ggt4AGhyf&index=11
You just need a bunch of introduction and elimination rules as >>11886385 says.
It might also be fun to write out the lambda terms that correspond to the proofs.

Capcode	All Only User Posts Only Moderator Posts Only Admin Posts Only Developer Posts
Show Posts	All Only With Images Only Without Images
Deleted Posts	All Only Deleted Posts Only Non-Deleted Posts
Ghost Posts	All Only Ghost Posts Only Non-Ghost Posts
Post Type	All Only Sticky Threads Only Opening Posts Only Reply Posts
Results	All Grouped By Threads
Order	Latest Posts First Oldest Posts First

Your latest searches