Posts

AI-Feynman as a benchmark for what we should be aiming for 2020-07-04T09:24:40.484Z
On the role of abstraction in mathematics and the natural sciences 2019-12-18T00:04:05.484Z
Type Theory quick question 2017-07-26T19:57:02.877Z
Mathematics for AIXI and Gödel machine 2015-07-22T18:52:21.121Z
Just a casual question regarding MIRI 2015-03-22T20:16:09.742Z

Comments

Comment by Faustus2 on On the role of abstraction in mathematics and the natural sciences · 2020-01-15T14:48:08.058Z · LW · GW

Don't worry it no trouble :) Thank you, I see your reasoning more clearly now, and my thought of circularity is no longer there for me. Also I see the mental distinction between compression models and platonic abstracts.

Comment by Faustus2 on On the role of abstraction in mathematics and the natural sciences · 2019-12-24T01:03:54.816Z · LW · GW

For the sake of discussion I would like to clarify that I regard those 'structures' that might be described by different themes of abstract mathematics as the objects that are to be considered either platonic or not. So, platonism in regards to the abstract structures, not necessarily the instantiations of those structures (ie: the example 'P.D.E structure' could be represented equally well with either categories or sets as the lifeblood of each respective formulation). So I think I am in agreement as to the grouping of features into 'invented' that you detailed earlier, which leaves the pattern still independent.


I think you do actually touch upon a related source of my disturbance (the primary one being, why does the abstract have literally any utility at all?), but perhaps i can re-phrase it as thus: One can engage in quantum mechanics, and it can often be the case that one encounters the only solution to a problem in QM is by using C* algebras or the other abstract analysis ideas. We can talk of using abstraction as a means of modelling the physical universe, but I do not believe that entails that that abstraction in question should even be likely to have utility (indeed, I think the opposite!). Summing it up after following your lead, 'why is it necessary that to produce a GOOD simulation of the physical universe, you require the existence of non-physical entities like those routinely encountered in mathematics?'

I am not well-versed enough in theoretical computer science to comment upon church-turing machines. I do not mind having a look, but as a default setting I remain doubtful that they will satisfy me, or dissolve my quandary sufficiently, as they can be interpreted via abstract concepts in their formation.

Comment by Faustus2 on On the role of abstraction in mathematics and the natural sciences · 2019-12-19T09:39:01.399Z · LW · GW

I like this mode of thinking, and its angle is something I haven't considered before. How would you interpret/dissolve the kind of question I posed in the answer to Pattern in the comments below?

Namely:

'My point is the process of maths is (to a degree) invented or discovered, and under the invented hypothesis, where one would adhere to strict physicalist-style nominalism, the very act of predicting that the solutions to very real problems are dependent on abstract insight is literally incompatible with that position, to the point where seeing it done, even once, forces you to make some drastic ramifications to your own ontological model of the world.'


In addition, I am versed in rudimentary category theory, and wouldn't a presupposition of having abstraction as natural transformation presuppose the existence of abstraction to define itself? This may be naive of me, or perhaps I have not grasped your subtlety, but using an abstract notion like natural transformation to define abstraction seems circular to me.

Comment by Faustus2 on On the role of abstraction in mathematics and the natural sciences · 2019-12-18T22:31:28.434Z · LW · GW

This is actually similar to a kind of reasoning i have undertaken, but I want to ask you what you make of the fact that such high level abstraction even has any kind of utility at all. Say one day we as all physicalists (assumption on my part) all sit down (in present day mind, but without any knowledge of abstract maths), and we do the same type of physical formal kind of thinking that Newton or Leibniz undertook and developed calculus, which gives us the underpinning of most of modern applied mathematics. We then see how the kind of geometrical reasoning we have employed is able to tap into the 'world logic' (for want of a better phrase). If I were to come up to you, describe how we can obtain an enormous amount of world logic insight by some utterly far removed and esoteric notions concerning topological spaces, sobolev spaces and understanding complex abstract interactions in banach spaces (or what have you), why would you, as a physicalist, take that seriously? ie: you can believe there is more work to be done, but that it is very very unlikely to come from understanding concepts that have little or (very often) NOTHING to do with the real world. (indeed this can go quite far, see: https://ncatlab.org/nlab/show/differential+equation)

The core of what I've been struggling with is to produce a sufficient response that dissolves that question satisfactorily, and although there must be a connection between mathematics and neural structures (there is a good amount of literature as to this, echoing your own thoughts), I feel like this question is actually quite far removed from that even being the case or not.

With your point b) we can recognise it has order within itself, but then when it comes to that next step, that seeing what structures work on top of it, that process is either (very broadly speaking) an act of creation by the person (leaving out the nature of that act, lets consider it neural) or we simply have insight into another category of the world (platonic), and then we ask the question: 'If it is neural, why SHOULD this extra addition work? Reality has no means of simply abiding by logical structure or bending itself to fit into abstract reasoning. But now, given that it does work, how are we to interpret the nature of our two choices?'


