Category
📚
LearningTranscript
00:00:00Hello friends, welcome to Human Allergy episode 2238.2, happy Monday.
00:00:13Yeah I woke up from the nap and then I applied to two more lawyer jobs and then I went out
00:00:21to brush my teeth and went outside and did some running, jogging.
00:00:27That was nice exercise, okay.
00:00:33So yeah, let me get back to mathematics later, so we're basically kind of examining the,
00:00:40we're comparing the mathematical language and computer program language.
00:00:44The thing is this, mathematical language, it evolves, okay, it attains more functionality,
00:00:51more syntactic sugar, like for example in mathematics, the Iverson bracket, that's quite
00:00:56recent development.
00:00:57Mr. Iverson, I don't remember what his first name is, but Mr. Iverson, he's a computer
00:01:05scientist.
00:01:06So he came up with this idea, Iverson bracket, how many years ago, maybe 50 years ago, not
00:01:15too long ago, okay.
00:01:16So yeah, it got added to mainstream mathematics, so also yeah, the floor function, or ceiling
00:01:26function, yeah, again, Mr. Iverson, I don't remember what his first name is, but Mr. Iverson
00:01:32kind of popularized it, but before that, yeah, it was Carl Friedrich Gauss, or Legendre,
00:01:37yeah, there's a Wikipedia article about the history of that.
00:01:41Yeah, the flooring function, yeah, back in like what, 1700s, 1800s or something, 80s,
00:01:48so it's not that long ago, so yeah, so, and mathematical language continues to evolve,
00:01:55and the way it should next evolve would be to become more like computer program language,
00:02:01okay.
00:02:02So today it becomes as powerful as computer program language, mathematical language, currently
00:02:08it's not as powerful as computer program language, okay.
00:02:11Why?
00:02:12It's like, there's not a good way to do like variable assignment, for example, okay, it's,
00:02:19as we will see some more later today, yeah, variable assignment is not a very well developed
00:02:28process in mathematical language, okay, yeah, it does have for loop, while loop, while loop
00:02:36meaning like sigma k from one to infinity, right, that's forever while loop, but you
00:02:42cannot quite break out of that while loop or for loop, okay, yeah, that's another kind
00:02:50of like shortcoming in mathematical language as it stands now, but we developed a brand
00:02:59new, like, kind of extension to current mathematical language using brand new program language,
00:03:05yeah, HPL, Human Algebraic Programming Language, okay, so, yeah, we are expanding the existing
00:03:13mathematical language using computer program language, okay, yeah, yeah, sure.
00:03:20That's the way to go, okay, yeah, Turing machine, it does not have any future, okay, although
00:03:24it's inspirational a little bit, so we appreciate that, Turing machine, but Turing machine has
00:03:31no solution, okay, yeah, it's a dead end, it doesn't go anywhere, Turing machine, okay,
00:03:41so we do not, we discourage study of Turing machine, okay, because it's a waste of time,
00:03:49unless it's a required class for you, like it was to me as a computer science major,
00:03:55as a part of like theoretical computer science, we had to take the class, and I did well,
00:04:00I got an A, okay, yeah, yeah, and, but, other than it's mandatory, yeah, we don't, we discourage
00:04:10people from studying it, because it's a waste of time, okay, yeah, Turing machine, like,
00:04:16it does incomplete theorem, Albert Einstein, special general relativity, all that stuff,
00:04:22unless you have to take it, yeah, don't waste your time with it, so that would be our recommendation,
00:04:31okay, but if you have to study it, do it well, get an A in the class, okay, yeah, I did,
00:04:36okay, yeah, I took modern physics class, yeah, pretty great class, and part of that is, was
00:04:43relativity, Einstein relativity, but I did study, and I got an A, okay, because those
00:04:48are wrong theories, but there are some valid mathematics there, so, yeah, it's transferable
00:04:53skill, okay, yeah, okay, that's that, let's do some stretching, and, yeah,
00:05:03okay,
00:05:18some variation of shoulder stretching,
00:05:41yeah,
00:05:48okay,
00:05:55ways to stressing variation,
00:06:11okay,
00:06:36oh,
00:06:41oh, good,
00:06:47wow,
00:07:06ah,
00:07:17so,
00:07:29so,
00:07:46oh,
00:08:00wow,
00:08:14okay,
00:08:29so,
00:08:45oh,
00:08:59oh,
00:09:23okay,
00:09:23okay,
00:09:45oh,
00:09:53oh,
00:10:23okay,
00:10:54so,
00:11:05ah,
00:11:23um,
00:11:33one second,
00:11:54all right,
00:12:04all right,
00:12:08special exercise,
00:12:23okay,
00:12:54so,
00:13:14okay,
00:13:23so,
00:13:40all right,
00:13:45okay,
00:13:45okay, now, let's do jump front kick, okay,
00:14:06good, five minutes break, thank you, good exercise,
00:14:12oh, yeah,
00:14:26okay, and feel fresh,
00:14:42okay,
00:15:12so,
00:15:42so,
00:16:12so,
00:16:42so,
00:17:12so,
00:17:42so,
00:18:12so,
00:18:42so,
00:19:12so,
00:19:42so,
00:20:12so,
00:20:42so,
00:21:12okay,
00:21:19all right,
00:21:22uh, let's see, we're gonna need a whiteboard to erase,
00:21:26uh,
00:21:28uh,
00:21:30uh,
00:21:40uh,
00:21:56uh,
00:22:02uh,
00:22:10uh,
00:22:26uh,
00:22:28uh,
00:22:30uh,
00:22:32uh,
00:22:34uh,
00:22:36uh,
00:22:38uh,
00:22:40okay,
00:22:42so,
00:22:44uh,
00:22:46we, uh, about half a year ago,
00:22:48we kind of studied the Chinese
00:22:50remainder theorem a little bit,
00:22:52uh, but
00:22:54we'll get back to Chinese remainder theorem
00:22:56in the future, okay, because,
00:22:58uh,
00:23:00uh,
00:23:02do not want to keep
00:23:04studying Chinese remainder theorem
00:23:06not at this
00:23:08time, okay,
00:23:10maybe in the future, because, uh,
00:23:12we gotta do, get back to, after
00:23:14we're done with this, like, uh,
00:23:16like, uh,
00:23:18comfortable
00:23:20language and stuff, uh,
00:23:22go ahead and publish, uh,
00:23:24not publish, publish the paper, and then
00:23:26we're gonna have to get back to the coprime world,
00:23:28like, uh, finite sequence, okay,
00:23:30so, maybe Chinese remainder theorem
00:23:32late after that, okay,
00:23:34yeah, because, uh,
00:23:36we gotta tackle that
00:23:38coprime stuff, okay, yeah,
00:23:40after publication
00:23:42of the,
00:23:44our next paper, okay, so,
00:23:46okay, so
00:23:48let's erase this,
00:23:51no,
00:23:53get some water on,
00:23:55okay,
00:24:19okay,
00:24:25uh, this whiteboard is too
00:24:27small, to be honest, let me grab
00:24:29a bigger one, okay,
00:24:39uh,
00:24:55okay,
00:25:25okay,
00:25:31okay,
00:25:39there,
00:25:45yeah, I got some formula
00:25:47I have here, but I don't remember
00:25:49what this is about,
00:25:52we'll just erase it, because
00:25:54they're already recorded
00:25:56and published in the human
00:25:58series, okay, so, we'll go ahead and
00:26:00erase this, okay,
00:26:02all right,
00:26:07okay,
00:26:14uh,
00:26:16ah,
00:26:18all right,
00:26:22yeah,
00:26:28yeah, there's some theories we, like,
00:26:30worked on, but we didn't quite finish,
00:26:32that's fine,
00:26:34if those are important theories, we'll get
00:26:36back to it in the future, okay,
00:26:38yeah,
00:26:51okay,
00:27:21okay,
00:27:51okay,
00:27:57okay,
00:28:03and
00:28:09now,
00:28:13uh, some counting,
00:28:15uh,
00:28:17when that
00:28:19yeah, counting, just,
00:28:21not really, not really counting,
00:28:23well, a little bit counting, yes,
00:28:25a little bit counting, okay,
00:28:27so,
00:28:29uh,
00:28:31function,
00:28:33the problem is this,
00:28:35I mean, we have solution, but
00:28:37we are doing
00:28:39problem solving, okay,
00:28:41we are solving the problem where solution
00:28:43we already know, okay,
00:28:45so,
00:28:47give a range from
00:28:49a to b,
00:28:51let's say there are positive integers, okay,
00:28:53uh,
00:28:55give me
00:28:57multiple of c,
00:28:59just
00:29:01this,
00:29:03multiple of c,
00:29:05like nth multiple, but we're going
00:29:07just a, b, c, d, okay, so,
00:29:09okay,
00:29:11for example,
00:29:13let's say between
00:29:1510 and 100,
00:29:1710 and 100, there's two inputs,
00:29:19okay, between 10 and 100,
00:29:21like lower boundary, upper boundary,
00:29:23give me
00:29:2513th
00:29:27multiple
00:29:31of 7,
00:29:33or give me
00:29:358th multiple of
00:29:37um,
00:29:399,
00:29:41or give me
00:29:433rd multiple of 13,
00:29:45whatever,
00:29:47okay, so that's the problem, okay,
00:29:51alright,
00:29:53so let's write that,
00:30:01like before,
00:30:03we'll first
00:30:05come up with numerical solution,
00:30:07okay,
00:30:09one,
00:30:11a, b,
00:30:13c,
00:30:15d,
00:30:17range between a and b,
00:30:19inclusive, and
00:30:21multiple of c,
00:30:23and this multiple
00:30:25of c, between a and b,
00:30:27so that's the
00:30:29problem, okay, and you
00:30:31want to come up with some, uh,
00:30:33the arithmetic formula
00:30:35for it, go for it,
00:30:37recommendation, yeah,
00:30:39you can come up with some examples, okay,
00:30:41so, yeah,
00:30:47uh-huh,
00:30:55uh,
00:31:01like before,
00:31:03three examples,
00:31:08uh,
00:31:16maybe two examples,
00:31:24I don't know,
00:31:30I'm guessing these two
00:31:32are the same, but, uh,
00:31:34whatever,
00:31:37okay, yeah,
00:31:39start with the example, and then generalize it,
00:31:41you know, yeah,
00:31:45uh-huh,
00:31:51after you generalize it, yeah,
00:31:53double check it with the boundary condition,
00:31:55okay, yeah,
00:32:07okay,
00:32:09yeah, five minutes break, yeah, you can read all
00:32:11this, nice, okay,
00:32:13five minutes break, thank you,
00:32:15if you want to come up with that, uh,
00:32:17arithmetic solution, go for it, okay,
00:32:19five minutes, thank you,
00:32:21okay,
00:32:32okay, all right,
00:32:34let me start cooking my dinner,
00:32:37okay,
00:33:07okay,
00:33:09okay,
00:33:11okay,
00:33:13okay,
00:33:15okay,
00:33:17okay,
00:33:19okay,
00:33:21okay,
00:33:23okay,
00:33:25okay,
00:33:27okay,
00:33:29okay,
00:33:31okay,
00:33:33okay,
00:33:35okay,
00:33:37okay,
00:33:39okay,
00:33:41okay,
00:33:43okay,
00:33:45okay,
00:33:47okay,
00:33:49okay,
00:33:51okay,
00:33:53okay,
00:33:55okay,
00:33:57okay,
00:33:59okay,
00:34:01okay,
00:34:03okay,
00:34:05okay,
00:34:07okay,
00:34:09okay,
00:34:11okay,
00:34:13okay,
00:34:15okay,
00:34:17okay,
00:34:19okay,
00:34:21okay,
00:34:23okay,
00:34:25okay,
00:34:27okay,
00:34:29okay,
00:34:31okay,
00:34:33okay,
00:34:35okay,
00:34:37okay,
00:34:39okay,
00:34:41okay,
00:34:43okay,
00:34:45okay,
00:34:47okay,
00:34:49okay,
00:34:51okay,
00:34:53okay,
00:34:55okay,
00:34:57okay,
00:34:59okay,
00:35:01okay,
00:35:03okay,
00:35:05okay,
00:35:07okay,
00:35:09okay,
00:35:11okay,
00:35:13okay,
00:35:15okay,
00:35:17okay,
00:35:19okay,
00:35:21okay,
00:35:23okay,
00:35:25okay,
00:35:27okay,
00:35:29okay,
00:35:31okay,
00:35:33okay,
00:35:35okay,
00:35:37okay,
00:35:39okay,
00:35:41okay,
00:35:43okay,
00:35:45okay,
00:35:47okay,
00:35:49okay,
00:35:51okay,
00:35:53okay,
00:35:55okay,
00:35:57okay,
00:35:59okay,
00:36:01okay,
00:36:03okay,
00:36:05okay,
00:36:07okay,
00:36:09okay,
00:36:11okay,
00:36:13okay,
00:36:15okay,
00:36:17okay,
00:36:19okay,
00:36:21okay,
00:36:23okay,
00:36:25okay,
00:36:27okay,
00:36:29okay,
00:36:31okay,
00:36:33okay,
00:36:35okay,
00:36:37okay,
00:36:39okay,
00:36:41okay,
00:36:43okay,
00:36:45okay,
00:36:47okay,
00:36:49okay,
00:36:51okay,
00:36:53okay,
00:36:55okay,
00:36:57okay,
00:36:59okay,
00:37:01okay,
00:37:03okay,
00:37:05okay,
00:37:07okay,
00:37:09okay,
00:37:11okay,
00:37:13okay,
00:37:15okay,
00:37:17okay,
00:37:19okay,
00:37:21okay,
00:37:23okay,
00:37:25okay,
00:37:27okay,
00:37:29okay,
00:37:31okay,
00:37:33okay,
00:37:35okay,
00:37:37okay,
00:37:39okay,
00:37:41okay,
00:37:43okay,
00:37:45okay,
00:37:47okay,
00:37:49okay,
00:37:51okay,
00:37:53okay,
00:37:55okay,
00:37:57okay,
00:37:59okay,
00:38:01okay,
00:38:03okay,
00:38:05okay,
00:38:07okay,
00:38:09okay,
00:38:11okay,
00:38:13okay,
00:38:15okay,
00:38:17okay,
00:38:19okay,
00:38:21okay,
00:38:23okay,
00:38:25okay,
00:38:27okay,
00:38:29okay,
00:38:31okay,
00:38:33okay,
00:38:35okay,
00:38:37okay,
00:38:39okay,
00:38:41okay,
00:38:43okay,
00:38:45okay,
00:38:47okay,
00:38:49okay,
00:38:51okay,
00:38:53okay,
00:38:55okay,
00:38:57okay,
00:38:59okay,
00:39:01okay,
00:39:03okay,
00:39:05okay,
00:39:07okay,
00:39:09okay,
00:39:11okay,
00:39:13okay,
00:39:15okay,
00:39:17okay,
00:39:19okay,
00:39:21okay,
00:39:23okay,
00:39:25okay,
00:39:27okay,
00:39:29okay,
00:39:31okay,
00:39:33okay,
00:39:35okay,
00:39:37okay,
00:39:39okay,
00:39:41okay,
00:39:43okay,
00:39:45okay,
00:39:47okay,
00:39:49okay,
00:39:51okay,
00:39:53okay,
00:39:55okay,
00:39:57okay,
00:39:59okay,
00:40:01okay,
00:40:03okay,
00:40:05okay,
00:40:07okay,
00:40:09okay,
00:40:11okay,
00:40:13okay,
00:40:15okay,
00:40:17okay,
00:40:19okay,
00:40:21okay,
00:40:23okay,
00:40:25okay,
00:40:27okay,
00:40:29okay,
00:40:31okay,
00:40:33okay,
00:40:35okay,
00:40:37okay,
00:40:39okay,
00:40:41okay,
00:40:43okay,
00:40:45okay,
00:40:47okay,
00:40:49okay,
00:40:51okay.
00:40:53Okay, so
00:40:55actually let's simplify this problem.
00:40:57Let's get rid off the upper boundary, okay?
00:40:59We'll just
00:41:01take it as
00:41:03to infinity, okay? So get rid of b. Okay? In that case, we just need two examples. Okay.
00:41:20Oh, this pen is running out, huh? Okay, let me get another pen.
00:41:30How about this?
00:41:34This one's even lighter.
00:41:40All right.
00:41:44Oh, that's good.
00:41:45Oh, that's good.
00:41:48Now let me wash my face.
00:42:15Okay.
00:42:45Okay, let's take a small break from mathematics.
00:43:11A good thing about fish is this, okay? Like, you know, food hierarchy, ecological pyramid, okay?
00:43:17Higher up to the big fish, right? They tend to have more mercury, like tuna, for example, okay?
00:43:24So, and those big hierarchy fish, they're more expensive, and they contain more mercury,
00:43:32and they're also less healthy. Just like when it comes to land meat, like pork, beef,
00:43:39they tend to be more expensive, and then also that's less healthy, okay?
00:43:44Then what's a healthy meat? Yeah, chicken and fish, low-ranking fish, okay?
00:43:51Those are cheaper, healthier. Yeah, so it works. Okay, cheers.
00:44:00Okay.
00:44:02Uh-huh.
00:44:04Now, give me a second.
00:44:24Okay.
00:44:33Okay.
00:44:44Okay, 10 to infinity, 11 to infinity, okay? Well, let's say 12 to infinity, how about that?
00:44:52Okay.
00:44:55Now.
00:44:57Okay.
00:45:02Uh, we'll count.
00:45:08Like before, like this multiple of five, okay?
00:45:18Uh.
00:45:19To make it less obvious, we calculate this multiple of seven, okay?
00:45:35This is 14, this is, let's say, 17, 16, okay? All right.
00:45:43So, in this range, find third multiple of seven.
00:45:54Okay.
00:45:55Yeah.
00:45:56Okay.
00:46:07Third multiple of seven, okay?
00:46:10And, okay.
00:46:13We'll do this one first, 16, okay?
00:46:18So we examine whether this lower boundary is a multiple of seven or not.
00:46:23Well, we'll do this one first, okay?
00:46:25If it is multiple of seven, and then, okay?
00:46:34Then we need to, okay, we want third multiple, so third multiple would be,
00:46:43if this lower boundary is multiple of seven, then third multiple would be 14 plus seven times
00:46:57third multiple, we got the first one, okay?
00:47:00So second and third, so three, this is the input, third, okay?
00:47:06Minus one, we got the first one, okay?
00:47:10Yeah.
00:47:12But, in case the lower boundary is not multiple of seven, and then, we do this.
00:47:22First we find, okay, the 16 row seven.
00:47:36I forgot how to write row.
00:47:3816 row seven, two, right?
00:47:44Okay.
00:47:50Yeah, 16 and 14 plus two, okay?
00:47:55Now, seven minus two is equal to five.
00:48:06Okay?
00:48:09So 16 plus five, 21, okay?
00:48:11That's the fourth multiple of seven within this range.
00:48:19Okay?
00:48:20Okay.
00:48:23So we have 16 plus five plus,
00:48:36so that's the fourth multiple of seven within the range.
00:48:43Now, we need to go two more, because we are looking for third multiple of seven, okay?
00:48:48Yeah.
00:48:49Seven times three minus two, okay?
00:48:54Yeah.
00:48:58So these two formulas, they're totally different, okay?
00:49:01Yeah.
00:49:02But, thinking about it, 14, okay.
00:49:13Less to 14 row seven, which is zero, right?
00:49:16Now, seven minus zero, seven, okay?
00:49:20Now, if you pretend it's this case, and then, 14 plus seven, that's 21, right?
00:49:32Oh, no, we cannot do it that way, because in this case, 21 is second multiple of seven, not first.
00:49:39Okay?
00:49:40So, yeah, we have to separate them out like this.
00:49:43Okay?
00:49:47Now, given that,
00:49:57if you want to find function, first function, okay, first version, F1,
00:50:08like as an arithmetic calculation formula, not algorithm, okay?
00:50:14Yeah.
00:50:16Based on this example alone, okay?
00:50:19If you want to.
00:50:20Okay.
00:50:21Okay, yeah.
00:50:22Five minutes break.
00:50:24All right.
00:50:42There we go.
00:50:44Okay.
00:51:14All right.
00:51:44All right.
00:52:14All right.
00:52:44All right.
00:52:46All right.
00:52:48All right.
00:52:50All right.
00:52:52All right.
00:52:54All right.
00:52:56All right.
00:52:58All right.
00:53:00All right.
00:53:02All right.
00:53:04All right.
00:53:06All right.
00:53:08All right.
00:53:10All right.
00:53:12All right.
00:53:14All right.
00:53:16All right.
00:53:18All right.
00:53:20All right.
00:53:22All right.
00:53:24All right.
00:53:26All right.
00:53:28All right.
00:53:30All right.
00:53:32All right.
00:53:34All right.
00:53:36All right.
00:53:38All right.
00:53:40All right.
00:53:42All right.
00:53:44All right.
00:53:46All right.
00:53:48All right.
00:53:50All right.
00:53:52All right.
00:53:54All right.
00:53:56All right.
00:53:58All right.
00:54:00All right.
00:54:02All right.
00:54:04All right.
00:54:06All right.
00:54:08All right.
00:54:10All right.
00:54:12All right.
00:54:14All right.
00:54:16All right.
00:54:18All right.
00:54:20All right.
00:54:22All right.
00:54:24All right.
00:54:26All right.
00:54:28All right.
00:54:30All right.
00:54:32All right.
00:54:34All right.
00:54:36All right.
00:54:38All right.
00:54:40All right.
00:54:42All right.
00:54:44All right.
00:54:46All right.
00:54:48All right.
00:54:50All right.
00:54:52All right.
00:54:54All right.
00:54:56All right.
00:54:58All right.
00:55:00All right.
00:55:02All right.
00:55:04All right.
00:55:06All right.
00:55:08All right.
00:55:10All right.
00:55:12All right.
00:55:14All right.
00:55:16All right.
00:55:18All right.
00:55:20All right.
00:55:22All right.
00:55:24All right.
00:55:36Okay.
00:55:38Yeah.
00:55:40So, yeah.
00:55:42iversene brachial of course. But in our previous paper we can de-iversenize
00:55:54iversene brachial okay to express with regular algebra using like a
00:56:00flooring function, ceiling function but iversene brachial is just like synthetic
00:56:05sugar basically okay. What is synthetic sugar? It's not necessary but it
00:56:11makes it more convenient in like contemporary language okay so okay
00:56:16Cheers
00:56:21like screw for example yeah you can use driver but you can use a hand too right
00:56:27it's more efficient more convenient to use driver okay so yeah same thing it's a
00:56:33tool okay. Alright, this is equal to
00:56:53okay
00:56:57you
00:57:01okay so
00:57:11this is equal to if
00:57:15a
00:57:18rho c
00:57:22is zero if a is multiple of
00:57:27c here multiple of seven then
00:57:37multiply
00:57:43a plus here 14 right
00:57:49seven c
00:57:54times d minus one
00:58:02okay plus
00:58:06if a is not a multiple of seven
00:58:14then
00:58:22a no boundary plus
00:58:29five is seven minus two okay so seven is c
00:58:38so c minus two 16 rho seven so a rho c a rho c
00:58:54plus seven that's c times
00:59:02here
00:59:09you
00:59:16three
00:59:21this d minus two
00:59:28okay
00:59:32here we have minus one why because we are looking for third multiple of seven
00:59:41okay but the boundary 14 that's already multiple of seven okay so we need three
00:59:49minus one because we have one already okay here y minus two
00:59:55you
00:59:59we are looking for third let me check on my you know real quick
01:00:07you
01:00:20you
01:00:25you
01:00:44uh
01:00:47um
01:00:55maybe this should be one instead because um
01:01:00my bad
01:01:05so if low boundary is not multiple seven okay we found the
01:01:13that's not multiple of seven so we found the very first multiple of seven
01:01:17after this low boundary okay which is 16 plus 5
01:01:22okay 21 right and we are looking for third
01:01:31we are looking for third multiple of seven
01:01:34so we found one so we need two more okay so actually this is also
01:01:42three minus one okay so my bad
01:01:51okay now
01:01:57you
01:02:09uh this is equal to
01:02:14now iverson algebra okay so uh
01:02:19okay we have common factor here
01:02:32okay
01:02:37this one times this plus this one times this but this one and this one they're
01:02:41logical opposite okay and so if this is zero this is one if
01:02:46this is one this is there okay so uh but let's just expand this out okay so
01:02:56you
01:03:14then
01:03:26you
01:03:33okay
01:03:46you
01:03:56you
01:04:15but if you're not okay
01:04:21you want to simplify this go for it okay yeah let's take five minutes break
01:04:25sure iverson algebra
01:04:30okay
01:04:38it's fun
01:04:40you
01:04:50all right
01:05:10you
01:05:40you
01:06:10you
01:06:22you
01:06:40you
01:06:46you
01:06:48you
01:07:08you
01:07:18you
01:07:21okay like you know it's getting ready that's great
01:07:30okay yeah
01:07:38yeah iverson bracket is fun it's like logic
01:07:42kind of boolean you know true or false you know
01:07:46there one good stuff uh okay let's continue
01:08:04this one this one we factor it out
01:08:08okay uh actually we also have
01:08:24what we have come in common is a plus c times d minus one
01:08:28a plus c times d minus one okay
01:08:39okay this is like a middle school high school level algebra okay yeah
01:08:46c12
01:08:52that's c12 what k12 okay
01:08:58you
01:09:05and then the only thing left here is this okay
01:09:11you
01:09:21now this this is logical opposite if this is one this is zero if this is zero
01:09:28this is one okay so this plus this is always one okay
01:09:41you
01:09:44and
01:09:52so this becomes
01:09:56a plus c times d minus one
01:10:06okay
01:10:11you
01:10:18now let's just play with this uh this one is one minus logical opposite okay
01:10:29one minus logical opposite
01:10:40times
01:10:47okay now we have minus c plus c cancels out
01:11:05you
01:11:11you
01:11:34you
01:11:40you
01:11:45you
01:11:54you
01:12:10you
01:12:26okay
01:12:32and
01:12:40you
01:12:51you
01:13:11you
01:13:25i think that's about it okay yeah yeah okay so that's like numeric i mean
01:13:30numerical more arithmetic solution okay okay good enough good enough we can
01:13:36vector this but it's not necessary okay so yeah
01:13:42okay yeah so we have that
01:13:49now next
01:13:56so that's just arithmetic function okay
01:14:03now we can do algorithmic way
01:14:10where do we do like
01:14:14nested sigma well that's that's not not algorithmic a little bit okay but
01:14:24kinda okay intermediate
01:14:32okay
01:14:35but
01:14:38would i want to do that today i don't feel like to maybe tomorrow okay yeah
01:14:45uh this might be noise almost ready but
01:14:53um
01:14:55um
01:15:00we will let's pick this up tomorrow okay uh but what do i mean by the double sigma
01:15:08like sigma within sigma okay so uh to count the cardinality like this like a third fourth
01:15:18fifth multiple of seven to do that uh one way to do it is using a nested sigma
01:15:26sigma instead of sigma okay which is very inefficient but uh to express this in a
01:15:32regular algebra without using algorithm
01:15:38without using computer language uh that's uh probably uh i'll say uh the only way to do it
01:15:44okay okay well one way to do it let's say okay okay uh but let's do that tomorrow
01:15:52okay yeah okay yeah see you tomorrow yeah thank you
01:16:00yeah well let's take five minutes break and then we'll talk about something else
01:16:06we'll do one more segment how about that okay sure well let's do that
01:16:12okay
01:16:16yeah there we go okay
01:16:42you
01:17:12you
01:17:42you
01:18:12you
01:18:42you
01:18:56you
01:19:12you
01:19:14you
01:19:36okay let's put this behind us all right
01:19:40all right
01:19:42good mathematics
01:19:46also computer programming
01:19:51yeah
01:19:55okay
01:19:59so tomorrow i go to a launch event in our sister city in palma
01:20:06yeah matsu valley is like this matsu valley is like one hour north of anchorage we have wasilla palmo
01:20:12also we have houston and then other small towns here and uh
01:20:22in alaska we have many cities like juno fairbanks anchorage matsu valley so you know those cities
01:20:31in alaska we have autonies association autonies club basically okay so yeah they host some nice
01:20:37uh events like continuing legal education and whatnot okay so yeah i'll attend that event tomorrow
01:20:44lunch time uh they're like uh basically meet and greet okay because i'm looking for a job lawyer job
01:20:53and it's good to be seen and you know like communicate and stuff okay yeah nice yeah well
01:21:00i'm saying okay so also i have some hair cut i cut my own hair tomorrow morning and uh then
01:21:08because i took a bath today uh shower not necessary just washing the hair okay yeah
01:21:14in the bathtub like this okay shower handle yeah sure that can be done oh yeah
01:21:21yeah because i bought this nice scissors it's like uh something like 13 dollars okay
01:21:29uh more expensive than the cheapest okay so so that for hair cutting yeah i need some good scissors
01:21:36okay yeah but do i really think it's necessary to cut my hair tomorrow i'm not sure
01:21:45uh maybe i'll skip that part i i don't okay we'll see okay
01:21:54okay
01:21:58yeah
01:22:02uh-huh
01:22:05yeah
01:22:06yeah
01:22:08cheers
01:22:12so i'm living very simple life these days between jobs unemployed and uh with applying to jobs and
01:22:18then um doing mathematics sometimes study like history uh foreign languages okay and then eat
01:22:26like twice a day and uh sleep and exercise yeah i like it it's nice yeah
01:22:33keeping my uh money used to the minimum yeah yeah nice yeah i can last very long time like this
01:22:43okay yeah saving money sure yeah until i get employed sure no problem it's fun it's different
01:22:52kind of lifestyle okay okay all right that's all i have to say i'm gonna watch some twilight
01:22:59twilight zone tv show while eating uh dinner okay yeah i look forward to that and uh uh see you
01:23:05tomorrow okay yeah thank you yeah mighty proud future leaders yeah thank you