# Tag Archives: Indicator Functions

## Differential Logic and Dynamic Systems • Discussion 1

It is understandable that an engineer should be completely absorbed in his speciality, instead of pouring himself out into the freedom and vastness of the world of thought, even though his machines are being sent off to the ends of … Continue reading

## Survey of Differential Logic • 3

This is a Survey of blog and wiki posts on Differential Logic, material I plan to develop toward a more compact and systematic account. Note.  One effect of the pandemic has been been to blot out my memory of much … Continue reading

## Differential Propositional Calculus • Discussion 6

Re: Oeis | Differential Propositional Calculus • Part 1 • Part 2 • Appendices Re: Blog | Differential Propositional Calculus • Discussion • (3) • (4) • (5) HR: I think I like very much your Cactus Graphs.  Meaning that … Continue reading

## Differential Propositional Calculus • Discussion 5

Re: Peirce List • Helmut Raulien Re: Ontolog Forum • Mauro Bertani HR: I think I like very much your Cactus Graphs.  Meaning that I am in the process of understanding them, and finding it much better not to have … Continue reading

## Differential Propositional Calculus • Discussion 4

It is one of the rules of my system of general harmony, that the present is big with the future, and that he who sees all sees in that which is that which shall be. Leibniz • Theodicy Re: R.J. … Continue reading

## Differential Propositional Calculus • Discussion 3

That mathematics, in common with other art forms, can lead us beyond ordinary existence, and can show us something of the structure in which all creation hangs together, is no new idea.  But mathematical texts generally begin the story somewhere in … Continue reading

## Differential Logic • Discussion 3

Re: R.J. Lipton • P<NP Instead of boolean circuit complexity I would look at logical graph complexity, where those logical graphs are constructed from minimal negation operators. Physics once had a frame problem (complexity of dynamic updating) long before AI … Continue reading

## Differential Logic • 10

It’s been a while, so let’s review … Tables A1 and A2 showed two ways of organizing the sixteen boolean functions or propositional forms on two variables, as expressed in several notations.  For ease of reference, here are fresh copies … Continue reading

## Differential Logic • Discussion 2

Re: Peirce List • Edwina Taborsky I first encountered Peirce’s Collected Papers sometime during my freshman year in one of the quieter corners of the Michigan State Math Library where I used to hide out to study and shortly after … Continue reading

## Differential Logic • 9

Propositional Forms on Two Variables Table A2 arranges the propositional forms on two variables according to another plan, sorting propositions with similar shapes into seven subclasses.  Thereby hangs many a tale, to be told in time. Table A2.  Propositional Forms … Continue reading