[ 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

Search:

View post   
>> No.15994621 [View]
File: 256 KB, 888x499, 1688697781403906.jpg [View same] [iqdb] [saucenao] [google]
15994621

>>15994619

>> No.15547233 [View]
File: 256 KB, 888x499, K1W9NK8.jpg [View same] [iqdb] [saucenao] [google]
15547233

Within the context of ZFC math, are the arguments given in proofs allowed to take potentially infinite time to be verified, or is the process to verify them guaranteed to halt in finite time? And if so, what is the class of the grammar for proofs? Something like a tape bound Turing machine?

>> No.12431923 [View]
File: 256 KB, 888x499, 1602867124910.jpg [View same] [iqdb] [saucenao] [google]
12431923

>> No.12238971 [View]
File: 256 KB, 888x499, ZFC.jpg [View same] [iqdb] [saucenao] [google]
12238971

>>12238943
ZFC is the highest IQ one.

>> No.12124742 [View]
File: 256 KB, 888x499, ZFC.jpg [View same] [iqdb] [saucenao] [google]
12124742

>>12124646

>> No.12068341 [View]
File: 256 KB, 888x499, 1598761660661.jpg [View same] [iqdb] [saucenao] [google]
12068341

>>12068327
Im a senior math major. Learning set theory from an early age would've molded my brain to think about stuff the way I do as of now, there's a big shift in reasoning once you get into college mathematics which puts off a lot of people and makes them change to engineering or drop out entirely. The concept of a proof shouldn't be any more alien to a 5 year old than the fact you must open the jar's lid to get to the jelly.

>> No.12064913 [View]
File: 256 KB, 888x499, ZFC.jpg [View same] [iqdb] [saucenao] [google]
12064913

>>12064736

>> No.12043544 [View]
File: 256 KB, 888x499, ZFC.jpg [View same] [iqdb] [saucenao] [google]
12043544

>>12043536

>> No.11873638 [View]
File: 256 KB, 888x499, ZFC.jpg [View same] [iqdb] [saucenao] [google]
11873638

>>11872900

>> No.11871786 [View]
File: 256 KB, 888x499, ZFC.jpg [View same] [iqdb] [saucenao] [google]
11871786

>>11871751

Navigation
View posts[+24][+48][+96]