My point is the process of maths is (to a degree) invented or discovered, and under the invented hypothesis, where one would adhere to strict physicalist-style nominalism, the very act of predicting that the solutions to very real problems are dependent on abstract insight is literally incompatible with that position, to the point where seeing it done, even once, forces you to make some drastic ramifications to your own ontological model of the world.


If I've messed anything up, or if you feel I haven't seen your point, any response would be appreciated.




Comment by Faustus2 on Type Theory quick question · 2017-07-27T19:16:02.283Z · LW · GW

The goal is mainly to understand its relation to proof assistants, I have experience with it before as a purely logical study but i haven't tried to see it in this new context for myself. This book looks excellent though, thank you for your recommendation

Comment by Faustus2 on Meetup : Reading First Meetup! · 2015-09-29T06:54:27.036Z · LW · GW

I'll be there too. Can't wait :)

Comment by Faustus2 on Mathematics for AIXI and Gödel machine · 2015-07-22T20:23:41.932Z · LW · GW

Thank you, I'm grateful for your time.

Comment by Faustus2 on Just a casual question regarding MIRI · 2015-03-27T21:00:55.735Z · LW · GW

I appreciate the great feedback from all of you, thank you :) I do have another quick question, but it's of a lower priority. As of right now, I currently hold no degree. I've always been kind of Interested in the MIRI workshops, but I've always been nervous about signing up to one because: 1. I'm not sure if a degree would be necessary to keep up with the level of work people are to be involved in at the workshop and 2. In case my first point turned out to be true, I certainly wouldn't want a student who had no real formal (I've still learning computability and logic and have started to branch out into set theory and similarly related fields) experience in the kind of Math MIRI deals with to be a nuisance to people trying to get some work done by asking them questions all the time. So here is my question stated in full 'Would I be allowed to participate in a MIRI workshop, given that I have no degree as of right now, and could this factor be to the detriment of others there?' Again, a lower priority question, but any comments or thoughts from users would be welcomed graciously :)

Comment by Faustus2 on Why I Moved from AI to Neuroscience, or: Uploading Worms · 2015-01-24T17:02:29.283Z · LW · GW

I would also like to know the answer to this question.

Comment by Faustus2 on MIRI Research Guide · 2014-12-04T23:24:08.073Z · LW · GW

A quick comment, for the segment on tiling agents, on the MIRI site the recommended reading (not counting any MIRI papers) is 'a mathematical introduction to logic' by Enderton. But on this page, it instead recommends Chang and Keislers Model theory. Can this be taken to mean that both works are important recommended reading? Are they both of equal worth or should (or rather, could) one be prioritised over the other?

Comment by Faustus2 on Books on consciousness? · 2014-09-24T11:21:51.668Z · LW · GW

I recommend 'neurophilosophy' by Patricia Churchland, but a really good general overview for theories on consciousness is the Blackwells companion to consciousness. Sorry for the long HTML, but there is a link for a pdf version here that might be of use to you (or anyone): http://cies-fsc.googlecode.com/svn/trunk/FSC09/ChangeBlindness/biblio.complémentaire/1405120193%20-%20Max%20Velmans%20-%20The%20Blackwell%20Companion%20to%20Consciousness%20%5B2007%5D.pdf

Comment by Faustus2 on Welcome to Less Wrong! (5th thread, March 2013) · 2013-12-14T22:36:36.186Z · LW · GW

Hello to you all, I am Chris.

I live in England and attend my local High school (well, in England we call the senior years/curriculums a sixth form). I take Mathematics, Further mathematics, physics and philosophy. I actually happened upon Lesswrong two years ago, when I was 16, whilst searching for interesting discussions on worldviews. Although I had never really been interested in rationality (up until that point I hasten to add!), I had a seething urge to sort out my worldview as quickly as I could. I just got so sick of the people who went to sunday school coming out with claims about the universe that didn't jive with the understanding of modern physics. So I read the reductionism sequence and realised I was a reductionist. The way Eliezer 'spelled it out' just really struck me as a great way to say what I had started to feel. Shortly afterwards naturalism , or rather metaphysical naturalism, became my first great love. I have a good collection of friends, but none of them have really cared for 'waxing on worldviews' like me. I guess I'm just really happy that I get to speak with a community that has stuff in common with me (not just worldviews, but other cool topics as well). I guess camaraderie is eagerly sought. I would love to talk with people of my age group (I suppose 15-24) but of course I should love to meet with anyone with a similar mindset to me. I live near Reading. If anyone would like to speak with me, whether it be through Lesswrong, Facebook or just meeting up for a chat, just message me and I shall do my utmost to entertain/be friendly with you. :)

Comment by Faustus2 on Less Wrong fanfiction suggestion · 2013-09-21T17:37:04.084Z · LW · GW

Dear God, that idea is beautiful!! My good sir, have you ever thought about creating this masterpiece you speak of? (I'm not pressuring you, I would just like to know) :)

Comment by Faustus2 on Meetup : London Social - Exposure to Direct Sunlight - June 23rd · 2013-07-14T14:19:43.624Z · LW · GW

Does anyone know if Yudkowsky will be attending?