I wonder if somebody could invent a theory check AI, at least for proofs. Some variant of general problem solver maybe?
-
-
-
So I was being turbo facetious. Firstly, dont' even know if that makes sense? what do you mean by theory, lakatosian?
-
neuro/cog sci theory o'course.
-
philosophically
-
like so phil of sci has loads of ways of defining "theory" and of "testing". Hence why I asked if you are lakatosian.

-
or bayesian even...
-
I was suggesting a proof checker for neuro theory papers. Evaluating underlying phil sci theories would be hard (1/3)
-
oh maths proof
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.