Tag Archives: Programming

Theme One Program • Motivation 2

A side-effect of working on the Theme One program over the course of a decade was the measure of insight it gave me into the reasons why empiricists and rationalists have so much trouble understanding each other, even when those … Continue reading

Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Computation, Computational Complexity, Cybernetics, Data Structures, Differential Logic, Form, Formal Languages, Graph Theory, Inquiry, Inquiry Driven Systems, Intelligent Systems, Laws of Form, Learning, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Pragmatics, Programming, Propositional Calculus, Propositional Equation Reasoning Systems, Reasoning, Semantics, Semiotics, Sign Relations, Spencer Brown, Syntax, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Theme One Program • Motivation 1

The main idea behind the Theme One program is the efficient use of graph-theoretic data structures for the tasks of “learning” and “reasoning”. I am thinking of learning in the sense of learning about an environment, in essence, gaining information about … Continue reading

Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Computation, Computational Complexity, Cybernetics, Data Structures, Differential Logic, Form, Formal Languages, Graph Theory, Inquiry, Inquiry Driven Systems, Intelligent Systems, Laws of Form, Learning, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Pragmatics, Programming, Propositional Calculus, Propositional Equation Reasoning Systems, Reasoning, Semantics, Semiotics, Sign Relations, Spencer Brown, Syntax, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

¿Shifting Paradigms? • 4

Re: Foundational Crisis? • Harvey Friedman 2014 Aug 22 Shock and surprise are relative to a prior state of belief.  The belief that mathematics reduces to logic, and that of a purely deductive sort from given axioms, seems to be … Continue reading

Posted in C.S. Peirce, Foundations of Mathematics, Inquiry, Logic, Mathematics, Model Theory, Paradigms, Peirce, Programming, Proof Theory | Tagged , , , , , , , , , | Leave a comment

¿Shifting Paradigms? • 3

Re: What Is Good Mathematics? • Harvey Friedman 2014 Aug 17 Speaking of mathematics in the context of “general intellectual activity” brings to mind Raymond Wilder’s take on “mathematics as a cultural system”. I would like to keep that in … Continue reading

Posted in C.S. Peirce, Foundations of Mathematics, Inquiry, Logic, Mathematics, Model Theory, Paradigms, Peirce, Programming, Proof Theory | Tagged , , , , , , , , , | Leave a comment

Forest Primeval → Riffs & Rotes

Re: Shifting Paradigms? • (1) • (2) • (3) • (4) • (5) • (6) Prompted by the discussion of Catalan numbers on the Foundations Of Math List, I dug up a few pieces of early correspondence and later discussions that … Continue reading

Posted in Algebra, Arithmetic, C.S. Peirce, Catalan Numbers, Combinatorics, Forest Primeval, Foundations of Mathematics, Gödel Numbers, Graph Theory, Group Theory, H.W. Gould, Integer Sequences, Logic, Martin Gardner, Mathematics, Neil Sloane, Number Theory, Paradigmata, Peirce, Planted Plane Trees, Programming, Riffs and Rotes | Tagged , , , , , , , , , , , , , , , , , , , , , | Leave a comment

¿Shifting Paradigms? • 2

Re: Timothy Chow • Shifting Paradigms? 2014 Jul 31 I can’t remember when I first started playing with Gödel codings of graph-theoretic structures, which arose in logical and computational settings, but I remember being egged on in that direction by … Continue reading

Posted in Algebra, Arithmetic, Combinatorics, Foundations of Mathematics, Graph Theory, Group Theory, Inquiry, Logic, Mathematics, Model Theory, Number Theory, Paradigms, Peirce, Programming, Proof Theory, Riffs and Rotes | Tagged , , , , , , , , , , , , , , , | Leave a comment

¿Shifting Paradigms? • 1

Re: Dana Scott • Shifting Paradigms? 2014 Jul 28 This is very interesting to me, but not all my posts make it to the list, so I will spend a few days reflecting on it and post a comment on … Continue reading

Posted in Foundations of Mathematics, Inquiry, Logic, Mathematics, Model Theory, Paradigms, Peirce, Programming, Proof Theory | Tagged , , , , , , , , | Leave a comment

Poems and Programs

Words that do … A trendy misunderstanding has reared its head as to what the discipline of computing, indeed the logic of science, are all about.  I blame Penrose, of course, but he is only the most recent promulgator of … Continue reading

Posted in Aesthetics, Artistic Differences, Computability, Effective Description, Ethics, Existential Choice, Finitude, Form, Imagination, Information, Inquiry, Limitation, Logic of Science, Matter, Mortality, Poetry, Programming, Volition | Tagged , , , , , , , , , , , , , , , , , | 1 Comment

Ask Meno Questions • Code Meno Code

Adapted from Prospects for Inquiry Driven Systems The Trees, The Forest A sticking point of the whole discussion has just been reached. In the idyllic setting of a knowledge field the question of systematic inquiry takes on the following form: … Continue reading

Posted in Algorithms, Artificial Intelligence, Automata, Education, Epistemology, Formal Language Theory, Formal Languages, Inquiry, Inquiry Driven Systems, Intelligent Systems, Learning, Meno, Philosophy, Plato, Programming, Programming Languages, Socrates, Teaching | Tagged , , , , , , , , , , , , , , , , , | 2 Comments

Demonstrative And Otherwise

I am constantly encountering what I perceive as echoes of Peircean themes in places where acquaintance with or interest in Peirce’s work is slight at best, and that leaves me with a lot of pent up thoughts that I’ve learned through … Continue reading

Posted in Abduction, Artificial Intelligence, C.S. Peirce, Computation, Computational Complexity, Cybernetics, Deduction, Induction, Inquiry, Inquiry Driven Systems, Intelligent Systems, Logic, Peirce, Programming, Semiotics | Tagged , , , , , , , , , , , , , , | 2 Comments