[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

View post   
File: 41 KB, 452x550, intuitionistic_logic.png [View same] [iqdb] [saucenao] [google]
4603989 No.4603989 [Reply] [Original]

What do you guys think of intuitionistic logic?

(Intuitionistic logic differs from classical logic in that the only way to prove (P or Q) is to either prove P or prove Q. In particular, the Law of the Excluded Middle, (P or ¬P), is not an axiom schema, unlike in classical logic.)

>> No.4603992

Sounds like bullshit to me.

>> No.4604001
File: 74 KB, 1016x735, coq_screenshot.png [View same] [iqdb] [saucenao] [google]
4604001

>>4603992
Are you serious? Intuitionistic logic is widely used in computer science, includding some of the most widely used interactive theorem provers, such as Coq.

>> No.4604007

>>4604001
No, it's not.

>> No.4604034
File: 134 KB, 1340x828, commodore-64-a.jpg [View same] [iqdb] [saucenao] [google]
4604034

>>4604007
Well, perhaps it's not taught at low-tier and mid-tier universities, but it certainly is used at the top universities.

>> No.4604039
File: 19 KB, 350x272, HA_HA_HA_OH_WOW..jpg [View same] [iqdb] [saucenao] [google]
4604039

>>4604034

>> No.4604052
File: 11 KB, 250x237, 1335117461869.jpg [View same] [iqdb] [saucenao] [google]
4604052

It has wide applications to CS and thats the main reason to fourther development of it. Nobody actually cares about philosophical assumptions of intuitionistic logic.