[ 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: 722 KB, 3840x2160, GHrifsV.png [View same] [iqdb] [saucenao] [google]
9510567 No.9510567 [Reply] [Original]

>take introductory proof course
>become obsessed with questioning and proving everything I was ever taught about math
>what is real? what was lies? what is provable?

>> No.9510574

>>9510567
prove a negative times a negative is a positive then cunt

>> No.9510580
File: 1.54 MB, 480x264, 1518260263487.gif [View same] [iqdb] [saucenao] [google]
9510580

>>9510574
that's what I thought. babby tier bitch can't prove it within 7 minutes

>> No.9510583
File: 351 KB, 1200x900, 1517235460054.jpg [View same] [iqdb] [saucenao] [google]
9510583

>>9510574
(-x)*(-y) = (-1)*x*(-1)*y
= xy*(-1)^2
= xy

>> No.9510601

>>9510583
prove -x = -1*x

>> No.9510603

>>9510583
is this a bait?

>> No.9510606

>>9510603
>doesn't even use [math]\rm\LaTeX[/math]
Yes.

>> No.9510609

>>9510606
extremely useful

>> No.9510613

>>9510601
isn't it true by definition?

>> No.9510619

>>9510613
you have to prove it.

>> No.9510626

>>9510619
>proving definition
what?

>> No.9510627

>>9510619
no

>> No.9510683

>>9510619
You say that for every x there exists such and m such that x+m=0
Thus m=-x

>> No.9510727

>>9510613
No its not. That's not an axiom lol

x(0)=0
x(1+(-1))=0
x+(-1)x=0
(-x)+x+(-1)x=-x
(-1)x=-x

I skipped some identity steps but hopefully you are smart enough to fill those in

>> No.9511196

>>9510727
I get your proof (who wouldn't). But I thought it is defined, my fault, must have mistaken it with something else.

>> No.9511202

>>9510727
>x(0)=0
This isn't an axiom either.

>> No.9511222

>>9510567
>>what is real? what was lies? what is provable?

You are going to cry like a baby when you learn about Gödel's incompleteness theorems.

>> No.9511241
File: 106 KB, 468x306, Blackheath.png [View same] [iqdb] [saucenao] [google]
9511241

>>9510567
>what is real?
[eqn] 47=47 [/eqn]
>what was lies?
[eqn] 46=47 [/eqn]
>what is provable?
[eqn] 46\neq47 [/eqn]

>> No.9511244
File: 14 KB, 220x269, 220px-Frans_Hals_-_Portret_van_René_Descartes.jpg [View same] [iqdb] [saucenao] [google]
9511244

>>9510567
what is real?

>> No.9511253

>take second semester of analysis
>question whether the euclidean metric is actually a metric

>> No.9511301

>>9510567
Question everything.

>> No.9511574

>baby's first time questioning something
>because of a college course
Next comes you saying communism is alright and that white men need to pay reparations for the black community

>> No.9511582

>>9511574
Both are unironically true btw

>> No.9511598

>>9510567
>caring about proof
lol just use it if it works silly maths students

>> No.9511848

>>9510567
>>become obsessed with questioning and proving everything I was ever taught about math
>>what is real? what was lies? what is provable?

Happened to me too. Take a course or read a book on set theory and mathematical logic and you'll get your fill.

http://4chan-science.wikia.com/wiki/Mathematics#Set_Theory.2C_Mathematical_Logic.2C_and_MetaMathematics

>> No.9511877

>>9510567
Finally, you are beginning to see. Look into flat earth theory for further realization.

>> No.9511925

>>9511202
Yeah it is retard

>> No.9512027

>>9510574
There's nothing to prove, it's just something humans have decided is the most useful.