ChristianKl comments on Astray with the Truth: Logic and Math - Less Wrong

2 Post author: StephenR 16 August 2014 03:40PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (21)

You are viewing a single comment's thread. Show more comments above.

Comment author: ChristianKl 18 August 2014 09:26:17AM 0 points [-]

No, not that comment, I mean the initial post. The problem is handling mathematical systems in an epistemology.

Handling mathematical systems in an epistemology is in my idea a topic but not a specific problem. In that topic there are probably a bunch of practical problem but.

Molecular biology is a subject. Predicting protein folding results is a specific problem.

If we look at FAI, writing a bot that performs well in the prisoner dilemma tournaments that are about verifying source code of the other bots is a specific problem.

The are also problems in the daily business of doing science where the scientist has to decide between multiple possible courses of action.