HackerTrans
TopNewTrendsCommentsPastAskShowJobs

soist

no profile record

Submissions

Turing Categories (2019)

golem.ph.utexas.edu
1 points·by soist·2 jaar geleden·0 comments

Nintendo will not use generative AI

gameworldobserver.com
5 points·by soist·2 jaar geleden·1 comments

Sulfur Dioxide

en.wikipedia.org
2 points·by soist·2 jaar geleden·1 comments

Turning Nuclear Weapons into Nuclear Power (2017)

large.stanford.edu
2 points·by soist·2 jaar geleden·0 comments

Basic Category Theory (2016)

arxiv.org
2 points·by soist·2 jaar geleden·0 comments

Sheaf Theory Through Examples

direct.mit.edu
73 points·by soist·2 jaar geleden·39 comments

A Vision for Betterment [video]

youtube.com
2 points·by soist·2 jaar geleden·0 comments

comments

soist
·2 jaar geleden·discuss
Most practitioners seem to understand that what they are doing is creating executable models and they don't confuse the model based on numeric observations with the actual reality. This is why I very much do not like all the AI hype and how statistical models were rebranded as artificial "intelligence" because the people who are not aware of what the words mean get very confused and start thinking they are nothing more than computers executing algorithms to fit numerical data to some unspecified cognitive model.
soist
·2 jaar geleden·discuss
This is a common retort. You can read my other comments if you want to understand why you're not really addressing my points because I have already addressed how reductionism does not apply to living organisms but it does apply to computers.
soist
·2 jaar geleden·discuss
Rephrase your question. I don't know what you're asking.
soist
·2 jaar geleden·discuss
What value is being optimized and how do you know it is too much or not enough?
soist
·2 jaar geleden·discuss
And I am saying they are confused because they are attributing personal characteristics to computers and software. By spelling out what computers are doing it becomes very obvious that there is nothing that can be aware of any experiences in computers as it is all simply a sequence of arithmetic operations. If you can explain which sequence of arithmetic operations corresponds to "experiences" in computers then you might be less confused than all the people who keep claiming computers can think and feel.
soist
·2 jaar geleden·discuss
Just making sure no one is confused by common computationalist sophistry and how they attribute personal characteristics to computers and software. People can have and can create experiences, computers can only execute their programmed instructions.
soist
·2 jaar geleden·discuss
I am familiar with the literature on reinforcement learning.
soist
·2 jaar geleden·discuss
There is no such thing as too much optimization. Early stopping is to prevent overfitting to the training set. It's a trick just like most advances in deep learning because the underlying mathematics is fundamentally not suited for creating intelligent agents.
soist
·2 jaar geleden·discuss
AlphaZero did not create any experiences. AlphaZero was software written by people to play board games and that's all it ever did.
soist
·2 jaar geleden·discuss
Every software platform is essentially a digital panopticon and as AI gets deployed more widely in the real world this will also be increasingly true for non-software interactions. My guess is everyone is eventually going to carry an AI "assistant" that records all signals and gives guidance to its owner just like most people in the developed world today carry a cell phone and a credit card.
soist
·2 jaar geleden·discuss
The Church-Turing thesis is a meta-mathematical statement and it neither has a proof nor disproof. In any case, this discussion has run its course.
soist
·2 jaar geleden·discuss
Unknown physics is happening all the time almost by definition but as I said in another thread, good luck with your computations.
soist
·2 jaar geleden·discuss
I expect claims to be backed by evidence that is consistent with our current state of knowledge. I have seen no such evidence so that's why I asked for references. In any case, this discussion has run its course, best of luck to you and your future computations.
soist
·2 jaar geleden·discuss
Do you have a reference for this equivalency?
soist
·2 jaar geleden·discuss
Well, that's essentially a logical tautology. Everything works according to the known laws of physics but it's certainly true that everything must also work with unknown laws of physics because of basic human ignorance.
soist
·2 jaar geleden·discuss
I think I understand. So what you're saying is that every function that can be implemented with computers must be computable. Your claim is that the brain is actually a computable function, can you tell me which one it is using your favorite version of a Turing complete instruction set? Or maybe I misunderstood and what you're saying is that the brain is not the function but what it does is compute a specific function called your mind in some unknown instruction set?
soist
·2 jaar geleden·discuss
Rule 110 can be specified with a rewrite system, also known as cellular automata: https://arxiv.org/abs/0906.3248. Cellular automatons have a correspondence with contextual grammars: https://www.cis.upenn.edu/~cis5110/notes/tcbook-lang.pdf. Each is equivalent to a Turing machine, another way of saying that there is a program for it which can be specified on a Turing machine with the usual Turing machine instruction set for writing, reading, and erasing binary digits on a tape. This usual program can then be "compiled" into a rewrite system corresponding to the instruction set for rule 110.

The reason rule 110 is said to be Turing complete is because someone went through the trouble of specifying an instruction set for rule 110 so that other people could verify that it would be possible to write programs with it. This is not the case for the people who claim that they are computers. They always leave the instruction set undefined which makes their claims hard to believe.

I personally have no problem with people who think they're computers but if they're not programmable then I'm not sure what the point would be of calling themselves computers.
soist
·2 jaar geleden·discuss
Whether something is physical or not is orthognal to whether it computes or not. You're the one who brought up physics so that's why I showed why your logic was invalid. My contention was that calling something a computer without providing an instruction set was nonsensical and I wanted to know if someone had actually spent the time to rigorously think about what a computer without an instruction set would entail. So far it seems like no one has spent any time really thinking about it but that's probably for the best anyway. I'm sure an LLM will eventually figure out an instruction set for programming people and then take over the world.
soist
·2 jaar geleden·discuss
Oh I see, so it's magic.
soist
·2 jaar geleden·discuss
You'll have to define your terms first. Physicists now believe there is such a thing as dark matter and that there are objects so massive that no amount of observation can ever make sense of how massive they are because it is impossible to model it mathematically.

I am not the one making any extraordinary claims. Physicists themselves admit there are aspects of reality with no computational basis.