[ 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: 361 KB, 1000x1200, koishisweat.jpg [View same] [iqdb] [saucenao] [google]
11006012 No.11006012 [Reply] [Original]

can you prove things equal themselves?

>> No.11006023

Seconded. I reject this assumption based on the fact that quantum particles themselves are multiple potentialities before the wave collapse, philosophy aside even nature shows this isn't the case without some outside observation causing influencing the outcome.

>> No.11006054

>>11006012
nuh uh

>> No.11006106

>>11006012
Only by finding same shaped patterns.
Also, Koishi deserves bulli for not existing.

>> No.11006112

>>11006023
There's no sharp existence without observation. Existence without observation is blurry and unknowable.

>> No.11006114
File: 289 KB, 600x839, 1562603361880.jpg [View same] [iqdb] [saucenao] [google]
11006114

>>11006106
koishi is not for bully and also i remain unconvinced

>> No.11006142
File: 101 KB, 640x800, WEAREREACHINGLEVELSOFBULLITHATSHOULDNTBEPOSSIBLE.jpg [View same] [iqdb] [saucenao] [google]
11006142

>>11006114
If it is the same it will do the same things. In fact the reason things don't scale in our world when same sized is because they tend to be made of these little orbs of energy/mass called atoms which throw absolute space out the window except in Cirnos Perfect Math Class, but Koishi would know all about that because she is mostly empty space.

>> No.11006166 [DELETED] 
File: 790 KB, 1200x848, __chen_yakumo_ran_and_yakumo_yukari_touhou_drawn_by_danna_karatekikku__bf0265aae201cadc37e3fdde8d737c60.jpg [View same] [iqdb] [saucenao] [google]
11006166

>>11006012

>> No.11006177

First you need a set and a relation defined. The relation being equality (=) i assume.

So since equality is an equivalence relation, it means it is reflexive. That means things are equal to themselves. More generally, things are related to themselves if the relation is reflexive.

>> No.11006180
File: 158 KB, 850x531, 1567952474298.jpg [View same] [iqdb] [saucenao] [google]
11006180

>>11006142
even ignoring reality (which doesn't exist, but that's a different topic) and going straight into the theoretical, the concept of equality is still dubious under that definition. how do we know there is not some currently unknown operator foobar where
>foobar 2 != foobar 2

>> No.11006195

>>11006012
Euclid's first common notion is this: Things which are equal to the same things are equal to each other. That's a rule of mathematical reasoning and its true because it works – has done and always will do.

>> No.11006226
File: 1.06 MB, 800x533, a0a0bc154192b13242aaaa14ce05cf926302edd6.gif [View same] [iqdb] [saucenao] [google]
11006226

>>11006180
Because to you or I foobar 2! would seem in motion and foobar 2 would be in stasis depending on the dimension it is presented in. This checks out for all dimensions above 1 until 3. Now when you get to 4D the rules will be inverted and you will have to just trust based on your limited information present that the object either is or is not known or unknown depending on the calculations performed. The question is, if we were to develop a dimension 0 or minus zero, would it still be the same as a plus one? What about non-euclidean space? Are we doomed to just 'trust' in the rules of a game set by whatever made us!? IS IT ALL A DREAM!? ARE WE JUST A MEME?!
AAAAAAAAAAaaaaaaaaaaaAAAAAAAAAAAAAAaaaaAAAAAAAAAAAAAAAAAAAAaaaaAAaaaaAAaAAH

>> No.11006239
File: 7 KB, 300x168, AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAa.jpg [View same] [iqdb] [saucenao] [google]
11006239

>>11006226
Mate ur fucking bonkerz innit?
https://www.youtube.com/watch?v=XB401RfGMlM

>> No.11006267

>>11006195
>That's a rule of mathematical reasoning and its true because it works
but that holds for anything we say is true, isn't it? it's true until, suddenly, we find something that shows it isn't. you could have used the same reasoning a thousand years ago to argue for geocentrism
just because something has appeared right every time so far does not mean it is absolutely right all the time, especially using something as flimsy as experiential reasoning

>> No.11006277
File: 949 KB, 1110x1200, 165a2958244cb95f94b61735258a60e3.jpg [View same] [iqdb] [saucenao] [google]
11006277

>>11006112
Yes, but also at the same time evidence suggests that being "unknowable" isn't synomynous with "it is the observed result but known" but rather is a multitude of states as potentials that has yet to be revealed as one. A wave which collapses. The implication conceptually is that although we observe A, "A" in fact shared and very well could of been B. This part is less scientific and more philosophical, but the implication of that is that all manner of existence shares a commonality which truly exists and the differentiated objects are merely spins and revealed potentials of each other. So A very well can equal B depending upon the perspective when you choose to consider to observe it. It is valid to consider reality, the experience we apprehend, as an illusory construct based upon the imposition of our observations while "true" reality is really a conflation of everything so as to A = B = C, etc.

>>11006114
I too love Koishi. no bulli.

>> No.11006280

>>11006226
>Foobar 2! would seem in motion
That depends on the rule of the given dimension not the number of layers of complexity. Brainlet.

>> No.11006282
File: 56 KB, 482x680, yukari.jpg [View same] [iqdb] [saucenao] [google]
11006282

>>11006239
why the homophobia?

>> No.11006292

>>11006277
Meant "it is the observed result but unknown" in that starting sentence, my bad

>> No.11006296
File: 176 KB, 1280x720, No!.jpg [View same] [iqdb] [saucenao] [google]
11006296

>>11006280
DAMN YOU! I WAS HOPING NO-ONE WOULD NOTICE!

>> No.11006310
File: 52 KB, 720x720, 1558758967774.jpg [View same] [iqdb] [saucenao] [google]
11006310

>>11006282
if we can prove A != A, then homosexuality actually doesn't exist

>> No.11006320
File: 31 KB, 748x421, 13838-Kill_la_Kill-Jakuzure_Nonon-anime-anime_vectors-anime_girls-748x421.jpg [View same] [iqdb] [saucenao] [google]
11006320

>>11006277
Did someone say BULLI?

>> No.11006343
File: 287 KB, 768x1024, 679aec0bee9698c3f5a7d37994a610fb.jpg [View same] [iqdb] [saucenao] [google]
11006343

>>11006320
I said no bulli!

>> No.11006370
File: 341 KB, 1360x768, BklwuP5.jpg [View same] [iqdb] [saucenao] [google]
11006370

>>11006343
>"but it was too late, for it was already bulli"

>> No.11006392

>proving first principles
OP is a rerard

>> No.11007945

>>11006012
Unfortunately not. The principle of identity is one of the three fundamental axioms that underly logic. Even if you could prove them, you'd need logic to do so, which is circular reasoning and hence, ironically, illogical. Don't worry, it bothers me too, op.

>> No.11007948

>>11006012
How can equality even exist? There's no physical equal sign in life, so what is it really?

>> No.11007956
File: 157 KB, 900x660, 1556411087326.jpg [View same] [iqdb] [saucenao] [google]
11007956

>>11007948
this
i've never seen a 3 dimensional cartesian space either. we let these mathematologists get away with too much

>> No.11009055

>>11007948
What is a weighing scale?

>> No.11010756

Look up what an axiom is, OP

>> No.11011091
File: 507 KB, 1008x720, 1566012837594.png [View same] [iqdb] [saucenao] [google]
11011091

>>11010756
but that's just stating they are true with no proof. it just says they're self-evident, but that sounds to me like working the conclusion into the premise. how can i be certain axioms are actually true?

>> No.11011718

>>11011091
You can't, you just have to pick the ones that make the least assumptions and hope that any observations you make based on them work together.

>> No.11011723

>>11006177
Prove equality is an equivalence relation.

>> No.11012773

>>11009055
how do i know the weighing scale tells me any truth?

>> No.11012956

>>11006012
Yeah, and I can talk about the space of all such proofs, realised as an infinity-groupoid.

>> No.11013510

>>11006012
context is god

>> No.11013523

>>11013510
there's not much context for this question. what is the proof that X = X?

>> No.11016295

>>11006012
cat face million find hello niles twerk.

>> No.11016381

>>11013510
Sadly it's only king, but it's still pretty darn powerful.

>> No.11016666

>>11006012
Study natural deduction and subset of it called Relevant Logic.

>> No.11017036
File: 33 KB, 956x392, D5n-vKUW0AA389g.jpg [View same] [iqdb] [saucenao] [google]
11017036

>>11006012
If you're interested in that question you might be interested in Godel.