Halting Problem and Psychiatry

http://lj.rossia.org/users/sadkov/534132.html

How can psychiatry even claim to treat thinking disorders, given the halting problem and Godel Incompleteness theorem? These are provably unsolvable problems of AI, and they also apply to human brain. They are the reason mind control would generally be never possible.

It is indeed possible to completely scan the brain (already done for small animal's brains, like the fruit fly), and it is possible to run brain in neural simulator (also done for a few very simple animals). Yet animal brain cannot be studied disconnected from the real world. So how could it ever be possible to predict what the brain will do, without ever running it in the real world? With the number of neurons the complexity raises exponentially, to it would never be possible to enumerate all states, let alone studying brain in lab (psychiatric ward), which would be a very limited part of the world.

The problem becomes even more complex, given the hormones, aging, bacteria and various instincts, like hunger and sex drive. So even given the complete brain structure, it impossible to infer what could trigger say the next schizophrenia event. Haloperidol wont help there, beside acting a tranquilizer and marginally reducing the chances agitation happening, also preventing the patient from doing any constructive activity, which actually induces the chances of something bad happening to the patient and people around.

Given that we can conclude that psychiatry is just a pseudoscience, which over-promises and contemplates over a system, which is mathematically proven to be impossible to analyze.

Learn about anti-psychiatry and anti-asylum movement, Sadkov.

Psychiatry had already been thoroughly rebuked, with extensive arguments from all the social sciences.

It is a shame but the process from debunking a theory to demolishing the social paradigm built upon that theory is slow.

There is a lot of awareness to be raised and lots of people confortable with the current state to be moved into sympathy.

What programming language is this?

http://ai.neocities.org/perlmind.txt

>>3
Computer science is programming related.

>>1

How can psychiatry even claim to treat thinking disorders, given the halting problem and Godel Incompleteness theorem?

those problems are related to provability of formal systems, and in a way they set a limit on formalization of all sciences, not just psychiatry. and like all the other sciences, psychiatry solves it by not being a full-on apriori formal system, instead basing itself on empirical studies and using formal reasoning when necessary. this is, of course, creates issues with logical soundness, but it's the problem with all empirical sciences.

>>6
While proper sciences deal with some clear small systems or subparts of larger systems (i.e. quantum mechancis), psychiatry claims to solve the general case, where it is known in advance that you can't solve it. And psychiatry doesn't use the fine-grained tools, like modifying specific connection, related to the cause of disorder. Even more, psychiatry doesn't even explain the cause, but still claims to solve it with heavy anti-psychotics. And then, when they release the schizo, and that schizo kills more people, psychiatrists hide in shadows, making lazy excuses.

>>7
And yes, the most important exploration tool of psychiatry is the patient's self reporting. That is how psychiatrists know patient has "voices" in his/her head, not because they examined the brain's precise activity.

kill you're are child

>>7

While proper sciences deal with some clear small systems or subparts of larger systems (i.e. quantum mechancis), psychiatry claims to solve the general case, where it is known in advance that you can't solve it

not really, most psychiatric conditions are considered to be incurable, only manageable.

Even more, psychiatry doesn't even explain the cause, but still claims to solve it with heavy anti-psychotics.

I think your're are confusing shitty r*ssian bydlo-asylums with the real thing

That is how psychiatrists know patient has "voices" in his/her head, not because they examined the brain's precise activity.

certainly advances in neuroscience will be helpful for psychiatry, but so far we can't determine that someone hears voices based on just brain scans. nowadays self-reporting is still used, but psychiatric (and psychological and sociological) studies do attempt to control for lies and confabulations.

halting problem makes dub-checking undecidable?

Papa Pootin is monitoring this thread

>>11
Yes
Say that you have a program f(x), and you want to find if for a specific x said function returns dubs. This is undecidable because of the halting problem.

i farted just now

halt my anus

>>13
Sure its decidable, just check the source.