Paradigms, Playgrounds, Programmes, Programs

Re: Gödel’s Lost Letter And P=NPMounting or Solving Open Problems : Programs Not Programs

Comment 1

Sometimes the programme must simply be to keep developing our understanding of the ground on which the mountains rest.

Comment 2

It might be observed that the concept of a research programme is closely related to the concept of a research paradigm, about which much has been written.

Comment 3

As long as we’re brainstorming in a laid back sort of way …

Folks who find propositional logic — and the whole space between zeroth order logic and first order logic — more of a fascinating playground for exploration than a dog run for the questying beast might find it fun to look at the graph-theoretic calculi for propositions and boolean functions that derive from C.S. Peirce’s logical graphs. There is an extension of Peirce’s tree-form graphs to cactus graphs that presents many interesting possibilities for efficient expression and inference. And the resulting cactus calculus facilitates the development of differential logic, extending propositional calculus analogous to the way that differential calculus extends analytic geometry.

Comment 4

The following primer on differential logic uses the cactus graph syntax to represent propositions (boolean functions f : ℬn → ℬ) and the operators on propositions that arise in developing the subject of differential propositional calculus.

The cactus graph syntax for propositional calculus is based on minimal negation operators.

This entry was posted in Uncategorized. Bookmark the permalink.

One Response to Paradigms, Playgrounds, Programmes, Programs

  1. Pingback: Demonstrative And Otherwise | Inquiry Into Inquiry

Leave a Reply

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

WordPress.com Logo

You are commenting using your WordPress.com 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