Ella Hoeppner

933 posts

Ella Hoeppner banner
Ella Hoeppner

Ella Hoeppner

@ella_hoeppner

Software engineer. Interested in formal epistemology, especially as it relates to artificial life and AGI. Creator of https://t.co/2SwimqZuAu Generative art alt @gengrdn

Katılım Ekim 2019
218 Takip Edilen623 Takipçiler
Sabitlenmiş Tweet
Ella Hoeppner
Ella Hoeppner@ella_hoeppner·
I've been working on a cool little #ClojureScript app for a month or two now, and it's finally ready for an initial release. Check it out here: vlojure.io Basically, it's a visual interface for writing an evaluating ClojureScript. #Clojure #Lisp
English
10
38
167
0
CARNUN
CARNUN@carnundotcom·
@TheTeaGuns and I've been kicking around an idea for a scaleless factory-like for a while, inspired by Factorio, Infinifactory, functional programming, & @ella_hoeppner's vlojure.io but that'd be a pretty huge project I suspect so I'd want to build up a decent runway first :)
English
1
0
1
249
CARNUN
CARNUN@carnundotcom·
life would be simpler if I were making video games (already) maybe
English
2
0
2
311
Ella Hoeppner
Ella Hoeppner@ella_hoeppner·
@hamish_todd Please do! I made vlojure mostly as a proof of concept for that style of programming UI, I was very much hoping that others would find it inspiring and develop their own take on it. I haven't played either of those, no.
English
1
0
1
0
Ella Hoeppner retweetledi
Ella Hoeppner
Ella Hoeppner@ella_hoeppner·
New post: ellahoeppner.substack.com/p/conjecture-c… The previous posts were mainly preamble for this one, in which I start to really get into the heart of my theory, and give a formal description of my model of intelligent thought.
English
1
0
5
0
Ella Hoeppner
Ella Hoeppner@ella_hoeppner·
@sashintweets @iamFilos I see what you mean about the mind being a process that the brain enacts, rather than identical with the brain. That's like a fine view too imo, but it just seems like a semantic difference. It doesn't really matter to me which way we choose to use the word.
English
0
0
0
0
Ella Hoeppner
Ella Hoeppner@ella_hoeppner·
@sashintweets @iamFilos I don't think of the hardware/software distinction as a kind of dualism, at least not in the relevant sense. It's just two ways of speaking about the same thing at different levels of abstraction.
English
1
0
0
0
Ella Hoeppner
Ella Hoeppner@ella_hoeppner·
@iamFilos Yeah, very informed by Dennett. A mind is a computational pattern. In humans that means it's a neural pattern, but other kinds of minds might not use neurons. Multiple realizability is true in the sense that different physical systems can have the same computational properties.
English
0
0
0
0
Ella Hoeppner
Ella Hoeppner@ella_hoeppner·
@iamFilos They have the intuition that mind is somehow separate from matter. Mind is just a pattern instantiated in matter. It's not as if there's a mind, and separately there's a physical system that restricts the mind from having any influence. The mind is part of the physical system.
English
0
0
0
0
Ella Hoeppner
Ella Hoeppner@ella_hoeppner·
@iamFilos Yeah we should chat about this sometime soon, that would be fun. I'm not saying determinism is a problem for dualists, I'm saying that physicalists who think that determinism poses a problem for their own belief in free will aren't really thinking like physicalists.
English
2
0
0
0
Ella Hoeppner
Ella Hoeppner@ella_hoeppner·
@DorfGinger @reason_wit_me @JakeOrthwein Thanks! Coincidentally, the next post in the series will be about this exact topic: the tension between the desire to answer questions and the desire for consistency, and how creative thought seeks to overcome this tension.
English
0
0
2
0
Ella Hoeppner
Ella Hoeppner@ella_hoeppner·
Popper on the importance of contradictions:
Ella Hoeppner tweet media
English
2
2
14
0
Ella Hoeppner
Ella Hoeppner@ella_hoeppner·
@DorfGinger @reason_wit_me @JakeOrthwein It opens up a lot of tricky issues. Like, a mind must be able to decide that some questions it's asked previously are "wrong"/not worth answering. But how does it make that decision? It's not clear how/if that fits into the normal notion of "criticism" as contradiction-avoidance.
English
0
0
1
0
Ella Hoeppner
Ella Hoeppner@ella_hoeppner·
@DorfGinger @reason_wit_me @JakeOrthwein Yep! I have no idea how that part works. That's one of the biggest missing pieces in the model that I'm working on, and it's something I think about a lot, but so far I have no good guesses.
English
2
0
1
0
Ella Hoeppner
Ella Hoeppner@ella_hoeppner·
@DorfGinger @reason_wit_me @JakeOrthwein It might be a purely factual question like "How do atoms interact?", or a more moral/motivational question like "How can I get a sandwich in the next few mins?". Either way, there's a "problem" when you don't have an answer to your question, under the constraint of consistency.
English
0
0
0
0
Ella Hoeppner
Ella Hoeppner@ella_hoeppner·
@DorfGinger @reason_wit_me @JakeOrthwein I don't think "problems" are ever exclusively about a contradiction, that's just one part of what makes up a problem. I think a problem is like: we have some question we want an answer to, but we don't know of any theory that gives us an answer without entailing a contradiction.
English
2
0
1
0
Ella Hoeppner
Ella Hoeppner@ella_hoeppner·
@reason_wit_me @JakeOrthwein I don't think our minds use anything like classical logic, but I do think they use some kind of formal, sentential reasoning. Though the rules of inference in the reasoning system are conjectural and evolve over time, rather than being foundational and fixed as in classical logic
English
1
0
2
0
Ella Hoeppner
Ella Hoeppner@ella_hoeppner·
@reason_wit_me @JakeOrthwein When you say unconscious cases, do you mean subconcious processes in the human mind, or entirely non-mind-related stuff like biological evolution? I think that, even on a subconscious, level our minds do use a kind of inference, and learn by trying to resolve contradictions.
English
1
0
1
0