“It is the first step in sociological wisdom, to recognize that the major advances in civilization are processes which all but wreck the societies in which they occur:—like unto an arrow in the hand of a child. The art…
So that is kind of the point of studying maths right? Why something in unsolvable or undecidable can be as important as the output of a theorem. Questions like these, fields medal level problems or Karp’s 21 NP-complete…
For myself it was learning what a limit is in calculus, then learning about vector spaces, then learning about metric spaces and then learning about different topological spaces. Then I had to relearn how a limit…
unify general relativity with quantum mechanics. The continuum hypothesis. The traveling salesman problem in polynomial time.
At the same time if you imagine a machine that can associate different maths. Would said machine encounter undecidable statements more frequently? Would the rules of said machine have statements they themselves cannot…
It’s not that. Consider the definition of the limit. The idea existed for a long time. Newton/Leibniz had the idea. That idea wasn’t formally defined until 134 years later with epsilon-delta by Cauchy. That it was…
Yeah that’s true, I didn’t go into detail here. I appreciate the clarification.
If you are in the US. Proportionate representation stopped completely with the Reapportionment Act of 1929. Subsequently the tail end of the gilded age and enacted in June 18, only 5months before the crash of oct 1929.…
There’s a bit of a double edged sword here. Removal of taxes leads to more coupled private/government relationships. Where external interests fund politicians to protect their own monopolistic interests. That money…
Yeah that’s the trade off of this implementation. Lobste.rs already uses this implementation https://lobste.rs/about#invitations The comments are considerably better. I’m not even a member but get more out of reading…
Because you have an initial user who invited the bots. The whole invite tree of this user can cull all invites given by the user who added bots.
Members only comment blogs. Where you need an invite to comment also solves the problem. You need to know a real human to get access.
Compilers can never be error free for non trivial statements. This is outlined in Rices theorem. It’s one of the reasons we have observability/telemetry as well as tests.
There are some numbers that are uncomputable in lean. You can do things to approximate them in lean however, those approximates may still be wrong. Leans uncomputable namespace is very interesting.
Most math books do not provide solutions. Outside of calculus, advanced mathematics solutions are left as an exercise for the reader.
There are other bounds here at play that are often not talked about. Ai runs on computers. Consider the undecidability of Rices theorem. Where compiled code of non trivial statements may or may not be error free. Even…
LLMs are bounded by the same bounds computers are. They run on computers so a prime example of a limitation is Rices theorem. Any ‘ai’ that writes code is unable (just like humans) to determine if the output is or is…
There still maybe some variance at temperature 0. The outputted code could still have errors. LLMs are still bounded by the undecidable problems in computational theory like Rices theorem.
LLMs and its output are bounded by Rices theorem. This is not going to ensure correctness it’s just going to validate that the model can produce an undecidable result.
“It is the first step in sociological wisdom, to recognize that the major advances in civilization are processes which all but wreck the societies in which they occur:—like unto an arrow in the hand of a child. The art…
So that is kind of the point of studying maths right? Why something in unsolvable or undecidable can be as important as the output of a theorem. Questions like these, fields medal level problems or Karp’s 21 NP-complete…
For myself it was learning what a limit is in calculus, then learning about vector spaces, then learning about metric spaces and then learning about different topological spaces. Then I had to relearn how a limit…
unify general relativity with quantum mechanics. The continuum hypothesis. The traveling salesman problem in polynomial time.
At the same time if you imagine a machine that can associate different maths. Would said machine encounter undecidable statements more frequently? Would the rules of said machine have statements they themselves cannot…
It’s not that. Consider the definition of the limit. The idea existed for a long time. Newton/Leibniz had the idea. That idea wasn’t formally defined until 134 years later with epsilon-delta by Cauchy. That it was…
Yeah that’s true, I didn’t go into detail here. I appreciate the clarification.
If you are in the US. Proportionate representation stopped completely with the Reapportionment Act of 1929. Subsequently the tail end of the gilded age and enacted in June 18, only 5months before the crash of oct 1929.…
There’s a bit of a double edged sword here. Removal of taxes leads to more coupled private/government relationships. Where external interests fund politicians to protect their own monopolistic interests. That money…
Yeah that’s the trade off of this implementation. Lobste.rs already uses this implementation https://lobste.rs/about#invitations The comments are considerably better. I’m not even a member but get more out of reading…
Because you have an initial user who invited the bots. The whole invite tree of this user can cull all invites given by the user who added bots.
Members only comment blogs. Where you need an invite to comment also solves the problem. You need to know a real human to get access.
Compilers can never be error free for non trivial statements. This is outlined in Rices theorem. It’s one of the reasons we have observability/telemetry as well as tests.
There are some numbers that are uncomputable in lean. You can do things to approximate them in lean however, those approximates may still be wrong. Leans uncomputable namespace is very interesting.
Most math books do not provide solutions. Outside of calculus, advanced mathematics solutions are left as an exercise for the reader.
There are other bounds here at play that are often not talked about. Ai runs on computers. Consider the undecidability of Rices theorem. Where compiled code of non trivial statements may or may not be error free. Even…
LLMs are bounded by the same bounds computers are. They run on computers so a prime example of a limitation is Rices theorem. Any ‘ai’ that writes code is unable (just like humans) to determine if the output is or is…
There still maybe some variance at temperature 0. The outputted code could still have errors. LLMs are still bounded by the undecidable problems in computational theory like Rices theorem.
LLMs and its output are bounded by Rices theorem. This is not going to ensure correctness it’s just going to validate that the model can produce an undecidable result.