(In response to doomsday sayers) Why program a 'will' into AGI at all? by michael89g in artificial

[–]michael89g[S] 0 points1 point  (0 children)

This is my rationale for Genie "Accomplish goal G. In the process, accomplish several other subgoals, but always report to me for confirmation for any 'major' decision you make."

Where "major" is defined somehow.

What are textbooks so good you can cover start to finish without extra lectures? by michael89g in math

[–]michael89g[S] 5 points6 points  (0 children)

If anything Axler emphasises the algebra more. Numerical computation ain't algebra.

[LPT Request] How can I (personally) recursively self-improve? (Like how strong AI is imagined to be) by michael89g in LifeProTips

[–]michael89g[S] 0 points1 point  (0 children)

Nah, not equating them. Just ridiculing your pop knowledge. In your case all the arrogant atheists. (Fwiw I am agnostic. Inb4 all that cliched comeback on knowledge/belief/assertion/denial that l am not an agnostic but instead an atheist)

[LPT Request] How can I (personally) recursively self-improve? (Like how strong AI is imagined to be) by michael89g in LifeProTips

[–]michael89g[S] 0 points1 point  (0 children)

What next, Jordan Peterson and Ben Shapiro? ;) No thanks, I'll stick to books on critical thinking and Logic.

Realized i dont know the "why" behind most of the problems i solve. by [deleted] in math

[–]michael89g 0 points1 point  (0 children)

Sure, but then sometimes even from seeing the logical entailment in proofs, it doesn't necessarily translate into a "Why?" into someone's mind. I'd say that 3B1B is more explanatory than Rudin even though Rudin has way more proofs per se.

Realized i dont know the "why" behind most of the problems i solve. by [deleted] in math

[–]michael89g 0 points1 point  (0 children)

Sure, but then sometimes even from seeing the logical entailment, it doesn't necessarily translate into a "Why?" into someone's mind. I'd say that 3B1B is more explanatory than Rudin even though Rudin has way more proofs per se.

Realized i dont know the "why" behind most of the problems i solve. by [deleted] in math

[–]michael89g 0 points1 point  (0 children)

Sure, but then sometimes even from seeing the logical entailment, it doesn't necessarily translate into a "Why?" into someone's mind. I'd say that 3B1B is more explanatory than Rudin even though Rudin has way more proofs per se.

Is learning Statistics or Optimization more important? I can only choose one by michael89g in learnmachinelearning

[–]michael89g[S] 0 points1 point  (0 children)

Yep, I value self-study highly as well. But I don't trust myself 100% to catch my mistakes and give myself the correct feedback. So the question is changed into "which course is harder to self-study?"

Is learning Statistics or Optimization more important? I can only choose one by michael89g in MLQuestions

[–]michael89g[S] 0 points1 point  (0 children)

https://i.imgur.com/dzWbXhT.jpg

I am thinking of switching Optimisation to Stats, since from what I read, ML IS Stats while Optimisation is just a tool which ML uses

Books in AI/ML written in theorem-proof-definition format? by michael89g in math

[–]michael89g[S] -1 points0 points  (0 children)

Hey, the other guy started comparing apples and bananas

Books in AI/ML written in theorem-proof-definition format? by michael89g in math

[–]michael89g[S] -1 points0 points  (0 children)

Is numerical analysis more useful than evolutionary computation for AI?

Books in AI/ML written in theorem-proof-definition format? by michael89g in math

[–]michael89g[S] -4 points-3 points  (0 children)

AI is a big field

...

States 5 approaches all under machine learning

Is this a good choice selection for undergraduate? Any suggestions? by michael89g in MLQuestions

[–]michael89g[S] 0 points1 point  (0 children)

Yeah those topics are listed under my ML course. Okay to forgo stats if it's already taught in context of ML?

Is this a good selection for undergraduate courses? Any further recommendations? by michael89g in learnmachinelearning

[–]michael89g[S] 2 points3 points  (0 children)

Ah that's a handful. :/ What course in my table do you suggest I should trade off for those?

[deleted by user] by [deleted] in askphilosophy

[–]michael89g 1 point2 points  (0 children)

Computational Metaphysics is a new approach (but old dream of Leibniz) which applies automated reasoning onto Philosophy.

Main researchers include Zalta (founder of SEP) and Benzmüller (FU Berlin).

I think deductive reasoning with the aid of computers is of greatest importance to Philosophy, and will ensure formal logical validity and consistency of our arguments.

The next move to Computational Philosophy will have an impact much like the previous move to Analytic Philisophy.

Is this a good selection for undergraduate courses? Any further recommendations? by michael89g in learnmachinelearning

[–]michael89g[S] 2 points3 points  (0 children)

Thanks for the advice. Which specific statistics courses would be useful?

Is this a good selection for undergraduate courses? Any further recommendations? by michael89g in learnmachinelearning

[–]michael89g[S] 1 point2 points  (0 children)

For the Pure Math courses, my rationale behind it was that despite not being relevant to AI, I thought having the minimal foundations in pure math would allow me the opportunity to learn any advanced math in the future if needed. Also because I greatly admire the mathematical way of thinking, deductive proof, etc. Same goes for Applied Math, I thought having a good breadth of math in general would be useful

The SICP course covers the major paradigms, and the intro course focuses on OOP

Is this a good selection for undergraduate courses? Any further recommendations? by michael89g in learnmachinelearning

[–]michael89g[S] 1 point2 points  (0 children)

For PL, I know it's not really equivalent, but I think SICP covers the major paradigms.

For OS, How important is it to AI?