I’ve been reading Yudkowsky for a while now. I’m a philosophy major from NJ and he’s been quite popular around here since I showed some of my friends three worlds collide. I am here because I think I can offer this forum new and well considered views on cognition, computability, epistemology, ontology, valid inference in general and also have my views kicked around a bit. Hopefully our mutual kicking around of each others views will toughen them up for future kicking battles.
I have studied logic at high levels, and have an intricate understanding of Godel’s incompleteness theorem and of Tarski’s undefinability theorem. I plan to write short posts that might make the two accessible when I have the Karma to do so. So the sooner you give me 20 Karma the sooner you will have a non-logician friendly explanation of Godel’s first incompleteness theorem.
Welcome! It sounds like you have a lot to offer here.
You could put your Godel post in the discussion section now, it only requires 2 Karma to do that, and transfer it to the main page later if/when it’s popular.The karma threshold is not very high, but asking for free karma instead of building up a record of commenting/discussion posts defeats the purpose of the 20-karma threshold.
Good point, I’ve already written a discussion page to get people talking about the epistemic status of undecidable propositions, but I feel like a full description of Godel’s first incompleteness theorem might be a bit much for a discussion page.
Hello Less wrong.
I’ve been reading Yudkowsky for a while now. I’m a philosophy major from NJ and he’s been quite popular around here since I showed some of my friends three worlds collide. I am here because I think I can offer this forum new and well considered views on cognition, computability, epistemology, ontology, valid inference in general and also have my views kicked around a bit. Hopefully our mutual kicking around of each others views will toughen them up for future kicking battles.
I have studied logic at high levels, and have an intricate understanding of Godel’s incompleteness theorem and of Tarski’s undefinability theorem. I plan to write short posts that might make the two accessible when I have the Karma to do so. So the sooner you give me 20 Karma the sooner you will have a non-logician friendly explanation of Godel’s first incompleteness theorem.
Awesome. Finally someone. Reading the intros I was starting to think only HP:MOR was still bringing people here.
Welcome! It sounds like you have a lot to offer here.
You could put your Godel post in the discussion section now, it only requires 2 Karma to do that, and transfer it to the main page later if/when it’s popular.The karma threshold is not very high, but asking for free karma instead of building up a record of commenting/discussion posts defeats the purpose of the 20-karma threshold.
Good point, I’ve already written a discussion page to get people talking about the epistemic status of undecidable propositions, but I feel like a full description of Godel’s first incompleteness theorem might be a bit much for a discussion page.