/sci/ - Science & Math » Thread #12465245

184KiB, 1072x1280, 71uBf9yeOZL.jpg

View Same Google iqdb SauceNAO

Anonymous Mon 14 Dec 20:36:22 2020 No.12465245 View Reply Original Report

Quoted By: >>12465271 >>12465876

https://en.wikipedia.org/wiki/Language,_Proof_and_Logic
https://www.edx.org/course/language-proof-and-logic
How bad is this for starting with math/logic?

Anonymous

View Same Google iqdb SauceNAO 1605910780648.png, 110KiB, 616x572

Anonymous Mon 14 Dec 2020 20:44:03 No.12465271 Report

Quoted By:

>>12465245
just did a philosophy course this summer that used this textbook. im a math/physics student and so the course was kind of a joke (i have no idea how helpful the textbook would have been because i barely read any of it). the software was kind of fun to play around with.

Anonymous

Anonymous Mon 14 Dec 2020 23:14:53 No.12465876 Report

Quoted By: >>12467309

>>12465245
I learned Fitch notation from it and formally proved the intersection theorem: for every non-empty set X there is a set Y such that for all t, t <- Y if and only if t <- u for all u <- X. This is a trivial theorem of set theory but the formal derivation in Fitch notation takes forever to write down.
I have no idea how it is as a textbook for a course.
> How bad is this for starting with math/logic?
that's all you want to do? just start with math/logic? what background do you have?

Anonymous

Anonymous Tue 15 Dec 2020 08:05:54 No.12467309 Report

Quoted By:

>>12465876
> This is a trivial theorem of set theory but the formal derivation in Fitch notation takes forever to write down.
Was it actually useful?

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