[ics]

> The only constraints are your time and your determination.

...The combination of which is often a luxury that experts in one field cannot afford, thus the statement that one cannot be an expert in every field. "Cannot" is most likely being used for practicality, not in the literal sense of information being totally unfathomable given infinite time and determination.

You both have good points but they really needn't conflict so harshly.

[woodman]

> You both have good points but they really needn't conflict so harshly.

I disagree, lumberjack's point is essentially an appeal to authority - which is dark-age style thinking.

Just represent everything in a machine readable set of axioms, problem solved. You don't need to be an expert in every field, you just need to have a basic understanding of first order logic.

[cortesoft]

Right, but someone still has to do the representation (encoding the information into the machine readable format), and how can you ever know that someone is encoding it correctly?

In addition, your assumption is that everything can be encoded in an axiomatic language (probably not true), and that we have enough information to encode it all even if it was possible.

[woodman]

> Right, but someone still has to do the representation...

The same people writing papers now.

> and how can you ever know that someone is encoding it correctly?

Reasoning engine. As new data is entered it is run against prior data, to the end user it would look almost like a spell check.

> ...your assumption is that everything can be encoded in an axiomatic language (probably not true)...

That is an extremely safe assumption to make, as the problem has been studied for a long time and I'm aware of no evidence that would back up your position.

> ...and that we have enough information to encode it all even if it was possible.

We do.

[AnthonyMouse]

> That is an extremely safe assumption to make, as the problem has been studied for a long time and I'm aware of no evidence that would back up your position.

http://en.wikipedia.org/wiki/Godel's_incompleteness_theorems

[woodman]

http://en.wikipedia.org/wiki/Open-world_assumption

[ics]

> Just represent everything in a machine readable set of axioms, problem solved.

We all look forward to the day that you or anyone else can do this.

emptytheory's suggestion: have tons of time and determination to solve the problem. Caveat: the problem has already been solved and applied by many experts many times, where the main criticism is that some of the time these experts' application over repeated attempts is not 100% consistent.

Your suggestion: encode all necessary knowledge to solve the problem so that a computer can solve it for you. Caveat: this is either being done already by domain experts, or you must go out of your way to navigate the problem based on logic and not experience (tedious, but potentially very rewarding) so as to encode this information yourself (taking some unknown amount of time).

Caveat in all cases: You are just as apt to fuck up along the way as anyone else who possesses the same logical faculties as you, which presumably at least some other experts in question would.

lumberjack's argument may not possess the logical upper hand, but it is a valid concern for people who are mortal, employed (or otherwise occupied with their time), and without access to a medical library. Perhaps the best way to put this is, I look forward to the day when you can prove their reasoning wrong in such a reproducible way rather than completely dismissing a conclusion due to some fault along the way.

[woodman]

> I look forward to the day when you can prove their reasoning wrong in such a reproducible way rather than completely dismissing a conclusion due to some fault along the way.

A set of axioms with a reasoner would do both of those things. That will be web 3.0, it is being worked on.

[Qwertious]

I disagree, this is a "fallacy fallacy" - you named a fallacy which lumberjack (apparently) used, but that doesn't actually make the argument wrong.

And you seem to ignore the fact that getting a degree takes most people multiple years, and that "student" is an occupation. If you follow the evidence, people can't learn everything because it takes way too much time.

[woodman]

> I disagree, this is a "fallacy fallacy"

I disagree, this is a "fallacy fallacy fallacy". You seem to ignore the fact that I did not suggest that people can learn everything. I suggested that people learn enough logic to use it as a tool to make learning everything else unnecessary.

Also, the scarcity of time being used to justify the economically reasonable appeal to authority, in the context of global warming / scientific method consensus, may be the most unintentionally funny thing ever.

[coldtea]

>I suggested that people learn enough logic to use it as a tool to make learning everything else unnecessary.

Which doesn't even make sense. Logic by itself is useless. Could as well talk about some abstract unexisting universe.

It's only when you feed it items ("learning everything else") that you make something out of it.

