[ 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.8776562 [View]
File: 184 KB, 1033x526, Screen Shot 2017-03-25 at 10.37.36.png [View same] [iqdb] [saucenao] [google]
8776562

>>8776495
This is a meme. Saying that the sum 1/2+1/4+1/8+ = 1 "deserves" the equal sign is bs. This result, while much more useful than OPs, is also just a theorem from SOME mathematical theory. Unless you're a mathematical platonist, there will be no reason to reserve this character for some particular theories.
E.g. in Peano arithmetic, 2+7=9. In modular arithmetic modulo 4, you have 2+7=1.
Both are theories helping you with some situations, and when you set up formal logic, you have some standard axioms for = and add your paritcular axioms, for =, on top of it. E.g. pic related 7 and 8, which are particular for nats, vs. the first few ones for =, such as a=b implies b=a, which is taken to hold for all theories that use equality.
Don't be a mathematical realist and then go on to choose your Platonism according to what you've found most useful.

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