Posts

Scott Garrabrant's problem on recovering Brouwer as a corollary of Lawvere 2020-05-04T10:01:56.305Z
No, I won't go there, it feels like you're trying to Pascal-mug me 2018-07-11T01:37:12.808Z

Comments

Comment by rupert on Straight-edge Warning Against Physical Intimacy · 2020-11-24T13:17:21.221Z · LW · GW

My main thought would be that you consider the risk factors of physical intimacy but possibly ought to look a bit more closely at whether there are risk factors associated with avoiding physical intimacy (are you sure that that's not harmful as well if taken to sufficient lengths?) 

Comment by rupert on Straight-edge Warning Against Physical Intimacy · 2020-11-24T13:16:46.470Z · LW · GW

My main thought would be that you consider the risk factors of physical intimacy but possibly ought to look a bit more closely at whether there are risk factors associated with avoiding physical intimacy (are you sure that that's not harmful as well if taken to sufficient lengths?) 

Comment by rupert on Straight-edge Warning Against Physical Intimacy · 2020-11-24T13:16:24.485Z · LW · GW

My main thought would be that you consider the risk factors of physical intimacy but possibly ought to look a bit more closely at whether there are risk factors associated with avoiding physical intimacy (are you sure that that's not harmful as well if taken to sufficient lengths?) 

Comment by rupert on Scott Garrabrant's problem on recovering Brouwer as a corollary of Lawvere · 2020-05-04T19:13:40.926Z · LW · GW

Thanks for the clarification. Possibly that reduces the interest of the observations about computational complexity.

Comment by rupert on Formal Open Problem in Decision Theory · 2020-05-03T06:17:22.693Z · LW · GW

However, because topology on is finer than topology on here, this still shows how the proof of the Lawvere fixed point theorem can be applied here to give Brouwer fixed point theorem as corollary, which could conceivably be a publishable result (see what "Geometry and Topology" think about that), and this could still be sorta kinda maybe relevant to Scott's original motivation for looking at the problem (if you're okay with working with two different topologies on the space of agents, one finer than the other). But this is a very big space of agents you're talking about here.

Correction: need not only that topology on is finer than topology on , but also, given arbitrary open subset of , take pre-image under evaluation map in , projection onto first factor and then pre-image of that under the continuous surjection , it needs to be shown that this set is open in both topologies. I believe that this can indeed be done for an appropriate class of spaces for the pair of topologies in question.

Comment by rupert on Formal Open Problem in Decision Theory · 2020-05-03T05:36:07.815Z · LW · GW

Let be with generalised Cantor space topology, and be with product topology, a closed disc in a finite-dimensional Euclidean space. Then there is a continuous surjection . I don't know how to show that there is a topological space with carrier set and a continuous surjection . Thanks to Alex Mennen for pointing out the problem.

Comment by rupert on Formal Open Problem in Decision Theory · 2020-04-30T07:25:43.739Z · LW · GW

When I look at my post the LaTeX code isn't formatting properly; if anyone can let me know how to fix that.

Comment by rupert on Formal Open Problem in Decision Theory · 2020-04-30T07:12:39.948Z · LW · GW

I have just now submitted an attempted solution to this problem to "Geometry and Topology". I claim that the space you are looking for is ( being the least uncountable cardinal) with the ``generalised Cantor space topology", that is for each countable well-ordered bit-string you have a basic open set consisting of all bit-strings of length with as an initial fragment. Since this topological space has quite a large cardinality I'm somewhat unclear whether this is helpful for your proposed application and would need to think about it more. (Matthew Barnett just now directed me to this post of yours.) I sent you an early draft of my paper, which argues the point in detail, on FB Messenger, and can send the latest version to you if you wish.