Type Theory quick question 2017-07-26T19:57:02.877Z · score: 0 (0 votes)
Mathematics for AIXI and Gödel machine 2015-07-22T18:52:21.121Z · score: 0 (1 votes)
Just a casual question regarding MIRI 2015-03-22T20:16:09.742Z · score: 12 (13 votes)


Comment by faustus2 on Type Theory quick question · 2017-07-27T19:16:02.283Z · score: 1 (1 votes) · 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 · score: 1 (1 votes) · 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 · score: 0 (0 votes) · 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 · score: 0 (0 votes) · 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 · score: 1 (1 votes) · 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 · score: 2 (2 votes) · 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 · score: 5 (5 votes) · 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):é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 · score: 0 (0 votes) · 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 · score: 1 (1 votes) · 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 · score: 0 (0 votes) · LW · GW

Does anyone know if Yudkowsky will be attending?