[ 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: 495 KB, 698x882, 1495322476023.png [View same] [iqdb] [saucenao] [google]
8928433 No.8928433 [Reply] [Original]

>assume

>> No.8928444

I love these threads

>> No.8928505

>>8928433
>let
No, I will not let

>> No.8928511

If and only if

>> No.8928513

>>8928433
>Now,

>> No.8928517

>do
Don't.

>> No.8928518

This completes the proof.

>> No.8928519

>[math]f\left( x \right)[/math] is a function

>> No.8928522

>[math] \mathfrak{Thenceforth} [/math]

>> No.8928532
File: 107 KB, 640x640, 1488404753015.jpg [View same] [iqdb] [saucenao] [google]
8928532

>think

>> No.8928536

>Quod erat demonstrandum

>> No.8928537

>as required

>> No.8928538

>furthermore

>> No.8928540

>>8928536
>black square

>> No.8928543

>>8928540
more like
>[math] \square [/math]

>> No.8928561

>>8928433
>Hence

>> No.8928566

There is literally nothing wrong with any of these.

>> No.8928585

>notice

>> No.8928588

>>8928536
>>8928540
>>8928543
the late Paul Sally, who taught in the math department at the University of Chicago for many years, literally signed his proofs with a little pirate face.

>> No.8928593

>>8928433

>maths

>> No.8928594

Assume I love these threads.
>let
No, I will not let "if and only if"
>Now, do
Don't. This completes the proof.

f(x) is a function, thenceforth think.
Quod erat demonstrandum, as required.
Furthermore, black square, more like [math]\square[/math].

Hence, there is literally nothing wrong with any of these.
Notice the late Paul Sally, who taught in the math department at the University of Chicago for many years, literally signed his proofs with a little pirate face.

This is remarkably coherent so far.

>> No.8928605

>>8928566
justify these
>>8928518
>>8928519
>>8928536
>>8928537
>>8928585

>> No.8928612

>>8928594
Someone mail this to Wildburger

>> No.8928680
File: 15 KB, 480x534, ooh.jpg [View same] [iqdb] [saucenao] [google]
8928680

>>8928594
fucking collective poetry

>> No.8928756

>>8928594
Next episode: /sci/ proves P = NP one sentence per post.

>> No.8928791

>>8928433
>we

>> No.8928814

>Apparently

>> No.8928839

>the

>> No.8928874

>Thus,

>> No.8928880

>>8928874
>∴

>> No.8928889
File: 26 KB, 720x720, be patient.jpg [View same] [iqdb] [saucenao] [google]
8928889

>hence
>we can rewrite the above as
>which is true by (1) and (2)
>this implies
>which is a contradiction

>> No.8928904

>definition

>> No.8928926

>we see

>> No.8928943

>tfw can't write a proof without using half of these

>> No.8928959
File: 22 KB, 360x336, 1485420006055.jpg [View same] [iqdb] [saucenao] [google]
8928959

>it follows

>> No.8928964
File: 59 KB, 342x318, le rigour.png [View same] [iqdb] [saucenao] [google]
8928964

>complain about rigor in this thread
>criticize a black woman for the lack thereof in another

Make up your god damn mind /sci/.

>> No.8929031

>>8928964
what's this thread got to do with rigour anon?

>> No.8929219

> [math]\forall[/math]

>> No.8929249

>[math] \Rightarrow [/math]

>> No.8929253

>>8928964
what are you, a rigor lover?

>> No.8929262

>I
Narcissism ruined science

>> No.8929296
File: 127 KB, 292x300, funny-frog-meme-feels-good-man.png [View same] [iqdb] [saucenao] [google]
8929296

>>8929262
>tfw all proofs in your language use "we", "let's" etc

>> No.8929306

>>8929219
Math was hard enough with just letters and numbers. But now they're adding upside down letters? Fuck that.

>> No.8929526

>>8928964
>criticize a black woman for trying to mix her ideology into mathematics.

>> No.8929573

>>8929262
>the reader

>> No.8930004
File: 29 KB, 287x201, yukari_disgust.png [View same] [iqdb] [saucenao] [google]
8930004

>it is straightforward to check that the following diagram is commutative

>> No.8930008

>>8930004
>by naturality,

>> No.8930015

>>8928433
>consider

You should consider suicide instead you faggot math problem

>> No.8930034

>the obvious map

>> No.8930099
File: 71 KB, 584x438, well.jpg [View same] [iqdb] [saucenao] [google]
8930099

>>8928433
>well
This isn't about farming you dumb dumb

>> No.8930108

>>8928756
dP/dt=baNP - dP


>brainlet report

>> No.8930180

*flashbacks to proof class*
*initiating flight or fight response*

>> No.8930272

>>8930004
>>8930008
god damn it these

>> No.8930435

>>8928561
>or otherwise

>> No.8930442

>(why?)

>> No.8930449

>>8930442
holy fuck

>> No.8930687

>>8930442
>(check this!).

>> No.8930926

>trivial

>> No.8930969

>tedious but straightforward

>> No.8930997

>>8928433
>":)" to mark a point in a proof.
>(exercise)
>more exactly ...
>writing [math]\land,\lor,\exists, \forall,\Rightarrow[/math] during text instead of writing out the words
>obviously ...
>calculate, qed.

>> No.8931066
File: 23 KB, 326x326, autism hat.jpg [View same] [iqdb] [saucenao] [google]
8931066

>>8930997
>writing ∧,∨,∃,∀,⇒ during text instead of writing out the words
>tfw I like to do this, but my professors don't want it

>> No.8931074

>>8931066
Your professors are correct.

>> No.8931276

>>8928513
This one actually pisses me off too

>> No.8931278

>>8928543
was that necessary?

>> No.8931387

>>8930997
>writing mathematical text using mathematical notation
well that surely sucks

>> No.8931403

>>8931066
Anyone who doesn't use symbolic logic notation is a pleb. It's so crystal clear. I hate it when textbooks dance around it

>> No.8932095
File: 158 KB, 666x607, tmp_17698-1493357049973197746863.png [View same] [iqdb] [saucenao] [google]
8932095

>As any non brainlet can plainly see,

>> No.8932135

>>8931066
>>tfw I like to do this, but my professors don't want it
My professor is actually doing it himself occasionally.
"That's why /exists...".

>> No.8932137

[math] \forall x \in X, \exists y \in X \ni x = y [/math]

>> No.8932179

>given

>> No.8932206

>>8928433
>think
fuck off cunt i dont want to think

>> No.8932209
File: 17 KB, 180x233, image.jpg [View same] [iqdb] [saucenao] [google]
8932209

>>8929253

>> No.8932694

>suppose

>> No.8932719

>ergo

>> No.8932735

>>8930997
I do this because I get enjoyment out of writing cryptic symbols that plebs don't understand

>> No.8932882

>>8928964
>rigor

>> No.8933025
File: 18 KB, 182x194, adfbdfb.jpg [View same] [iqdb] [saucenao] [google]
8933025

>>8928433
>clearly

>> No.8933495
File: 301 KB, 732x442, bakana.png [View same] [iqdb] [saucenao] [google]
8933495

>add

>> No.8933496
File: 270 KB, 590x542, areerere.png [View same] [iqdb] [saucenao] [google]
8933496

>minus

>> No.8933778

>>8928536
i thought it was
quite easily done

>> No.8933796
File: 706 KB, 410x350, 1436364595620.gif [View same] [iqdb] [saucenao] [google]
8933796

>>8930442
>>8930687
i groan whenever i see these