log☇︎
583500+ entries in 0.316s
mircea_popescu: i superficially suspect this discussion proves there can never be turing ai.,
asciilifeform: so, in principle, if the machine were to do nothing but cough up 'gensyms' for a few millenia, you will exhaust memory.
asciilifeform: common lisp numeric tower is a bignum tower
mircea_popescu: is this provable to actually work all the time ?
mircea_popescu: well yeah but if it did violate restatement then either i'm wrong or no ai can be made to run on lisp machine.
asciilifeform: a 'nut' or 'bolt' that i use daily.
asciilifeform: it's a humble tool, no ai to it at all
mircea_popescu: i don't think that violates my restatement.
asciilifeform: creates a symbol with no meaning other than identity (cannot add, subtract it, it only has a name and the only permitted operation is determination of identity)
asciilifeform: ^ best representation of the concept i know of
undata tries to create an arbitrary symbol in his mind
mircea_popescu: o for sure, im not even getting into the point of the article. i just went on a tangent for objection reasons, like i do.
asciilifeform: what 'ai and stupidity' was about, was an actual pestilence of pseudoscience, where folks convinced themselves and others that they were accomplishing 'great things' while really pulling each other's dicks in a most stultifying way
asciilifeform: we might be speaking of different things then, re: 'names'
asciilifeform: where are the namings?
asciilifeform: but for the fact that it worked.
mircea_popescu: that thing IS intelligent, just like me and you and the dragonfly.
asciilifeform: the one where not a single thing about the circuit made sense to the human dissector
asciilifeform: mircea_popescu: remember the self-evolving fpga?
mircea_popescu: mp's lemma of artificial intelligence requires any computer program that exhibits in fact ai to depend in its functioning on the naming of its functions, and that self-metaprogramming be a part of its working.
mircea_popescu: ok, let me phrase it thus :
mircea_popescu: to the code.
asciilifeform: say, if it was able to distinguish cat from dog, and now operates an automated dogcatcher, prior to the renaming of strings, and still can - there was 'substance.'
mircea_popescu: that's what thought is, entirely, all the time : suggestively named strings.
mircea_popescu: asciilifeform but my point is that this argument misses the very point of what thought is.
nubbins`: undata terrorizing realization that no such thing exists, etc
asciilifeform: the idea in the article can (and has) been rephrased like this. if you remove all the 'suggestively-named strings' like 'understand' - and replace with 'gensyms' - e.g., 100324 - does the resulting machine still do or even appear to do anything of interest? ☟︎☟︎
undata: nubbins`: flashback to 19, tripping like hell, trying to find a firm thought to stand upon
mircea_popescu: there's no substance to thought.
mircea_popescu: but since the article spoke of "substance" in thought... well...
mircea_popescu: not that any of these subtle considerations have any sort of practical effect or importance,
assbot: TripTank - Stoned Ape Theory - YouTube
asciilifeform: in precisely that way.
mircea_popescu: "it can be made to"
mircea_popescu: nor, ironically, are actual logic processing machines all that intelligent.
asciilifeform: and today perhaps the allmighty favours ohm's law, tomorrow - not
nubbins`: <+mircea_popescu> the argument is whether they're actually different. <<< in the sense that each game of wol is actually different
mircea_popescu: and the brain is in no sense and to no degree a logic processing machine.
asciilifeform: afaik western traditions of sophistry are not even the most die-hard adherents of this idea. in some variants of islam, they actually believe that 'if the circuit works, it was will of allah' and nothing more
mircea_popescu: but that doesn't mean they're not the same damned function.
mircea_popescu: if one function returns rnd(0,15) and the other rnd(20,42) it is easy to establish which returns the larger number,
mircea_popescu: the argument is whether they're actually different.
mircea_popescu: undata the argument mind, isn't that some eliza-trees don't make much better looking reality-clothes than others.
undata: "gravity" holds the moon to the earth
nubbins`: and somewhere, somewhen, the sound of keys clacking on a keyboard was heard
asciilifeform: the difference between the flesh before and after, 'aesthetic preference'
nubbins`: no true eliza would offer such an argument
mircea_popescu: so, yeah. all thinkers are eliza, the distinguishing among elizas, like among whores, purely an application of one's own aesthetic preference.
asciilifeform: aha i see where this is going.
mircea_popescu: you can test them, of course, but this is practically speaking aesthetics.
mircea_popescu: well, the reason might be that there couldn't be such a thing. there's nothing that makes "good science" better than a pile of shanonized papers.
asciilifeform: who would even dare to ask about sciences.
asciilifeform: even the elixir of distinguishing cat from dog by mechanical means, so far escapes programmers.
mircea_popescu: what is the method through which i could write software that distinguishes between actual science and global-warming-science ?
asciilifeform: and i'm not altogether certain that i'd profit from grasping it
mircea_popescu: let's approach on a different tack.
mircea_popescu: not every whore is a partner you'd entertain, but that has little to do with the principles involved.
mircea_popescu: not every hammer is a microscope TO YOU
asciilifeform is firmly persuaded that every microscope is a hammer. however, not every hammer is a microscope, demonstrably. and therein lies the boojum.
mircea_popescu: undata if you will. asciilifeform yes, essentially, which is why the microscope hammer thing never persuaded me.
mircea_popescu: having more to do with ego and stress than anything
mircea_popescu: the ability of whores to distinguish themselves from "those cheap streetwalkers" is not that important globally.
mircea_popescu: all women are whores and all thinkers are eliza.
mircea_popescu: if you recognise a naive romanticism in one field, the other should also be obvious.
mircea_popescu: and, obviously, fucking. ie, a manipulation of the subject according to the rules of the reality it inhabits.
mircea_popescu: outside of this, all that's left is eliza-understanding.
mircea_popescu: the sort of understanding you propose is a relationship between mind and object that's transcendental. the ready comparison is the supposed transcendental relation between man and woman.
undata: one of you is using understand in a much stricter sense than the other.
asciilifeform: wide net, but somewhere in it there flops a fish, 'understanding'
asciilifeform: well, if i had to give an example of 'understanding', involving 'transformation', i'd offer the transformation of pebbles on a beach (original 'calculation') into well, calculation, and mathematics, and, ..., nukes.
asciilifeform must confess he is rather puzzled at this point
mircea_popescu: dja think this was ever displayed ?
mircea_popescu: so : your idea of understanding would be in fact "transformative love". ie, it'd give you the ability to turn, if not marble into virgin, at least whore into housewife.
mircea_popescu: let us not discuss this in terms of understanding, something we care about. let us instead discuss in terms of love, something we don't care about.
asciilifeform: people have never been seen to, e.g., rotate themselves in 4th d. and end up rechiralled. but they do occasionally understand things.
asciilifeform: i'd have to disagree that 'understand' is a null-word.
asciilifeform: he is thinking of another variety of clever tricks.
mircea_popescu: [self]delusion to the contrary notwithstanding.
mircea_popescu: it is NEVER the case anyone ever understood anything whatsoever in any case at any point in human history
mircea_popescu: 'It follows that he cannot know that certain people at certain times do not understand in Parry-or Eliza-like ways. That is to say, he has no way of knowing that we do not ourselves sometimes function by means of "clever tricks".' actually, i will go as far as to say that it is always certainly the case understanding happens through "clever tricks"
asciilifeform: (not related to above, but a contemporary)
asciilifeform: weizenbaum, author of iconic 'eliza', also understood how little a mechanism really needs to 'understand' in order to give an idiot the illusion of 'understanding.'
asciilifeform: 'programs to a great degree are problems rather than solutions. If a researcher tries to write an "understanding" program, it isn't because he has thought of a better way of implementing this well-understood task, but because he thinks he can come closer to writing the implementation. If he calls the main loop of his program "UNDERSTAND ', he is (until proven innocent) merely begging the question. He may mislea
asciilifeform: it's an epic paper, that not merely rained but pissed on the exuberant 'ai' parade of the '70s academe.
mircea_popescu: lmao the title promises
mircea_popescu: what's that do for any cell ?
mircea_popescu: of course it does, but so ? energy states in a semiconductor also conflict, in the abstract
mircea_popescu: they don't know how to compute whether x option ios better than y option in any situation, but they do know you don't just walk into mordor
asciilifeform: it does happen that 'fanons' conflict, though.
mircea_popescu: which is how they all "learned" all about mordor.
nubbins`: closed encounters of the 4th kind
mircea_popescu: basically, to teach a muppet something you must construct a literary work which jives with the preexisting dreamworld he inhabits
mircea_popescu: will ONLY learn from fiction, inasmuch as they find a way to link it to their own fiction.
mircea_popescu: s experience, nor from their own.
mircea_popescu: imo, they're 4th level learners. will not learn from thought ; nor from other
asciilifeform: are, in fact, already being taught by it
asciilifeform: and will end up learning from the electric fence.
asciilifeform: but on the subject of, e.g., tor, they have both words and deeds.
asciilifeform: not clear that these folks have an actual take on the subject. parroting usg religion - yes.
mircea_popescu: not that it's false, but they're not women. so... how ?