[woodman]

Wow, I see I'm going to have to break this down Barney style in order to reach you:

The silly argument that started this all off was that you have to be an expert in every field in order to examine complex systems or problems that span multiple domains. This is simply not true, because a complex idea depends upon simpler ideas. These ideas can be formalized, where scientific theory occurs at the edge nodes and verification occurs at well connected nodes. This would allow an individual to select a layer of abstraction to work on - not unlike software development.

This isn't very far off from the present system of scientific journals and peer review.

[coldtea]

>This is simply not true, because a complex idea depends upon simpler ideas. These ideas can be formalized, where scientific theory occurs at the edge nodes and verification occurs at well connected nodes.

Only this is a very naive reductionistic epistemology, and not enough to cover modern science.

[ics]

In other words, inverting the conclusion of a fallacy is itself a fallacy.

[coldtea]

>Just represent everything in a machine readable set of axioms, problem solved

Great idea! Let me just tell my friends, Hilbert and Russel about it! Maybe my friend Kurt will like it too!

/s

Not to mention that most of the problems science has to tackle we cannot even begin to have them formulated in some concise "set of axioms" even if that worked in theory.

And that's for hard sciences...

[woodman]

I never said that it would be "concise". Also, there would be nothing preventing the use of stubs in the knowledge graph.

[mturmon]

I can't be sure from such a short reply, but in this glib statement, and the one you made above, you seem to be unaware of the very real consequences of the Godel Incompleteness Theorem. This is what @coldtea is referring to.

In short: even for a relatively easy-to-quantify universe of discourse like Mathematics, this theorem implies that (of necessity) some propositions will not be provably true or false, or that the system will contain a contradiction. You have a choice of either incompleteness or contradiction (incompleteness seems better).

That's for Mathematics. Now, consider physics, biology, or sociology. And more important, consider that the questions present are at the frontiers, so are very much not reducible to codification. It's a real problem. If you'd ever worked on a really complex, multifaceted, end-to-end science problem (say, weather forecasting, or drug design), you'd have a little more humility.

[woodman]

You saw my link to the open world assumption above... so I'm not sure why you'd go on about the incompleteness theorem.

Can you think of an idea that cannot be represented as true, false, or unknown? Now consider a hypothesis. I'm not saying it would be simple or easy, just possible and preferable to the present system.

As far as my apparent lack of humility: in the interest of not wasting your time or my own, I've truncated my correspondence. From now on, just imagine that all my posts are prefixed with a paragraph in which I grovel before the throne of scientific greatness.

[cinquemb]

>As far as my apparent lack of humility: in the interest of not wasting your time or my own, I've truncated my correspondence. From now on, just imagine that all my posts are prefixed with a paragraph in which I grovel before the throne of scientific greatness.

You should write some code, that when you press the reply button it appends some form of lexical prostration that is derived from the comment space of the identity you're commenting to :P

In all seriousness, it appears that for the effort that goes into all the signaling that goes in within academia (and to the external world) to all the "real problems" people are solving, automatic approaches to all aspects of how research is conducted will happen because it is more efficient and consumes less energy than say a human being worrying about if their methods paper will be accepted and how to please reviewers, and etc…

I mean the fact that my PI hired me, as someone who didn't graduate from undergrad over all the phds who get rejected for volunteer positions, because i can slap some code together must say something about the direction things are going in this world. But when I tell the postdoc that the reason his spectrograms looks the way they do when he downsamples due to less constructive interference (while also trying signaling to appear humble because how dare some non-degreed folk pontificate on such things as a matter of established fact like the rest of the folks do around here, even when asked for help), he has to go ask the sr. research scientist the next day to only tell me that I was right… that's 24 hours his clunky matlab script could have ran! lol

Meh… inefficiencies, inefficiencies…

[eli_gottlieb]

Hey everyone, let's all point and laugh at the primitive still using first-order logic rather than stochastic type theory! What does he think this is, the 1970s? Wake up, bro: a whole century has passed.

</tongue-in-cheek>