Category Archives: Péter Frankl

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 , , , , , , , , | 7 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 , , , , , , , , | 7 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 , , , , , , , , | 8 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 , , , , , , , , | 11 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 , , , , , , , , | 8 Comments

Frankl, My Dear • 7

Re: Dick Lipton & Ken Regan • (1) • (2) We continue with the differential analysis of the proposition in Example 1. Example 1 (1) A proposition defined on one universe of discourse has natural extensions to larger universes of discourse. … Continue reading

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

Frankl, My Dear • 6

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

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

Frankl, My Dear • 5

Re: Dick Lipton & Ken Regan • (1) • (2) Putting all thought of the Frankl Conjecture out of our minds for the moment, let’s return to the proposition in Example 1 and work through its differential analysis from scratch. Example … Continue reading

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

Frankl, My Dear • 4

Re: Dick Lipton & Ken Regan • (1) • (2) Let’s go back to the “key lemma” from (2) and try it out on a simple example, just to get a sense of what the terms mean. Lemma.  Let be … Continue reading

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

Frankl, My Dear • 3

Re: Dick Lipton & Ken Regan • (1) • (2) Here’s a few pages on differential logic, whose ideas I’ll be trying out in the present setting: Differential Logic : Introduction Differential Propositional Calculus Differential Logic and Dynamic Systems I … Continue reading

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