A (Very) Short Course In Decidability.

(learning propertarianism)

[W]hat does Decidable mean?

REVERSE: In logic we state that a question (statement) is DECIDABLE if an algorithm (set of operations) exists within the limits of the system (rules, axioms, theories) that can produce a decision (choice). In other words, if the sufficient information for the decision is present within the system (ie: is decidable).

OBVERSE: Instead, we should determine if there is a means of choosing without the need for additional information supplied from outside the system (ie: not discretionary).

Or in simple terms, if DISCRETION is unnecessary, a proposition is decidable.

This separates reason (or calculation in the wider sense) from computation (algorithm).  


One thought on “A (Very) Short Course In Decidability.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s