What are you working on? December 2012

jsalvatier

This is the sixth bimonthly 'What are you working On?' thread. Previous threads are here. So here's the question:

What are you working on?

Here are some guidelines:

Focus on projects that you have recently made progress on, not projects that you're thinking about doing but haven't started.
Why this project and not others? Mention reasons why you're doing the project and/or why others should contribute to your project (if applicable).
Talk about your goals for the project.
Any kind of project is fair game: personal improvement, research project, art project, whatever.
Link to your work if it's linkable.

This is the sixth bimonthly 'What are you working On?' thread. Previous threads are here. So here's the question:

What are you working on?

Here are some guidelines:

Focus on projects that you have recently made progress on, not projects that you're thinking about doing but haven't started.
Why this project and not others? Mention reasons why you're doing the project and/or why others should contribute to your project (if applicable).
Talk about your goals for the project.
Any kind of project is fair game: personal improvement, research project, art project, whatever.
Link to your work if it's linkable.

You can iterate over all finite algorithms, but you can't reliably tell which of these algorithms will output an infinite string, or a finite string, or get stuck at some point in an infinite loop (unless you have a halting oracle).

You couldn't even iterate over "the first character outputted by finite algorithm number n", let alone the nth one.

Essentially, I agree with you. The algorithm I defined with this diagonalization method is in fact NOT finite.

What is just fine.

11

What are you working on? December 2012

11

11

11

What are you working on? December 2012

11

11