[ 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.14733702 [View]
File: 146 KB, 1920x1080, apyufag54cj61.jpg [View same] [iqdb] [saucenao] [google]
14733702

>>14733694
Its possible to prove for two colors using reflections, rotations and cardinality, but it doesn't generalize at all.

>> No.14732824 [View]
File: 146 KB, 1920x1080, apyufag54cj61.jpg [View same] [iqdb] [saucenao] [google]
14732824

>>14731146
Maybe logic is behund the scenes of the universe without the universe having some most basic axioms.

See "Reverse mathematics". The goal is to construct lower sufficient axioms which imply the previous axioms as opposed to building upwards towards necessary theorems.

If reverse math is like normal math this process is infinite.

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