uwot wrote: ↑Sat Sep 29, 2018 9:23 am
Well, that's back to Kuhn and Feyerabend-my own idiosyncratic criteria
OK, I've read your requirements below, but I want to tackle this anyway for benefit of you and sundry.
I ask the question not to play silly philosophical word games, but because it is theoretically relevant to an
unsolvable problem in computer science.
https://en.wikipedia.org/wiki/Halting_problem
And so I am going to conceptualise "you" in my framework to explain it. You are an algorithm looking for something (ToE, graphical explanation of current models, better theory of X). Anything - doesn't matter.
The general name of such an algorithm is a Search Algorithm (yeah, we are so original!):
https://en.wikipedia.org/wiki/Search_algorithm
A fundamental property of
EVERY search algorithm are its exit criteria. When you are 'looking' for something - you need to have some conception of what it looks like/feels like/tastes like/behaves like. You need to have some conception of its properties so that you can recognise when you have found it and stop looking. That it what it means to
halt. To complete the task.
The important distinction here is this: the halting problem refers to two different algorithms. A and B. Lets say that you are algorithm A (looking for ToE). The halting problem asks: can another algorithm (me, B) determine if A will halt. In English - can I predict if you will find a ToE.
This is down to a yes/no answer! It is unsolvable! You will either find a ToE or you will not. The only way to get an answer is for A to actually find a ToE or to continue looking for one until it finds it.
There is, however another angle to this. We can write a third algorithm (C) that asks whether A will
NEVER HALT? In English: is A an infinite loop? Algorithm C can't answer "No" because that will effectively solve the halting problem itself.
But it can answer "Yes"! An algorithm that has no exit criteria is an infinite loop. It never halts.
And so when I ask you this question of criteria/accountability, what I am really asking is: Do you have any ideosyncratic-but-subjectively-meaningful criteria (even if you can't put them in words) that will tell you to halt?
Because if you ARE stuck in an infinite loop then you are busy solving the wrong problem.
The first problem to solve is to answer: What are you really looking for? And introspect!
Or you can recognise both - that you don't know what you are looking for, but you don't really want to figure it out just yet. In which case - you are here for the journey. Cool!
uwot wrote: ↑Sat Sep 29, 2018 9:23 am
I'm just trying to explain our current mathematical models graphically, so that people who are not post grad physicists can get a handle on them.
Visualisation!

Awesome.