[ 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: 1.74 MB, 2862x4096, Fate.kaleid.liner.PRISMA.S1_Posterjpg.jpg [View same] [iqdb] [saucenao] [google]
11382913 No.11382913 [Reply] [Original]

Why is every single undergraduate I am teaching unable to grasp the concept of a proof by induction? It is not even hard.

>> No.11382916

>>11382913
everything is hard

>> No.11383546

>>11382913
affirmative action

>> No.11383567
File: 149 KB, 462x484, __fujiwara_no_mokou_touhou_drawn_by_shangguan_feiying__22aed64f9c510097f66bbb4c637be7e4.jpg [View same] [iqdb] [saucenao] [google]
11383567

>>11382913
Did you try telling them that the point of the axiom of induction isn't to make proofs by induction possible, but to ensure the naturals are "small", which coincidentally allows for induction?

>> No.11383612
File: 193 KB, 400x536, 1580344129037.png [View same] [iqdb] [saucenao] [google]
11383612

>>11382913
Probably because they are weak minded undergrads who don't fap to lolis 3 times a day, unlike us intellectuals.

>> No.11384620

>>11382913
If you are incapable of explaining something as simple as induction in such a way that even a single undergrad can see it clearly, your prospects as a quality teacher or professor really aren't looking good.

>> No.11385427

explain it like this

inductive step: if a domino falls, the the domino ahead of it also falls (for ever domino)

base case: the first domino falls

what is the result? all dominos fall

>> No.11385737

I was taught weak induction first, not knowing the difference between strong and weak induction and it set me up with bad habits. Some introductory Computer Science courses should be taught by Mathematicians.

>> No.11385888
File: 1.39 MB, 1500x2000, __aqua_kono_subarashii_sekai_ni_shukufuku_wo_drawn_by_nyatokanyaru__4093f455bfc2e6ec3161601ce4bc43aa.png [View same] [iqdb] [saucenao] [google]
11385888

>>11382913
Diversity acceptances

>> No.11385944

>>11382913
>Why is every single undergraduate I am teaching unable to grasp the concept

Because you SUCK as a teacher!!

>> No.11385959

>>11382913
You need to start with Peano's axioms.

>> No.11385966

If something is true for one element, it is also true for the next element
It is true for the first element
Therefore it is true for all the other elements

You don't need to bring in dominos or anything, it's very simple

>> No.11385977

>>11385888
G-d, I wish that were me except with a larger butt haha

>> No.11385999
File: 9 KB, 354x239, images - 2020-02-13T125125.603.jpg [View same] [iqdb] [saucenao] [google]
11385999

>>11385966
So first step is IMPLICIT accept = induction

>> No.11386141

>>11382913
Try to use the dominos analogy. If you knock over the first domino and show that if a domino gets knocked over then the next in the sequence gets knocked over they all get knocked over. That'll allow them to understand it conceptually then you can abstract it and give a proper definition.

>> No.11386154

>>11383567
>to ensure that the naturals are "small"
Isn't it to ensure than there aren't any other sequences in the naturals like 1.5, 2.5, 3.5, ...? or that every natural should be reachable by repeated application of the successor function so to speak, since the other peano axioms alone should allow such a set to exist.

>> No.11386587

>>11386154
If you don't include the axiom of induction, you could have a set which is the union of the naturals and {x,y}, where S(x) = y and S(y)=x. This set satisfies all the other Peano axioms except induction.

>> No.11386598
File: 34 KB, 480x639, download_20200215_175251.jpg [View same] [iqdb] [saucenao] [google]
11386598

>>11386587
Because it would be the inductive set itself so does not require further expansion.

>> No.11387797

>>11383567
I try to tell them the domino analogue but most zoomers have never played with dominos since they grew up with ipads

>> No.11387811

>>11386154
>Isn't it to ensure than there aren't any other sequences in the naturals like 1.5, 2.5, 3.5, ...?
That's what small means, even if that's a particularly well-behaved example.
>or that every natural should be reachable by repeated application of the successor function so to speak
That's basically the statement of the axiom.

>> No.11387815

>>11382916
not really.

>> No.11387822

>>11382913
The smartest student doesn't understand it.

The next smartest, hence, doesn't understand it either.

Therefore, none of them get it.

>> No.11387834

>>11387822
Was it supposed to be an explanation of induction?
If so, you're retarded.

>> No.11387850

>>11387834
No, it was meant to be a dumb joke. Dumb fucking piece of shit.

>> No.11387949

>>11382913

Have you tried using Illya as best girl as an example to teach them?

>> No.11387954

>>11382913
if none of them understand, it's probably your fault.

>> No.11388187

>>11387949
>Illya
>not kuro
you are never going to make it in the math world, kiddo