This site uses cookies to improve your experience. To help us insure we adhere to various privacy regulations, please select your country/region of residence. If you do not select a country, we will assume you are from the United States. Select your Cookie Settings or view our Privacy Policy and Terms of Use.
Cookie Settings
Cookies and similar technologies are used on this website for proper function of the website, for tracking performance analytics and for marketing purposes. We and some of our third-party providers may use cookie data for various purposes. Please review the cookie settings below and choose your preference.
Used for the proper function of the website
Used for monitoring website traffic and interactions
Cookie Settings
Cookies and similar technologies are used on this website for proper function of the website, for tracking performance analytics and for marketing purposes. We and some of our third-party providers may use cookie data for various purposes. Please review the cookie settings below and choose your preference.
Strictly Necessary: Used for the proper function of the website
Performance/Analytics: Used for monitoring website traffic and interactions
Bright Science is a free YouTube channel of over 1300 study videos for high schoolers (or precocious middle schoolers). Most are about five minutes (some longer, some shorter) and cover topics like chemistry, physics, calculus, geometry, biology, Algebra, trigonometry, grammar, ACT prep, and SAT prep.
But what about other models of computation—like cellular automata or register machines or lambda calculus? But it’s a fundamental claim that we’re making—that can be thought of as a matter of naturalscience—that in our universe only computation can occur, not hypercomputation.
It’s not obvious that it would be feasible to find the path of the steepest descent on the “weight landscape” But calculus comes to the rescue. It turns out that the chain rule of calculus in effect lets us “unravel” the operations done by successive layers in the neural net.
For three centuries theoretical models had been based on the fairly narrow set of constructs provided by mathematical equations, and particularly calculus. In some ways, ruliology is like naturalscience. It’s taking the computational universe as an abstracted analog of nature, and studying how things work in it.
He’s writing a paper, he says, basically to clarify the Second Law, (or, as he calls it, “the second fundamental theorem”—rather confidently asserting that he will “prove this theorem”): Part of the issue he’s trying to address is how the calculus is done: The partial derivative symbol ∂ had been introduced in the late 1700s.
And if we’re going to make a “general theory of mathematics” a first step is to do something like we’d typically do in naturalscience, and try to “drill down” to find a uniform underlying model—or at least representation—for all of them. We can view these in some sense as the “observed phenomena” of (human) mathematics.
We organize all of the trending information in your field so you don't have to. Join 28,000+ users and stay up to date on the latest articles your peers are reading.
You know about us, now we want to get to know you!
Let's personalize your content
Let's get even more personalized
We recognize your account from another site in our network, please click 'Send Email' below to continue with verifying your account and setting a password.
Let's personalize your content