Career, Physics and Goals (was: Artificial General Intelligence Speculations)

I’d say

sin(theta) = length(opposite side) / length(hypotenuse)
cos(theta) = length(adjacent side) / length(hypotenuse)
tan(theta) = length(opposite side) / length(adjacent side)

I’d then have to justify my claim that these functions I’ve defined only depend on theta

Something that jumps out at me is that the first two statements don’t actually imply the third on their own because we need to know that 25 > 0.

I’m pretty sure you’re misreading it.

oh LOL oops. I did misread it. You got me.

The second statement is unnecessary.

Maybe it’s established context that 25 is “lying on the real number line,” and so the deduction of 3 from 1 could be valid, but this is a really stupid example because why would anyone define what the real number line is before you define what a real number is?

Yeah. I wouldn’t grant them an established context. I’d say the second is irrelevant and the first does not imply the third. So it’s really bad!

Could you edit one of the bullet points to make it correct?

Okay, I agree in theory that such things could be bottlenecks for understanding mathematics and physics well.

But I only see it as being relevant for like, people for whom learning physics is too hard and they give up. And maybe one of the reasons why it’s too hard for them is that they make too many errors. (edit: too many arithmetic errors*)

In my own case, I don’t think there aren’t any fundamental obstacles to me learning a new piece of physics if I want to learn it. I don’t think I’ve failed to learn things that I’ve wanted to learn in physics. Maybe arithmetic could be a bottleneck if my goal was like, “learn X in one day”?

Lol sure:

• False
• All the real numbers greater than zero are positive real numbers
• 25 is a real number

From the above statements, we can say that if the first two statements are true then the third one is definitely true.

Are you maybe not that interested? Should I not bother with this?

I think you’re looking for errors in my understanding of very basic stuff, because you are trying to prove to me that my education has failed me. Am I correct?

Not exactly. I wasn’t looking for or expecting an error re the real number syllogism. I had a followup question in mind but didn’t get to it yet. (BTW your trig answer was problematic but I didn’t get to that yet either, and you didn’t volunteer information about mathematical induction or recursion so those are still pending to potentially follow up on.) And “failed [you]” is something like a value judgment, which wasn’t my point.

I was trying to help with identifying things that I thought you wanted to identify:

Okay, got it. Yes – I’m still interested in this conversation.

Regarding the syllogism thing, I think you interpreted it as more snarky than I actually meant it to be.

Basically, what happened is that the first change I thought of would make it valid but depended on some context (the context of knowing that 25 is an integer). Rather than asking for technical details about what you actually wanted me to do, I decided to make an edit such that it’s trivially true. I said Lol because I thought my edit was different from what you expected and therefore funny.

Your edit isn’t correct. From a contradiction, anything follows by a series of steps that you could do, but you didn’t include those steps, so it isn’t a valid syllogism.

Can you come up with a different one that works?

I know induction as well as I possibly could because I have used it a lot for math proofs.

I understand recursion because I’ve programmed with functional programming languages before. I actually started out wanting to do theoretical CS at the beginning of my career, and know (or did know) e.g. the stuff in CLRS.

Oh. Have you done SICP? (I have.)

I don’t know what the series of steps you are referring to is.

I come from a math background, and I interpreted the thing as being the proposition

(A and B) => C,

which is equivalent to

(not (A and B)) or C.

If A is false, the above expression evaluates to True.

I have not.

Can you think of any way this statement could be false?

If I’m a Boltzman brain and the memory is fake?

If by induction you meant transfinite induction?

edit:

I expect that someone who just did 100 induction practice problems involving arithmetic sequences could solve his 101st faster than I could, so maybe this is a sense in which I don’t know it “as well as I possibly could,” but does that really mean he understands mathematical induction better than I do? I think this is what you have in mind, but I generally wouldn’t describe this as someone knowing induction better than me, or a lack of knowledge about induction, etc.

Maybe you have an instrumentalist premise? Your sentence reads as absurd to me because conceptual understanding exists and is not maximized by using something a lot for calculations/proofs/problems (or any use).

Being able to do a skill and understanding a concept related to the skill are different things.

I edited my post like 30 seconds before you replied and I’m not completely sure if you saw.

By this

I mean something like: I think my conceptual understanding of induction is just as good as the guy who did 100 problems.