Tag Archives: Group Theory

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

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Computational Complexity, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Dynamical Systems, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Group Theory, Hologrammautomaton, Indicator Functions, Logic, Logical Graphs, Mathematical Models, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Time, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

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

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Computational Complexity, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Dynamical Systems, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Group Theory, Hologrammautomaton, Indicator Functions, Logic, Logical Graphs, Mathematical Models, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Time, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

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

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Computational Complexity, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Dynamical Systems, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Group Theory, Hologrammautomaton, Indicator Functions, Logic, Logical Graphs, Mathematical Models, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Time, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

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

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Computational Complexity, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Dynamical Systems, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Group Theory, Hologrammautomaton, Indicator Functions, Logic, Logical Graphs, Mathematical Models, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Time, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Riffs and Rotes • Happy New Year 2021

Apart from their abstract beauty, Riffs and Rotes are structures I discovered while playing around with Gödel numberings of graphs and digraphs.  To my way of thinking they bear a deep connection to the mathematical infrastructure of logic.  Here are … Continue reading

Posted in Algebra, Combinatorics, Graph Theory, Group Theory, Logic, Mathematics, Number Theory, Riffs and Rotes | Tagged , , , , , , , | Leave a comment

Riffs and Rotes • 5

Re: Scott Aaronson • The Busy Beaver Frontier All my favorite integer sequences, some very fast growing, spring from the “lambda point” where graph theory, logic, and number theory meet.  My fascination with them goes back to a time when … Continue reading

Posted in Algebra, Combinatorics, Graph Theory, Group Theory, Logic, Mathematics, Number Theory, Riffs and Rotes | Tagged , , , , , , , | 2 Comments

Category Theory • Comment 1

I’m deep in the middle of upgrading my intro to sign relations and I am determined to stick to it this time but there will be a phase when it’s critical to bring category theory to bear on the development.  … Continue reading

Posted in Abstraction, C.S. Peirce, Category Theory, Differential Logic, Graph Theory, Group Theory, Inquiry Driven Systems, Intelligent Systems, Knowledge Representation, Logic, Logical Graphs, Mathematics, Peirce, Peirce's Categories, Research Technology, Scientific Method, Semiotics, Set Theory, Sign Relations, Systems Theory, Triadic Relations | Tagged , , , , , , , , , , , , , , , , , , , , | Leave a comment

Differential Propositional Calculus • Discussion 2

The most fundamental concept in cybernetics is that of “difference”, either that two things are recognisably different or that one thing has changed with time. W. Ross Ashby • An Introduction to Cybernetics The times are rife with distraction, so … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Computational Complexity, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Dynamical Systems, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Group Theory, Hologrammautomaton, Indicator Functions, Logic, Logical Graphs, Mathematical Models, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Time, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Differential Propositional Calculus • Discussion 1

The most fundamental concept in cybernetics is that of “difference”, either that two things are recognisably different or that one thing has changed with time. W. Ross Ashby • An Introduction to Cybernetics Re: Cybernetics Communications • Klaus Krippendorff KK: … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Computational Complexity, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Dynamical Systems, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Group Theory, Hologrammautomaton, Indicator Functions, Logic, Logical Graphs, Mathematical Models, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Time, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Differential Propositional Calculus • 8

Differential Extensions An initial universe of discourse, supplies the groundwork for any number of further extensions, beginning with the first order differential extension,   The construction of can be described in the following stages: The initial alphabet, is extended by … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Computational Complexity, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Dynamical Systems, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Group Theory, Hologrammautomaton, Indicator Functions, Logic, Logical Graphs, Mathematical Models, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Time, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment