Tag Archives: Frankl Conjecture

Survey of Differential Logic • 2

This is a Survey of previous blog and wiki posts on Differential Logic, material I plan to develop toward a more compact and systematic account. Elements Differential Propositional Calculus Differential Logic • Part 1 • Part 2 • Part 3 … Continue reading

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Frankl Conjecture, Functional Logic, Gradient Descent, Graph Theory, Hologrammautomaton, Indicator Functions, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Surveys, Time, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Survey of Differential Logic • 1

This is a Survey of previous blog and wiki posts on Differential Logic, material I plan to develop toward a more compact and systematic account. Elements Differential Propositional Calculus Differential Logic • Part 1 • Part 2 Architectonics Minimal Negation … Continue reading

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Frankl Conjecture, Functional Logic, Gradient Descent, Graph Theory, Hologrammautomaton, Indicator Functions, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Surveys, Time, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Frankl, My Dear : 12

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: Dick … Continue reading

Posted in Boolean Algebra, Boolean Functions, Computational Complexity, Differential Logic, Frankl Conjecture, Logic, Logical Graphs, Mathematics, Péter Frankl | Tagged , , , , , , , , | 2 Comments

Frankl, My Dear : 11

Re: Dick Lipton & Ken Regan • (1) • (2) Let’s take a moment from the differential analysis of the proposition in Example 1 to form a handy compendium of the results obtained so far. Example 1 (1) Enlargement Map of … Continue reading

Posted in Boolean Algebra, Boolean Functions, Computational Complexity, Differential Logic, Frankl Conjecture, Logic, Logical Graphs, Mathematics, Péter Frankl | Tagged , , , , , , , , | 2 Comments

Frankl, My Dear : 10

Re: Dick Lipton & Ken Regan • (1) • (2) (5) Figure 5 shows the 14 terms of the difference map as arcs, arrows, or directed edges in the venn diagram of the original proposition The arcs of are directed into … Continue reading

Posted in Boolean Algebra, Boolean Functions, Computational Complexity, Differential Logic, Frankl Conjecture, Logic, Logical Graphs, Mathematics, Péter Frankl | Tagged , , , , , , , , | 2 Comments

Frankl, My Dear : 9

“It doesn’t matter what one does,” the Man Without Qualities said to himself, shrugging his shoulders. “In a tangle of forces like this it doesn’t make a scrap of difference.” He turned away like a man who has learned renunciation, … Continue reading

Posted in Boolean Algebra, Boolean Functions, Computational Complexity, Differential Logic, Frankl Conjecture, Logic, Logical Graphs, Mathematics, Péter Frankl | Tagged , , , , , , , , | 4 Comments

Frankl, My Dear : 8

Re: Dick Lipton & Ken Regan • (1) • (2) (4) Figure 4 shows the eight terms of the tacit extension as arcs, arrows, or directed edges in the venn diagram of the original proposition Each term of the tacit extension … Continue reading

Posted in Boolean Algebra, Boolean Functions, Computational Complexity, Differential Logic, Frankl Conjecture, Logic, Logical Graphs, Mathematics, Péter Frankl | Tagged , , , , , , , , | 3 Comments