[ 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: 77 KB, 1280x640, serveimage.jpg [View same] [iqdb] [saucenao] [google]
10106888 No.10106888 [Reply] [Original]

>that guy whose solution to literally every proof is induction

>> No.10106942

>>10106888
Bump

>> No.10106946

>>10106888
That's not that bad at all, and it's pretty rare. Those guys are nothing compared to the
>every single proof is by contradiction
fuckers, who are everywhere. I've even had professors who write like this. Drives me batshit.

>> No.10106957

>>10106946
Those are the best proofs.

>> No.10106969
File: 244 KB, 357x406, tumblr_pc9dgpM5Ag1uqpjego1_540.png [View same] [iqdb] [saucenao] [google]
10106969

>>10106946
The chad nonconstructive proof vs the virgin proof by construction.

>> No.10106970

>>10106888
wow their faces

>> No.10106992

>>10106946
>"assume X with said properties does not exist"
>proceeds to find X
>"we have arrived at a contradiction, therefore our theorem holds"

>> No.10107126
File: 652 KB, 1280x720, 1516384777593.png [View same] [iqdb] [saucenao] [google]
10107126

>>10106946
>that guy who phrase induction proofs as proofs by contradiction

>> No.10107133
File: 226 KB, 1156x684, TRINITY___Collage.png [View same] [iqdb] [saucenao] [google]
10107133

>>10106888
I often get the feeling the Bog nay-sayed my theory.

>> No.10107146

>>10106946
contradiction is the most powerful tool you fucking faggot

>> No.10107189

>>10107133
jon, what did you use to make those figures in the top left (the lightcones-on-trajectories and the 3D rectangle sheets)? TikZ?

>> No.10107204

>>10106992
I once tried to prove n^2 is congruent to 0 or 1 mod 4 using induction and contradiction, then I realized i was retarded and wrote the 2 line proof

>> No.10107210

>>10107204
>2 lines
You mean n congruent to 0 implies n^2 congruent to zero, etc?

>> No.10107335

>>10107210
no

>> No.10107348

Onions

>> No.10107353

>>10107335
Which one, then?

>> No.10107360

>>10107353
??? Every natural number is either an even number or an even number plus one, so their square must be congruent to either 1 or 0 mod 4

>> No.10107378

>>10107360
that's because 0^2 and 2^2 is congruent to 0 mod4 and 1^2 and 3^2 is congruent to 1 mod4

>> No.10107382

>>10107378
??? This is something which I already know

>> No.10107385
File: 162 KB, 374x452, 1534969007782.jpg [View same] [iqdb] [saucenao] [google]
10107385

>>10107382
just pointing it out for no reason

>> No.10107499
File: 48 KB, 628x442, 1434587005698.jpg [View same] [iqdb] [saucenao] [google]
10107499

>take base case as definition
>inductive step, assume true for n-1
> define quantity at n
>QED

>> No.10107517

>>10106992
Honestly I don't even like the usual proof that there are infinitely many primes. Just rephrase it without contradiction:
Take any finite set of primes
Their product +1 is not divisible by any of them
Therefore no finite set of primes is complete
Therefore infinite primes

No reason to say "Assume finitely many primes."

>> No.10107582

>>10106888
In some areas, like computability, induction is your standard tool. I've typeset assignments that are over 20 pages long just because they're full of long ass inductions and nested inductions

>> No.10107743

>>10107517
This is also why I hate the typical diagonalization argument.